Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Sumsets and entropy revisited
Published in Random Struct Alg. (2024) 1-33
• View Publication
• BIB
The entropic doubling $σ_{\operatorname{ent}}[X]$ of a random variable $X$ taking values in an abelian group $G$ is a variant of the notion of the doubling constant $σ[A]$ of a finite subset $A$ of $G$, but it enjoys somewhat better properties; for instance, it contracts upon applying a homomorphism.
In this paper we develop further the theory of entropic doubling and give various applications, including:
(1) A new proof of a result of Pálvölgyi and Zhelezov on the ``skew dimension'' of subsets of $\mathbf{Z}^D$ with small doubling;
(2) A new proof, and an improvement, of a result of the second author on the dimension of subsets of $\mathbf{Z}^D$ with small doubling;
(3) A proof that the Polynomial Freiman--Ruzsa conjecture over $\mathbf{F}_2$ implies the (weak) Polynomial Freiman--Ruzsa conjecture over $\mathbf{Z}$.
Extrema of local mean and local density in a tree
Published
• View Publication
• BIB
Given a tree T, one can define the local mean at some subtree S to be the average order of subtrees containing S. It is natural to ask which subtree of order k achieves the maximal/minimal local mean among all the subtrees of the same order and what properties it has. We call such subtrees k-maximal subtrees. Wagner and Wang showed in 2016 that a 1- maximal subtree is a vertex of degree 1 or 2. This paper shows that for any integer k = 1, . . . , |T| , a k-maximal subtree has at most one leaf whose degree is greater than 2 and at least one leaf whose degree is at most 2. Furthermore, we show that a k-maximal subtree has a leaf of degree greater than 2 only when all its other leaves are leaves in T as well. In the second part, this paper introduces the local density as a normalization of local means, for the sake of comparing subtrees of different orders, and shows that the local density at subtree S is lower-bounded by 1/2 with equality if and only if S contains the core of T. On the other hand, local density can be arbitrarily close to 1.
On atoms of the set of generalized numerical semigroups with fixed corner element
Published
• View Publication
• BIB
We study the so-called atomic GNS, which naturally extends the concept of atomic numerical semigroup. We introduce the notion of corner special gap and we characterize the class of atomic GNS in terms of the cardinality of the set of corner special gaps and also in terms of a maximal property. Using this maximal property we present some properties concerning irreducibility of Frobenius GNSs. In particular, we provide sufficient conditions for certain Frobenius GNSs to be an atom non-irreducible (ANI). Furthermore, we given necessary and sufficient conditions so that the maximal elements of a set of Frobenius GNSs with two fixes gaps to be all irreducible or not.
Minimal Face Numbers for Volume Rigidity
Maxwell introduced a necessary minimum number of edges in terms of the number of vertices required for a graph to yield a Euclidean rigid generic framework in $\mathbb{R}^3$, this count was generalised to $\mathbb{R}^d$, for all $d\geq 1$. In this paper, we give the analogous minimum number of $k$-simplices, for all $0\leq k\leq d$, required for a pure $d$-dimensional simplicial complex to yield a volume rigid generic framework in $\mathbb{R}^d$, for all $d\geq 1$. In order to do so, we prove some basic facts about the volume rigidity matroid and use exterior algebraic shifting, a recently added tool to the study of volume rigidity. We later prove a volume rigidity Vertex Removal Lemma and use our count to strengthen the statement.
Planar Turán number of the 7-cycle
Published
• View Publication
• BIB
The $\textit{planar Turán number}$ $\textrm{ex}_{\mathcal P}(n,H)$ of a graph $H$ is the maximum number of edges in an $n$-vertex planar graph without $H$ as a subgraph. Let $C_{\ell}$ denote the cycle of length $\ell$. The planar Turán number $\textrm{ex}_{\mathcal P}(n,C_{\ell})$ behaves differently for $\ell\le 10$ and for $\ell\ge 11$, and it is known when $\ell \in \{3,4,5,6\}$. We prove that $\textrm{ex}_{\mathcal P}(n,C_7) \le \frac{18n}{7} - \frac{48}{7}$ for all $n > 38$, and show that equality holds for infinitely many integers $n$.
Positive del Pezzo Geometry
Published
• View Publication
• BIB
Real, complex, and tropical algebraic geometry join forces in a new branch of mathematical physics called positive geometry. We develop the positive geometry of del Pezzo surfaces and their moduli spaces, viewed as very affine varieties. Their connected components are derived from polyhedral spaces with Weyl group symmetries. We study their canonical forms and scattering amplitudes, and we solve the likelihood equations.
Geometric Graphs with Unbounded Flip-Width
We consider the flip-width of geometric graphs, a notion of graph width recently introduced by Toruńczyk. We prove that many different types of geometric graphs have unbounded flip-width. These include interval graphs, permutation graphs, circle graphs, intersection graphs of axis-aligned line segments or axis-aligned unit squares, unit distance graphs, unit disk graphs, visibility graphs of simple polygons, $β$-skeletons, 4-polytopes, rectangle of influence graphs, and 3d Delaunay triangulations.
Counting occurrences of patterns in permutations
Published
• View Publication
• BIB
We develop a new, powerful method for counting elements in a multiset. As a first application, we use this algorithm to study the number of occurrences of patterns in a permutation. For patterns of length 3 there are two Wilf classes, and the general behaviour of these is reasonably well-known. We slightly extend some of the known results in that case, and exhaustively study the case of patterns of length 4, about which there is little previous knowledge. For such patterns, there are seven Wilf classes, and based on extensive enumerations and careful series analysis, we have conjectured the asymptotic behaviour for all classes.
A constructive solution to the Oberwolfach Problem with a large cycle
Published
• View Publication
• BIB
For every $2$-regular graph $F$ of order $v$, the Oberwolfach problem $OP(F)$ asks whether there is a $2$-factorization of $K_v$ ($v$ odd) or $K_v$ minus a $1$-factor ($v$ even) into copies of $F$. Posed by Ringel in 1967 and extensively studied ever since, this problem is still open. In this paper we construct solutions to $OP(F)$ whenever $F$ contains a cycle of length greater than an explicit lower bound. Our constructions combine the amalgamation-detachment technique with methods aimed at building $2$-factorizations with an automorphism group having a nearly-regular action on the vertex-set.
Reflection Representations of Coxeter Groups and Homology of Coxeter Graphs
Published
• View Publication
• BIB
We study and classify a class of representations (called generalized geometric representations) of a Coxeter group of finite rank. These representations can be viewed as a natural generalization of the geometric representation. The classification is achieved by using characters of the integral homology group of certain graphs closely related to the Coxeter graph. On this basis, we also provide an explicit description of those representations on which the defining generators of the Coxeter group act by reflections.
Advancements in Research Mathematics through AI: A Framework for Conjecturing
In the words of the esteemed mathematician Paul Erdös, the mathematician's task is to \emph{prove and conjecture}. These two processes form the bedrock of all mathematical endeavours, and in the recent years, the mathematical community has increasingly sought the assistance of computers to bolster these tasks. This paper is a testament to that pursuit; it presents a robust framework enabling a computer to automatically generate conjectures - particularly those conjectures that mathematicians might deem substantial and elegant. More specifically, we outline our framework and provide evidence in the mathematical literature demonstrating its use in generating publishable research and surprising mathematics. We suspect our simple description of computer-assisted mathematical conjecturing will catalyze further research into this area and encourage the development of more advanced techniques than the ones presented herein.
A telescopic proof of Cayley's formula
Published
• View Publication
• BIB
We give a short proof of the fact that the number of labelled trees on $n$ vertices is $n^{n-2}$. Although many short proofs are known, we have not seen this one before.
On boundedness of zeros of the independence polynomial of tori
Published
• View Publication
• BIB
We study boundedness of zeros of the independence polynomial of tori for sequences of tori converging to the integer lattice. We prove that zeros are bounded for sequences of balanced tori, but unbounded for sequences of highly unbalanced tori. Here balanced means that the size of the torus is at most exponential in the shortest side length, while highly unbalanced means that the longest side length of the torus is super exponential in the product over the other side lengths cubed. We discuss implications of our results to the existence of efficient algorithms for approximating the independence polynomial on tori.
This project was partially inspired by the relationship between zeros of partition functions and holomorphic dynamics, a relationship that in the last two decades played a prominent role in the field. Besides presenting new results, we survey this relationship and its recent consequences.
The binomial random graph is a bad inducer
Published
• View Publication
• BIB
For a finite graph $F$ and a value $p \in [0,1]$, let $I(F,p)$ denote the largest $y$ for which there is a sequence of graphs of edge density approaching $p$ so that the induced $F$-density of the sequence approaches $y$. We show that for all $F$ on at least three vertices and all $p \in (0,1)$, the binomial random graph $G(n,p)$ has induced $F$-density strictly less than $I(F,p).$ This provides a negative answer to a problem posed by Liu, Mubayi and Reiher.
Our approach is in the limiting setting of graphons, and we in fact show a stronger result: the binomial random graph is never a \emph{local} maximum in the space of graphons of edge density $p$. This is done by finding a sequence of balanced perturbations of arbitrarily small norm that increase the $F$-density.
A book proof of the middle levels theorem
We give a short constructive proof for the existence of a Hamilton cycle in the subgraph of the $(2n+1)$-dimensional hypercube induced by all vertices with exactly $n$ or $n+1$ many 1s.
Combinatorial Fiedler Theory and Graph Partition
Published
• View Publication
• BIB
Partition problems in graphs are extremely important in applications, as shown in the Data science and Machine learning literature. One approach is spectral partitioning based on a Fiedler vector, i.e., an eigenvector corresponding to the second smallest eigenvalue $a(G)$ of the Laplacian matrix $L_G$ of the graph $G$. This problem corresponds to the minimization of a quadratic form associated with $L_G$, under certain constraints involving the $\ell_2$-norm. We introduce and investigate a similar problem, but using the $\ell_1$-norm to measure distances. This leads to a new parameter $b(G)$ as the optimal value. We show that a well-known cut problem arises in this approach, namely the sparsest cut problem. We prove connectivity results and different bounds on this new parameter, relate to Fiedler theory and show explicit expressions for $b(G)$ for trees. We also comment on an $\ell_{\infty}$-norm version of the problem.
Flattened Stirling Permutations
Published
• View Publication
• BIB
Recall that a Stirling permutation is a permutation on the multiset $\{1,1,2,2,\ldots,n,n\}$ such that any numbers appearing between repeated values of $i$ must be greater than $i$. We call a Stirling permutation ``flattened'' if the leading terms of maximal chains of ascents (called runs) are in weakly increasing order. Our main result establishes a bijection between flattened Stirling permutations and type $B$ set partitions of $\{0,\pm1,\pm2,\ldots,\pm (n-1)\}$, which are known to be enumerated by the Dowling numbers, and we give an independent proof of this fact. We also determine the maximal number of runs for any flattened Stirling permutation, and we enumerate flattened Stirling permutations with a small number of runs or with two runs of equal length. We conclude with some conjectures and generalizations worthy of future investigation.
Lucky Cars and the Quicksort Algorithm
Published
• View Publication
• BIB
Quicksort is a classical divide-and-conquer sorting algorithm. It is a comparison sort that makes an average of $2(n+1)H_n - 4n$ comparisons on an array of size $n$ ordered uniformly at random, where $H_n = \sum_{i=1}^n\frac{1}{i}$ is the $n$th harmonic number. Therefore, it makes $n!\left[2(n+1)H_n - 4n\right]$ comparisons to sort all possible orderings of the array. In this article, we prove that this count also enumerates the parking preference lists of $n$ cars parking on a one-way street with $n$ parking spots resulting in exactly $n-1$ lucky cars (i.e., cars that park in their preferred spot). For $n\geq 2$, both counts satisfy the second order recurrence relation $ f_n=2nf_{n-1}-n(n-1)f_{n-2}+2(n-1)! $ with $f_0=f_1=0$.
Decomposition of Geometric Graphs into Star Forests
Published
• View Publication
• BIB
We solve a problem of Dujmović and Wood (2007) by showing that a complete convex geometric graph on $n$ vertices cannot be decomposed into fewer than $n-1$ star-forests, each consisting of noncrossing edges. This bound is clearly tight. We also discuss similar questions for abstract graphs.
On Ruzsa's discrete Brunn-Minkowski conjecture
Published
• View Publication
• BIB
We prove a conjecture by Ruzsa from 2006 on a discrete version of the Brunn-Minkowski inequality, stating that for any $A,B\subset\mathbb{Z}^k$ and $ε>0$ with $B$ not contained in $n_{k,ε}$ parallel hyperplanes we have $|A+B|^{1/k}\geq |A|^{1/k}+\left(1-ε\right)|B|^{1/k}$.