Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Proving Norine's Conjecture holds for $n=7$ via SAT solvers
We say a red/blue edge-coloring of the $n$-dimensional cube graph, $Q_n$, is antipodal if all pairs of antipodal edges have different colors. Norine conjectured that in such a coloring there must exist a pair of antipodal vertices connected by a monochromatic path. Previous work has proven this conjecture for $n\le 6$. Using SAT solvers we verify that the conjecture holds for $n = 7$.
A characterization of generalized cospectrality of rooted graphs with applications in graph reconstruction
Published
• View Publication
• BIB
Extending a classic result of Johnson and Newman, this paper provides a matrix characterization for two generalized cospectral graphs with a pair of generalized cospectral vertex-deleted subgraphs. As an application, we present a new condition for the reconstructibility of a graph. In particular, we show that a graph with at least three vertices is reconstructible if there exists a vertex-deleted subgraph that is almost controllable and has a nontrivial automorphism.
Incidence geometry and polynomial expansion over finite fields
Published
• View Publication
• BIB
We use spectral theory and algebraic geometry to establish a higher-degree analogue of a Szemerédi--Trotter-type theorem over finite fields, with an application to polynomial expansion.
Graphon branching processes and fractional isomorphism
In their study of the giant component in inhomogeneous random graphs, Bollobás, Janson, and Riordan introduced a class of branching processes parametrized by a possibly unbounded graphon. We prove that the tree structures underlying two such branching processes have the same distributions if and only if the corresponding graphons are fractionally isomorphic, a notion introduced by Grebík and Rocha.
A different class of branching processes was introduced by Hladký, Nachmias, and Tran in relation to uniform spanning trees in finite graphs approximating a given connected graphon. We prove that that the tree structures of two such branching processes have the same distributions if and only if the corresponding graphons are fractionally isomorphic up to scalar multiple. Combined with a recent result of Archer and Shalev, this implies that if uniform spanning trees of two dense graphs have a similar local structure, they have a similar scaling limit.
As a side result we give a characterization of fractional isomorphism for graphs as well as graphons in terms of their connected components.
Higher weight spectra and Betti numbers of Reed-Muller codes $RM_q(2,2)$
We determine the higher weight spectra of $q$-ary Reed-Muller codes $C_q=RM_q(2,2)$ for all prime powers $q$. This is equivalent to finding the usual weight distributions of all extension codes of $C_q$ over every field extension of $F_q$ of finite degree. To obtain our results we will utilize well-known connections between these weights and properties of the Stanley-Reisner rings of a series of matroids associated to each code $C_q$. In the process, we are able to explicitly determine all the graded Betti numbers of matroids associated to $C_q$ and its elongations.
The codegree Turán density of $3$-uniform tight cycles
Published
• View Publication
• BIB
Given any $\varepsilon>0$ we prove that every sufficiently large $n$-vertex $3$-graph $H$ where every pair of vertices is contained in at least $(1/3+\varepsilon)n$ edges contains a copy of $C_{10}$, i.e.\ the tight cycle on $10$ vertices. In fact we obtain the same conclusion for every cycle $C_\ell$ with $\ell\geq 19$.
Theta Positivity in Lagrangian Grassmannian
Published
• View Publication
• BIB
We study the theta nonnegative part of Lagrangian Grassmannian. We show that it admits an orbital decomposition and is homeomorphic to a closed ball. We compare it with other positive structures. We show that it contains several totally nonnegative parts of Lagrangian Grassmannian subject to certain choices of pinnings and agrees with the nonnegativity of the generalized Plücker coordinates.
Degenerate and irregular topological recursion
Published in Comm. Math. Phys. 406 (2025), no. 5, Paper No. 94, 31 pp
• View Publication
• BIB
We use the theory of $x-y$ duality to propose a new definition / construction for the correlation differentials of topological recursion; we call it "generalized topological recursion". This new definition coincides with the original topological recursion of Chekhov-Eynard-Orantin in the regular case and allows, in particular, to get meaningful answers in a variety of irregular and degenerate situations.
Doubly alternating words in the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$
This paper is about the positive part $U_q^+$ of the $q$-deformed enveloping algebra $U_q(\widehat{\mathfrak{sl}}_2)$. The algebra $U_q^+$ admits an embedding, due to Rosso, into a $q$-shuffle algebra $\mathbb{V}$. The underlying vector space of $\mathbb{V}$ is the free algebra on two generators $x,y$. Therefore, the algebra $\mathbb{V}$ has a basis consisting of the words in $x,y$. Let $U$ denote the image of $U_q^+$ under the Rosso embedding. In our first main result, we find all the words in $x,y$ that are contained in $U$. One type of solution is called alternating. The alternating words have been studied by Terwilliger. There is another type of solution, which we call doubly alternating. In our second main result, we display many commutator relations involving the doubly alternating words. In our third main result, we describe how the doubly alternating words are related to the alternating words.
Determinants of Hodge-Riemann forms
We calculate the determinant of the bilinear form in middle degree of the generic artinian reduction of the Stanley-Reisner ring of an odd-dimensional simplicial sphere. This proves the odd multiplicity conjecture of Papadakis and Petrotou and implies that this determinant is a complete invariant of the simplicial sphere. We extend this result to odd-dimensional connected oriented simplicial homology manifolds. In characteristic 2, we prove a generalization to the Hodge-Riemann forms of any connected simplicial homology manifold. To prove the latter theorem we establish the strong Lefschetz property for certain quotients of the Stanley-Reisner rings of connected simplicial pseudomanifolds.
Symmetrizing polytopes and posets
Motivated by the authors' work on permuto-associahedra, which can be considered as a symmetrization of the associahedron using the symmetric group, we introduce and study the $\mathfrak{G}$-symmetrization of an arbitrary polytope $P$ for any reflection group $\mathfrak{G}$. We show that the combinatorics, and moreover, the normal fan of such a symmetrization can be recovered from its refined fundamental fan, a decorated poset describing how the normal fan of $P$ subdivides the fundamental chamber associated to the reflection group $\mathfrak{G}$.
One important application of our results is providing a way to approach the realization problem of a $\mathfrak{G}$-symmetric poset F, that is, the problem of constructing a polytope whose face poset is F. Instead of working with the original poset F, we look at its dual poset T (which is $\mathfrak{G}$-symmetric as well) and focus on a generating subposet Z of T, and reduce the problem to realizing Z as a refined fundamental fan.
A biased edge coloring game
Published in Discrete Appl. Math., 366:193-200, 2025
• View Publication
• BIB
We combine the ideas of edge coloring games and asymmetric graph coloring games and define the \emph{$(m,1)$-edge coloring game}, which is alternatively played by two players Maker and Breaker on a finite simple graph $G$ with a set of colors $X$. Maker plays first and colors $m$ uncolored edges on each turn. Breaker colors only one uncolored edge on each turn. They make sure that adjacent edges get distinct colors. Maker wins if eventually every edge is colored; Breaker wins if at some point, the player who is playing cannot color any edge. We define the \emph{$(m,1)$-game chromatic index} of $G$ to be the smallest nonnegative integer $k$ such that Maker has a winning strategy with $|X|=k$. We give some general upper bounds on the $(m,1)$-game chromatic indices of trees, determine the exact $(m,1)$-game chromatic indices of some caterpillars and all wheels, and show that larger $m$ does not necessarily give us smaller $(m,1)$-game chromatic index.
When do the Kahn-Kalai Bounds Provide Nontrivial Information?
Published in J Inequal Appl 2025, 23 (2025)
• View Publication
• BIB
The Park-Pham theorem (previously known as the Kahn-Kalai conjecture), bounds the critical probability, $p_c(\mathcal{F})$, of the a non-trivial property $\mathcal{F}\subseteq 2^X$ that is closed under supersets by the product of a universal constant $K$, the expectation threshold of the property, $q(\mathcal{F})$, and the logarithm of the size of the property's largest minimal element, $\log\ell(\mathcal{F})$. That is, the Park-Pham theorem asserts that $p_c(\mathcal{F})\leq Kq(\mathcal{F})\log\ell(\mathcal{F})$. Since the critical probability $p_c(\mathcal{F})$ always satisfies $p_c(\mathcal{F})<1$, one may ask when the upper bound posed by Kahn and Kalai gives us more information than this--that is, when is it true that $Kq(\mathcal{F})\log\ell(\mathcal{F}) < 1$? In this short note, we provide a number of necessary conditions for this to happen and give a few sufficient conditions for the bounds to provide new (and, in fact, asymptotically perfect) information along the way. In the most interesting case where $\ell(\mathcal{F}_n)\rightarrow \infty$, we prove the following relatively strong necessary condition for the Kahn-Kalai bounds to provide nontrivial information: For every positive integer $t$, every collection of all-but-$t$ of the minimal elements of $\mathcal{F}_n$ may have nonempty intersection for only finitely many $n$. Consequently, not only must the number of minimal elements become arbitrarily large, but so too must the size of any cover. Intuitively, this means that such sequences $\mathcal{F}_n$ must occupy an ever-widening `wedge' in $2^{X_n}$: the further $\mathcal{F}_n$ climbs up $2^{X_n}$ in one area, the further it must spread down and across $2^{X_n}$ in another.
Distance ideals of digraphs
Published
• View Publication
• BIB
We focus on strongly connected, strong for short, digraphs since in this setting distance is defined for every pair of vertices.
Distance ideals generalize the spectrum and Smith normal form of several distance matrices associated with strong digraphs.
We introduce the concept of pattern which allow us to characterize the family $Γ_1$ of digraphs with only one trivial distance ideal over ${\mathbb Z}$.
This result generalizes an analogous result for undirected graphs that states that connected graphs with one trivial ideal over $\mathbb{Z}$ consists of either complete graphs or complete bipartite graphs.
It turns out that the strong digraphs in $Γ_1$ consists in the circuit with 3 vertices and a family $Λ$ of strong digraphs that contains complete graphs and complete bipartite graphs, regarded as digraphs. We also compute all distance ideals of some strong digraphs in the family $Λ$.
Then, we explore circuits, which turn out to be an infinite family of minimal forbidden digraphs, as induced subdigraphs, for the strong digraphs in $Γ_1$.
This suggests that a characterization of $Γ_1$ in terms of forbidden induced subdigraphs is harder than using patterns.
Wythoff's Nim with Finite Alterations
Wythoff's Nim is a variant of 2-pile Nim in which players are allowed to take any positive number of stones from pile 1, or any positive number of stones from pile 2, or the same positive number from both piles. The player who makes the last move wins. It is well-known that the P-positions (losing positions) are precisely those where the two piles have sizes $\{\lfloor φn \rfloor, \lfloor φ^2n \rfloor \}$ for some integer $n\geq 0$, and $φ= (1+\sqrt{5})/2 = 1.6180\cdots$.
In this paper we consider an altered form of Wythoff's Nim where an arbitrary finite set of positions are designated to be P or N positions. The values of the remaining positions are computed in the normal fashion for the game. We prove that the set of P-positions of the altered game closely resembles that of a translated normal Wythoff game. In fact the fraction of overlap of the sets of P-positions of these two games approaches $1$ as the pile sizes being considered go to infinity.
$q$-Supercongruences for multidimensional series modulo the sixth power of a cyclotomic polynomial
With the help of El Bachraoui's lemma, the creative microscoping method, and a new form of the Chinese remainder theorem for coprime polynomials, we prove a $q$-supercongruence for double series and a $q$-supercongruence for triple series modulo the sixth power of a cyclotomic polynomial. As conclusions, two corresponding supercongruences for double and triple series, which are associated with the (D.2) supercongruence of Van Hamme, are given.
Topology of hyperplane arrangements via real structure
Published
• View Publication
• BIB
This note is a survey on the topology of hyperplane arrangements. We mainly focus on the relationship between topology and the real structure, such as adjacent relations of chambers and stratifications related to real structures.
The commutant of divided difference operators, Klyachko's genus, and the comaj statistic
Published in Seminaire Lotharingien de Combinatoire, 91B (2024)
• Search Publication
In [Hamaker-Pechenik-Speyer-Weigandt, Nenashev, Pechenik-Weigandt] are studied certain operators on polynomials and power series that commute with all divided difference operators $\partial_i$. We introduce a second set of "martial" operators {\martial_i} that generate the full commutant, and show how a Hopf-algebraic approach naturally reproduces the operators $ξ^ν$ from [Nenashev]. We then pause to study Klyachko's homomorphism $H^*(Fl(n)) \to H^*($the permutahedral toric variety$)$, and extract the part of it relevant to Schubert calculus, the "affine-linear genus''. This genus is then re-obtained using Leibniz combinations of the {\martial_i}. We use Nadeau-Tewari's $q$-analogue of Klyachko's genus to study the equidistribution of $\ell$ and comaj on $[n]\choose k$, generalizing known results on $S_n$.
Periodicity and decidability of translational tilings by rational polygonal sets
Published
• View Publication
• BIB
The periodic tiling conjecture asserts that if a region $Σ\subset \mathbb R^d$ tiles $\mathbb R^d$ by translations then it admits at least one fully periodic tiling. This conjecture is known to hold in $\mathbb R$, and recently it was disproved in sufficiently high dimensions. In this paper, we study the periodic tiling conjecture for polygonal sets: bounded open sets in $\mathbb R^2$ whose boundary is a finite union of line segments. We prove the periodic tiling conjecture for any polygonal tile whose vertices are rational. As a corollary of our argument, we also obtain the decidability of tilings by rational polygonal sets. Moreover, we prove that any translational tiling by a rational polygonal tile is weakly-periodic, i.e., can be partitioned into finitely many singly-periodic pieces.
Non-isomorphic Cayley Graphs with Same Random Walk Distributions
Published
• View Publication
• BIB
We construct an infinite family of triples (G,S1, S2) each consisting of a group G and a pair (S1, S2) of distinct subsets of G with the following properties. i The two Cayley graphs Cay(G, S1) and Cay(G,S2) are non-isomorphic. ii The distributions of the simple random walks on Cay(G,S1) and Cay(G,S2) are the same if one takes an appropriate correspondence between the two vertex sets at each step. iii The spectral set of Cay(G, Si) is decomposed into a disjoint union of two subsets A and B_i of the equal size which satisfies B1 = -B2.