Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A refined energy bound for perpendicular bisectors
Published
• View Publication
• BIB
Let $\mathcal{P}$ be a set of $n$ points in the Euclidean plane. We prove that, for any $ε> 0$, either a single line or circle contains $n/2$ points of $\mathcal{P}$, or the number of distinct perpendicular bisectors determined by pairs of points in $\mathcal{P}$ is $Ω(n^{52/35 - ε})$, where the constant implied by the $Ω$ notation depends on $\mathcal{P}$. This is progress toward a conjecture of Lund, Sheffer, and de Zeeuw, that either a single line or circle contains $n/2$ points of $\mathcal{P}$, or the number of distinct perpendicular bisectors is $Ω(n^2)$.
The proof relies bounding the size of a carefully selected subset of the quadruples $(a,b,c,d) \in \mathcal{P}^4$ such that the perpendicular bisector of $a$ and $b$ is the same as the perpendicular bisector of $c$ and $d$.
On the Combinatorics of the Universal Enveloping Algebra Uh(sl2)
We study using combinatorial methods the structural coefficients of the formal homogeneous universal enveloping algebra Uh(sl2) of the special linear algebra sl2 over a field of characteristic zero. We provide explicit formulae for the product of generic elements in Uh(sl2), and construct combinatorial objects giving flesh to these formulae.
Max k-cut and the smallest eigenvalue
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$ and size $m$, and let $\mathrm{mc}_{k}\left( G\right) $ be the maximum size of a $k$-cut of $G.$ It is shown that \[ \mathrm{mc}_{k}\left( G\right) \leq\frac{k-1}{k}\left( m-\frac{μ_{\min }\left( G\right) n}{2}\right) , \] where $μ_{\min}\left( G\right) $ is the smallest eigenvalue of the adjacency matrix of $G.$
An infinite class of graphs forcing equality in this bound is constructed.
All trees are six-cordial
Published in Electronic Journal of Graph Theory and Applications, 5(1) (2017), 21-35
• View Publication
• BIB
For any integer $k>0$, a tree $T$ is $k$-cordial if there exists a labeling of the vertices of $T$ by $\mathbb{Z}_k$, inducing a labeling on the edges with edge-weights found by summing the labels on vertices incident to a given edge modulo $k$ so that each label appears on at most one more vertex than any other and each edge-weight appears on at most one more edge than any other.
We prove that all trees are six-cordial by an adjustment of the test proposed by Hovey (1991) to show all trees are $k$-cordial.
Law of large numbers for the largest component in a hyperbolic model of complex networks
Published
• View Publication
• BIB
We consider the component structure of a recent model of random graphs on the hyperbolic plane that was introduced by Krioukov et al. The model exhibits a power law degree sequence, small distances and clustering, features that are associated with the so-called complex networks. The model is controlled by two parameters $α$ and $ν$ where, roughly speaking, $α$ controls the exponent of the power law and $ν$ controls the average degree. Refining earlier results, we are able to show a law of large numbers for the largest component. That is, we show that the fraction of points in the largest component tends in probability to a constant $c$ that depends only on $α,ν$, while all other components are sublinear. We also study how $c$ depends on $α, ν$. To deduce our results, we introduce a local approximation of the random graph by a continuum percolation model on $\mathbb{R}^2$ that may be of independent interest.
Palindromic Density
In this paper we consider the palindromes that can be formed by taking unordered sets of $n$ elements from an alphabet of $b$ letters. In particular, we seek to find the probability that given a random member of this space we are able to re-arrange its elements to form a palindrome. We conclude by exploring the behaviour of this probability as $n, b \to \infty$
Cauchy-Davenport type inequalities, I
Let $\mathbb G = (G, +)$ be a group (either abelian or not). Given $X, Y \subseteq G$, we denote by $\langle Y \rangle$ the subsemigroup of $\mathbb G$ generated by $Y$, and we set $$γ(Y) := \sup_{y_0 \in Y} \inf_{y_0 \ne y \in Y} {\rm ord}(y - y_0)$$ if $|Y| \ge 2$ and $γ(Y) := |Y|$ otherwise. We prove that if $\langle Y \rangle$ is commutative, $Y$ is non-empty, and $X+2Y \neq X + Y + y$ for some $y \in Y$, then $$ |X+Y| \ge |X|+\min(γ(Y), |Y| - 1). $$ Actually, this is obtained from a more general result, which improves on previous work of the author on sumsets in cancellative semigroups, and yields a comprehensive generalization, and in some cases a considerable strengthening, of various additive theorems, notably including the Chowla-Pillai theorem (on sumsets in finite cyclic groups) and the specialization to abelian groups of the Hamidoune-Shatrowsky theorem.
Stability versions of Erdős-Ko-Rado type theorems, via isoperimetry
Published
• View Publication
• BIB
Erdős-Ko-Rado (EKR) type theorems yield upper bounds on the sizes of families of sets, subject to various intersection requirements on the sets in the family. Stability versions of such theorems assert that if the size of a family is close to the maximum possible size, then the family itself must be close (in some appropriate sense) to a maximum-sized family.
In this paper, we present an approach to obtaining stability versions of EKR-type theorems, via isoperimetric inequalities for subsets of the hypercube. Our approach is rather general, and allows the leveraging of a wide variety of exact EKR-type results into strong stability versions of these results, without going into the proofs of the original results.
We use this approach to obtain tight stability versions of the EKR theorem itself and of the Ahlswede-Khachatrian theorem on $t$-intersecting families of $k$-element subsets of $\{1,2,\ldots.n\}$ (for $k < \frac{n}{t+1}$), and to show that, somewhat surprisingly, all these results hold when the intersection requirement is replaced by a much weaker requirement.
Other examples include stability versions of Frankl's recent result on the Erdős matching conjecture, the Ellis-Filmus-Friedgut proof of the Simonovits-Sós conjecture, and various EKR-type results on $r$-wise (cross)-$t$-intersecting families.
Integral homology of real isotropic and odd orthogonal Grassmannians
Published in Osaka J. Math. 59 (4) 853 - 880, October 2022
• Search Publication
We obtain a combinatorial expression for the coefficients of the boundary map of real isotropic and odd orthogonal Grassmannians providing a natural generalization of the formulas already obtained for Lagrangian and maximal isotropic Grassmannians. The results are given in terms of the classification into four types of covering pairs among the Schubert cells when identified with signed $k$-Grassmannian permutations. It turns out that these coefficients only depend on the positions changed over each pair of permutations. As an application, we give an orientability criterion, exhibit a symmetry of these coefficients and, compute low-dimensional homology groups.
Existence of a Not Necessarily Symmetric Matrix with Given Distinct Eigenvalues and Graph
Published in Linear Algebra and its Applications, Volume 527, 15 August 2017, Pages 1-11
• View Publication
• BIB
For given k distinct complex conjugate pairs, l distinct real numbers, and a given graph G on 2k+l vertices with a matching of size at least k, we will show that there is a real matrix whose eigenvalues are the given numbers and its graph is G. In particular, this implies that any real matrix with distinct eigenvalues is similar to a real, irreducible, tridiagonal matrix.
Multidimensional lower density versions of Plünnecke's inequality
Published
• View Publication
• BIB
We investigate the lower asymptotic density of sumsets in $\mathbb{N}^2$ by proving certain Plünnecke type inequalities for various notions of lower density in $\mathbb{N}^2$. More specifically, we introduce a notion of lower tableaux density in $\mathbb{N}^2$ which involves averaging over convex tableaux-shaped regions in $\mathbb{N}^2$ which contain the origin. This generalizes the well known Plünnecke type inequality for the lower asymptotic density of sumsets in $\mathbb{N}$. We also provide a conjectural Plünnecke inequality for the more basic notion of lower rectangular asymtpotic density in $\mathbb{N}^2$ and prove certain partial results.
Bisecting and D-secting families for set systems
Let $n$ be any positive integer and $\mathcal{F}$ be a family of subsets of $[n]$.
A family $\mathcal{F}'$ is said to be $D$-\emph{secting} for $\mathcal{F}$ if for every $A \in \mathcal{F}$, there exists a subset $A' \in \mathcal{F}'$ such that $|A \cap A'| - |A \cap ([n] \setminus A')|=i$, where $i \in D$, $D \subseteq \{-n,-n+1,\ldots,0,\ldots,n\}$.
A $D$-\emph{secting} family $\mathcal{F}'$ of $\mathcal{F}$, where $D=\{-1,0,1\}$, is a \emph{bisecting} family ensuring the existence of a subset $A' \in \mathcal{F}'$ such that $|A \cap A'| \in \{\lceil \frac{|A|}{2}\rceil,\lfloor \frac{|A|}{2}\rfloor\}$, for each $A \in \mathcal{F}$.
In this paper, we study $D$-secting families for $\mathcal{F}$ with restrictions on $D$, and the cardinalities of $\mathcal{F}$ and the subsets of $\mathcal{F}$.
Asymptotics of random domino tilings of rectangular Aztec diamonds
Published
• View Publication
• BIB
We consider asymtotics of a domino tiling model on a class of domains which we call rectangular Aztec diamonds. We prove the Law of Large Numbers for the corresponding height functions and provide explicit formulas for the limit. For a special class of examples, the explicit parametrization of the frozen boundary is given. It turns out to be an algebraic curve with very special properties. Moreover, we establish the convergence of the fluctuations to the Gaussian Free Field in appropriate coordinates. Our main tool is a recently developed moment method for discrete particle systems.
Distinct and repeated distances on a surface and incidences between points and spheres
In this paper we show that the number of distinct distances determined by a set of $n$ points on a constant-degree two-dimensional algebraic variety $V$ (i.e., a surface) in $\mathbb R^3$ is at least $Ω\left(n^{7/9}/{\rm polylog} \,n\right)$. This bound is significantly larger than the conjectured bound $Ω(n^{2/3})$ for general point sets in $\mathbb R^3$.
We also show that the number of unit distances determined by $n$ points on a surface $V$, as above, is $O(n^{4/3})$, a bound that matches the best known planar bound, and is worst-case tight in 3-space. This is in sharp contrast with the best known general bound $O(n^{3/2})$ for points in three dimensions.
To prove these results, we establish an improved upper bound for the number of incidences between a set $P$ of $m$ points and a set $S$ of $n$ spheres, of arbitrary radii, in $\mathbb R^3$, provided that the points lie on an algebraic surface $V$ of constant degree, which does not have linear or spherical components. Specifically, the bound is $$ O\left( m^{2/3}n^{2/3} + m^{1/2}n^{7/8}\log^β(m^4/n) + m + n + \sum_{c} |P_{c}|\cdot |S_{c}| \right) , $$ where the constant of proportionality and the constant exponent $β$ depend on the degree of $V$, and where the sum ranges over all circles $c$ that are fully contained in $V$, so that, for each such $c$, $P_c = P\cap c$ and $S_c$ is the set of the spheres of $S$ that contain $c$. In addition, $\sum_{c} |P_{c}| = O(m)$ and $\sum_{c} |S_{c}| = O(n)$. This bound too improves upon earlier known bounds. These have been obtained for arbitrary point sets but only under severe restrictions about the spheres, which are dropped in our result. Another interesting application of our result is an incidence bound for arbitrary points and spheres in 3-space, where we improve and generalize the previous work of Apfelbaum and Sharir[AS].
Schrijver graphs and projective quadrangulations
Published in The final version of this paper was published in the collection of papers "A Journey through Discrete Mathematics: A Tribute to Jiří Matoušek" (M. Loebl, J. Nešetřil and R. Thomas, eds.), Springer, 2017, pp. 505-526
• View Publication
• BIB
In a recent paper [J. Combin. Theory Ser. B}, 113 (2015), pp. 1-17], the authors have extended the concept of quadrangulation of a surface to higher dimension, and showed that every quadrangulation of the $n$-dimensional projective space $P^n$ is at least $(n+2)$-chromatic, unless it is bipartite. They conjectured that for any integers $k\geq 1$ and $n\geq 2k+1$, the Schrijver graph $SG(n,k)$ contains a spanning subgraph which is a quadrangulation of $P^{n-2k}$. The purpose of this paper is to prove the conjecture.
Irreducible Ulrich bundles on isotropic Grassmannians
Published in Moscow Mathematical Journal 16, no. 4 (2016): 711-726
• View Publication
• BIB
We classify irreducible equivariant Ulrich vector bundles on isotropic Grassmannians.
On particles in equilibrium on the real line
Published
• View Publication
• BIB
We study equilibrium configurations of infinitely many identical particles on the real line or finitely many particles on the circle, such that the (repelling) force they exert on each other depends only on their distance. The main question is whether each equilibrium configuration needs to be an arithmetic progression. Under very broad assumptions on the force we show this for the particles on the circle. In the case of infinitely many particles on the line we show the same result under the assumption that the maximal (or the minimal) gap between successive points is finite (positive) and assumed at some pair of successive points. Under the assumption of analyticity for the force field (e.g., the Coulomb force) we deduce some extra rigidity for the configuration: knowing an equilibrium configuration of points in a half-line determines it throughout. Various properties of the equlibrium configuration are proved.
N-block presentations and decidability of direct conjugacy between Subshifts of Finite Type
We consider the problem of inverting the transformation which consists in replacing a word by the sequence of its blocks of length N, i.e. its so-called N-block presentation. It was previously shown that among all the possible preimages of an N-block presentation, there exists a particular one which is maximal in the sense that all the other preimages can be obtained from it by letter to letter applications. We give here a combinatorial characterization of the maximal preimages of N-block presentations. Using this characterization, we show that, being given two subshifts of finite type X and Y, the existence of two numbers N and M such that the N-block presentation of X is similar to the M-block presentation of Y, which implies that X and Y are conjugate, is decidable.
Postorder Preimages
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Combinatorics (February 6, 2017) dmtcs:1428
• View Publication
• BIB
Given a set $Y$ of decreasing plane trees and a permutation $π$, how many trees in $Y$ have $π$ as their postorder? Using combinatorial and geometric constructions, we provide a method for answering this question for certain sets $Y$ and all permutations $π$. We then provide applications of our results to the study of the deterministic stack-sorting algorithm.
Topological Resonances on Quantum Graphs
In this paper, we try to put the results of Smilansky and al. on "Topological resonances" on a mathematical basis.A key role in the asymptotic of resonances near the real axis for Quantum Graphs is played by the set of metrics for which there exists compactly supported eigenfunctions. We give several estimateof the dimension of this semi-algebraic set, in particular in terms of the girth of the graph. The case oftrees is also discussed.