Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Large deviations for the 3D dimer model
In 2000, Cohn, Kenyon and Propp studied uniformly random perfect matchings of large induced subgraphs of $\mathbb Z^2$ (a.k.a. dimer configurations or domino tilings) and developed a large deviation theory for the associated height functions. We establish similar results for large induced subgraphs of $\mathbb Z^3$. To formulate these results, recall that a perfect matching on a bipartite graph induces a flow that sends one unit of current from each even vertex to its odd partner. One can then subtract a "reference flow'' to obtain a divergence-free flow.
We show that the flow induced by a uniformly random dimer configuration converges in law (when boundary conditions on a bounded $R \subset \mathbb R^3$ are controlled and the mesh size tends to zero) to the deterministic divergence-free flow $g$ on $R$ that maximizes
$$\int_{R} \text{ent}(g(x)) \,dx$$ given the boundary data, where $\text{ent}(s)$ is the maximal specific entropy obtained by an ergodic Gibbs measure with mean current $s$. The function $\text{ent}$ is not known explicitly, but we prove that it is continuous and {\em strictly concave} on the octahedron $\mathcal O$ of possible mean currents (except on the edges of $\mathcal O$) which implies (under reasonable boundary conditions) that the maximizer is uniquely determined. We further establish two versions of a large deviation principle, using the integral above to quantify how exponentially unlikely the discrete random flows are to approximate other deterministic flows.
The planar dimer model is mathematically rich and well-studied, but many of the most powerful tools do not seem readily adaptable to higher dimensions. Our analysis begins with a smaller set of tools, which include Hall's matching theorem, the ergodic theorem, non-intersecting-lattice-path formulations, and double-dimer cycle swaps.
Traversing combinatorial 0/1-polytopes via optimization
Published
• View Publication
• BIB
In this paper, we present a new framework that exploits combinatorial optimization for efficiently generating a large variety of combinatorial objects based on graphs, matroids, posets and polytopes. Our method relies on a simple and versatile algorithm for computing a Hamilton path on the skeleton of any 0/1-polytope ${\rm conv}(X)$, where $X\subseteq \{0,1\}^n$. The algorithm uses as a black box any algorithm that solves a variant of the classical linear optimization problem $\min\{w\cdot x\mid x\in X\}$, and the resulting delay, i.e., the running time per visited vertex on the Hamilton path, is only by a factor of $\log n$ larger than the running time of the optimization algorithm. When $X$ encodes a particular class of combinatorial objects, then traversing the skeleton of the polytope ${\rm conv}(X)$ along a Hamilton path corresponds to listing the combinatorial objects by local change operations, i.e., we obtain Gray code listings. As concrete results of our general framework, we obtain efficient algorithms for generating all ($c$-optimal) bases in a matroid; ($c$-optimal) spanning trees, forests, ($c$-optimal) matchings in a general graph; ($c$-optimal) vertex covers, ($c$-optimal) stable sets in a bipartite graph; as well as ($c$-optimal) antichains and ideals of a poset. The delay and space required by these algorithms are polynomial in the size of the matroid, graph, or poset, respectively, and these listings correspond to Hamilton paths on the corresponding combinatorial polytopes. We also obtain an $O(t_{\rm LP} \log n)$ delay algorithm for the vertex enumeration problem on 0/1-polytopes $\{x\in\mathbb{R}^n\mid Ax\leq b\}$, where $A\in \mathbb{R}^{m\times n}$ and $b\in\mathbb{R}^m$, and $t_{\rm LP}$ is the time needed to solve the linear program $\min\{w\cdot x\mid Ax\leq b\}$. This improves upon the 25-year old $O(t_{\rm LP}\,n)$ delay algorithm of Bussieck and Lübbecke.
Fake degrees of classical Weyl groups
We compute the fake degrees of representations of classical Weyl groups in terms of domino tableaux.
Revisiting Block-Diagonal SDP Relaxations for the Clique Number of the Paley Graphs
Published
• View Publication
• BIB
This work addresses the block-diagonal semidefinite program (SDP) relaxations for the clique number of the Paley graphs. The size of the maximal clique (clique number) of a graph is a classic NP-complete problem; a Paley graph is a deterministic graph where two vertices are connected if their difference is a quadratic residue (square) in a finite field with the number of elements given by certain primes and prime powers. Improving the upper bound for the Paley graph clique number for prime powers that are non-squares is an open problem in combinatorics. Moreover, since quadratic residues exhibit pseudorandom properties, Paley graphs are related to the construction of deterministic restricted isometries, an open problem in compressed sensing. Recent work provides numerical evidence that the current upper bounds can be improved by the sum-of-squares (SOS) relaxations. In particular, the bounds given by the SOS relaxations of degree 4 (SOS-4) have been empirically observed to be growing at an order smaller than square root of the prime. However, computations of SOS-4 appear to be intractable with respect to large graphs. Gvozdenovic et al. introduced a more computationally efficient block-diagonal hierarchy of SDPs and computed the values of these SDPs of degrees 2 (L2) for the Paley graph clique numbers associated with primes p less or equal to 809, which bound from above the corresponding SOS-4 relaxations. We compute the values of the L2 relaxations for p's between 821 and 997. Our results provide some numerical evidence that these relaxations, and therefore also the SOS-4 relaxations, may be scaling at an order smaller than the square root of p. However, due to the size of the SDPs, we have not been able to compute L2 relaxations for p's greater than 997. Therefore, our scaling estimate is not conclusive and presents an interesting open problem for further study.
Quantum ergodicity on the Bruhat-Tits building for $\text{PGL}(3, F)$ in the Benjamini-Schramm limit
We study joint eigenfunctions of the spherical Hecke algebra acting on $L^2(Γ_n \backslash G / K)$ where $G = \text{PGL}(3, F)$ with $F$ a non-archimedean local field of arbitrary characteristic, $K = \text{PGL}(3, O)$ with $O$ the ring of integers of $F$, and $(Γ_n)$ is a sequence of torsion-free lattices. We prove a form of equidistribution on average for eigenfunctions whose spectral parameters lie in the tempered spectrum when the associated sequence of quotients of the Bruhat-Tits building Benjamini-Schramm converges to the building itself. This result is a higher rank non-archimedean analogue of existing results for graphs and locally symmetric spaces.
A recurring theme in the proof is the reduction of many computations to computing the sum of an exponential function over lattice points in a polytope; such expressions can subsequently be simplified using Brion's formula. Along the way of proving our main result we prove several other results which may be of independent interest including a "degenerate" version of Brion's formula which "interpolates" between the usual Brion's formula and the Ehrhart polynomial, an effective rate of convergence for the distribution of spectral parameters to the Plancherel measure under Benjamini-Schramm convergence, and a classification of relative positions of triples of points in buildings of type $\tilde{A}_2$.
A Gröbner Basis Approach to Combinatorial Nullstellensatz
In this paper, using some conditions that arise naturally in Alon's combinatorial Nullstellensatz as well as its various extensions and generalizations, we characterize Gröbner bases consisting of monic polynomials, which helps us to establish a Nullstellensatz from a Gröbner basis perspective. As corollaries of this general Nullstellensatz, we establish four special Nullstellensatz, which, among others, include a common generalization of the Nullstellensatz for multisets established in Kós, Rónyai and Mészáros \cite{23,24} and the Nullstellensatz with multiplicity established in Ball and Serra \cite{9}, and include a punctured Nullstellensatz, generalizing several existing results in the literature. As applications of our punctured Nullstellensatz, we extend some results on hyperplane covering in \cite{9,23,24} to wider settings, and give an alternative proof of the generalized Alon-Füredi theorem established in Bishnoi, Clark, Potukuchi and Schmitt \cite{12}. Unless specified otherwise, all our results are established over an arbitrary commutative ring $R$.
Saturation numbers of bipartite graphs in random graphs
Published
• View Publication
• BIB
For a given graph $F$, the $F$-saturation number of a graph $G$, denoted by $ {sat}(G, F)$, is the minimum number of edges in an edge-maximal $F$-free subgraph of $G$. In 2017, Korándi and Sudakov determined $ {sat}({G}(n, p), K_r)$ asymptotically, where ${G}(n, p) $ denotes the Erdős-Rényi random graph and $ K_r$ is the complete graph on $r$ vertices. In this paper, among other results, we present an asymptotic upper bound on ${sat}({G}(n, p), F)$ for any bipartite graph $F$ and also an asymptotic lower bound on ${sat}({G}(n, p), F)$ for any complete bipartite graph $F$.
Terwilliger $\mathbb{F}$-algebras of certain Cayley tables
Let $\mathbb{F}$ be an arbitrary field. In this paper, we continue studying the Terwilliger algebras of association schemes over $\mathbb{F}$ that were called the Terwilliger $\mathbb{F}$-algebras of association schemes in [8]. We determine the algebraic structures of the Terwilliger $\mathbb{F}$-algebras of the association schemes induced from the Cayley tables of elementary abelian $2$-groups, which provides infinite many examples and counterexamples for the study of the Terwilliger $\mathbb{F}$-algebras of association schemes.
Gram mates, sign changes in singular values, and isomorphism
Published
• View Publication
• BIB
We study distinct $(0,1)$ matrices $A$ and $B$, called \textit{Gram mates}, such that $AA^T=BB^T$ and $A^TA=B^TB$. We characterize Gram mates where one can be obtained from the other by changing signs of some positive singular values. We classify Gram mates such that the rank of their difference is at most $2$. Among such Gram mates, we further produce equivalent conditions in order that one is obtained from the other by changing signs of at most $2$ positive singular values. Moreover, we provide some tools for constructing Gram mates where the rank of their difference is more than $2$. Finally, we characterize non-isomorphic Gram mates whose difference is of rank $1$ with some extra conditions.
Sidon sets, sum-free sets and linear codes
Published in Advances in Mathematics of Communications, 2024, 18(2): 549-566
• View Publication
• BIB
Finding the maximum size of a Sidon set in $\mathbb{F}_2^t$ is of research interest for more than 40 years. In order to tackle this problem we recall a one-to-one correspondence between sum-free Sidon sets and linear codes with minimum distance greater or equal 5. Our main contribution about codes is a new non-existence result for linear codes with minimum distance 5 based on a sharpening of the Johnson bound. This gives, on the Sidon set side, an improvement of the general upper bound for the maximum size of a Sidon set. Additionally, we characterise maximal Sidon sets, that are those Sidon sets which can not be extended by adding elements without loosing the Sidon property, up to dimension 6 and give all possible sizes for dimension 7 and 8 determined by computer calculations.
Q-Kostka polynomials and spin Green polynomials
Published in Monatsh. Math. 201 (2023), no. 1, 109-125
• View Publication
• BIB
We study the $Q$-Kostka polynomials $L_{λμ}(t)$ by the vertex operator realization of the $Q$-Hall-Littlewood functions $G_λ(x;t)$ and derive new formulae for $L_{λμ}(t)$. In particular, we have established stability property for the Q-Kostka polynomials. We also introduce spin Green polynomials $Y^λ_μ(t)$ as both an analogue of the Green polynomials and deformation of the spin irreducible characters of $\mathfrak S_n$. Iterative formulas of the spin Green polynomials are given and some favorable properties parallel to the Green polynomials are obtained. Tables of $Y^λ_μ(t)$ are included for $n\leq7.$
Computing shortest 12-representants of labeled graphs
The notion of $12$-representable graphs was introduced as a variant of a well-known class of word-representable graphs. Recently, these graphs were shown to be equivalent to the complements of simple-triangle graphs. This indicates that a $12$-representant of a graph (i.e., a word representing the graph) can be obtained in polynomial time if it exists. However, the $12$-representant is not necessarily optimal (i.e., shortest possible). This paper proposes an $O(n^2)$-time algorithm to generate a shortest $12$-representant of a labeled graph, where $n$ is the number of vertices of the graph.
Special Folding of Quivers and Cluster Algebras
Published in MATH. SCAND. 130 (2024) 237-256
• View Publication
• BIB
We give a precise definition of folded quivers and folded cluster algebras. We give many examples of including some with finite mutation structure that do not have analogues in the unfolded cases. We relate these examples to the finite mutation type quivers $X_6$ and $X_7$. We also construct a folded cluster algebra associated to triangulations of punctured surface which allow for triangulations self-folded triangles. We give a simple construction of a folded cluster algebra for which the cluster complex is a generalized permutohedron.
Simple Combinatorial Construction of the $k^{o(1)}$-Lower Bound for Approximating the Parameterized $k$-Clique
Published
• View Publication
• BIB
In the parameterized $k$-clique problem, or $k$-Clique for short, we are given a graph $G$ and a parameter $k\ge 1$. The goal is to decide whether there exist $k$ vertices in $G$ that induce a complete subgraph (i.e., a $k$-clique). This problem plays a central role in the theory of parameterized intractability as one of the first W[1]-complete problems. Existing research has shown that even an FPT-approximation algorithm for $k$-Clique with arbitrary ratio does not exist, assuming the Gap-Exponential-Time Hypothesis (Gap-ETH) [Chalermsook et al., FOCS'17 and SICOMP]. However, whether this inapproximability result can be based on the standard assumption of $\mathrm{W} 1\ne \mathrm{FPT}$ remains unclear. The recent breakthrough of Bingkai Lin [STOC'21] and subsequent works by Karthik C.S. and Khot [CCC'22], and by Lin, Ren, Sun Wang [ICALP'22] give a technique that bypasses Gap-ETH, thus leading to the inapproximability ratio of $O(1)$ and $k^{o(1)}$ under $\mathrm{W}[1]$-hardness (the first two) and ETH (for the latter one). All the work along this line follows the framework developed by Lin, which starts from the $k$-vector-sum problem and requires some involved algebraic techniques.
This paper presents an alternative framework for proving the W[1]-hardness of the $k^{o(1)}$-FPT-inapproximability of $k$-Clique. Using this framework, we obtain a gap-producing self-reduction of $k$-Clique without any intermediate algebraic problem. More precisely, we reduce from $(k,k-1)$-Gap Clique to $(q^k, q^{k-1})$-Gap Clique, for any function $q$ depending only on the parameter $k$, thus implying the $k^{o(1)}$-inapproximability result when $q$ is sufficiently large. Our proof is relatively simple and mostly combinatorial. At the core of our construction is a novel encoding of $k$-element subset stemming from the theory of "network coding" and a "Sidon set" representation of a graph.
On real algebraic maps whose images are domains surrounded by the products of hyperbolas and real affine spaces
Previously, we have systematically constructed explicit real algebraic functions which are represented as the compositions of smooth real algebraic maps whose images are domains surrounded by hypersurfaces of degree 1 or 2 with canonical projections. Here we give new examples with the hypersurfaces each of which is the product of a connected component of a hyperbola and a copy of the $1$-dimensional affine space explicitly. As a related future work we also discuss problems to obtain the zero sets of some real polynomials explicitly from increasing sequences of real numbers.
This is motivated by a problem in theory of smooth functions proposed first by Sharko: can we construct nice smooth functions whose Reeb graphs are as prescribed? The Reeb space of a smooth function is the naturally obtained graph whose underlying space is the quotient space of the manifold consisting of connected components of preimages. The author first considered variants respecting the topologies of the preimages and obtained several results before. Our work is also motivated by real algebraic geometry, pioneered by Nash. We can know existence of real algebraic structures of smooth manifolds and some general sets and we already know several approximations of smooth maps by real algebraic maps. Our interest lies in explicit construction, which is difficult.
Divisibility of the Sums of the Power of Consecutive Integers
Published
• View Publication
• BIB
We study the divisibility of the sums of the odd power of consecutive integers, $S(m,k)=1^{mk}+2^{mk}+\cdots+k^{mk}$ and $1^k+2^k+\cdots+n^k$ for odd integers $m$ and $k$, by using the Girard-Waring identity. Faulhaber's approach for the divisibilities is discussed. Some expressions of power sums in terms of Stirling numbers of the second kind are represented.
Singleton Coalition Graph Chains
Published
• View Publication
• BIB
Let $G$ be graph with vertex set $V$ and order $n=|V|$. A coalition in $G$ is a combination of two distinct sets, $A\subseteq V$ and $B\subseteq V$, which are disjoint and are not dominating sets of $G$, but $A\cup B$ is a dominating set of $G$. A coalition partition of $G$ is a partition $\mathcal{P}=\{S_1,\ldots,S_k\}$ of its vertex set $V$, where each set $S_i\in \mathcal{P}$ is either a dominating set of $G$ with only one vertex, or it is not a dominating set but forms a coalition with some other set $S_j \in \mathcal{P}$. The coalition number $C(G)$ is the maximum cardinality of a coalition partition of $G$. To represent a coalition partition $\mathcal{P}$ of $G$, a coalition graph $\CG(G, \mathcal{P})$ is created, where each vertex of the graph corresponds to a member of $\mathcal{P}$ and two vertices are adjacent if and only if their corresponding sets form a coalition in $G$. A coalition partition $\mathcal{P}$ of $G$ is a singleton coalition partition if every set in $\mathcal{P}$ consists of a single vertex. If a graph $G$ has a singleton coalition partition, then $G$ is referred to as a singleton-partition graph. A graph $H$ is called a singleton coalition graph of a graph $G$ if there exists a singleton coalition partition $\mathcal{P}$ of $G$ such that the coalition graph $\CG(G,\mathcal{P})$ is isomorphic to $H$. A singleton coalition graph chain with an initial graph $G_1$ is defined as the sequence $G_1\rightarrow G_2\rightarrow G_3\rightarrow\cdots$ where all graphs $G_i$ are singleton-partition graphs, and $\CG(G_i,Γ_1)=G_{i+1}$, where $Γ_1$ represents a singleton coalition partition of $G_i$. In this paper, we address two open problems posed by Haynes et al. We characterize all graphs $G$ of order $n$ and minimum degree $δ(G)=2$ such that $C(G)=n$ and investigate the singleton coalition graph chain starting with graphs $G$ where $δ(G)\le 2$.
A Cheeger Inequality for Small Set Expansion
The discrete Cheeger inequality, due to Alon and Milman (J. Comb. Theory Series B 1985), is an indispensable tool for converting the combinatorial condition of graph expansion to an algebraic condition on the eigenvalues of the graph adjacency matrix. We prove a generalization of Cheeger's inequality, giving an algebraic condition equivalent to small set expansion. This algebraic condition is the p-to-q hypercontractivity of the top eigenspace for the graph adjacency matrix. Our result generalizes a theorem of Barak et al (STOC 2012) to the low small set expansion regime, and has a dramatically simpler proof; this answers a question of Barak (2014).
Identities for vacillating tableaux via growth diagrams
Published in J. Algebra Appl. 24 (2025), Art. 2541022
• View Publication
• BIB
We give bijective proofs using Fomin's growth diagrams for identities involving numbers of vacillating tableaux that arose in the representation theory of partition algebras or are inspired by such identities.
Knuth moves for Schubert polynomials
Published
• View Publication
• BIB
In our previous work we have introduced an analogue of Robinson-Schensted-Knuth correspondence for Schubert calculus of the complete flag varieties. The objects inserted are certain biwords, the outcomes of insertion are bumpless pipe dreams, and the recording objects are decorated chains in Bruhat order. In this paper we study a class of biwords that have a certain associativity property; we call them plactic biwords. We introduce analogues of Knuth moves on plactic biwords, and prove that any two plactic biwords with the same insertion bumpless pipe dream are connected by those moves.