Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A Universality Theorem for Nested Polytopes
In a nutshell, we show that polynomials and nested polytopes are topological, algebraic and algorithmically equivalent. Given two polytops $A\subseteq B$ and a number $k$, the Nested Polytope Problem (NPP) asks, if there exists a polytope $X$ on $k$ vertices such that $A\subseteq X \subseteq B$. The polytope $A$ is given by a set of vertices and the polytope $B$ is given by the defining hyperplanes. We show a universality theorem for NPP. Given an instance $I$ of the NPP, we define the solutions set of $I$ as $$ V'(I) = \{(x_1,\ldots,x_k)\in \mathbb{R}^{k\cdot n} : A\subseteq \text{conv}(x_1,\ldots,x_k) \subseteq B\}.$$ As there are many symmetries, induced by permutations of the vertices, we will consider the \emph{normalized} solution space $V(I)$. Let $F$ be a finite set of polynomials, with bounded solution space. Then there is an instance $I$ of the NPP, which has a rationally-equivalent normalized solution space $V(I)$. Two sets $V$ and $W$ are rationally equivalent if there exists a homeomorphism $f : V \rightarrow W$ such that both $f$ and $f^{-1}$ are given by rational functions. A function $f:V\rightarrow W$ is a homeomorphism, if it is continuous, invertible and its inverse is continuous as well. As a corollary, we show that NPP is $\exists \mathbb{R}$-complete. This implies that unless $\exists \mathbb{R} =$ NP, the NPP is not contained in the complexity class NP. Note that those results already follow from a recent paper by Shitov. Our proof is geometric and arguably easier.
Constructing cospectral signed graphs
Published in Linear and Multilinear Algebra 69 (2021) No. 14, 2717-2732
• View Publication
• BIB
A well--known fact in Spectral Graph Theory is the existence of pairs of isospectral nonisomorphic graphs (known as PINGS). The work of A.J. Schwenk (in 1973) and of C. Godsil and B. McKay (in 1982) shed some light on the explanation of the presence of isospectral graphs, and they gave routines to construct PINGS. Here, we consider the Godsil-McKay--type routines developed for graphs, whose adjacency matrices are $(0,1)$-matrices, to the level of signed graphs, whose adjacency matrices allow the presence of $-1$'s. We show that, with suitable adaption, such routines can be successfully ported to signed graphs, and we can build pairs of cospectral switching nonisomorphic signed graphs.
Lowest-degree triple Massey products in moment-angle complexes
Published
• View Publication
• BIB
We give a combinatorial classification of non-trivial triple Massey products of three dimensional classes in the cohomology of a moment-angle complex. This work improves on a result by Denham and Suciu (2007) by considering triple Massey products with non-trivial indeterminacy.
Trigonometric identities and quadratic residues
Published
• View Publication
• BIB
In this paper we obtain some novel identities involving trigonometric functions. Let $n$ be any positive odd integer. We show that $$\sum_{r=0}^{n-1}\frac1{1+\sin2π\frac{x+r}n+\cos2π\frac{x+r}n} =\frac{(-1)^{(n-1)/2}n}{1+(-1)^{(n-1)/2}\sin 2πx+\cos 2πx}$$ for any complex number with $x+1/2,x+(-1)^{(n-1)/2}/4\not\in\mathbb Z$, and $$\sum_{j,k=0}^{n-1}\frac1{\sin 2π\frac{x+j}n+\sin2π\frac{y+k}n}=\frac{(-1)^{(n-1)/2}n^2}{\sin 2πx+\sin2πy}$$ for all complex numbers $x$ and $y$ with $x+y,x-y-1/2\not\in\mathbb Z$. We also determine the values of $\prod_{k=1}^{(p-1)/2}(1+\tanπ\frac{k^2}p)$ and $\prod_{k=1}^{(p-1)/2}(1+\cotπ\frac{k^2}p)$ for any odd prime $p$. In addition, we pose several conjectures on the values of $G_p(x)=\prod_{k=1}^{(p-1)/2}(x-e^{2πik^2/p})$ with $p$ an odd prime and $x$ a root of unity.
A grid generalisation of the Kruskal-Katona theorem
For a set $A\subseteq\left[k\right]^{n}=\left\{ 0,\dots,k-1\right\} ^{n}$, we define the $d$-shadow of $A$ to be the set of points obtained by flipping to zero one of the non-zero coordinates of some point in $A$. Let $\left[k\right]_{r}^{n}$ be the set of those points in $\left[k\right]^{n}$ with exactly $r$ non-zero coordinates. Given the size of $A$, how should we choose $A\subseteq\left[k\right]_{r}^{n}$ so as to minimise the $d$-shadow? Note that the case $k=2$ is answered by the Kruskal-Katona theorem.
Our aim in this paper is to give an exact answer to this question. In particular, we show that the sets $\left[t\right]_{r}^{n}$ are extremal for every $t$. We also give an exact answer to the 'unrestricted' question when we just have $A\subseteq\left[k\right]^{n}$, showing for example that the set of points with at least $r$ zeroes is extremal for every $r$.
Iterated foldings of discrete spaces and their limits: candidates for the role of Brownian map in higher dimensions
Published
• View Publication
• BIB
In this last decade, an important stochastic model emerged: the Brownian map. It is the limit of various models of random combinatorial maps after rescaling: it is a random metric space with Hausdorff dimension 4, almost surely homeomorphic to the 2-sphere, and possesses some deep connections with
Liouville quantum gravity in 2D. In this paper, we present a sequence of random objects that we call $D$th-random feuilletages (denoted by ${\bf r}[D]$), indexed by a parameter $D\geq 0$ and which are candidate to play the role of the Brownian map in dimension $D$. The construction relies on some objects that we name iterated Brownian snakes, which are branching analogues of iterated Brownian motions, and which are moreover limits of iterated discrete snakes. In the planar $D=2$ case, the family of discrete snakes considered coincides with some family of (random) labeled trees known to encode planar quadrangulations.
Iterating snakes provides a sequence of random trees $({\bf t}^{(j)}, j\geq 1)$. The $D$th-random feuilletage ${\bf r}[D]$ is built using $({\bf t}^{(1)},\cdots,{\bf t}^{(D)})$: ${\bf r}[0]$ is a deterministic circle, ${\bf r}[1]$ is Aldous' continuum random tree, ${\bf r}[2]$ is the Brownian map, and somehow, ${\bf r}[D]$ is obtained by quotienting ${\bf t}^{(D)}$ by ${\bf r}[D-1]$.
A discrete counterpart to ${\bf r}[D]$ is introduced and called the $D$th random discrete feuilletage with $n+D$ nodes (${\bf r}_n[D]$). The proof of the convergence of ${\bf r}_n[D]$ to ${\bf r}[D]$ after appropriate rescaling in some functional space is provided (however, the convergence obtained is too weak to imply the Gromov-Hausdorff convergence). An upper bound on the diameter of ${\bf r}_{n}[D]$ is $n^{1/2^{D}}$. Some elements allowing to conjecture that the Hausdorff dimension of ${\bf r}[D]$ is $2^D$ are given.
Ramsey and Gallai-Ramsey numbers for stars with extra independent edges
Published
• View Publication
• BIB
Given a graph $G$ and a positive integer $k$, define the \emph{Gallai-Ramsey number} to be the minimum number of vertices $n$ such that any $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. In this paper, we obtain general upper and lower bounds on the Gallai-Ramsey numbers for the graph $G = S_t^{r}$ obtained from a star of order $t$ by adding $r$ extra independent edges between leaves of the star so there are $r$ triangles and $t - 2r - 1$ pendent edges in $S_t^{r}$. We also prove some sharp results when $t = 2$.
On the automaticity of sequences defined by continued fractions
Published
• View Publication
• BIB
Continued fraction expansions and Hankel determinants of automatic sequences are extensively studied during the last two decades. These studies found applications in number theory in evaluating irrationality exponents. The present paper is motivated by the converse problem: to study continued fractions of which the elements form an automatic sequence. We consider two such continued fractions defined by the Thue-Morse and period-doubling sequences respectively, and prove that they are congruent to algebraic series in $\mathbb{Z}[[x]]$ modulo $4$. Consequently, the sequences of the coefficients of the power series expansions of the two continued fractions modulo $4$ are $2$-automatic. Our approach is to first guess the explicit formulas of certain subsequences of $(P_n(x))$ and $(Q_n(x))$, where $P_n(x)/Q_n(x)$ is the canonical representation of the truncated continued fractions, then prove these formulas by an intricate induction involving eight subsequences while exploiting the relations between these subsequences.
Many Turan exponents via subdivisions
Published
• View Publication
• BIB
Given a graph $H$ and a positive integer $n$, the {\it Turán number} $\ex(n,H)$ is the maximum number of edges in an $n$-vertex graph that does not contain $H$ as a subgraph. A real number $r\in(1,2)$ is called a {\it Turán exponent} if there exists a bipartite graph $H$ such that $\ex(n,H)=Θ(n^r)$. A long-standing conjecture of Erdős and Simonovits states that $1+\frac{p}{q}$ is a Turán exponent for all positive integers $p$ and $q$ with $q> p$.
In this paper, we build on recent developments on the conjecture to establish a large family of new Turán exponents. In particular, it follows from our main result that $1+\frac{p}{q}$ is a Turán exponent for all positive integers $p$ and $q$ with $q> p^2$.
Notes on k-rainbow independent domination in graphs
The $k$-rainbow independent domination number of a graph $G$, denoted $γ_{\rm rik}(G)$, is the cardinality of a smallest set consisting of two vertex-disjoint independent sets $V_1$ and $V_2$ for which every vertex in $V(G)\setminus (V_1\cup V_2)$ has neighbors in both $V_1$ and $V_2$. This domination invariant was proposed by {Š}umenjak, Rall and Tepeh in (Applied Mathematics and Computation 333(15), 2018: 353-361), which allows to reduce the problem of computing the independent domination number of the generalized prism $G {\Box} K_k$ to an integer labeling problem on $G$. They proved a Nordhaus-Gaddum-type theorem: $5\leq γ_{\rm rik}(G)+γ_{\rm rik}(\overline{G})\leq n+3$ for every graph $G$ of order $n\geq 3$, where $\overline{G}$ is the complement of $G$. In this paper, we improve this result by showing that if $G$ is not isomorphic to the 5-cycle, then $5\leq γ_{\rm rik}(G)+γ_{\rm rik}(\overline{G})\leq n+2$. Moreover, we show that the problem of deciding whether a graph has a $k$-rainbow independent dominating function of a given weight is $\mathcal{NP}$-complete. Our results respond some open questions proposed by Šumenjak, et al.
Hoffman's bound for hypergraphs
One of the best-known results in spectral graph theory is the inequality of Hoffman \[ χ\left( G\right) \geq1-\frac{λ\left( G\right) }{λ_{\min }\left( G\right) }, \] where $χ\left( G\right) $ is the chromatic number of a graph $G$ and $λ\left( G\right) ,$ $λ_{\min}\left( G\right) $ are the largest and the smallest eigenvalues of its adjacency matrix.
In this note Hoffman's inequality is extended to weighted uniform $r$-graphs for every even $r$.
Co-degrees resilience for perfect matchings in random hypergraphs
Published in E-JC. 27 (2020) 1.40
• View Publication
• BIB
In this paper we prove an optimal co-degrees resilience property for the binomial $k$-uniform hypergraph model $H_{n,p}^k$ with respect to perfect matchings. That is, for a sufficiently large $n$ which is divisible by $k$, and $p\geq C_k\log_n/n$, we prove that with high probability every subgraph $H\subseteq H^k_{n,p}$ with minimum co-degree (meaning, the number of supersets every set of size $k-1$ is contained in) at least $(1/2+o(1))np$ contains a perfect matching.
3-uniform hypergraphs with few Berge paths of length three between any two vertices
Recently, Berge theta hypergraphs have received special attention due to the similarity with Berge even cycles. Let $r$-uniform Berge theta hypergraph $Θ_{\ell,t}^{B}$ be the $r$-uniform hypergraph consisting of $t$ internally disjoint Berge paths of length $\ell$ with the same pair of endpoints. In this work, we determine the Turán number of $3$-uniform Berge theta hypergraph when $\ell=3$ and $t$ is relatively small. More precisely, we provide an explicit construction giving \begin{align*} \textup{ex}_{3}(n,Θ_{3,217}^{B})=Ω(n^{\frac{4}{3}}). \end{align*} This matches an earlier upper bound by He and Tait up to an absolute constant factor. The construction is algebraic, which is based on some equations over finite fields, and the parameter $t$ in our construction is much smaller than that in random algebraic construction. Our main technique is using the resultant of polynomials, which appears to be a powerful technique to eliminate variables.
Recognizing and realizing cactus metrics
Published
• View Publication
• BIB
The problem of realizing finite metric spaces in terms of weighted graphs has many applications. For example, the mathematical and computational properties of metrics that can be realized by trees have been well-studied and such research has laid the foundation of the reconstruction of phylogenetic trees from evolutionary distances. However, as trees may be too restrictive to accurately represent real-world data or phenomena, it is important to understand the relationship between more general graphs and distances. In this paper, we introduce a new type of metric called a cactus metric, that is, a metric that can be realized by a cactus graph. We show that, just as with tree metrics, a cactus metric has a unique optimal realization. In addition, we describe an algorithm that can recognize whether or not a metric is a cactus metric and, if so, compute its optimal realization in $O(n^3)$ time, where $n$ is the number of points in the space.
Modular Construction of Free Hyperplane Arrangements
Published in SIGMA 16 (2020), 080, 19 pages
• View Publication
• BIB
In this article, we study freeness of hyperplane arrangements. One of the most investigated arrangement is a graphic arrangement. Stanley proved that a graphic arrangement is free if and only if the corresponding graph is chordal and Dirac showed that a graph is chordal if and only if the graph is obtained by "gluing" complete graphs. We will generalize Dirac's construction to simple matroids with modular joins introduced by Ziegler and show that every arrangement whose associated matroid is constructed in the manner mentioned above is divisionally free. Moreover, we apply the result to arrangements associated with gain graphs and arrangements over finite fields.
Bounding Radon numbers via Betti numbers
Published in Int. Math. Res. Not. IMRN (2024), 9482-9500
• View Publication
• BIB
We prove general topological Radon-type theorems for sets in $\mathbb R^d$ or on a surface. Combined with a recent result of Holmsen and Lee, we also obtain fractional Helly theorem, and consequently the existence of weak $\varepsilon$-nets as well as a $(p,q)$-theorem for those sets.
More precisely, given a family $\mathcal F$ of subsets of $\mathbb R^d$, we will measure the homological complexity of $\mathcal F$ by the supremum of the first $\lceil d/2\rceil$ reduced Betti numbers of $\bigcap \mathcal G$ over all nonempty $\mathcal G \subseteq \mathcal F$. We show that if $\mathcal F$ has homological complexity at most $b$, the Radon number of $\mathcal F$ is bounded in terms of $b$ and $d$. In case that $\mathcal F$ lives on a surface and the number of connected components of $\bigcap \mathcal G$ is at most $b$ for any nonempty $\mathcal G \subseteq \mathcal F$, then the Radon number of $\mathcal F$ is bounded by a function depending only on $b$ and the surface itself.
For surfaces, if we moreover assume the sets in $\mathcal F$ are open, we show that the fractional Helly number of $\mathcal F$ is linear in $b$. The improvement is based on a recent result of the author and Kalai. Specifically, for $b=1$ we get that the fractional Helly number is at most three, which is optimal. This case further leads to solving a conjecture of Holmsen, Kim, and Lee about an existence of a $(p,q)$-theorem for open subsets of a surface.
The smallest art gallery not guarded by every third vertex
Published in Geombinatorics 29 (2019), no. 1, 24-32
• Search Publication
A polygonal art gallery can be observed by guards placed at one third of its corners. However, the strategy of placing guards at every third corner does not work for all art galleries. In this note, we provide an example of a nine-sided art gallery for which this strategy fails, and prove that this example is minimal.
Distribution of boundary points of expansion and application to the lonely runner conjecture
In this paper we study the distribution of boundary points of expansion. As an application, we say something about the lonely runner problem. We show that given $k$ runners $\mathcal{S}_i$ round a unit circular track with the condition that at some time $||\mathcal{S}_i-\mathcal{S}_{i+1}||=||\mathcal{S}_{i+1}-\mathcal{S}_{i+2}||$ for all $i=1,2\ldots,k-2$, then at that time we have \begin{align}||\mathcal{S}_{i+1}-\mathcal{S}_i||>\frac{\mathcal{D}(n)π}{k-1}\nonumber \end{align}for all $i=1,\ldots, k-1$ and where $\mathcal{D}(n)>0$ is a constant depending on the degree of a certain polynomial of degree $n$. In particular, we show that given at most eight $\mathcal{S}_i$~($i=1,2,\ldots, 8$) runners running round a unit circular track with distinct constant speed and the additional condition $||\mathcal{S}_i-\mathcal{S}_{i+1}||=||\mathcal{S}_{i+1}-\mathcal{S}_{i+2}||$ for all $1\leq i\leq 6$ at some time $s>1$, then at that time their mutual distance must satisfy the lower bound\begin{align}||\mathcal{S}_{i}-\mathcal{S}_{i+1}||>\fracπ{7C\sqrt{3}}\nonumber \end{align}for some constant $C>0$ for all $1\leq i \leq 7$.
On $L$-close Sperner systems
Published
• View Publication
• BIB
For a set $L$ of positive integers, a set system $\mathcal{F} \subseteq 2^{[n]}$ is said to be $L$-close Sperner, if for any pair $F,G$ of distinct sets in $\mathcal{F}$ the skew distance $sd(F,G)=\min\{|F\setminus G|,|G\setminus F|\}$ belongs to $L$. We reprove an extremal result of Boros, Gurvich, and Milani\v c on the maximum size of $L$-close Sperner set systems for $L=\{1\}$ and generalize to $|L|=1$ and obtain slightly weaker bounds for arbitrary $L$. We also consider the problem when $L$ might include 0 and reprove a theorem of Frankl, Füredi, and Pach on the size of largest set systems with all skew distances belonging to $L=\{0,1\}$.
3-Regular Graphs Are 2-Reconstructible
Published
• View Publication
• BIB
A graph is $\ell$-reconstructible if it is determined by its multiset of induced subgraphs obtained by deleting $\ell$ vertices. We prove that $3$-regular graphs are $2$-reconstructible.