Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Mixed Eulerian numbers and beyond
We derive explicit formulas for the matroidal mixed Eulerian numbers. We resolve a question posed by Berget, Spink, and Tseng, demonstrating that the invariant defined by matroidal mixed Eulerian numbers is precisely equivalent to Derksen's $\mathcal{G}$-invariant. As an application, we provide the first explicit, non-recursive formula for mixed Eulerian numbers. Our combinatorial approach draws inspiration from the classical work of Schubert and incorporates the cutting-edge contributions of Huh.
Diagrammatic Categories which arise from Representation Graphs
The main result of this paper utilizes the representation graph of a group $G$, $R(V,G)$, and gives a general construction of a diagrammatic category $\mathbf{Dgrams}_{R(V,G)}$. The proof of the main theorem shows that, given explicit criteria, there is an equivalence of categories between a quotient category of $\mathbf{Dgrams}_{R(V,G)}$ and a full subcategory of $G-\textbf{mod}$ with objects being the tensor products of finitely many irreducible $G$-modules.
On the minimum number of distinct eigenvalues of triangle-free strongly regular graphs
Among the seven known (non-degenerate) triangle-free strongly regular graphs, we prove that the Clebsch graph describes a matrix with exactly two distinct eigenvalues while five of the graphs do not. In showing that the minimum number of distinct eigenvalues of the Sims-Gewirtz graph is three, we answer a recently stated open question.
Finest positroid subdivisions from maximal weakly separated collections
We adopt a formal and algebraic approach of Early \cite{E2} to study the positive tropical Grassmannian $\operatorname{Trop}^+ Gr_{k,n}$. Specifically, we deal with positroid subdivision of hypersimplex induced by translated blades from any maximal weakly separated collection. One of our main results gives a necessary and sufficient condition on a maximal weakly separated collection to form a positroid subdivision of a hypersimplex corresponding to a simplicial cone in $\rm Trop^+Gr_{k,n}$. For k = 2 our condition says that any weakly separated collection of two-elements sets gives such a simplicial cone, and all cones are of such a form. We also show that the maximality of any weakly separated collection is preserved under the boundary map, which armatively answers a question by Early in \cite{E1}. Plabic graphs, invented by Postnikov \cite{P}, are of use in proving this result. As a corollary, we get that all those positroid subdivisions are the finest. Thus, the flip of two maximal weakly separatedcollections corresponds to a pair of adjacent maximal cones in positive tropical Grassmannian.
Noise Sensitivity and Learning Lower Bounds for Hierarchical Functions
Recent works explore deep learning's success by examining functions or data with hierarchical structure. To study the learning complexity of functions with hierarchical structure, we study the noise stability of functions with tree hierarchical structure on independent inputs. We show that if each function in the hierarchy is $\varepsilon$-far from linear, the noise stability is exponentially small in the depth of the hierarchy.
Our results have immediate applications for agnostic learning. In the Boolean setting using the results of Dachman-Soled, Feldman, Tan, Wan and Wimmer (2014), our results provide Statistical Query super-polynomial lower bounds for agnostically learning classes that are based on hierarchical functions.
We also derive similar SQ lower bounds based on the indicators of crossing events in critical site percolation. These crossing events are not formally hierarchical as we define but still have some hierarchical features as studied in mathematical physics.
Using the results of Abbe, Bengio, Cornacchiam, Kleinberg, Lotfi, Raghu and Zhang (2022), our results imply sample complexity lower bounds for learning hierarchical functions with gradient descent on fully connected neural networks.
Finally in the Gaussian setting, using the results of Diakonikolas, Kane, Pittas and Zarifis (2021), our results provide super-polynomial lower bounds for agnostic SQ learning.
Regularity of edge ideals of powers of graphs
We prove that the regularity of edge ideals of powers of forests is weakly decreasing. We then compute the regularity of edge ideals of powers of cycles.
Ramsey Theory on the Integer Grid: The "L" Problem
In an $[n] \times [n]$ integer grid, a monochromatic $L$ is any set of points $\{(i, j), (i, j+t), (i+t, j+t)\}$ for some positive integer $t$, where $1 \leq i, j, i+t, j+t \leq n$. In this paper, we investigate the upper bound for the smallest integer $n$ such that a $3$-colored $n \times n$ grid is guaranteed to contain a monochromatic $L$. We use various methods, such as counting intervals on the main diagonal and using Golomb rulers, to improve the upper bound. This bound originally sat at 2593, and we improve it first to 1803, then to 1573, then to 772, and finally to 493. In the latter part of this paper, we discuss the lower bound and our attempts to improve it using SAT solvers.
Induced Disjoint Paths Without an Induced Minor
We exhibit a new obstacle to the nascent algorithmic theory for classes excluding an induced minor. We indeed show that on the class of string graphs -- which avoids the 1-subdivision of, say, $K_5$ as an induced minor -- Induced 2-Disjoint Paths is NP-complete. So, while $k$-Disjoint Paths, for a fixed $k$, is polynomial-time solvable in general graphs, the absence of a graph as an induced minor does not make its induced variant tractable, even for $k=2$. This answers a question of Korhonen and Lokshtanov [SODA '24], and complements a polynomial-time algorithm for Induced $k$-Disjoint Paths in classes of bounded genus by Kobayashi and Kawarabayashi [SODA '09]. In addition to being string graphs, our produced hard instances are subgraphs of a constant power of bounded-degree planar graphs, hence have bounded twin-width and bounded maximum degree.
We also leverage our new result to show that there is a fixed subcubic graph $H$ such that deciding if an input graph contains $H$ as an induced subdivision is NP-complete. Until now, all the graphs $H$ for which such a statement was known had a vertex of degree at least 4. This answers a question by Chudnovsky, Seymour, and the fourth author [JCTB '13], and by Le [JGT '19]. Finally we resolve another question of Korhonen and Lokshtanov by exhibiting a subcubic graph $H$ without two adjacent degree-3 vertices and such that deciding if an input $n$-vertex graph contains $H$ as an induced minor is NP-complete, and unless the Exponential-Time Hypothesis fails, requires time $2^{Ω(\sqrt n)}$. This complements an algorithm running in subexponential time $2^{O(n^{2/3} \log n)}$ by these authors [SODA '24] under the same technical condition.
Tropical Fréchet Means
Published
• View Publication
• BIB
The Fréchet mean is a key measure of central tendency as a barycenter for a given set of points in a general metric space. It is computed by solving an optimization problem and is a fundamental quantity in statistics. In this paper, we study Fréchet means in tropical geometry -- a piecewise linear, combinatorial, and polyhedral variant of algebraic geometry that has gained prominence in applications. A key property of Fréchet means is that uniqueness is generally not guaranteed, which is true in tropical settings. In solving the tropical Fréchet mean optimization problem, we obtain a geometric characterization of the collection of all Fréchet means in a general tropical space as a tropically and classically convex polytope. Furthermore, we prove that a certificate of positivity for finitely many quadratic polynomials in $\mathbb{R}[x_1,\ldots,x_n]$ always exists, given that their quadratic homogeneous components are sums of squares. We propose an algorithm to symbolically compute the Fréchet mean polytope based on our exact quadratic optimization result and study its complexity.
Optimal Constructions for DNA Self-Assembly of $k$-Regular Graphs
Within biology, it is of interest to construct DNA complexes of a certain shape. These complexes can be represented through graph theory, using edges to model strands of DNA joined at junctions, represented by vertices. Because guided construction is inefficient, design strategies for DNA self-assembly are desirable. In the flexible tile model, branched DNA molecules are referred to as tiles, each consisting of flexible unpaired cohesive ends with the ability to form bond-edges. We thus consider the minimum number of tile and bond-edge types necessary to construct a graph $G$ (i.e. a target structure) without allowing the formation of graphs of lesser order, or nonisomorphic graphs of equal order. We emphasize the concept of (un)swappable graphs, establishing lower bounds for unswappable graphs. We also introduce a method of establishing upper bounds via vertex covers. We apply both of these methods to prove new bounds on rook's graphs and Kneser graphs.
On the characterization of graphs with tree 3-spanners
The tree spanner problem for a graph $G$ is as follows: For a given integer $k$, is there a spanning tree $T$ of $G$ (called a tree $k$-spanner) such that the distance in $T$ between every pair of vertices is at most $k$ times their distance in $G$? The minimum $k$ that $G$ admits a tree $k$-spanner is denoted by $σ(G)$. It is well known in the literature that determining $σ(G)\leq 2$ is polynomially solvable, while determining $σ(G)\leq k$ for $k\geq 4$ is NP-complete. A long-standing open problem is to characterize graphs with $σ(G)=3$. This paper settles this open problem by proving that it is polynomially solvable.
Quantum integrable model for the quantum cohomology/K-theory of flag varieties and the double $β$-Grothendieck polynomials
A GL$(n)$ quantum integrable system generalizing the asymmetric five vertex spin chain is shown to encode the ring relations of the equivariant quantum cohomology and equivariant quantum K-theory ring of flag varieties. We also show that the Bethe ansatz states of this system generate the double $β$-Grothendieck polynomials.
On zero-sum Ramsey numbers modulo 3
We start with a systematic study of the zero-sum Ramsey numbers. For a graph $G$ with $0 \ (\!\!\!\!\mod 3)$ edges, the zero-sum Ramsey number is defined as the smallest positive integer $R(G, \mathbb{Z}_3)$ such that for every $n \geq R(G, \mathbb{Z}_3)$ and every edge-colouring $f$ of $K_n$ using $\mathbb{Z}_3$, there is a zero-sum copy of $G$ in $K_n$ coloured by $f$, that is: $\sum_{e \in E(G)} f(e) \equiv 0 \ (\!\!\!\!\mod 3)$.
Only sporadic results are known for these Ramsey numbers, and we discover many new ones. In particular we prove that for every forest $F$ on $n$ vertices and with $0 \ (\!\!\!\!\mod 3)$ edges, $R(F, \mathbb{Z}_3) \leq n+2$, and this bound is tight if all the vertices of $F$ have degrees $1 \ (\!\!\!\!\mod 3)$. We also determine exact values of $R(T, \mathbb{Z}_3)$ for infinite families of trees.
A condition for non-negative Lin-Lu-Yau curvature
We investigate the Ollivier-Ricci curvature and its modification introduced by Lin, Lu, and Yau on locally finite graphs. The main contribution of this work is a lower bound on the minimum vertex degree of a graph ensuring non-negative Lin-Lu-Yau curvature. Additionally, we examine the sharpness of this lower bound.
Quantum fractional revival on unitary Cayley graphs over finite commutative rings
In this paper, we investigate the existence of quantum fractional revival in unitary Cayley graphs over finite commutative rings with identity. We characterize all finite local rings that permit quantum fractional revival in their unitary Cayley graphs. Additionally, we present results for the case of finite commutative rings, as they can be expressed as products of finite local rings.
$q$-rious unimodality
We generalise our still-wide-open $q$-rious positivity conjecture from 2011 to a $q$-rious unimodality conjecture.
Efficient $k$-limited Dominating Broadcasts in Product Graphs
In a graph $ G $, a subset of vertices $ S $ is called an efficient dominating set (EDS) if every vertex in the graph is uniquely dominated by exactly one vertex in $ S $. A graph is said to be efficiently dominatable if it contains an EDS. Additionally, a function $ f: V(G) \rightarrow \{0, 1, 2, \dots, k\} $ is termed a $ k $-limited dominating broadcast if, for every vertex $ u \in V(G) $, there exists a vertex $ v $, with $ f(v) \geq 1$ such that $ d(u, v) \leq f(v) $. A vertex $u$ is said to be dominated by a vertex $v$. In this work, we unify these two concepts to explore the notion of efficient $k$-limited broadcast domination in graphs. A $ k $-limited dominating broadcast $f$ is called an efficient $k$-limited dominating broadcast ($k$-$ELDB$) if each vertex in the graph is dominated exactly once. The minimum value of $k$ for which the given graph $G$ has $k$-$ELDB$ is defined as $mcr(G)$. We prove determining $mcr(G)$ is NP-Complete for general graphs and explore the $mcr(G)$ values and other related parameters on standard graphs and their products.
Enriched Cycle Structures and Roots of Permutations
This paper is concerned with a duality between $r$-regular permutations and $r$-cycle permutations, and a monotone property due to Bóna-McLennan-White on the probability $p_r(n)$ for a random permutation of $\{1,2,\ldots, n\}$ to have an $r$-th root, where $r$ is a prime. For $r=2$, the duality relates permutations with odd cycles to permutations with even cycles. To handle the general case where $r\geq 2$, we define an $r$-enriched permutation as a permutation with $r$-singular cycles colored by one of the colors $1, 2, \ldots, r-1$. In this setup, we discover a bijection between $r$-regular permutations and enriched $r$-cycle permutations, which in turn yields a stronger version of an inequality of Bóna-McLennan-White. This leads to a fully combinatorial understanding of the monotone property, thereby answering their question. When $r$ is a prime power $q^l$, we further show that $p_r(n)$ is monotone. In the case that $n+1 \not\equiv 0 \pmod q$, the equality $p_r(n)=p_r(n+1)$ has been established by Chernoff.
On the $E$-base of Finite Lattices: Semidistributive, Modular, and Geometric Lattices
Implicational bases are a well-known representation of closure spaces and their closure lattices. This representation is not unique, though, and a closure space usually admits multiple bases. Among these, the canonical base, the canonical direct base as well as the $D$-base aroused significant attention due to their structural and algorithmic properties. Recently, a new base has emerged from the study of free lattices: the $E$-base. It is a refinement of the $D$-base that, unlike the aforementioned implicational bases, does not always accurately represent its associated closure space. This leads to an intriguing question: for which classes of (closure) lattices do closure spaces have valid $E$-base? Lower-bounded lattices are known to form such a class. In this paper, we prove that for semidistributive lattices, the $E$-base is both valid and minimum. We also characterize those modular and geometric lattices that have valid $E$-base. Finally, we prove that any lattice is a sublattice of a lattice with valid $E$-base.
Fair Schedules for Single Round Robin Tournaments with Ranked Participants
We introduce a new measure to capture fairness of a schedule in a single round robin (SRR) tournament when participants are ranked by strength. To prevent distortion of the outcome of an SRR tournament as well as to guarantee equal treatment, we argue that each participant should face its opponents when ranked by strength in an alternating fashion with respect to the home/away advantage. Here, the home/away advantage captures a variety of situations. We provide an explicit construction proving that so-called ranking-fair schedules exist when the number of participants is a multiple of 4. Further, we give a formulation that outputs ranking-fair schedules when they exist. Finally, we show that the most popular method to come to a schedule for an SRR tournament, does not allow ranking-fair schedules when the number of teams exceeds 8. These findings impact the type of schedules to be used for SRR tournaments.