Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On rich points and incidences with restricted sets of lines in 3-space
Let $L$ be a set of $n$ lines in $R^3$ that is contained, when represented as points in the four-dimensional Plücker space of lines in $R^3$, in an irreducible variety $T$ of constant degree which is \emph{non-degenerate} with respect to $L$ (see below). We show:
\medskip \noindent{\bf (1)} If $T$ is two-dimensional, the number of $r$-rich points (points incident to at least $r$ lines of $L$) is $O(n^{4/3+ε}/r^2)$, for $r \ge 3$ and for any $ε>0$, and, if at most $n^{1/3}$ lines of $L$ lie on any common regulus, there are at most $O(n^{4/3+ε})$ $2$-rich points. For $r$ larger than some sufficiently large constant, the number of $r$-rich points is also $O(n/r)$.
As an application, we deduce (with an $ε$-loss in the exponent) the bound obtained by Pach and de Zeeuw (2107) on the number of distinct distances determined by $n$ points on an irreducible algebraic curve of constant degree in the plane that is not a line nor a circle.
\medskip \noindent{\bf (2)} If $T$ is two-dimensional, the number of incidences between $L$ and a set of $m$ points in $R^3$ is $O(m+n)$.
\medskip \noindent{\bf (3)} If $T$ is three-dimensional and nonlinear, the number of incidences between $L$ and a set of $m$ points in $R^3$ is $O\left(m^{3/5}n^{3/5} + (m^{11/15}n^{2/5} + m^{1/3}n^{2/3})s^{1/3} + m + n \right)$, provided that no plane contains more than $s$ of the points. When $s = O(\min\{n^{3/5}/m^{2/5}, m^{1/2}\})$, the bound becomes $O(m^{3/5}n^{3/5}+m+n)$.
As an application, we prove that the number of incidences between $m$ points and $n$ lines in $R^4$ contained in a quadratic hypersurface (which does not contain a hyperplane) is $O(m^{3/5}n^{3/5} + m + n)$.
The proofs use, in addition to various tools from algebraic geometry, recent bounds on the number of incidences between points and algebraic curves in the plane.
Full characterization of graphs having certain normalized Laplacian eigenvalue of multiplicity $n-3$
Published
• View Publication
• BIB
Let $G$ be a connected simple graph of order $n$. Let $ρ_1(G)\geq ρ_2(G)\geq \cdots \geq ρ_{n-1}(G)> ρ_n(G)=0$ be the eigenvalues of the normalized Laplacian matrix $\mathcal{L}(G)$ of $G$. Denote by $m(ρ_i)$ the multiplicity of the normalized Laplacian eigenvalue $ρ_i$. Let $ν(G)$ be the independence number of $G$. In this paper, we give a full characterization of graphs with some normalized Laplacian eigenvalue of multiplicity $n-3$, which answers a remaining problem in [S. Sun, K.C. Das, On the multiplicities of normalized Laplacian eigenvalues of graphs, Linear Algebra Appl. 609 (2021) 365-385], $i.e.,$ there is no graph with $m(ρ_1)=n-3$ ($n\geq 6$) and $ν(G)=2$. Moreover, we confirm that all the graphs with $m(ρ_1)=n-3$ are determined by their normalized Laplacian spectra.
Hamilton cycles in weighted Erdős-Rényi graphs
Given a symmetric $n\times n$ matrix $P$ with $0 \le P(u, v)\le 1$, we define a random graph $G_{n, P}$ on $[n]$ by independently including any edge $\{u, v\}$ with probability $P(u, v)$. For $k\ge 1$ let $\mathcal{A}_k$ be the property of containing $\lfloor k/2 \rfloor$ Hamilton cycles, and one perfect matching if $k$ is odd, all edge-disjoint. With an eigenvalue condition on $P$, and conditions on its row sums, $G_{n, P}\in \mathcal{A}_k$ happens with high probability if and only if $G_{n, P}$ has minimum degree $k$ whp. We also provide a hitting time version. As a special case, the random graph process on pseudorandom $(n, d, μ)$-graphs with $μ\le d(d/n)^α$ for some constant $α> 0$ has property $\mathcal{A}_k$ as soon as it acquires minimum degree $k$ with high probability.
Derangements and Continued Fractions for $e$
Published
• View Publication
• BIB
Several continued fraction expansions for $e$ have been produced by an automated conjecture generator (ACG) called \emph{The Ramanujan Machine}. Some of these were already known, some have recently been proved and some remain unproven. While an ACG can produce interesting putative results, it gives very limited insight into their significance. In this paper, we derive an elegant continued fraction expansion, equivalent to a result from the Ramanujan Machine, using the sequence of ratios of factorials to subfactorials or derangement numbers.
Discrete Mathematics
The purpose of the present work is to provide short and supple teaching notes for a $30$ hours introductory course on elementary \textit{Enumerative Algebraic Combinatorics}. We fully adopt the \textit{Rota way}. The themes are organized into a suitable sequence that allows us to derive any result from the preceding ones by elementary processes. Definitions of \textit{combinatorial coefficients} are just by their \textit{combinatorial meaning}. The derivation techniques of formulae/results are founded upon constructions and two general and elementary principles/methods:
- The \textit{bad element} method (for \textit{recursive} formulae). As the reader should recognize, the bad element method might be regarded as a combinatorial companion of the idea of \textit{conditional probability}.
- The \textit{overcounting} principle (for \textit{close form} formulae).
Therefore, \textit{no computation} is required in \textit{proofs}: \textit{computation formulae are byproducts of combinatorial constructions}. We tried to provide a self-contained presentation: the only prerequisite is standard high school mathematics. We limited ourselves to the \textit{combinatorial point of view}: we invite the reader to draw the (obvious) \textit{probabilistic interpretations}.
The holonomy Lie algebra of a matroid
We will start from the beginning and define a matroid and its Orlik-Solomon algebra and holonomy Lie algebra, but first we give some background from topology and cohomology. A (central) hyperplane arrangement is a finite number of subspaces of codimension one in a finite dimensional vector space over R, C or even finite fields. The space X which is the complement of the union of the hyperplanes has interesting properties. If you consider R^n the cohomology is however rather trivial, there is just an H^0, since X is a disjoint union of contractible sets. But it is not a trivial task to compute |H^0|. The way to do it is to consider the intersection lattice of the hyperplanes and compute its Möbius function. The result is that the number of components is the sum of the absolut values of the Möbius function (Zaslavsky 1975).
Constructing minimally 3-connected graphs
Published in Algorithms 14, no. 1: 9 (2021)
• View Publication
• BIB
A $3$-connected graph is minimally 3-connected if removal of any edge destroys 3-connectivity. We present an algorithm for constructing minimally 3-connected graphs based on the results in (Dawes, JCTB 40, 159-168, 1986) using two operations: adding an edge between non-adjacent vertices and splitting a vertex. In order to test sets of vertices and edges for 3-compatibility, which depends on the cycles of the graph, we develop a method for obtaining the cycles of $G'$ from the cycles of $G$, where $G'$ is obtained from $G$ by one of the two operations above. We eliminate isomorphs using certificates generated by McKay's isomorphism checker nauty. The algorithm consecutively constructs the non-isomorphic minimally 3-connected graphs with $n$ vertices and $m$ edges from the non-isomorphic minimally 3-connected graphs with $n-1$ vertices and $m-2$ edges, $n-1$ vertices and $m-3$ edges, and $n-2$ vertices and $m-3$ edges.
Criteria for integer and modulo 2 embeddability of graphs to surfaces
The study of graph drawings on 2-surfaces is an active area of mathematical research. Our main results are criteria for integer and modulo 2 embeddability of graphs to surfaces.
A Generalized Information-Theoretic Approach for Bounding the Number of Independent Sets in Bipartite Graphs
Published
• View Publication
• BIB
This paper studies the problem of upper bounding the number of independent sets in a graph, expressed in terms of its degree distribution. For bipartite regular graphs, Kahn (2001) established a tight upper bound using an information-theoretic approach, and he also conjectured an upper bound for general graphs. His conjectured bound was recently proved by Sah et al. (2019), using different techniques not involving information theory. The main contribution of this work is the extension of Kahn's information-theoretic proof technique to handle irregular bipartite graphs. In particular, when the bipartite graph is regular on one side, but it may be irregular in the other, the extended entropy-based proof technique yields the same bound that was conjectured by Kahn (2001) and proved by Sah et al. (2019).
Tropical compactification via Ganter's algorithm
Published
• View Publication
• BIB
We describe a canonical compactification of a polyhedral complex in Euclidean space. When the recession cones of the polyhedral complex form a fan, the compactified polyhedral complex is a subspace of a tropical toric variety. In this case, the procedure is analogous to the tropical compactifications of subvarieties of tori.
We give an analysis of the combinatorial structure of the compactification and show that its Hasse diagram can be computed via Ganter's algorithm. Our algorithm is implemented in and shipped with polymake.
Quantitative Correlation Inequalities via Semigroup Interpolation
Published
• View Publication
• BIB
Most correlation inequalities for high-dimensional functions in the literature, such as the Fortuin-Kasteleyn-Ginibre (FKG) inequality and the celebrated Gaussian Correlation Inequality of Royen, are qualitative statements which establish that any two functions of a certain type have non-negative correlation. In this work we give a general approach that can be used to bootstrap many qualitative correlation inequalities for functions over product spaces into quantitative statements. The approach combines a new extremal result about power series, proved using complex analysis, with harmonic analysis of functions over product spaces. We instantiate this general approach in several different concrete settings to obtain a range of new and near-optimal quantitative correlation inequalities, including:
$\bullet$ A quantitative version of Royen's celebrated Gaussian Correlation Inequality. Royen (2014) confirmed a conjecture, open for 40 years, stating that any two symmetric, convex sets must be non-negatively correlated under any centered Gaussian distribution. We give a lower bound on the correlation in terms of the vector of degree-2 Hermite coefficients of the two convex sets, analogous to the correlation bound for monotone Boolean functions over $\{0,1\}^n$ obtained by Talagrand (1996).
$\bullet$ A quantitative version of the well-known FKG inequality for monotone functions over any finite product probability space, generalizing the quantitative correlation bound for monotone Boolean functions over $\{0,1\}^n$ obtained by Talagrand (1996). The only prior generalization of which we are aware is due to Keller (2008, 2009, 2012), which extended Talagrand's result to product distributions over $\{0,1\}^n$. We also give two different quantitative versions of the FKG inequality for monotone functions over the continuous domain $[0,1]^n$, answering a question of Keller (2009).
$P$-strict promotion and $B$-bounded rowmotion, with applications to tableaux of many flavors
Published in Combinatorial Theory, Volume 1, 2021
• View Publication
• BIB
We define P-strict labelings for a finite poset P as a generalization of semistandard Young tableaux and show that promotion on these objects is in equivariant bijection with a toggle action on B-bounded Q-partitions of an associated poset Q. In many nice cases, this toggle action is conjugate to rowmotion. We apply this result to flagged tableaux, Gelfand-Tsetlin patterns, and symplectic tableaux, obtaining new cyclic sieving and homomesy conjectures. We also show P-strict promotion can be equivalently defined using Bender-Knuth and jeu de taquin perspectives.
A Note on a Construction by Pavese and Smaldore
Recently, Pavese and Smaldore constructed graphs cospectral to $NU(5, q^2)$ for $q>2$. We show that their construction works for $NU(n, q^2)$, $n \geq 5$. Hence, none of the graphs $NU(n, q^2)$, $n \geq 5$, are determined by their spectrum.
Arithmetic subsequences in a random ordering of an additive set
Published in Integers: Electronic Journal of Combinatorial Number Theory 21 (2021), #A89, 19 pp
• Search Publication
For a finite set $A$ of size $n$, an ordering is an injection from $\{1,2,\ldots,n\}$ to $A$. We present results concerning the asymptotic properties of the length $L_n$ of the longest arithmetic subsequence in a random ordering of an additive set $A$. In the torsion-free case where $A = [1,n]^d\subseteq {\bf Z}^d$, we prove that $L_n\sim 2d\log n/\log\log n$. We show that the case $A = {\bf Z}/n{\bf Z}$ behaves asymptotically like the torsion-free case with $d=1$, and then use this fact to compute the expected length of the longest arithmetic subsequence in a random ordering of an arbitrary finite abelian group. We also prove that the number of orderings of ${\bf Z}/n{\bf Z}$ without any arithmetic subsequence of length $3$ is $2^{n-1}$ when $n\geq 2$ is a power of $2$, and zero otherwise. We conclude with a concrete application to elementary $p$-groups and a discussion of possible noncommutative generalisations.
The Circlet Inequalities: A New, Circulant-Based Facet-Defining Inequality for the TSP
Published
• View Publication
• BIB
Facet-defining inequalities of the symmetric Traveling Salesman Problem (TSP) polytope play a prominent role in both polyhedral TSP research and state-of-the-art TSP solvers. In this paper, we introduce a new class of facet-defining inequalities, the \emph{circlet inequalities}. These inequalities were first conjectured in Gutekunst and Williamson \cite{Gut19b} when studying Circulant TSP, and they provide a bridge between polyhedral TSP research and number-theoretic investigations of Hamiltonian cycles stemming from a conjecture due to Marco Buratti in 2017. The circlet inequalities exhibit circulant symmetry by placing the same weight on all edges of a given length; our main proof exploits this symmetry to prove the validity of the circlet inequalities. We then show that the circlet inequalities are facet-defining and compute their strength following Goemans \cite{Goe95b}; they achieve the same worst-case strength as the similarly circulant crown inequalities of Naddef and Rinaldi \cite{Nad92}, but are generally stronger.
On Polynomial Representations of the DP Color Function: Theta Graphs and Their Generalizations
Published
• View Publication
• BIB
DP-coloring (also called correspondence coloring) is a generalization of list coloring that has been widely studied in recent years after its introduction by Dvořák and Postle in 2015. As the analogue of the chromatic polynomial $P(G,m)$, the DP color function of a graph $G$, denoted $P_{DP}(G,m)$, counts the minimum number of DP-colorings over all possible $m$-fold covers. It is known that, unlike the list color function $P_{\ell}(G,m)$, for any $g \geq 3$ there exists a graph $G$ with girth $g$ such that $P_{DP}(G,m) < P(G,m)$ when $m$ is sufficiently large. Thus, two fundamental open questions regarding the DP color function are: (i) for which $G$ does there exist an $N \in \mathbb{N}$ such that $P_{DP}(G,m) = P(G,m)$ whenever $m \geq N$, (ii) Given a graph $G$ does there always exist an $N \in \mathbb{N}$ and a polynomial $p(m)$ such that $P_{DP}(G,m) = p(m)$ whenever $m \geq N$?
In this paper we give exact formulas for the DP color function of a Theta graph based on the parity of its path lengths. This gives an explicit answer, including the formulas for the polynomials that are not the chromatic polynomial, to both the questions above for Theta graphs. We extend this result to Generalized Theta graphs by characterizing the exact parity condition that ensures the DP color function eventually equals the chromatic polynomial. To answer the second question for Generalized Theta graphs, we confirm it for the larger class of graphs with a feedback vertex set of size one.
Codes, Cubes, and Graphical Designs
Published
• View Publication
• BIB
Graphical designs are an extension of spherical designs to functions on graphs. We connect linear codes to graphical designs on cube graphs, and show that the Hamming code in particular is a highly effective graphical design. We show that even in highly structured graphs, graphical designs are distinct from the related concepts of extremal designs, maximum stable sets in distance graphs, and $t$-designs on association schemes.
Relative Turán Numbers for Hypergraph Cycles
Published
• View Publication
• BIB
For an $r$-uniform hypergraph $H$ and a family of $r$-uniform hypergraphs $\mathcal{F}$, the relative Turán number $\mathrm{ex}(H,\mathcal{F})$ is the maximum number of edges in an $\mathcal{F}$-free subgraph of $H$. In this paper we give lower bounds on $\mathrm{ex}(H,\mathcal{F})$ for certain families of hypergraph cycles $\mathcal{F}$ such as Berge cycles and loose cycles. In particular, if $\mathcal{C}_\ell^3$ denotes the set of all $3$-uniform Berge $\ell$-cycles and $H$ is a 3-uniform hypergraph with maximum degree $Δ$, we prove \[\mathrm{ex}(H,\mathcal{C}_4^{3})\ge Δ^{-3/4-o(1)}e(H),\] \[\mathrm{ex}(H,\mathcal{C}_5^{3})\ge Δ^{-3/4-o(1)}e(H),\] and these bounds are tight up to the $o(1)$ term.
To count clean triangles we count on $imph(n)$
A clean lattice triangle in ${\mathbb R}^2$ is a triangle that does not contain any lattice points on its sides other than its vertices. The central goal of this paper is to count the number of clean triangles of a given area up to unimodular equivalence. In doing so we use a variant of the Euler phi function which we call $imph(n)$ (imitation phi).
(2,3)-Cordial Oriented Hypercubes
Published
• View Publication
• BIB
In this article we investigate the existence of (2,3)-cordial labelings of oriented hypercubes. In this investigation, we determine that there exists a (2,3)-cordial oriented hypercube for any dimension divisible by 3. Next, we provide examples of (2,3)-cordial oriented hypercubes of dimension not divisible by 3 and state a conjecture on existence for dimension 3k + 1. We close by presenting the only 3D oriented hypercubes up to isomorphism that are not (2,3)-cordial.