Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Signed Difference Sets
Published
• View Publication
• BIB
A $(v,k,λ)$ difference set in a group $G$ of order $v$ is a subset $\{d_1, d_2, \ldots,d_k\}$ of $G$ such that $D=\sum d_i$ in the group ring $\mathbb{Z}[G]$ satisfies $$D D^{-1} = n + λG,$$ where $n=k-λ$. If $D=\sum s_i d_i$, where the $s_i \in \{ \pm 1\}$, satisfies the same equation, we will call it a signed difference set.
This generalizes both difference sets (all $s_i=1$) and circulant weighing matrices ($G$ cyclic and $λ=0$). We will show that there are other cases of interest, and give some results on their existence.
Vexing Vexillological Logic
Published
• View Publication
• BIB
We define a new impartial combinatorial game, Flag Coloring, based on flood filling. We then generalize to a graph game, and find values for many positions on two colors. We demonstrate that the generalized game is PSPACE-complete for two colors or more via a reduction from Avoid True, determine the outcome classes of games based on real-world flags, and discuss remaining open problems.
Relaxation of Wegner's Planar Graph Conjecture for maximum degree 4
Published
• View Publication
• BIB
The famous Wegner's Planar Graph Conjecture asserts tight upper bounds on the chromatic number of the square $G^2$ of a planar graph $G$, depending on the maximum degree $Δ(G)$ of $G$. The only case that the conjecture is resolved is when $Δ(G)=3$, which was proven to be true by Thomassen, and independently by Hartke, Jahanbekam, and Thomas. For $Δ(G)=4$, Wegner's Planar Graph Conjecture states that the chromatic number of $G^2$ is at most 9; even this case is still widely open, and very recently Bousquet, de Meyer, Deschamps, and Pierron claimed an upper bound of 12.
We take a completely different approach, and show that a relaxation of properly coloring the square of a planar graph $G$ with $Δ(G)=4$ can be achieved with 9 colors. Instead of requiring every color in the neighborhood of a vertex to be unique, which is equivalent to a proper coloring of $G^2$, we seek a proper coloring of $G$ such that at most one color is allowed to be repeated in the neighborhood of a vertex of degree 4, but nowhere else.
Additive estimates of the permanent using Gaussian fields
We present a randomized algorithm for estimating the permanent of an $M \times M$ real matrix $A$ up to an additive error. We do this by viewing the permanent $\mathrm{perm}(A)$ of $A$ as the expectation of a product of centered joint Gaussian random variables with a particular covariance matrix $C$. The algorithm outputs the empirical mean $S_{N}$ of this product after sampling $N$ times. Our algorithm runs in total time $O(M^{3} + M^{2}N + MN)$ with failure probability \begin{equation*}
P(|S_{N}-\text{perm}(A)| > t) \leq \frac{3^{M}}{t^{2}N} \prod^{2M}_{i=1} C_{ii}. \end{equation*} In particular, we can estimate $\mathrm{perm}(A)$ to an additive error of $ε\bigg(\sqrt{3^{2M}\prod^{2M}_{i=1} C_{ii}}\bigg)$ in polynomial time. We compare to a previous procedure due to Gurvits. We discuss how to find a particular $C$ using a semidefinite program and a relation to the Max-Cut problem and cut-norms.
Exact solution of weighted partially directed walks crossing a square
Published
• View Publication
• BIB
We consider partially directed walks crossing a $L\times L$ square weighted according to their length by a fugacity $t$. The exact solution of this model is computed in three different ways, depending on whether $t$ is less than, equal to or greater than 1. In all cases a complete expression for the dominant asymptotic behaviour of the partition function is calculated. The model admits a dilute to dense phase transition, where for $0 < t < 1$ the partition function scales exponentially in $L$ whereas for $t>1$ the partition function scales exponentially in $L^2$, and when $t=1$ there is an intermediate scaling which is exponential in $L \log{L}$.
Monochromatic quotients, products and polynomial sums in the rationals
Published
• View Publication
• BIB
Let $k,a\in \mathbb{N}$ and let $p_1,\cdots,p_k\in \mathbb{Q}[n]$ with zero constant term. We show that for any finite coloring of $\mathbb{Q}$, there are non-zero $x,y\in \mathbb{Q}$ such that there exists a color which contains a set of the form $$\Big\{x,\frac{x}{y^a},x+p_{1}(y),\cdots,x+p_{k}(y)\Big\}$$ and there are non-zero $v,u\in \mathbb{Q}$ such that there exists a color which contains a set of the form $$\Big\{v,v\cdot {u^a},v+p_{1}(u),\cdots,v+p_{k}(u)\Big\}.$$
Shimura operators for certain Hermitian symmetric superpairs
We give a partial super analog of a result obtained by S. Sahi and G. Zhang relating Shimura operators and certain interpolation symmetric polynomials. In particular, we study the pair $(\mathfrak{gl}(2p|2q), \mathfrak{gl}(p|q)\oplus\mathfrak{gl}(p|q))$, define the super Shimura operators in $\mathfrak{U}(\mathfrak{g})^\mathfrak{k}$, and using a new method, prove that their images under the Harish-Chandra homomorphism are proportional to Sergeev and Veselov's Type $BC$ interpolation supersymmetric polynomials, under the assumption that a family of irreducible $\mathfrak{g}$-modules are spherical. We prove this conjecture using the notion of quasi-sphericity for Kac modules when $p=q=1$, and give explicit coordinates of (quasi-)spherical vectors.
The number of abundant elements in union-closed families without small sets
We let $\mathcal{F}$ be a finite family of sets closed under taking unions and $\emptyset \not \in \mathcal{F}$, and call an element abundant if it belongs to more than half of the sets of $\mathcal{F}$. In this notation, the classical Frankl's conjecture (1979) asserts that $\mathcal{F}$ has an abundant element. As possible strengthenings, Poonen (1992) conjectured that if $\mathcal{F}$ has precisely one abundant element, then this element belongs to each set of $\mathcal{F}$, and Cui and Hu (2019) investigated whether $\mathcal{F}$ has at least $k$ abundant elements if a smallest set of $\mathcal{F}$ is of size at least $k$. Cui and Hu conjectured that this holds for $k = 2$ and asked whether this also holds for the cases $k = 3$ and $k > \frac{n}{2}$ where $n$ is the size of the largest set of $\mathcal{F}$.
We show that $\mathcal{F}$ has at least $k$ abundant elements if $k \geq n - 3$, and that $\mathcal{F}$ has at least $k - 1$ abundant elements if $k = n - 4$, and we construct a union-closed family with precisely $k - 1$ abundant elements for every $k$ and $n$ satisfying $n - 4 \geq k \geq 3$ and $n \geq 9$ (and for $k = 3$ and $n = 8$). We also note that $\mathcal{F}$ always has at least $\min \{ n, 2k - n + 1 \}$ abundant elements. On the other hand, we construct a union-closed family with precisely two abundant elements for every $k$ and $n$ satisfying $n \geq \max \{ 3, 5k-4 \}$. Lastly, we show that Cui and Hu's conjecture for $k = 2$ stands between Frankl's conjecture and Poonen's conjecture.
Lower bound on the running time of Pop-Stack Sorting on a random permutation
Pop-Stack Sorting is an algorithm that takes a permutation as an input and sorts its elements. It consists of several steps. At one step, the algorithm reads the permutation it has to process from left to right and reverses each of its maximal decreasing subsequences of consecutive elements. It terminates at the first step that outputs the identity permutation.
In this note, we answer a question of Defant on the running time of Pop-Stack Sorting on the uniform random permutation $σ_n$. More precisely, we show that there is a constant $c > 0.5$ such that asymptotically almost surely, the algorithm needs at least $cn$ steps to terminate on $σ_n$.
Quasirandom forcing orientations of cycles
Published
• View Publication
• BIB
An oriented graph $H$ is quasirandom-forcing if the limit (homomorphism) density of $H$ in a sequence of tournaments is $2^{-\|H\|}$ if and only if the sequence is quasirandom. We study generalizations of the following result: the cyclic orientation of a cycle of length $\ell$ is quasirandom-forcing if and only if $\ell\equiv 2$ mod $4$.
We show that no orientation of an odd cycle is quasirandom-forcing. In the case of even cycles, we find sufficient conditions on an orientation to be quasirandom-forcing, which we complement by identifying necessary conditions. Using our general results and spectral techniques used to obtain them, we classify which orientations of cycles of length up to $10$ are quasirandom-forcing.
Excluding Single-Crossing Matching Minors in Bipartite Graphs
Published
• View Publication
• BIB
\noindent By a seminal result of Valiant, computing the permanent of $(0,1)$-matrices is, in general, $\#\mathsf{P}$-hard. In 1913 Pólya asked for which $(0,1)$-matrices $A$ it is possible to change some signs such that the permanent of $A$ equals the determinant of the resulting matrix. In 1975, Little showed these matrices to be exactly the biadjacency matrices of bipartite graphs excluding $K_{3,3}$ as a \{matching minor}. This was turned into a polynomial time algorithm by McCuaig, Robertson, Seymour, and Thomas in 1999. However, the relation between the exclusion of some matching minor in a bipartite graph and the tractability of the permanent extends beyond $K_{3,3}.$ Recently it was shown that the exclusion of any planar bipartite graph as a matching minor yields a class of bipartite graphs on which the {permanent} of the corresponding $(0,1)$-matrices can be computed efficiently. In this paper we unify the two results above into a single, more general result in the style of the celebrated structure theorem for single-crossing-minor-free graphs. We identify a class of bipartite graphs strictly generalising planar bipartite graphs and $K_{3,3}$ which includes infinitely many non-Pfaffian graphs. The exclusion of any member of this class as a matching minor yields a structure that allows for the efficient evaluation of the permanent. Moreover, we show that the evaluation of the permanent remains $\#\mathsf{P}$-hard on bipartite graphs which exclude $K_{5,5}$ as a matching minor. This establishes a first computational lower bound for the problem of counting perfect matchings on matching minor closed classes.
Oriented Temperley--Lieb algebras and combinatorial Kazhdan--Lusztig theory
Published
• View Publication
• BIB
We define oriented Temperley--Lieb algebras for classical Hermitian symmetric spaces. This allows us to explain the existence of closed combinatorial formulae for the Kazhdan--Lusztig polynomials for these spaces.
Toward Butler's conjecture
Published
• View Publication
• BIB
For a partition $ν$, let $λ,μ\subseteq ν$ be two distinct partitions such that $|ν/λ|=|ν/μ|=1$. Butler conjectured that the divided difference $\operatorname{I}_{λ,μ}[X;q,t]=(T_λ\widetilde{H}_μ[X;q,t]-T_μ\widetilde{H}_λ[X;q,t])/(T_λ-T_μ)$ of modified Macdonald polynomials of two partitions $λ$ and $μ$ is Schur positive. By introducing a new LLT equivalence called column exchange rule, we give a combinatorial formula for $\operatorname{I}_{λ,μ}[X;q,t]$, which is a positive monomial expansion. We also prove Butler's conjecture for some special cases.
On congruences involving Apéry numbers
Published in Proc. Amer. Math. Soc. 151 (2023), no. 8, 3305-3315
• View Publication
• BIB
In this paper, we mainly establish a congruence for a sum involving Apéry numbers, which was conjectured by Z.-W. Sun. Namely, for any prime $p>3$ and positive odd integer $m$, we prove that there is a $p$-adic integer $c_m$ only depending on $m$ such that $$\sum_{k=0}^{p-1}(2k+1)^{m}(-1)^kA_k\equiv c_mp\left(\frac{p}{3}\right)\pmod{p^3},$$ where $A_k=\sum_{j=0}^{k}\binom{k}{j}^2\binom{k+j}{j}^2$ is the Apéry number and $(\frac{\cdot}{p})$ is the Legendre symbol.
Critical subgraphs of Schrijver graphs for the fractional chromatic number
Published
• View Publication
• BIB
Schrijver graphs are vertex-color-critical subgraphs of Kneser graphs having the same chromatic number. They also share the value of their fractional chromatic number but Schrijver graphs are not critical for that. Here we present an induced subgraph of every Schrijver graph that is vertex-critical with respect to the fractional chromatic number. These subgraphs turn out to be isomorphic with certain circular complete graphs. We also characterize the critical edges within this subgraph.
Polarizations of Artin monomial ideals
We show that any polarization of an Artin monomial ideal defines a triangulated ball. This proves a conjecture of A.Almousa, H.Lohne and the first author.
Geometrically, polarizations of ideals containing $(x_1^{a_1}, \ldots, x_n^{a_n})$ define full-dimensional triangulated balls on the sphere which is the join of boundaries of simplices of dimensions $a_1-1, \cdots, a_n-1$. Every full-dimensional Cohen-Macaulay sub-complex of this joined sphere is of this kind, and these balls are constructible.
Such a triangulated ball has a dual cell complex which is a sub-complex of the product of simplices of dimensions $a_1-1, \cdots a_n-1$. The associated cellular complex of this gives the minimal free resolution of the Alexander dual ideal of the triangulated ball. When the product of simplices is a hypercube, in many examples these dual cell complexes enables a classification of the range of polarizations of the Artin monomial ideal.
We also show that the squeezed balls of G.Kalai \cite{Ka} derive from polarizations of Artin monomial ideals.
A note on Vizing's conjecture
Published
• View Publication
• BIB
Let $γ(G)$ denote the domination number of graph $G$. Let $G$ and $H$ be graphs and $G\Box H$ their Cartesian product. For $h\in V(H)$ define $G_h=\{(g,h)\,|\,g\in V(G)\}$ and call this set a $G$-layer of $G\Box H$. We prove the following special case of Vizing's conjecture. Let $D$ be a dominating set of $G\Box H$. If there exist minimum dominating sets $D_1$ and $D_2$ of $G$ such that for every $h\in V(H)$, the projection of $D\cap G_h$ to $G$ is contained in $D_1$ or $D_2$, then $|D|\geq γ(G)γ(H)$.
Linear embeddings of random complexes
For $X \sim X(n; 1, n^{-α_1}, n^{-α_2}, ...)$ in the multiparameter random simplicial complex model we establish necessary and sufficient strict inequalities on the $α_i$'s to linearly embed the complex into $\mathbb{R}^{2d}$.
Linear extensions and shelling orders
Published
• View Publication
• BIB
We prove that linear extensions of the Bruhat order of a matroid are shelling orders and that the barycentric subdivision of a matroid is a Coxeter matroid, viewing barycentric subdivisions as subsets of a parabolic quotient of a symmetric group. A similar result holds for order ideals in minuscule quotients of symmetric groups and in their barycentric subdivisions. Moreover, we apply promotion and evacuation for labeled graphs of Malvenuto and Reutenauer to dual graphs of simplicial complexes, providing promotion and evacuation of shelling orders.
A unimodal sequence with mode at a quarter length
Published in Journal of Difference Equations and Applications, 2023
• View Publication
• BIB
We show that the number $A(n,m)$ of partitions with $m$ even parts and largest hook length $n$ is strongly unimodal with mode [(n-1)/4] for $n\ge 6$. We establish this result by induction, using a $5$-term recurrence due to Lin, Xiong and Yan, and two $4$-term recurrences obtained by Zeilberger's algorithm. The sequence $A(n,m)$ is not log-concave. Using Möbius transformation and the method of interlacing zeros, we obtain that every zero of every generating function $\sum_m A(n,m)z^m$ lies on the left half part of the circle |z-1|=2. Moreover, as a direct application of Wang and Zhang's characterization of root geometry of polynomial sequences that satisfy a recurrence of type $(1,1)$, we see that all these zeros are densely distributed on the half circle.