Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On the Castelnuovo-Mumford regularity of squarefree powers of edge ideals
Published
• View Publication
• BIB
Assume that $G$ is a graph with edge ideal $I(G)$ and matching number ${\rm match}(G)$. For every integer $s\geq 1$, we denote the $s$-th squarefree power of $I(G)$ by $I(G)^{[s]}$. It is shown that for every positive integer $s\leq {\rm match}(G)$, the inequality ${\rm reg}(I(G)^{[s]})\leq {\rm match}(G)+s$ holds provided that $G$ belongs to either of the following classes: (i) very well-covered graphs, (ii) semi-Hamiltonian graphs, or (iii) sequentially Cohen-Macaulay graphs. Moreover, we prove that for every Cameron-Walker graph $G$ and for every positive integer $s\leq {\rm match}(G)$, we have ${\rm reg}(I(G)^{[s]})={\rm match}(G)+s$
Fractons on Graphs and Complexity
Published
• View Publication
• BIB
We introduce two exotic lattice models on a general spatial graph. The first one is a matter theory of a compact Lifshitz scalar field, while the second one is a certain rank-2 $U(1)$ gauge theory of fractons. Both lattice models are defined via the discrete Laplacian operator on a general graph. We unveil an intriguing correspondence between the physical observables of these lattice models and graph theory quantities. For instance, the ground state degeneracy of the matter theory equals the number of spanning trees of the spatial graph, which is a common measure of complexity in graph theory ("GSD = complexity"). The discrete global symmetry is identified as the Jacobian group of the graph. In the gauge theory, superselection sectors of fractons are in one-to-one correspondence with the divisor classes in graph theory. In particular, under mild assumptions on the spatial graph, the fracton immobility is proven using a graph-theoretic Abel-Jacobi map.
Higher Degree Erdos-Ginzburg-Ziv Constants
We generalize the notion of Erdős-Ginzburg-Ziv constants -- along the same lines we generalized in earlier work the notion of Davenport constants -- to a ``higher degree" and obtain various lower and upper bounds. These bounds are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. We also consider to what extent a theorem due independently to W.D.~Gao and the first author that relates these two parameters extends to this higher degree setting. Two simple examples that capture the essence of these higher degree Erdős-Ginzburg-Ziv constants are the following. 1) Let $ν_p(m)$ denote the $p-$adic valuation of the integer $m$. Suppose we have integers $t | {m \choose 2}$ and $n=t+2^{ν_2(m)}$, then every sequence $S$ over ${\mathbb Z}_2$ of length $|S| \geq n$ contains a subsequence $S'$ of length $t$ for which $\sum_{a_{i_1},\ldots, a_{i_m} \in S'} a_{i_1}\cdots a_{i_m} \equiv 0 \pmod{2}$, and this is sharp. 2) Suppose $k=3^α$ for some integer $α\geq 2$. Then every sequence $S$ over ${\mathbb Z}_3$ of length $|S| \geq k+6$ contains a subsequence $S'$ of length $k$ for which $\sum_{a_h, a_i, a_j \in S'} a_ha_ia_j \equiv 0 \pmod{3}$. These examples illustrate that if a sequence of elements from a finite commutative ring is long enough, certain symmetric expressions (symmetric polynomials) have to vanish on the elements of a subsequence of prescribed length. The Erdős-Ginzburg-Ziv Theorem is just the case where a sequence of length $2n-1$ over ${\mathbb Z}_n$ contains a subsequence $S'=(a_1, \ldots, a_n)$ of length $n$ that vanishes when substituted in the linear symmetric polynomial $a_1+\cdots+a_n.$
Universal Rigidity of Ladders on the line
Published
• View Publication
• BIB
In "Universal rigidity on the line, point orde" it is shown, answering a question of Jordán and Nguyen, that universal rigidity of a generic bar-joint framework in R^1 depends on more than the ordering of the vertices. The graph G that was used in that paper is a ladder with three rungs. Here we provide a general answer when that ladder with three rungs in the line is universally rigid and when it is not.
The Bergman fan of a polymatroid
Published
• View Publication
• BIB
We introduce the Bergman fan of a polymatroid and prove that the Chow ring of the Bergman fan is isomorphic to the Chow ring of the polymatroid. Using the Bergman fan, we establish the Kähler package for the Chow ring of the polymatroid, recovering and strengthening a result of Pagaria-Pezzoli.
Seshadri stratifications and Schubert varieties: a geometric construction of a standard monomial theory
Published in Pure and Applied Mathematics Quarterly, Volume 20, Number 1, 139--169, 2024
• Search Publication
A standard monomial theory for Schubert varieties is constructed exploiting (1) the geometry of the Seshadri stratifications of Schubert varieties by their Schubert subvarieties and (2) the combinatorial LS-path character formula for Demazure modules. The general theory of Seshadri stratifications is improved by using arbitrary linearization of the partial order and by weakening the definition of balanced stratification.
Quantum continuants, quantum rotundus and triangulations of annuli
Published
• View Publication
• BIB
We give enumerative interpretations of the polynomials arising as numerators and denominators of the $q$-deformed rational numbers introduced by Morier-Genoud and Ovsienko. The considered polynomials are quantum analogues of the classical continuants and of their cyclically invariant versions called rotundi. The combinatorial models involve triangulations of polygons and annuli. We prove that the quantum continuants are the coarea-generating functions of paths in a triangulated polygon and that the quantum rotundi are the (co)area-generating functions of closed loops on a triangulated annulus.
Robust Factorizations and Colorings of Tensor Graphs
Published
• View Publication
• BIB
Since the seminal result of Karger, Motwani, and Sudan, algorithms for approximate 3-coloring have primarily centered around SDP-based rounding. However, it is likely that important combinatorial or algebraic insights are needed in order to break the $n^{o(1)}$ threshold. One way to develop new understanding in graph coloring is to study special subclasses of graphs. For instance, Blum studied the 3-coloring of random graphs, and Arora and Ge studied the 3-coloring of graphs with low threshold-rank.
In this work, we study graphs which arise from a tensor product, which appear to be novel instances of the 3-coloring problem. We consider graphs of the form $H = (V,E)$ with $V =V( K_3 \times G)$ and $E = E(K_3 \times G) \setminus E'$, where $E' \subseteq E(K_3 \times G)$ is any edge set such that no vertex has more than an $ε$ fraction of its edges in $E'$. We show that one can construct $\widetilde{H} = K_3 \times \widetilde{G}$ with $V(\widetilde{H}) = V(H)$ that is close to $H$. For arbitrary $G$, $\widetilde{H}$ satisfies $|E(H) ΔE(\widetilde{H})| \leq O(ε|E(H)|)$. Additionally when $G$ is a mild expander, we provide a 3-coloring for $H$ in polynomial time. These results partially generalize an exact tensor factorization algorithm of Imrich. On the other hand, without any assumptions on $G$, we show that it is NP-hard to 3-color $H$.
$p$-numerical semigroups with $p$-symmetric properties
Published
• View Publication
• BIB
The so-called Frobenius number in the famous linear Diophantine problem of Frobenius is the largest integer such that the linear equation $a_1 x_1+\cdots+a_k x_k=n$ ($a_1,\dots,a_k$ are given positive integers with $\gcd(a_1,\dots,a_k)=1$) does not have a non-negative integer solution $(x_1,\dots,x_k)$. The generalized Frobenius number (called the $p$-Frobenius number) is the largest integer such that this linear equation has at most $p$ solutions. That is, when $p=0$, the $0$-Frobenius number is the original Frobenius number.
In this paper, we introduce and discuss $p$-numerical semigroups by developing a generalization of the theory of numerical semigroups based on this flow of the number of representations. That is, for a certain non-negative integer $p$, $p$-gaps, $p$-symmetric semigroups, $p$-pseudo-symmetric semigroups, and the like are defined, and their properties are obtained. When $p=0$, they correspond to the original gaps, symmetric semigroups, and pseudo-symmetric semigroups, respectively.
Bernoulli Factories for Flow-Based Polytopes
Published
• View Publication
• BIB
We construct explicit combinatorial Bernoulli factories for the class of \emph{flow-based polytopes}; integral 0/1-polytopes defined by a set of network flow constraints. This generalizes the results of Niazadeh et al. (who constructed an explicit factory for the specific case of bipartite perfect matchings) and provides novel exact sampling procedures for sampling paths, circulations, and $k$-flows. In the process, we uncover new connections to algebraic combinatorics.
A splitter theorem for elastic elements in $3$-connected matroids
Published
• View Publication
• BIB
An element $e$ of a $3$-connected matroid $M$ is elastic if ${\rm si}(M/e)$, the simplification of $M/e$, and ${\rm co}(M\backslash e)$, the cosimplification of $M\backslash e$, are both $3$-connected. It was recently shown that if $|E(M)|\geq 4$, then $M$ has at least four elastic elements provided $M$ has no $4$-element fans and no member of a specific family of $3$-separators. In this paper, we extend this wheels-and-whirls type result to a splitter theorem, where the removal of elements is with respect to elasticity and keeping a specified $3$-connected minor. We also prove that if $M$ has exactly four elastic elements, then it has path-width three. Lastly, we resolve a question of Whittle and Williams, and show that past analogous results, where the removal of elements is relative to a fixed basis, are consequences of this work.
On Combinatorial Properties of Greedy Wasserstein Minimization
Published
• View Publication
• BIB
We discuss a phenomenon where Optimal Transport leads to a remarkable amount of combinatorial regularity. Consider infinite sequences $(x_k)_{k=1}^{\infty}$ in $[0,1]$ constructed in a greedy manner: given $x_1, \dots, x_n$, the new point $x_{n+1}$ is chosen so as to minimize the Wasserstein distance $W_2$ between the empirical measure of the $n+1$ points and the Lebesgue measure, $$x_{n+1} = \arg\min_x ~W_2\left( \frac{1}{n+1} \sum_{k=1}^{n} δ_{x_k} + \frac{δ_{x}}{n+1}, dx\right).$$ This leads to fascinating sequences (for example: $x_{n+1} = (2k+1)/(2n+2)$ for some $k \in \mathbb{Z}$) which coincide with sequences recently introduced by Ralph Kritzinger in a different setting. Numerically, the regularity of these sequences rival the best known constructions from Combinatorics or Number Theory. We prove a regularity result below the square root barrier.
Tau functions, infinite Grassmannians and lattice recurrences
Published in J. Math. Phys. 64, 023502 (2023)
• View Publication
• BIB
The addition formulae for KP $τ$-functions, when evaluated at lattice points in the KP flow group orbits in the infinite dimensional Sato-Segal-Wilson Grassmannian, give infinite parametric families of solutions to discretizations of the KP hierarchy. The CKP hierarchy may similarly be viewed as commuting flows on the Lagrangian sub-Grassmannian of maximal isotropic subspaces with respect to a suitably defined symplectic form. Evaluating the $τ$-functions at a sublattice of points within the KP orbit, the resulting discretization gives solutions both to the hyperdeterminantal relations (or Kashaev recurrence) and the hexahedron (or Kenyon-Pemantle) recurrence.
On subgraphs of tripartite graphs
Published
• View Publication
• BIB
Bollobás, Erdős, and Szemerédi [Discrete Math 13 (1975), 97--107] investigated a tripartite generalization of the Zarankiewicz problem: what minimum degree forces a tripartite graph with $n$ vertices in each part to contain an octahedral graph $K_3(2)$? They proved that $n+2^{-1/2}n^{3/4}$ suffices and suggested it could be weakened to $n+cn^{1/2}$ for some constant $c>0$. In this note we show that their method only gives $n+ (1+o(1)) n^{11/12}$ and provide many constructions that show if true, $n+ c n^{1/2}$ is better possible.
An algorithm for Berenstein-Kazhdan decoration functions and trails for classical Lie algebras
Published
• View Publication
• BIB
For a simply connected connected simple algebraic group $G$, it is known that a variety $B_{w_0}^-:=B^-\cap U\overline{w_0}U$ has a geometric crystal structure with a positive structure $θ^-_{\mathbf{i}}:(\mathbb{C}^{\times})^{l(w_0)}\rightarrow B_{w_0}^-$ for each reduced word $\mathbf{i}$ of the longest element $w_0$ of Weyl group. A rational function $Φ^h_{BK}=\sum_{i\in I}Δ_{w_0Λ_i,s_iΛ_i}$ on $B_{w_0}^-$ is called a half-potential, where $Δ_{w_0Λ_i,s_iΛ_i}$ is a generalized minor. Computing $Φ^h_{BK}\circ θ^-_{\mathbf{i}}$ explicitly, we get an explicit form of string cone or polyhedral realization of $B(\infty)$ for the finite dimensional simple Lie algebra $\mathfrak{g}={\rm Lie}(G)$.
In this paper, for an arbitrary reduced word $\mathbf{i}$, we give an algorithm to compute the summand $Δ_{w_0Λ_i,s_iΛ_i}\circ θ^-_{\mathbf{i}}$ of $Φ^h_{BK}\circ θ^-_{\mathbf{i}}$ in the case $i\in I$ satisfies that for any weight $μ$ of $V(-w_0Λ_i)$ and $t\in I$, it holds $\langle h_t,μ\rangle\in\{2,1,0,-1,-2\}$. In particular, if $\mathfrak{g}$ is of type ${\rm A}_n$, ${\rm B}_n$, ${\rm C}_n$ or ${\rm D}_n$ then all $i\in I$ satisfy this condition so that one can completely calculate $Φ^h_{BK}\circ θ^-_{\mathbf{i}}$. We will also prove that our algorithm works in the case $\mathfrak{g}$ is of type ${\rm G}_2$.
Top to random shuffles on colored permutations
Published
• View Publication
• BIB
A deck of $n$ cards are shuffled by repeatedly taking off the top card, flipping it with probability $1/2$, and inserting it back into the deck at a random position. This process can be considered as a Markov chain on the group $B_n$ of signed permutations. We show that the eigenvalues of the transition probability matrix are $0,1/n,2/n,\ldots,(n-1)/n,1$ and the multiplicity of the eigenvalue $i/n$ is equal to the number of the {\em signed} permutation having exactly $i$ fixed points. We show the similar results also for the colored permutations. Further, we show that the mixing time of this Markov chain is $n\log n$, same as the ordinary 'top-to-random' shuffles without flipping the cards. The cut-off is also analyzed by using the asymptotic behavior of the Stirling numbers of the second kind.
Bidding combinatorial games
Published
• View Publication
• BIB
Combinatorial Game Theory is a branch of mathematics and theoretical computer science that studies sequential 2-player games with perfect information. Normal play is the convention where a player who cannot move loses. Here, we generalize the classical alternating normal play to infinitely many game families, by means of discrete Richman auctions (Develin et al. 2010, Larsson et al. 2021, Lazarus et al. 1996). We generalize the notion of a perfect play outcome, and find an exact characterization of outcome feasibility. As a main result, we prove existence of a game form for each such outcome class; then we describe their lattice structures. By imposing restrictions to the general families, such as impartial and {\em symmetric termination}, we find surprising analogies with alternating play.
Initial degenerations of flag varieties
Published
• View Publication
• BIB
We prove that the initial degenerations of the flag variety admit closed immersions into finite inverse limits of flag matroid strata, where the diagrams are derived from matroidal subdivisions of a suitable flag matroid polytope. As an application, we prove that the initial degenerations of $\operatorname{F\ell}^{\circ}(n)$ -- the open subvariety of the complete flag variety $\operatorname{F\ell}(n)$ consisting of flags in general position -- are smooth and irreducible when $n\leq 4$. We also study the Chow quotient of $\operatorname{F\ell}(n)$ by the diagonal torus of $\operatorname{PGL}(n)$, and show that, for $n=4$, this is a log crepant resolution of its log canonical model.
Support of extremal doubly stochastic arrays
Published
• View Publication
• BIB
An $n \times m$ array with nonnegative entries is called doubly stochastic if the sum of its entries at each row is $m$ and at each column is $n$. The set of all $n \times m$ doubly stochastic arrays is a convex polytope with finitely many extremal points. The main result of this paper characterizes the possible sizes of the supports of all extremal $n \times m$ doubly stochastic arrays. In particular we prove that the minimal size of the support of an $n \times m$ doubly stochastic array is $n + m - \gcd(n,m)$. Moreover, for $m=kn+1$ we also characterize the structure of the support of the extremal arrays.
$χ$-binding function for a superclass of $2K_2$-free graphs
Published
• View Publication
• BIB
The class of $2K_2$-free graphs has been well studied in various contexts in the past. In this paper, we study the chromatic number of $\{butterfly, hammer\}$-free graphs, a superclass of $2K_2$-free graphs and show that a connected $\{butterfly, hammer\}$-free graph $G$ with $ω(G)\neq 2$ admits $\binom{ω+1}{2}$ as a $χ$-binding function which is also the best available $χ$-binding function for its subclass of $2K_2$-free graphs. In addition, we show that if $H\in\{C_4+K_p, P_4+K_p\}$, then any $\{butterfly, hammer, H\}$-free graph $G$ with no components of clique size two admits a linear $χ$-binding function. Furthermore, we also establish that any connected $\{butterfly, hammer, H\}$-free graph $G$ where $H\in \{(K_1\cup K_2)+K_p, 2K_1+K_p\}$, is perfect for $ω(G)\geq 2p$.