Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Shrinkage of Decision Lists and DNF Formulas
We establish nearly tight bounds on the expected shrinkage of decision lists and DNF formulas under the $p$-random restriction $\mathbf R_p$ for all values of $p \in [0,1]$. For a function $f$ with domain $\{0,1\}^n$, let $\mathrm{DL}(f)$ denote the minimum size of a decision list that computes $f$. We show that \[
\mathbb E[\ \mathrm{DL}(f{\upharpoonright}\mathbf R_p)\ ] \le
\mathrm{DL}(f)^{\log_{2/(1-p)}(\frac{1+p}{1-p})}. \] For example, this bound is $\sqrt{\mathrm{DL}(f)}$ when $p = \sqrt{5}-2 \approx 0.24$. For Boolean functions $f$, we obtain the same shrinkage bound with respect to DNF formula size plus $1$ (i.e., replacing $\mathrm{DL}(\cdot)$ with $\mathrm{DNF}(\cdot)+1$ on both sides of the inequality).
Decomposition of $(2k+1)$-regular graphs containing special spanning $2k$-regular Cayley graphs into paths of length $2k+1$
Published
• View Publication
• BIB
A $P_\ell$-decomposition of a graph $G$ is a set of paths with $\ell$ edges in $G$ that cover the edge set of $G$. Favaron, Genest, and Kouider (2010) conjectured that every $(2k+1)$-regular graph that contains a perfect matching admits a $P_{2k+1}$-decomposition. They also verified this conjecture for $5$-regular graphs without cycles of length $4$. In 2015, Botler, Mota, and Wakabayashi verified this conjecture for $5$-regular graphs without triangles. In this paper, we verify it for $(2k+1)$-regular graphs that contain the $k$th power of a spanning cycle; and for $5$-regular graphs that contain special spanning $4$-regular Cayley graphs.
COMPACT: Concurrent or Ordered Matrix-based Packing Arrangement Computation Technique
Published
• View Publication
• BIB
Packing optimization is a prevalent problem that necessitates robust and efficient algorithms that are also simple to implement. One group of approaches is the raster methods, which rely on approximating the objects with pixelated representations. Although they are versatile in treating irregular geometries, the raster methods received limited attention in solving problems involving rotatable objects, where available studies generally analyze only right-angled rotations. In addition, raster approximation allows the use of unique performance metrics and indirect consideration of constraints, which have not been exploited in the literature. This study presents the new Concurrent or Ordered Matrix-based Packing Arrangement Computation Technique (COMPACT). The method relies on raster representations of the objects that can be rotated by arbitrary angles, unlike the right-angled rotation restrictions imposed in many existing packing optimization studies based on raster methods. The raster approximations are obtained through loop-free operations that improve efficiency. Besides, a novel performance metric is introduced, which favors efficient filling of the available space by maximizing the internal contact between the objects as well as the contact between the objects and domain boundaries. Moreover, the objective functions are exploited to discard overlap and overflow constraints and enable the use of unconstrained optimization methods. Several test problems involving concurrent and ordered packing of multiple rectangular and circular objects into square bins are investigated. The results show that the proposed technique performs effectively in determining the packing arrangements.
Discrepancies of Spanning Trees and Hamilton Cycles
Published
• View Publication
• BIB
We study the multicolour discrepancy of spanning trees and Hamilton cycles in graphs. As our main result, we show that under very mild conditions, the $r$-colour spanning-tree discrepancy of a graph $G$ is equal, up to a constant, to the minimum $s$ such that $G$ can be separated into $r$ equal parts by deleting $s$ vertices. This result arguably resolves the question of estimating the spanning-tree discrepancy in essentially all graphs of interest. In particular, it allows us to immediately deduce as corollaries most of the results that appear in a recent paper of Balogh, Csaba, Jing and Pluhár, proving them in wider generality and for any number of colours. We also obtain several new results, such as determining the spanning-tree discrepancy of the hypercube. For the special case of graphs possessing certain expansion properties, we obtain exact asymptotic bounds.
We also study the multicolour discrepancy of Hamilton cycles in graphs of large minimum degree, showing that in any $r$-colouring of the edges of a graph with $n$ vertices and minimum degree at least $\frac{r+1}{2r}n + d$, there must exist a Hamilton cycle with at least $\frac{n}{r} + 2d$ edges in some colour. This extends a result of Balogh et al., who established the case $r = 2$. The constant $\frac{r+1}{2r}$ in this result is optimal; it cannot be replaced by any smaller constant.
Germs in a poset
Published
• View Publication
• BIB
Motivated by the theory of correspondence functors, we introduce the notion of {\em germ} in a finite poset, and the notion of {\em germ extension} of a poset. We show that any finite poset admits a largest germ extension called its {\em germ closure}. We say that a subset $U$ of a finite lattice $T$ is {\em germ extensible} in $T$ if the germ closure of $U$ naturally embeds in $T$. We show that any for any subset $S$ of a finite lattice $T$, there is a unique germ extensible subset $U$ of $T$ such that $U\subseteq S\subseteq \overline{G}(U)$, where $\overline{G}(U)\subseteq T$ is the embedding of the germ closure of $U$.
Isomorphic Bisections of Cubic Graphs
Published
• View Publication
• BIB
Graph partitioning, or the dividing of a graph into two or more parts based on certain conditions, arises naturally throughout discrete mathematics, and problems of this kind have been studied extensively. In the 1990s, Ando conjectured that the vertices of every cubic graph can be partitioned into two parts that induce isomorphic subgraphs. Using probabilistic methods together with delicate recolouring arguments, we prove Ando's conjecture for large connected graphs.
How many pop-stacks does it take to sort a permutation?
Published
• View Publication
• BIB
Pop-stacks are variants of stacks that were introduced by Avis and Newborn in 1981. Coincidentally, a 1982 result of Unger implies that every permutation of length n can be sorted by n-1 passes through a deterministic pop-stack. We give a new proof of this result inspired by Knuth's zero-one principle.
An improved bound on the sum-product estimate in $\mathbb{F}_{p}$
We give an improved bound on the famed sum-product estimate in a field of residue class modulo $p$ ($\mathbb{F}_{p}$) by Erdős and Szemeredi, and a non-empty set $A \subset \mathbb{F}_{p}$ such that: $$ \max \{|A+A|,|A A|\} \gg \min \left\{\frac{|A|^{15 / 14} \max \left\{1,|A|^{1 / 7} p^{-1 / 14}\right\}}{(\log |A|)^{2 / 7}}, \frac{|A|^{11 / 12} p^{1 / 12}}{(\log |A|)^{1 / 3}}\right\}, $$ and more importantly: $$\max \{|A+A|,|A A|\} \gg \frac{|A|^{15 / 14}}{(\log |A|)^{2 / 7}}.$$
A note on simplicial cliques
Published in Discrete Mathematics, Volume 344, Issue 9, September 2021, 112470
• View Publication
• BIB
Motivated by an application in condensed matter physics and quantum information theory, we prove that every non-null even-hole-free claw-free graph has a simplicial clique, that is, a clique $K$ such that for every vertex $v \in K$, the set of neighbours of $v$ outside of $K$ is a clique. In fact, we prove the existence of a simplicial clique in a more general class of graphs defined by forbidden induced subgraphs.
Point-primitive generalised hexagons and octagons and projective linear groups
Published
• View Publication
• BIB
We discuss recent progress on the problem of classifying point-primitive generalised polygons. In the case of generalised hexagons and generalised octagons, this has reduced the problem to primitive actions of almost simple groups of Lie type. To illustrate how the natural geometry of these groups may be used in this study, we show that if $\mathcal{S}$ is a finite thick generalised hexagon or octagon with $G \leqslant{\rm Aut}(\mathcal{S})$ acting point-primitively and the socle of $G$ isomorphic to ${\rm PSL}_n(q)$ where $n \geqslant 2$, then the stabiliser of a point acts irreducibly on the natural module. We describe a strategy to prove that such a generalised hexagon or octagon $\mathcal{S}$ does not exist.
Universal $p$-ary designs
Published
• View Publication
• BIB
We investigate $p$-ary $t$-designs which are simultaneously designs for all $t$, which we call universal $p$-ary designs. Null universal designs are well understood due to Gordon James via the representation theory of the symmetric group. We study non-null designs and determine necessary and sufficient conditions on the coefficients for such a design to exist. This allows us to classify all universal designs, up to similarity.
On rich lenses in planar arrangements of circles and related problems
Published
• View Publication
• BIB
We show that the maximum number of pairwise non-overlapping $k$-rich lenses (lenses formed by at least $k$ circles) in an arrangement of $n$ circles in the plane is $O\left(\frac{n^{3/2}\log{(n/k^3)}}{k^{5/2}} + \frac{n}{k} \right)$, and the sum of the degrees of the lenses of such a family (where the degree of a lens is the number of circles that form it) is $O\left(\frac{n^{3/2}\log{(n/k^3)}}{k^{3/2}} + n\right)$. Two independent proofs of these bounds are given, each interesting in its own right (so we believe). We then show that these bounds lead to the known bound of Agarwal et al. (JACM 2004) and Marcus and Tardos (JCTA 2006) on the number of point-circle incidences in the plane. Extensions to families of more general algebraic curves and some other related problems are also considered.
The Speed and Threshold of the Biased Perfect Matching Game
Published
• View Publication
• BIB
We show that Maker wins the Maker-Breaker perfect matching game in $\frac{n}{2}+o(n)$ turns when the bias is at least $\frac{n}{\log{n}}-\frac{f(n)n}{(\log{n})^{5/4}}$, for any $f$ going to infinity with $n$ and $n$ sufficiently large (in terms of $f$).
Quasi-ordinarization transform of a numerical semigroup
Published
• View Publication
• BIB
We introduce the quasi-ordinarization transform of a numerical semigroup. This transform will allow to organize all the semigroups of a given genus in a forest rooted at all quasi-ordinary semigroups with the given genus. This construction provides an alternative approach to the conjecture on the increasingness of the number of numerical semigroups for each given genus. We elaborate on the number of nodes at each tree depth in the forest and present a few new conjectures that can be developed in the future. We prove some properties of the quasi-ordinarization transform, its relations with the ordinarization transform, and we also present an alternative approach to the conjecture that the number of numerical semigroups of each given genus is increasing.
The Speed and Threshold of the Biased Hamilton Cycle Game
Published
• View Publication
• BIB
We show that there is a constant C such that for any $b<\frac{n}{\ln{n}}-\frac{Cn}{(\ln{n})^{3/2}}$, Maker wins the Maker-Breaker Hamilton cycle game in $n+\frac{Cn}{\sqrt{\ln{n}}}$ steps.
On Squared Distance Matrix of Complete Multipartite Graphs
Published
• View Publication
• BIB
Let $G = K_{n_1,n_2,\cdots,n_t}$ be a complete $t$-partite graph on $n=\sum_{i=1}^t n_i$ vertices. The distance between vertices $i$ and $j$ in $G$, denoted by $d_{ij}$ is defined to be the length of the shortest path between $i$ and $j$. The squared distance matrix $Δ(G)$ of $G$ is the $n\times n$ matrix with $(i,j)^{th}$ entry equal to $0$ if $i = j$ and equal to $d_{ij}^2$ if $i \neq j$. We define the squared distance energy $E_Δ(G)$ of $G$ to be the sum of the absolute values of its eigenvalues. We determine the inertia of $Δ(G)$ and compute the squared distance energy $E_Δ(G)$. More precisely, we prove that if $n_i \geq 2$ for $1\leq i \leq t$, then $ E_Δ(G)=8(n-t)$ and if $ h= |\{i : n_i=1\}|\geq 1$, then $$ 8(n-t)+2(h-1) \leq E_Δ(G) < 8(n-t)+2h.$$ Furthermore, we show that for a fixed value of $n$ and $t$, both the spectral radius of the squared distance matrix and the squared distance energy of complete $t$-partite graphs on $n$ vertices are maximal for complete split graph $S_{n,t}$ and minimal for Tur{á}n graph $T_{n,t}$.
The automorphism group of the random poset does not admit a generic pair
We show that the conjugacy class of every pair of automoprhisms of the random poset is meager. This answers a question of Truss; see also Kuske-Truss.
EDIT. Work in progress, at the moment there is a gap in the proof of Theorem 2.
Coxeter factorizations with generalized Jucys-Murphy weights and Matrix Tree theorems for reflection groups
Published in Proc. Lond. Math. Soc. (3) 126 (2023), no. 1, 129-191
• View Publication
• BIB
We prove universal (case-free) formulas for the weighted enumeration of factorizations of Coxeter elements into products of reflections valid in any well-generated reflection group $W$, in terms of the spectrum of an associated operator, the $W$-Laplacian. This covers in particular all finite Coxeter groups. The results of this paper include generalizations of the Matrix Tree and Matrix Forest theorems to reflection groups, and cover reduced (shortest length) as well as arbitrary length factorizations.
Our formulas are relative to a choice of weighting system that consists of $n$ free scalar parameters and is defined in terms of a tower of parabolic subgroups. To study such systems we introduce (a class of) variants of the Jucys-Murphy elements for every group, from which we define a new notion of `tower equivalence' of virtual characters. A main technical point is to prove the tower equivalence between virtual characters naturally appearing in the problem, and exterior products of the reflection representation of $W$.
Finally we study how this $W$-Laplacian matrix we introduce can be used in other problems in Coxeter combinatorics. We explain how it defines analogues of trees for $W$ and how it relates them to Coxeter factorizations, we give new numerological identities between the Coxeter number of $W$ and those of its parabolic subgroups, and finally, when $W$ is a Weyl group, we produce a new, explicit formula for the volume of the corresponding root zonotope.
Congruences concerning generalized central trinomial coefficients
Published
• View Publication
• BIB
For any $n\in\mathbb{N}=\{0,1,2,\ldots\}$ and $b,c\in\mathbb{Z}$, the generalized central trinomial coefficient $T_n(b,c)$ denotes the coefficient of $x^n$ in the expansion of $(x^2+bx+c)^n$. Let $p$ be an odd prime. In this paper, we determine the summation $\sum_{k=0}^{p-1}T_k(b,c)^2/m^k$ modulo $p^2$ for integers $m$ with certain restrictions. As applications, we confirm some conjectural congruences of Sun [Sci. China Math. 57 (2014), 1375--1400].
Spaces of Lorentzian and real stable polynomials are Euclidean balls
Published in Forum of Mathematics, Sigma 9 (2021) e73
• View Publication
• BIB
We prove that projective spaces of Lorentzian and real stable polynomials are homeomorphic to closed Euclidean balls. This solves a conjecture of June Huh and the author. The proof utilizes and refines a connection between the symmetric exclusion process in Interacting Particle Systems and the geometry of polynomials.