Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Bongartz completion via $c$-vectors
Published
• View Publication
• BIB
In the present paper, we first give a characterization for Bongartz completion in $τ$-tilting theory via $c$-vectors. Motivated by this characterization, we give the definition of Bongartz completion in cluster algebras using $c$-vectors. Then we prove the existence and uniqueness of Bongartz completion in cluster algebras. We also prove that Bongartz completion admits certain commutativity. We give two applications for Bongartz completion in cluster algebras. As the first application, we prove the full subquiver of the exchange quiver (or known as oriented exchange graph) of a cluster algebra $\mathcal A$ whose vertices consist of seeds of $\mathcal A$ containing particular cluster variables is isomorphic to the exchange quiver of another cluster algebra. As the second application, we prove that in a cluster Poisson algebra $\mathcal X_\bullet$, each cluster Poisson seed (up to seed equivalence) of $\mathcal X_\bullet$ is uniquely determined by its negative cluster Poisson variables.
The Ring of Polyfunctions over $\mathbb Z/n\mathbb Z$
Published
• View Publication
• BIB
We study the ring of polyfunctions over $\mathbb Z/n\mathbb Z$. The ring of polyfunctions over a commutative ring $R$ with unit element is the ring of functions $f:R\to R$ which admit a polynomial representative $p\in R[x]$ in the sense that $f(x)= p(x)$ for all $x\in R$. This allows to define a ring invariant $s$ which associates to a commutative ring $R$ with unit element a value in $\mathbb N\cup\{\infty\}$. The function $s$ generalizes the number theoretic Smarandache function. For the ring $R=\mathbb Z/n\mathbb Z$ we provide a unique representation of polynomials which vanish as a function. This yields a new formula for the number $Ψ(n)$ of polyfunctions over $\mathbb Z/n\mathbb Z$. We also investigate algebraic properties of the ring of polyfunctions over $\mathbb Z/n\mathbb Z$. In particular, we identify the additive subgroup of the ring and the ring structure itself. Moreover we derive formulas for the size of the ring of polyfunctions in several variables over $\mathbb Z/n\mathbb Z$, and we compute the number of polyfunctions which are units of the ring.
A dynamical proof of the van der Corput inequality
Published
• View Publication
• BIB
We provide a dynamical proof of the van der Corput inequality for sequences in Hilbert spaces that is based on the Furstenberg correspondence principle. This is done by reducing the inequality to the mean ergodic theorem for contractions on Hilbert spaces. The key difficulty therein is that the Furstenberg correspondence principle is, a priori, limited to scalar-valued sequences. We therefore discuss how interpreting the Furstenberg correspondence principle via the Gelfand--Naimark--Segal construction for C*-algebras allows to study not just scalar but general Hilbert space-valued sequences in terms of unitary operators. This yields a proof of the van der Corput inequality in the spirit of the Furstenberg correspondence principle and the flexibility of this method is discussed via new proofs for different variants of the inequality.
Permanents through probability distributions
We show that the permanent of a matrix can be written as the expectation value of a function of random variables each with zero mean and unit variance. This result is used to show that Glynn's theorem and a simplified MacMahon theorem extend from a common probabilistic interpretation of the permanent. Combining the methods in these two proofs, we prove a new result that relates the permanent of a matrix to the expectation value of a product of hyperbolic trigonometric functions, or, equivalently, the partition function of a spin system. We conclude by discussing how the main theorem can be generalized and how the techniques used to prove it can be applied to more general problems in combinatorics.
Online Card Games
Published
• View Publication
• BIB
Consider the following one player game. A deck containing $m$ copies of $n$ different card types is shuffled uniformly at random. Each round the player tries to guess the next card in the deck, and then the card is revealed and discarded. It was shown by Diaconis, Graham, He, and Spiro that if $m$ is fixed, then the maximum expected number of correct guesses that the player can achieve is asymptotic to $H_m \log n$, where $H_m$ is the $m$th harmonic number.
In this paper we consider an adversarial version of this game where a second player shuffles the deck according to some (possibly non-uniform) distribution. We prove that a certain greedy strategy for the shuffler is the unique optimal strategy in this game, and that the guesser can achieve at most $\log n$ expected correct guesses asymptotically for fixed $m$ against this greedy strategy.
The Wiener Index of Signed Graphs
Published
• View Publication
• BIB
The Wiener index of a graph $W(G)$ is a well studied topological index for graphs. An outstanding problem of Šolt{é}s is to find graphs $G$ such that $W(G)=W(G-v)$ for all vertices $v\in V(G)$, with the only known example being $G=C_{11}$. We relax this problem by defining a notion of Wiener indices for signed graphs, which we denote by $W_σ(G)$, and under this relaxation we construct many signed graphs such that $W_σ(G)=W_σ(G-v)$ for all $v\in V(G)$. This ends up being related to a problem of independent interest, which asks when it is possible to $2$-color the edges of a graph $G$ such that there is a path between any two vertices of $G$ which uses each color the same number of times.
A Smoother Notion of Spread Hypergraphs
Published
• View Publication
• BIB
Alweiss, Lovett, Wu, and Zhang introduced $q$-spread hypergraphs in their breakthrough work regarding the sunflower conjecture, and since then $q$-spread hypergraphs have been used to give short proofs of several outstanding problems in probabilistic combinatorics. A variant of $q$-spread hypergraphs was implicitly used by Kahn, Narayanan, and Park to determine the threshold for when a square of a Hamiltonian cycle appears in the random graph $G_{n,p}$. In this paper we give a common generalization of the original notion of $q$-spread hypergraphs and the variant used by Kahn et al.
Identity between Restricted Cauchy Sums for the $q$-Whittaker and Skew Schur Polynomials
Published in SIGMA 20 (2024), 064, 28 pages
• View Publication
• BIB
The Cauchy identities play an important role in the theory of symmetric functions. It is known that Cauchy sums for the $q$-Whittaker and the skew Schur polynomials produce the same factorized expressions modulo a $q$-Pochhammer symbol. We consider the sums with restrictions on the length of the first rows for labels of both polynomials and prove an identity which relates them. The proof is based on techniques from integrable probability: we rewrite the identity in terms of two probability measures: the $q$-Whittaker measure and the periodic Schur measure. The relation follows by comparing their Fredholm determinant formulas.
Skew RSK dynamics: Greene invariants, affine crystals and applications to $q$-Whittaker polynomials
Published
• View Publication
• BIB
Iterating the skew RSK correspondence discovered by Sagan and Stanley in the late '80s, we define a deterministic dynamics on the space of pairs of skew Young tableaux $(P,Q)$. We find that this skew RSK dynamics displays conservation laws which, in the picture of Viennot's shadow line construction, identify generalizations of Greene invariants.
The introduction of a novel realization of $0$-th Kashiwara operators reveals that the skew RSK dynamics possesses symmetries induced by an affine bicrystal structure,
which, combined with connectedness properties of Demazure crystals, leads to its linearization.
Studying asymptotic evolution of the dynamics started from a pair of skew tableaux $(P,Q)$, we discover a new bijection $Υ: (P,Q) \mapsto (V,W; κ, ν)$. Here $(V,W)$ is a pair of
vertically strict tableaux, i.e., column strict filling of Young diagrams with no condition on rows, with shape prescribed by the Greene invariant, $κ$ is an array of non-negative weights and $ν$ is a partition.
An application of this construction is the first bijective proof of Cauchy and Littlewood identities involving $q$-Whittaker polynomials. New identities relating sums of $q$-Whittaker and Schur polynomials are also presented.
Large deviations in random Latin squares
Published
• View Publication
• BIB
In this note, we study large deviations of the number $\mathbf{N}$ of intercalates ($2\times2$ combinatorial subsquares which are themselves Latin squares) in a random $n\times n$ Latin square. In particular, for constant $δ>0$ we prove that $\Pr(\mathbf{N}\le(1-δ)n^{2}/4)\le\exp(-Ω(n^{2}))$ and $\Pr(\mathbf{N}\ge(1+δ)n^{2}/4)\le\exp(-Ω(n^{4/3}(\log n)^{2/3}))$, both of which are sharp up to logarithmic factors in their exponents. As a consequence, we deduce that a typical order-$n$ Latin square has $(1+o(1))n^{2}/4$ intercalates, matching a lower bound due to Kwan and Sudakov and resolving an old conjecture of McKay and Wanless.
Smaller extended formulations for spanning tree polytopes in minor-closed classes and beyond
Published in Electronic Journal of Combinatorics, 28/4:P4.47, 2021
• View Publication
• BIB
Let $G$ be a connected $n$-vertex graph in a proper minor-closed class $\mathcal G$. We prove that the extension complexity of the spanning tree polytope of $G$ is $O(n^{3/2})$. This improves on the $O(n^2)$ bounds following from the work of Wong (1980) and Martin (1991). It also extends a result of Fiorini, Huynh, Joret, and Pashkovich (2017), who obtained a $O(n^{3/2})$ bound for graphs embedded in a fixed surface. Our proof works more generally for all graph classes admitting strongly sublinear balanced separators: We prove that for every constant $β$ with $0<β<1$, if $\mathcal G$ is a graph class closed under induced subgraphs such that all $n$-vertex graphs in $\mathcal G$ have balanced separators of size $O(n^β)$, then the extension complexity of the spanning tree polytope of every connected $n$-vertex graph in $\mathcal{G}$ is $O(n^{1+β})$. We in fact give two proofs of this result, one is a direct construction of the extended formulation, the other is via communication protocols. Using the latter approach we also give a short proof of the $O(n)$ bound for planar graphs due to Williams (2002).
Reciprocal series involving Horadam numbers
Published
• View Publication
• BIB
We evaluate some new three parameter families of finite reciprocal sums involving Horadam numbers. We will also be able to state the results for the infinite sums. Some Fibonacci and Lucas sums will be presented as examples.
Hypergraphs with no tight cycles
Published
• View Publication
• BIB
We show that every $r$-uniform hypergraph on $n$ vertices which does not contain a tight cycle has at most $O(n^{r-1} (\log n)^5)$ edges. This is an improvement on the previously best-known bound, of $n^{r-1} e^{O(\sqrt{\log n})}$, due to Sudakov and Tomon, and our proof builds up on their work. A recent construction of B. Janzer implies that our bound is tight up to an $O((\log n)^4 \log \log n)$ factor.
Structural properties of bipartite subgraphs
This paper establishes sufficient conditions that force a graph to contain a bipartite subgraph with a given structural property. In particular, let $β$ be any of the following graph parameters: Hadwiger number, Hajós number, treewidth, pathwidth, and treedepth. In each case, we show that there exists a function $f$ such that every graph $G$ with $β(G)\geq f(k)$ contains a bipartite subgraph $\hat{G}\subseteq G$ with $β(\hat{G})\geq k$.
Chordal graphs, higher independence and vertex decomposable complexes
Published in International Journal of Algebra and Computation, 33(3), 481-498, 2023
• View Publication
• BIB
Given a simple undirected graph $G$ there is a simplicial complex $\mathrm{Ind}(G)$, called the independence complex, whose faces correspond to the independent sets of $G$. This is a well studied concept because it provides a fertile ground for interactions between commutative algebra, graph theory and algebraic topology. One of the line of research pursued by many authors is to determine the graph classes for which the associated independence complex is Cohen-Macaulay. For example, it is known that when $G$ is a chordal graph the complex $\mathrm{Ind}(G)$ is in fact vertex decomposable, the strongest condition in the Cohen-Macaulay ladder.
In this article we consider a generalization of independence complex. Given $r\geq 1$, a subset of the vertex set is called $r$-independent if the connected components of the induced subgraph have cardinality at most $r$. The collection of all $r$-independent subsets of $G$ form a simplicial complex called the $r$-independence complex and is denoted by $\mathrm{Ind}_r(G)$. It is known that when $G$ is a chordal graph the complex $\mathrm{Ind}_r(G)$ has the homotopy type of a wedge of spheres. Hence it is natural to ask which of these complexes are shellable or even vertex decomposable. We prove, using Woodroofe's chordal hypergraph notion, that these complexes are always shellable when the underlying chordal graph is a tree. Further, using the notion of vertex splittable ideals we show that for caterpillar graphs the associated $r$-independence complex is vertex decomposable for all values of $r$. We also construct chordal graphs on $2r+2$ vertices such that their $r$-independence complexes are not sequentially Cohen-Macaulay for any $r \ge 2$.
Three steps away from Shapiro's problem: lower bounds for graphic sums with functions `max' or `min' in denominators
Taking Shapiro's cyclic sums $\sum_{i=1}^n x_i/(x_{i+1}+x_{i+2})$ (assuming index addition mod $n$) as a starting point, we introduce a broader class of cyclic sums, called generalized Shapiro-Diananda sums, where the denominators are $p$-th order power means of the sets $\{x_{i+j_1},\dots,x_{i+j_k}\}$ with fixed distinct integers $j_1,\dots,j_k$ and $1\leq i\leq n$.
Generalizing further, we replace the set of arguments of the power mean in the $i$-th denominator by an arbitrary nonempty subset of $\{1,\dots,n\}$ interpreted as the set of out-neighbors of the node number $i$ in a directed graph with $n$ nodes. We call such sums graphic power sums since their structure is controlled by directed graphs.
The inquiry, as in the well-researched case of Shapiro's sums, concerns the greatest lower bound of the given ``sum'' as a function of positive variables $x_1,\dots,x_n$. We show that the cases of $p=+\infty$ (max-sums) and $p=-\infty$ (min-sums) are tractable.
For the max-sum associated with a given graph the g.l.b. is always an integer; for a strongly connected graph it equals to graph's girth.
For the similar min-sum, we could not relate the g.l.b. to a known combinatorial invariant; we only give some estimates and describe a method for finding the g.l.b., which has factorial complexity in $n$.
A satisfactory analytical treatment is available for the secondary minimization -- when the g.l.b.'s of min-sums for individual graphs are mininized over the class of strongly connected graphs with $n$ nodes. The result (depending only on $n$) is found to be asymptotic to $e\ln n$.
Infinite families of linear codes supporting more $t$-designs
Published
• View Publication
• BIB
Tang and Ding [IEEE IT 67 (2021) 244-254] studied the class of narrow-sense BCH codes $\mathcal{C}_{(q,q+1,4,1)}$ and their dual codes with $q=2^m$ and established that the codewords of the minimum (or the second minimum) weight in these codes support infinite families of 4-designs or 3-designs. Motivated by this, we further investigate the codewords of the next adjacent weight in such codes and discover more infinite classes of $t$-designs with $t=3,4$. In particular, we prove that the codewords of weight $7$ in $\mathcal{C}_{(q,q+1,4,1)}$ support $4$-designs when $m \geqslant 5$ is odd and $3$-designs when $m \geqslant 4$ is even, which provide infinite classes of simple $t$-designs with new parameters. Another significant class of $t$-designs we produce in this paper has supplementary designs with parameters 4-$(2^{2s+1}+ 1,5,5)$; these designs have the smallest index among all the known simple 4-$(q+1,5,λ)$ designs derived from codes for prime powers $q$; and they are further proved to be isomorphic to the 4-designs admitting the projective general linear group PGL$(2,2^{2s+1})$ as automorphism group constructed by Alltop in 1969.
Revisiting the Maximum Principal Ratio of Graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph, the principal ratio of $G$ is the ratio of the maximum and minimum entries of its Perron eigenvector. In 2007, Cioab\v a and Gregory conjectured that among all connected graphs on $n$ vertices, the kite graph attains the maximum principal ratio. In 2018, Tait and Tobin confirmed the conjecture for sufficientlty large $n$. In this article, we show the conjecture is true for all $n\geq 5000$.
Weight Spectra of Gabidulin Rank-metric Codes and Betti Numbers
Published
• View Publication
• BIB
We consider $q$-matroids and their associated classical matroids derived from Gabidulin rank-metric codes. We express the generalized rank weights of a Gabidulin rank-metric code in terms of Betti numbers of the dual classical matroid associated to the $q$-matroid corresponding to the code. In our main result, we show how these Betti numbers and their elongations determine the generalized weight polynomials for $q$-matorids, in particular, for the Gabidulin rank-metric codes. In addition, we demonstrate how the weight distribution and higher weight spectra of such codes can be determined directly from the associated $q$-matroids by using Möbius functions of its lattice of $q$-flats.
Partial geometric designs having circulant concurrence matrices
Published
• View Publication
• BIB
We survey partial geometric designs and investigate their concurrences of points. The concurrence matrix of a design, which encodes the concurrences of pairs of points, can be used in the classification of designs in some extent. An ordinary 2-$(v,k,λ)$ design has concurrence $λ$ for any pair of distinct points, and its concurrence matrix is circulant. A partial geometry has two concurrences $1$ and $0$ and a transversal design TD$_λ(k, u)$ has two concurrences $λ$ and $0$. It is also known that the concurrence matrix of a partial geometric design can have at most three distinct eigenvalues, all of which are non-negative integers. In this paper, we show the existence of other partial geometric designs having two or three distinct concurrences, and investigate which symmetric circulant matrices are realized as the concurrence matrices of partial geometric designs. We collect known sources of partial geometric designs and study their structural characteristics and construction methods. We then give a list of feasible parameter sets for partial geometric designs of order up to 12 each of which has a circulant concurrence matrix. We also consider the combinatorial properties and constructions of partial geometric designs satisfying these parameter sets.