Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Some negative answers to the Bergelson-Hindman's question
Published
• View Publication
• BIB
Let $p_1,\dots,p_d$ be integral polynomials vanishing at $0$. It was asked by Bergelson and Hindman whenever $A$ is large, whether the set $\{(m,n)\in \mathbb{N}^2:m+p_1(n),m+p_2(n),\dots,m+p_d(n)\in A\}$ be large in the same sense. In this paper, we give negative answers to this question when ``large'' being the notions of ``central*'', ``IP*'', ``IP$_n$*'', ``IP$_{<ω}$*'' and ``$Δ$*''.
On torsion in eulerian magnitude homology of Erdos-Renyi random graphs
Published
• View Publication
• BIB
In this paper we investigate the regimes where an Erdos-Renyi random graph has torsion free eulerian magnitude homology groups. To this end, we start be introducing the eulerian Asao-Izumihara complex - a quotient CW-complex whose homology groups are isomorphic to direct summands of the graph eulerian magnitude homology group. We then proceed by producing a vanishing threshold for a shelling of eulerian Asao-Izumihara complex. This will lead to a result establishing the regimes where eulerian magnitude homology of Erdos-Renyi random graphs is torsion free.
A Deceptively Simple Quadratic Recurrence
Standard techniques for treating linear recurrences no longer apply for quadratic recurrences. It is not hard to determine asymptotics for a specific parametrized model over a wide domain of values (all $p \neq 1/2$ here). The gap between theory and experimentation seems insurmountable, however, at a single outlier ($p = 1/2$).
A proof of a conjecture of Erdős and Gyárfás on monochromatic path covers
Published
• View Publication
• BIB
In 1995, Erdős and Gyárfás proved that in every $2$-edge-coloured complete graph on $n$ vertices, there exists a collection of $2\sqrt{n}$ monochromatic paths, all of the same colour, which cover the entire vertex set. They conjectured that it is possible to replace $2\sqrt{n}$ by $\sqrt{n}$. We prove this to be true for all sufficiently large $n$.
Condensed Ricci Curvature on Paley Graphs and their Generalizations
Published
• View Publication
• BIB
We explore properties of generalized Paley graphs and we extend a result of Lim and Praeger by providing a more precise description of the connected components of disconnected generalized Paley graphs. This result leads to a new characterization of when generalized Paley graphs are disconnected. We also provide necessary and sufficient divisibility conditions for the multiplicative group of the prime subfield of certain finite fields to be contained in the multiplicative subgroup of nonzero $k$-th powers. This latter result plays a crucial role in our development of a sorting algorithm on generalized Paley graphs that exploits the vector space structure of finite fields to partition certain subsets of vertices in a manner that decomposes the induced bipartite subgraph between them into complete balanced bipartite subgraphs. As a consequence, we establish a matching condition between these subsets of vertices that results in an explicit formula for the condensed Ricci curvature on certain Paley graphs and their generalizations.
Higher-Categorical Associahedra
The second author introduced 2-associahedra as a tool for investigating functoriality properties of Fukaya categories, and he conjectured that they could be realized as face posets of convex polytopes. We introduce a family of posets called categorical $n$-associahedra, which naturally extend the second author's 2-associahedra and the classical associahedra. Categorical $n$-associahedra give a combinatorial model for the poset of strata of a compactified real moduli space of a tree arrangement of affine coordinate subspaces. We construct a family of complete polyhedral fans, called velocity fans, whose coordinates encode the relative velocities of pairs of colliding coordinate subspaces, and whose face posets are the categorical $n$-associahedra. In particular, this gives the first fan realization of 2-associahedra. In the case of the classical associahedron, the velocity fan specializes to the normal fan of Loday's realization of the associahedron.
For proving that the velocity fan is a fan, we first construct a cone complex of metric $n$-bracketings and then exhibit a piecewise-linear isomorphism from this complex to the velocity fan. We demonstrate that the velocity fan, which is not simplicial, admits a canonical smooth flag triangulation on the same set of rays, and we describe a second, finer triangulation which provides a new extension of the braid arrangement. We describe piecewise-unimodular maps on the velocity fan such that the image of each cone is a union of cones in the braid arrangement, and we highlight a connection to the theory of building sets and nestohedra. We explore the local iterated fiber product structure of categorical $n$-associahedra and the extent to which this structure is realized by the velocity fan. For the class of concentrated $n$-associahedra we exhibit generalized permutahedra having velocity fans as their normal fans.
A "Staircase" formula for the Chern-Schwartz-MacPherson cycle of a matroid
We provide a formula for the Poincaré dual of the Chern-Schwartz-MacPherson (CSM) cycle of a matroid in the Chow ring of the matroid. We derive the formula from the case of matroids realizable over the complex numbers and prove that it satisfies a contraction-deletion formula. From this fact, we prove it holds for all matroids, confirming a conjecture of Fife and Rincón.
QUBO formulation for the Snake-in-the-box and Coil-in-the-box problems
Published
• View Publication
• BIB
This paper present the first QUBO formulations for the Snake-in-the-box (SITB) and Coil-in-the-box (CITB) problems. Both formulations are also capable of solving the NP-Hard problems of Maximum induced path and Maximum induced cylce respectively. In the process we also found a new QUBO formulation for the Maximum Common Induced Sub-graph problem. We proved the correctness of our formulations for the SITB, CITB and Maximum Common Sub-graph problem, and tested the formulations of the SITB and CITB in both classical and quantum solvers, being able to get the best solution for up to 5 dimensions.
On variants of the Furstenberg set problem
Published
• View Publication
• BIB
Given an integer $d \geq 2$, $s \in (0,1]$, and $t \in [0,2(d-1)]$, suppose a set $X$ in $\mathbb{R}^d$ has the following property: there is a collection of lines of packing dimension $t$ such that every line from the collection intersects $X$ in a set of packing dimension at least $s$. We show that such sets must have packing dimension at least $\max\{s,t/2\}$ and that this bound is sharp. In particular, the special case $d=2$ solves a variant of the Furstenberg set problem for packing dimension. We also solve the upper and lower box dimension variants of the problem. In both of these cases the sharp threshold is $\max\{s,t+1-d\}$.
Gathering Information about a Graph by Counting Walks from a Single Vertex
We say that a vertex $v$ in a connected graph $G$ is decisive if the numbers of walks from $v$ of each length determine the graph $G$ rooted at $v$ up to isomorphism among all connected rooted graphs with the same number of vertices. On the other hand, $v$ is called ambivalent if it has the same walk counts as a vertex in a non-isomorphic connected graph with the same number of vertices as $G$. Using the classical constructions of cospectral trees, we first observe that ambivalent vertices exist in almost all trees. If a graph $G$ is determined by spectrum and its characteristic polynomial is irreducible, then we prove that all vertices of $G$ are decisive. Note that both assumptions are conjectured to be true for almost all graphs. Without using any assumption, we are able to prove that the vertices of a random graph are with high probability distinguishable from each other by the numbers of closed walks of length at most 4. As a consequence, the closed walk counts for lengths 2, 3, and 4 provide a canonical labeling of a random graph. Answering a question posed in chemical graph theory, we finally show that all walk counts for a vertex in an $n$-vertex graph are determined by the counts for the $2n$ shortest lengths, and the bound $2n$ is here asymptotically tight.
The uniform Turán density of large stars
We asymptotically resolve the the uniform Turán density problem for the large stars. In particular, we show that the uniform Turán density of the $k$-star $S_k$ is $\frac{k^2-5k+7}{(k-1)^2}$ for $k\ge 48$, matching a lower construction by Reiher, Rödl and Schacht.
Convex decomposition spaces and Crapo complementation formula
We establish a Crapo complementation formula for the Möbius function $μ^X$ in a general decomposition space $X$ in terms of a convex subspace $K$ and its complement: $μ^X \simeq μ^{X\setminus K} + μ^X*ζ^K*μ^X$. We work at the objective level, meaning that the formula is an explicit homotopy equivalence of $\infty$-groupoids. Almost all arguments are formulated in terms of (homotopy) pullbacks. Under suitable finiteness conditions on $X$, one can take homotopy cardinality to obtain a formula in the incidence algebra at the level of $\mathbb{Q}$-algebras. When $X$ is the nerve of a locally finite poset, this recovers the Björner--Walker formula, which in turn specialises to the original Crapo complementation formula when the poset is a finite lattice. A substantial part of the work is to introduce and develop the notion of convexity for decomposition spaces, which in turn requires some general preparation in decomposition-space theory, notably some results on reduced covers and ikeo and semi-ikeo maps. These results may be of wider interest. Once this is set up, the objective proof of the Crapo formula is quite similar to that of Björner--Walker.
Spectra of adjacency and Laplacian matrices of Erdős-Rényi hypergraphs
We study adjacency and Laplacian matrices of Erdős-Rényi $r$-uniform hypergraphs on $n$ vertices with hyperedge inclusion probability $p$, in the setting where $r$ can vary with $n$ such that $r / n \to c \in [0, 1)$. Adjacency matrices of hypergraphs are contractions of adjacency tensors and their entries exhibit long range correlations. We show that under the Erdős-Rényi model, the expected empirical spectral distribution of an appropriately normalised hypergraph adjacency matrix converges weakly to the semi-circle law with variance $(1 - c)^2$ as long as $\frac{d_{\avg}}{r^7} \to \infty$, where $d_{\avg} = \binom{n-1}{r-1} p$. In contrast with the Erdős-Rényi random graph ($r = 2$), two eigenvalues stick out of the bulk of the spectrum. When $r$ is fixed and $d_{\avg} \gg n^{r - 2} \log^4 n$, we uncover an interesting Baik-Ben Arous-Péché (BBP) phase transition at the value $r = 3$. For $r \in \{2, 3\}$, an appropriately scaled largest (resp. smallest) eigenvalue converges in probability to $2$ (resp. $-2$), the right (resp. left) end point of the support of the standard semi-circle law, and when $r \ge 4$, it converges to $\sqrt{r - 2} + \frac{1}{\sqrt{r - 2}}$ (resp. $-\sqrt{r - 2} - \frac{1}{\sqrt{r - 2}}$). Further, in a Gaussian version of the model we show that an appropriately scaled largest (resp. smallest) eigenvalue converges in distribution to $\frac{c}{2} ζ+ \big[\frac{c^2}{4}ζ^2 + c(1 - c)\big]^{1/2}$ (resp. $\frac{c}{2} ζ- \big[\frac{c^2}{4}ζ^2 + c(1 - c)\big]^{1/2}$), where $ζ$ is a standard Gaussian. We also establish analogous results for the bulk and edge eigenvalues of the associated Laplacian matrices.
Minimal displacement set for weakly systolic complexes
We investigate the structure of the minimal displacement set in weakly systolic complexes. We show that such set is systolic and that it embeds isometrically into the complex. As corollaries, we prove that any isometry of a weakly systolic complex either fixes the barycentre of some simplex (elliptic case) or it stabilizes a thick geodesic (hyperbolic case).
Fixed point counts and motivic invariants of bow varieties of affine type A
We compute the equivariant K-theory of torus fixed points of Cherkis bow varieties of affine type A. We deduce formulas for the generating series of the Euler numbers of these varieties and observe their modularity in certain cases. We also obtain refined formulas on the motivic level for a class of bow varieties strictly containing Nakajima quiver varieties. These series hence generalise results of Nakajima-Yoshioka. As a special case, we obtain formulas for certain Zastava spaces. We define a parabolic analogue of Nekrasov's partition function and find an equation relating it to the classical partition function.
Constant congestion linkages in polynomially strong digraphs in polynomial time
Published
• View Publication
• BIB
Given integers $k,c > 0$, we say that a digraph $D$ is $(k,c)$-linked if for every pair of ordered sets $\{s_1, \ldots, s_k\}$ and $\{t_1, \ldots, t_k\}$ of vertices of $D$, there are $P_1, \ldots, P_k$ such that for $i \in [k]$ each $P_i$ is a path from $s_i$ to $t_i$ and every vertex of $D$ appears in at most $c$ of those paths. Thomassen [Combinatorica, 1991] showed that for every fixed $k \geq 2$ there is no integer $p$ such that every $p$-strong digraph is $(k,1)$-linked. Edwards et al. [ESA, 2017] showed that every digraph $D$ with directed treewidth at least some function $f(k)$ contains a large bramble of congestion $2$ and that every $(36k^3 + 2k)$-strong digraph containing a bramble of congestion $2$ and size roughly $188k^3$ is $(k,2)$-linked. Since the directed treewidth of a digraph has to be at least its strong connectivity, this implies that there is a function $L(k)$ such that every $L(k)$-strong digraph is $(k,2)$-linked. This result was improved by Campos et al. [ESA, 2023], who showed that any $k$-strong digraph containing a bramble of size at least $2k(c\cdot k -c + 2) + c(k-1)$ and congestion $c$ is $(k,c)$-linked. Regarding the bramble, although the given bound on $f(k)$ is very large, Masařík et al. [SIDMA, 2022] showed that directed treewidth $\mathcal{O}(k^{48}\log^{13} k)$ suffices if the congestion is relaxed to $8$. We first show how to drop the dependence on $c$, for even $c$, on the size of the bramble that is needed in the work of Campos et al. [ESA, 2023]. Then, by making two local changes in the proof of Masařík et al. [SIDMA, 2022] we show how to build in polynomial time a bramble of size $k$ and congestion $8$ assuming that a large obstruction to directed treewidth (namely, a path system) is given. Applying these results, we show that there is a polynomial function $g(k)$ such that every $g(k)$-strong digraph is $(k,8)$-linked.
Deriving differential approximation results for $k\,$CSPs from combinatorial designs
Inapproximability results for $\mathsf{Max\,k\,CSP\!-\!q}$ have been traditionally established using balanced $t$-wise independent distributions, which are closely related to orthogonal arrays, a famous family of combinatorial designs. In this work, we investigate the role of these combinatorial structures in the context of the differential approximability of $\mathsf{k\,CSP\!-\!q}$, providing new structural insights and approximation bounds. We first establish a direct connection between the average differential ratio on $\mathsf{k\,CSP\!-\!q}$ instances and orthogonal arrays. This allows us to derive the new differential approximability bounds of $1/q^k$ for $(k +1)$-partite instances, $Ω(1/n^{\lfloor k/2\rfloor})$ for Boolean instances, $Ω(1/n)$ when $k =2$, and $Ω(1/n^{k -\lceil\log_{Θ(q)}k\rceil})$ when $k, q\geq 3$. We then introduce families of array pairs, called {\em alphabet reduction pairs of arrays}, that are still related to balanced $k$-wise independence. Using these pairs of arrays, we establish a reduction from $\mathsf{k\,CSP\!-\!q}$ to $\mathsf{k\,CSP\!-\!k}$ (where $q >k$), with an expansion factor of $1/(q -k/2)^k$ on the differential approximation guarantee. Combining this with a 1998 result by Yuri Nesterov, we conclude that $\mathsf{2\,CSP\!-\!q}$ is approximable within a differential factor of $0.429/(q -1)^2$. Finally, using similar Boolean array pairs, {\em called cover pairs of arrays}, we prove that every Hamming ball of radius $k$ provides a $Ω(1/n^k)$-approximation of the instance diameter. Thus, our work highlights the relevance of combinatorial designs for establishing structural differential approximation guarantees for CSPs.
Expected Natural Density of Countable Sets after Infinitely Iterated de Finetti Lotteries, Computed via Matrix Decomposition
Consider a fair lottery over the natural numbers in which the selected number is removed. This lottery is iterated countably infinite times, with a known ratio of iterations to natural numbers. Removed numbers are not replaced. The natural numbers are partitioned into two sets with a given ratio of elements, which is tracked along each iteration of the lottery.
Hess and Polisetty considered and investigated such a process and reported the expected values of the densities for some particular cases.
In this work, we provide a novel framework for computing these expected densities using infinite matrices. The results presented in this work generalize previous results.
A class of polynomials from enumerating queen paths
Published
• View Publication
• BIB
We study a class polynomials obtained from an enumeration of the number of queen paths. In particular, we find the generating function for the diagonal sequence of this table and the zero distribution of a sequence of related polynomials.
Combinatorial description of Lusztig $q$-weight multiplicity
We conjecture a precise relationship between Lusztig $q$-weight multiplicities for type $C$ and Kirillov-Reshetikhin crystals. We also define $\mathfrak{gl}_n$-version of $q$-weight multiplicity for type $C$ and conjecture the positivity.