Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Spectral Turán problems for intersecting even cycles
Published
• View Publication
• BIB
Let $C_{2k_1, 2k_2, \ldots, 2k_t}$ denote the graph obtained by intersecting $t$ distinct even cycles $C_{2k_1}, C_{2k_2}, \ldots, C_{2k_t}$ at a unique vertex. In this paper, we determine the unique graphs with maximum adjacency spectral radius among all graphs on $n$ vertices that do not contain any $C_{2k_1, 2k_2, \ldots, 2k_t}$ as a subgraph, for $n$ sufficiently large. When one of the constituent even cycles is a $C_4$, our results improve upper bounds on the Turán numbers for intersecting even cycles that follow from more general results of Füredi [20] and Alon, Krivelevich and Sudakov [1]. Our results may be seen as extensions of previous results for spectral Turán problems on forbidden even cycles $C_{2k}, k\ge 2$ (see [8, 34, 44, 45]).
The Subspace Flatness Conjecture and Faster Integer Programming
Published
• View Publication
• BIB
In a seminal paper, Kannan and Lovász (1988) considered a quantity $μ_{KL}(Λ,K)$ which denotes the best volume-based lower bound on the covering radius $μ(Λ,K)$ of a convex body $K$ with respect to a lattice $Λ$. Kannan and Lovász proved that $μ(Λ,K) \leq n \cdot μ_{KL}(Λ,K)$ and the Subspace Flatness Conjecture by Dadush (2012) claims a $O(\log(2n))$ factor suffices, which would match the lower bound from the work of Kannan and Lovász.
We settle this conjecture up to a constant in the exponent by proving that $μ(Λ,K) \leq O(\log^{3}(2n)) \cdot μ_{KL} (Λ,K)$. Our proof is based on the Reverse Minkowski Theorem due to Regev and Stephens-Davidowitz (2017). Following the work of Dadush (2012, 2019), we obtain a $(\log(2n))^{O(n)}$-time randomized algorithm to solve integer programs in $n$ variables. Another implication of our main result is a near-optimal flatness constant of $O(n \log^{3}(2n))$.
Almost Congruent Triangles
Published
• View Publication
• BIB
Almost $50$ years ago Erdős and Purdy asked the following question: Given $n$ points in the plane, how many triangles can be approximate congruent to equilateral triangles? They pointed out that by dividing the points evenly into three small clusters built around the three vertices of a fixed equilateral triangle, one gets at least $\left\lfloor \frac{n}{3} \right\rfloor \cdot \left\lfloor \frac{n+1}{3} \right\rfloor \cdot \left\lfloor \frac{n+2}{3} \right\rfloor$ such approximate copies. In this paper we provide a matching upper bound and thereby answer their question.
More generally, for every triangle $T$ we determine the maximum number of approximate congruent triangles to $T$ in a point set of size $n$. Parts of our proof are based on hypergraph Turán theory: for each point set in the plane and a triangle $T$, we construct a $3$-uniform hypergraph $\mathcal{H}=\mathcal{H}(T)$, which contains no hypergraph as a subgraph from a family of forbidden hypergraphs $\mathcal{F}=\mathcal{F}(T)$. Our upper bound on the number of edges of $\mathcal{H}$ will determine the maximum number of triangles that are approximate congruent to $T$.
A note on balanced edge-colorings avoiding rainbow cliques of size four
Published
• View Publication
• BIB
A balanced edge-coloring of the complete graph is an edge-coloring such that every vertex is incident to each color the same number of times. In this short note, we present a construction of a balanced edge-coloring with six colors of the complete graph on $n=13^k$ vertices, for every positive integer $k$, with no rainbow $K_4$. This solves a problem by Erdős and Tuza.
A relation between the cube polynomials of partial cubes and the clique polynomials of their crossing graphs
Published in J. Graph Theory, 106 (2024) 907-922
• View Publication
• BIB
Partial cubes are the graphs which can be embedded into hypercubes. The {\em cube polynomial} of a graph $G$ is a counting polynomial of induced hypercubes of $G$, which is defined as $C(G,x):=\sum_{i\geqslant 0}α_i(G)x^i$, where $α_i(G)$ is the number of induced $i$-cubes (hypercubes of dimension $i$) of $G$. The {\em clique polynomial} of $G$ is defined as $Cl(G,x):=\sum_{i\geqslant 0}a_i(G)x^i$, where $a_i(G)$ ($i\geqslant 1$) is the number of $i$-cliques in $G$ and $a_0(G)=1$. Equivalently, $Cl(G, x)$ is exactly the independence polynomial of the complement $\overline{G}$ of $G$. The {\em crossing graph} $G^{\#}$ of a partial cube $G$ is the graph whose vertices are corresponding to the $Θ$-classes of $G$, and two $Θ$-classes are adjacent in $G^{\#}$ if and only if they cross in $G$. In the present paper, we prove that for a partial cube $G$, $C(G,x)\leqslant Cl(G^{\#}, x+1)$ and the equality holds if and only if $G$ is a median graph. Since every graph can be represented as the crossing graph of a median graph [SIAM J. Discrete Math., 15 (2002) 235--251], the above necessary-and-sufficient result shows that the study on the cube polynomials of median graphs can be transformed to the one on the clique polynomials of general graphs (equivalently, on the independence polynomials of their complements). In addition, we disprove the conjecture that the cube polynomials of median graphs are unimodal.
A stability theorem for bigraded persistence barcodes
Published
• View Publication
• BIB
We define bigraded persistent homology modules and bigraded barcodes of a finite pseudo-metric space X using the ordinary and double homology of the moment-angle complex associated with the Vietoris-Rips filtration of X. We prove a stability theorem for the bigraded persistent double homology modules and barcodes.
Asymptotic analysis and efficient random sampling of directed ordered acyclic graphs
Directed acyclic graphs (DAGs) are directed graphs in which there is no path from a vertex to itself. DAGs are an omnipresent data structure in computer science and the problem of counting the DAGs of given number of vertices and to sample them uniformly at random has been solved respectively in the 70's and the 00's. In this paper, we propose to explore a new variation of this model where DAGs are endowed with an independent ordering of the out-edges of each vertex, thus allowing to model a wide range of existing data structures. We provide efficient algorithms for sampling objects of this new class, both with or without control on the number of edges, and obtain an asymptotic equivalent of their number. We also show the applicability of our method by providing an effective algorithm for the random generation of classical labelled DAGs with a prescribed number of vertices and edges, based on a similar approach. This is the first known algorithm for sampling labelled DAGs with full control on the number of edges, and it meets a need in terms of applications, that had already been acknowledged in the literature.
On lower bounds of the order of $k$-chromatic unit distance graphs
Published in Geombinatorics 32/2 (2022) 72-74
• Search Publication
Here we give refined numerical values for the minimum number of vertices of $k$-chromatic unit distance graphs in the Euclidean plane.
More certainty in coloring the plane with a forbidden distance interval
Published in Geombinatorics 32/4 (2023) 159-185
• Search Publication
In the mysterious and colorful world of chromatic numbers, where there are a lot of unknown, there is an amazing thing. It turns out that for some intervals of forbidden distances on the plane, one can specify the exact value of the chromatic number $χ$. Two sets of such intervals have been found, for $χ=7$ and 9. We call them islands of certainty. Here we increase the size of these islands, and add three new ones with $χ=8$, 12, 13. We also %formulate conjectures which predict conjecture islands for $χ=14$, 15, 16. Are there islands of certainty for $χ$=10 or 11? This is still a mystery. Roll up for the Mystery Tour.
Series and sums involving the floor function
Let $(a_n)_{n\geq 0}$ be an arbitrary sequence and $(a_{\lfloor n/k \rfloor})_{n\geq 0}$ its dual floor sequence. We study infinite series and finite generalized binomial sums involving $(a_{\lfloor n/k \rfloor})_{n\geq 0}$. As applications we prove a range of new closed form expressions for Fibonacci (Lucas) series and binomial sum identities as particular cases.
Comparing invariants of toric ideals of bipartite graphs
Published in Proc. Amer. Math. Soc. Ser. B 10 (2023), 219-232
• View Publication
• BIB
Let $G$ be a finite simple graph and let $I_G$ denote its associated toric ideal in the polynomial ring $R$. For each integer $n\geq 2$, we completely determine all the possible values for the tuple $({\rm reg}(R/I_G), {\rm deg}(h_{R/I_G}(t)),{\rm pdim}(R/I_G), {\rm depth}(R/I_G),\dim(R/I_G))$ when $G$ is a connected bipartite graph on $n$ vertices.
Translation-like actions by $\mathbb{Z}$, the subgroup membership problem, and Medvedev degrees of effective subshifts
Published in Nicanor Carrasco-Vargas, Translation-like actions by Z, the subgroup membership problem, and Medvedev degrees of effective subshifts. Groups Geom. Dyn. (2024)
• View Publication
• BIB
We show that every infinite, locally finite, and connected graph admitsa translation-like action by $\mathbb{Z}$, and that this action can be takento be transitive exactly when the graph has either one or two ends.The actions constructed satisfy $d(v,v\ast 1)\leq3$ for every vertex$v$. This strengthens a theorem by Brandon Seward. We also study the effective computability of translation-like actionson groups and graphs. We prove that every finitely generated infinitegroup with decidable word problem admits a translation-like actionby $\mathbb{Z}$ which is computable, and satisfies an extra condition whichwe call decidable orbit membership problem. As a nontrivial application of our results, we prove that for everyfinitely generated infinite group with decidable word problem, effectivesubshifts attain all $Π_{1}^{0}$ Medvedev degrees. This extends a classification proved by Joseph Miller for $\mathbb{Z}^{d},$ $d\geq1$.
Moment cone membership for quivers in strongly polynomial time
In this note we observe that membership in moment cones of spaces of quiver representations can be decided in strongly polynomial time, for any acyclic quiver. This generalizes a recent result by Chindris-Collins-Kline for bipartite quivers. Their approach was to construct "multiplicity polytopes" with a geometric realization similar to the Knutson-Tao polytopes for tensor product multiplicities. Here we show that a less geometric but straightforward variant of their construction leads to such a multiplicity polytope for any acyclic quiver. Tardos' strongly polynomial time algorithm for combinatorial linear programming along with the saturation property then implies that moment cone membership can be decided in strongly polynomial time. The analogous question for semi-invariants remains open.
Cores in multiway networks
Published
• View Publication
• BIB
The notion of a core is generalized to multiway networks. To determine the multiway cores, we adapted already-known algorithms for determining the generalized cores in one-mode and two-mode networks. A new node property, node diversity has been introduced. The newly introduced notions are illustrated with application on the multiway networks of European airports and airlines and Summer Olympic medals till 2016. For the interactive inspection of the results, their 3D layout in X3D is supported.
Bounds for the number of multidimensional partitions
Published in European Journal of Combinatorics, 120 (2024), 103982
• View Publication
• BIB
We obtain estimates for the number $p_d(n)$ of $(d-1)$-dimensional integer partitions of a number $n$. It is known that the two-sided inequality $C_1(d)n^{1-1/d}<\log p_d(n)< C_2(d)n^{1-1/d}$ is always true and that $C_1(d)>1$ whenever $\log n> 3d$. However, establishing the $``$right$"$ dependence of $C_2$ on $d$ remained an open problem. We show that if $d$ is sufficiently small with respect to $n$, then $C_2$ does not depend on $d$, which means that $\log p_d(n)$ is up to an absolute constant equal to $n^{1-1/d}$. Besides, we provide estimates of $p_d(n)$ for different ranges of $d$ in terms of $n$, which give the asymptotics of $\log p_d(n)$ in each case.
Murnaghan-Nakayama rule and spin bitrace for the Hecke-Clifford Algebra
Published in Int. Mat. Res. Not. IMRN 19 (2023), 17060-17099
• View Publication
• BIB
A Pfaffian-type Murnaghan-Nakayama rule is derived for the Hecke-Clifford algebra $\mathcal{H}^c_n$ based on the Frobenius formula and vertex operators, and this leads to a combinatorial version via the tableaux realization of Schur's $Q$-functions. As a consequence, a general formula for the irreducible characters $ζ^{\la}_μ(q)$ using partition-valued functions is derived. Meanwhile, an iterative formula on the indexing partition $\la$ via the Pieri rule is also deduced. As applications, some compact formulae of the irreducible characters are given for special partitions and a symmetric property of the irreducible character is found. We also introduce the spin bitrace as the analogue of the bitrace for the Hecke algebra and derive its general combinatorial formula. Tables of irreducible characters are listed for $n\leq7.$
On winding numbers of $K_5$ minus an edge in the plane
Let $K$ be the graph on vertices $\{1, 2, 3, 4, 5\}$, and having all edges except $(4, 5)$. A continuous map $f:K\to \R^2$ is called an \emph{almost embedding} if $f$-images of non-adjacent edges are disjoint. Take the winding numbers of the $f$-image of the oriented cycle $(1, 2, 3)$ around $f(4)$ and around $f(5)$. We prove that the difference of these numbers equals $\pm 1$. This is surprising, because in other similar situations analogous statement is wrong.
The analogue of overlap-freeness for the period-doubling sequence
Good words are binary words avoiding factors 11 and 1001, and patterns 0000 and 00010100. We show that good words bear the same relationship to the period-doubling sequence that overlap-free words bear to the Thue-Morse sequence. We prove an analogue of Fife's Theorem for good words, exhibit the lexicographically least and greatest infinite good words, and determine the patterns avoided by the period doubling word.
On the spectral radius of some linear hypergraphs
Published
• View Publication
• BIB
Here we study the spectral radii of some linear hypergraphs, that is, the maximum moduli of the eigenvalues of their corresponding adjacency matrices. We determine the hypertrees having the largest to seventh-largest spectral radii. The hypertrees with the largest and the second-largest spectral radii among all those with a given diameter are identified here. Unicyclic hypergraphs with a fixed cycle length having the largest, the second-largest, and the third-largest spectral radii are also determined. Furthermore, we also find which bicyclic and tricyclic linear hypergraphs have the largest and the second-largest spectral radii.
Big Ramsey degrees in the metric setting
Published
• View Publication
• BIB
Oscillation stability is an important concept in Banach space theory which happens to be closely connected to discrete Ramsey theory. For example, Gowers proved oscillation stability for the Banach space $c_0$ using his now famous Ramsey theorem for $\mathrm{FIN}_k$ as the key ingredient. We develop the theory behind this connection and introduce the notion of compact big Ramsey degrees, extending the theory of (discrete) big Ramsey degrees. We then prove existence of compact big Ramsey degrees for the Banach space $\ell_\infty$ and the Urysohn sphere, with an explicit characterization in the case of $\ell_\infty$.