Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Efficient Evaluations of Weighted Sums over the Boolean Lattice inspired by conjectures of Berti, Corsi, Maspero, and Ventura
In their study of water waves, Massimiliano Berti, Livia Corsi, Alberto Maspero, and Paulo Ventura, came up with two intriguing conjectured identities involving certain weighted sums over the Boolean lattice. They were able to prove the first one, while the second is still open. In this methodological note, we will describe how to generate many terms of these types of weighted sums, and if in luck, evaluate them in closed-form. We were able to use this approach to give a new proof of their first conjecture, and while we failed to prove the second conjecture, we give overwhelming evidence for its veracity. In this second version, we are happy to announce that Mark van Hoeij was able to complete the proof of the second conjecture, by explicitly solving the second-order recurrence mentioned at the end.
New scattered subspaces in higher dimensions
Published
• View Publication
• BIB
Over the past few decades, there has been extensive research on scattered subspaces, partly because of their link to MRD codes. These subspaces can be characterized using linearized polynomials over finite fields. Within this context, scattered sequences extend the concept of scattered polynomials and can be viewed as geometric equivalents of exceptional MRD codes. Up to now, only scattered sequences of orders one and two have been developed. However, this paper presents an infinite series of exceptional scattered sequences of any order beyond two which correspond to scattered subspaces that cannot be obtained as direct sum of scattered subspaces in smaller dimensions. The paper also addresses equivalence concerns within this framework.
On Minimal Depth in Neural Networks
A characterization of the representability of neural networks is relevant to comprehend their success in artificial intelligence. This study investigate two topics on ReLU neural network expressivity and their connection with a conjecture related to the minimum depth required for representing any continuous piecewise linear (CPWL) function. The topics are the minimal depth representation of the sum and max operations, as well as the exploration of polytope neural networks. For the sum operation, we establish a sufficient condition on the minimal depth of the operands to find the minimal depth of the operation. In contrast, regarding the max operation, a comprehensive set of examples is presented, demonstrating that no sufficient conditions, depending solely on the depth of the operands, would imply a minimal depth for the operation. The study also examine the minimal depth relationship between convex CPWL functions. On polytope neural networks, we investigate basic depth properties from Minkowski sums, convex hulls, number of vertices, faces, affine transformations, and indecomposable polytopes. More significant findings include depth characterization of polygons; identification of polytopes with an increasing number of vertices, exhibiting small depth and others with arbitrary large depth; and most notably, the minimal depth of simplices, which is strictly related to the minimal depth conjecture in ReLU networks.
Logarithmic concavity of bimatroids
A bimatroid is a matroid-like generalization of the collection of regular minors of a matrix. In this article, we use the theory of Lorentzian polynomials to study the logarithmic concavity of natural sequences associated to bimatroids. Bimatroids can be used to characterize morphisms of matroids and this observation (originally due to Kung) allows us to prove a weak version of logarithmic concavity of the number of bases of a morphism of matroids. This is weaker than the original result by Eur and Huh; it nevertheless provides us with a new perspective on Mason's log-concavity conjecture for independent sets of matroids. We finally show that for realizable bimatroids, the regular minor polynomial is a volume polynomial. Applied to morphisms of matroids, this shows that the weak basis generating polynomial of a morphism is a volume polynomial; this confirms a conjecture of Eur--Huh for morphisms of nullity $\leq 1$ and gives an algebro-geometric explanation for Mason's log-concavity conjecture in the realizable case.
The sandpile model on the complete split graph: $q,t$-Schröder polynomials, sawtooth polyominoes, and a cycle lemma
This paper studies sorted recurrent configurations of the Abelian sandpile model on the complete split graph. We introduce two natural toppling processes, CTI and ITC toppling, on the recurrent configurations and use these to define two toppling delay statistics, wtopple$_{CTI}$ and wtopple$_{ITC}$. These new toppling delay statistics are time-weighted sums for the number of vertices that topple during each iteration of the toppling processes. We then introduce the bivariate $q,t$-CTI and $q,t$-ITC polynomials that are the generating functions of the bistatistics (level,wtopple$_{ITC}$) and (level,wtopple$_{CTI}$), where level is the well-established sandpile level statistic.
We prove the bistatistic (level,wtopple$_{ITC}$) maps to a bistatistic (area,bounce) on Schröder paths that was introduced by Egge, Haglund, Killpatrick and Kremer (2003). This establishes equality of the $q,t$-ITC polynomial and the $q,t$-Schröder polynomial of those same authors. This connection allows us to relate the $q,t$-ITC polynomial to the theory of symmetric functions and also establishes symmetry of the $q,t$-ITC polynomials. We conjecture equality of the $q,t$-CTI and $q,t$-ITC polynomials.
We also present and prove a characterization of sorted recurrent configurations as a new class of polyominoes that we call sawtooth polyominoes. The CTI and ITC toppling processes on sorted recurrent configurations are proven to correspond to bounce paths within the polyominoes. The main difference between the two bounce paths is the initial direction in which they travel. In addition to this, and building on the results of Aval, D'Adderio, Dukes, and Le Borgne (2016), we present a cycle lemma for a slight extension of stable configurations that allows for an enumeration of sorted recurrent configurations within the framework of the sandpile model.
Ehrhart polynomials, Hecke series, and affine buildings
Given a lattice polytope $P$ and a prime $p$, we define a function from the set of primitive symplectic $p$-adic lattices to the rationals that extracts the $\ell$th coefficient of the Ehrhart polynomial of $P$ relative to the given lattice. Inspired by work of Gunnells and Rodriguez-Villegas in type $\mathsf{A}$, we show that these functions are eigenfunctions of a suitably defined action of the spherical symplectic Hecke algebra. Although they depend significantly on the polytope $P$, their eigenvalues are independent of $P$ and expressed as polynomials in $p$. We define local zeta functions that enumerate the values of these Hecke eigenfunctions on the vertices of the affine Bruhat--Tits buildings associated with $p$-adic symplectic groups. We compute these zeta functions by enumerating $p$-adic lattices by their elementary divisors and, simultaneously, one Hermite parameter. We report on a general functional equation satisfied by these local zeta functions, confirming a conjecture of Vankov.
Common neighborhood energies and their relations with Zagreb index
In this paper we establish connections between common neighborhood Laplacian and common neighborhood signless Laplacian energies and the first Zagreb index of a graph $\mathcal{G}$. We introduce the concepts of CNL-hyperenergetic and CNSL-hyperenergetic graphs and showed that $\mathcal{G}$ is neither CNL-hyperenergetic nor CNSL-hyperenergetic if $\mathcal{G}$ is a complete bipartite graph. We obtain certain relations between various energies of a graph. Finally, we conclude the paper with several bounds for common neighborhood Laplacian and signless Laplacian energies of a graph.
Sandpile groups for cones over trees
Published
• View Publication
• BIB
Sandpile groups are a subtle graph isomorphism invariant, in the form of a finite abelian group, whose cardinality is the number of spanning trees in the graph. We study their group structure for graphs obtained by attaching a cone vertex to a tree. For example, it is shown that the number of generators of the sandpile group is at most one less than the number of leaves in the tree. For trees on a fixed number of vertices, the paths and stars are shown to provide extreme behavior, not only for the number of generators, but also for the number of spanning trees, and for Tutte polynomial evaluations that count the recurrent sandpile configurations by their numbers of chips.
Pattern-restricted permutations of small order
Published
• View Publication
• BIB
We enumerate 132-avoiding permutations of order 3 in terms of the Catalan and Motzkin generating functions, answering a question of Bóna and Smith from 2019. We also enumerate 231-avoiding permutations that are composed only of 3-cycles, 2-cycles, and fixed points.
Some results involving the $A_α$-eigenvalues for graphs and line graphs
Let $G$ be a simple graph with adjacency matrix $A(G)$, signless Laplacian matrix $Q(G)$, degree diagonal matrix $D(G)$ and let $l(G)$ be the line graph of $G$. In 2017, Nikiforov defined the $A_α$-matrix of $G$, $A_α(G)$, as a linear convex combination of $A(G)$ and $D(G)$, the following way, $A_α(G):=αA(G)+(1-α)D(G),$ where $α\in[0,1]$. In this paper, we present some bounds for the eigenvalues of $A_α(G)$ and for the largest and smallest eigenvalues of $A_α(l(G))$. Extremal graphs attaining some of these bounds are characterized.
On Distinct Angles in the Plane
Published
• View Publication
• BIB
We prove that if $N$ points lie in convex position in the plane then they determine $Ω(N^{5/4})$ distinct angles, provided that the points do not lie on a common circle.
This is derived from a more general claim that if $N$ points in the convex position in the real plane determine $KN$ distinct angles, then $K=Ω(N^{1/4})$ or $Ω(N/K)$ points are co-circular.
The proof makes use of the implicit order one can give to points in convex position and relies on a slightly more general order assumption. The assumption enables one to reduce the issue to counting incidences between points and a multiset of cubic curves, with special attention being paid to the case when the curves are reducible.
Super Caldero--Chapoton map for type $A$
One can explicitly compute the generators of a surface cluster algebra either combinatorially, through dimer covers of snake graphs, or homologically, through the CC-map applied to indecomposable modules over the appropriate algebra. Recent work by Musiker, Ovenhouse and Zhang used Penner and Zeitlin's decorated super Teichm{ü}ller theory to define a super version of the cluster algebra of type $A$ and gave a combinatorial formula to compute the even generators. We extend this theory by giving a homological way of explicitly computing these generators by defining a super CC-map for type $A$.
A cluster of results on amplituhedron tiles
Published
• View Publication
• BIB
The amplituhedron is a mathematical object which was introduced to provide a geometric origin of scattering amplitudes in $\mathcal{N}=4$ super Yang Mills theory. It generalizes \emph{cyclic polytopes} and the \emph{positive Grassmannian}, and has a very rich combinatorics with connections to cluster algebras. In this article we provide a series of results about tiles and tilings of the $m=4$ amplituhedron. Firstly, we provide a full characterization of facets of BCFW tiles in terms of cluster variables for $\mbox{Gr}_{4,n}$. Secondly, we exhibit a tiling of the $m=4$ amplituhedron which involves a tile which does not come from the BCFW recurrence -- the \emph{spurion} tile, which also satisfies all cluster properties. Finally, strengthening the connection with cluster algebras, we show that each standard BCFW tile is the positive part of a cluster variety, which allows us to compute the canonical form of each such tile explicitly in terms of cluster variables for $\mbox{Gr}_{4,n}$. This paper is a companion to our previous paper ``Cluster algebras and tilings for the $m=4$ amplituhedron''.
A Generalization of the Graham-Pollak Tree Theorem to Even-Order Steiner Distance
Published
• View Publication
• BIB
Graham and Pollak showed in 1971 that the determinant of a tree's distance matrix depends only on its number of vertices, and, in particular, it is always nonzero. The Steiner distance of a collection of $k$ vertices in a graph is the fewest number of edges in any connected subgraph containing those vertices; for $k=2$, this reduces to the ordinary definition of graphical distance. Here, we show that the hyperdeterminant of the $k$-th order Steiner distance hypermatrix is always nonzero if $k$ is even, extending their result beyond $k=2$. Previously, the authors showed that the $k$-Steiner distance hyperdeterminant is always zero for $k$ odd, so together this provides a generalization to all $k$. We conjecture that not just the vanishing, but the value itself, of the $k$-Steiner distance hyperdeterminant of an $n$-vertex tree depends only on $k$ and $n$.
The topology of data hides in quantum thermal states
Published
• View Publication
• BIB
We provide a quantum protocol to perform topological data analysis (TDA) via the distillation of quantum thermal states. Recent developments of quantum thermal state preparation algorithms reveal their characteristic scaling defined by properties of dissipative Lindbladians. This contrasts with protocols based on unitary evolution which have a scaling depending on the properties of the combinatorial Laplacian. To leverage quantum thermal state preparation algorithms, we translate quantum TDA from a real-time to an imaginary-time picture, shifting the paradigm from a unitary approach to a dissipative one. Starting from an initial state overlapping with the ground state of the system, one can dissipate its energy via channels unique to the dataset, naturally distilling its information. Therefore calculating Betti numbers translates into a purity estimation. Alternatively, this can be interpreted as the evaluation of the Rényi 2-entropy, Uhlmann fidelity or Hilbert-Schmidt distance relative to thermal states with the embedded topology of simplicial complexes. Our work opens the field of TDA toward a more physical interpretation of the topology of data.
On the cohomology of Lie algebras associated with graphs
Published
• View Publication
• BIB
We describe a canonical decomposition of the cohomology of the Dani-Mainkar metabelian Lie algebras associated with graphs. As applications, we obtain explicit formulas for the third cohomology of any Dani-Mainkar Lie algebra and for the cohomology in all degrees of Lie algebras associated with arbitrary star graphs. We also describe a procedure to reduce the calculation of the cohomology of solvable Lie algebras associated with graphs through the Grantcharov-Grantcharov-Iliev construction to the cohomology of Dani-Mainkar Lie algebras.
Any two-coloring of the plane contains monochromatic 3-term arithmetic progressions
Published in Combinatorica 44 (2024), no. 6, 1367-1380
• View Publication
• BIB
A conjecture of Erdős, Graham, Montgomery, Rothschild, Spencer and Straus states that, with the exception of equilateral triangles, any two-coloring of the plane will have a monochromatic congruent copy of every three-point configuration. This conjecture is known only for special classes of configurations. In this manuscript, we confirm one of the most natural open cases; that is, every two-coloring of the plane admits a monochromatic congruent copy of any $3$-term arithmetic progression.
Induced subgraphs and tree decompositions XV. Even-hole-free graphs with bounded clique number have logarithmic treewidth
Published
• View Publication
• BIB
We prove that for every integer $t\geq 1$ there exists an integer $c_t\geq 1$ such that every $n$-vertex even-hole-free graph with no clique of size $t$ has treewidth at most $c_t\log{n}$. This resolves a conjecture of Sintiari and Trotignon, who also proved that the logarithmic bound is asymptotically best possible. It follows that several \textsf{NP}-hard problems such as \textsc{Stable Set}, \textsc{Vertex Cover}, \textsc{Dominating Set} and \textsc{Coloring} admit polynomial-time algorithms on this class of graphs. As a consequence, for every positive integer $r$, $r$-{\sc Coloring} can be solved in polynomial time on even-hole-free graphs without any assumptions on clique size.
As part of the proof, we show that there is an integer $d$ such that every even-hole-free graph has a balanced separator which is contained in the (closed) neighborhood of at most $d$ vertices. This is of independent interest; for instance, it implies the existence of efficient approximation algorithms for certain \textsf{NP}-hard problems while restricted to the class of all even-hole-free graphs.
The diagonal derivative of a skew Schur polynomial
We prove a formula for the image of a skew Schur polynomial $s_{λ/μ}\left( x_{1}, x_{2}, \ldots, x_{N}\right) $ under the differential operator $\nabla:= \dfrac{\partial}{\partial x_{1}} +\dfrac{\partial}{\partial x_{2}}+\cdots+\dfrac{\partial}{\partial x_{N}}$. This generalizes a formula of Weigandt for $\nabla\left( s_λ\right) $.
Tropical Fermat-Weber Polytropes
Published
• View Publication
• BIB
We study the geometry of tropical Fermat-Weber points in terms of the symmetric tropical metric over the tropical projective torus. It is well-known that a tropical Fermat-Weber point of a given sample is not unique and we show that the set of all possible Fermat-Weber points forms a polytrope. To prove this, we show that the tropical Fermat-Weber is the dual of a minimum-cost flow problem, and that its polytrope is a bounded cell of a tropical hyperplane arrangement given by both max- and min-tropical hyperplanes with apices given by the sample. We also define tropical Fermat-Weber gradients and provide a gradient descent algorithm that converges to the Fermat-Weber polytrope.