Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Some Computations for Binomial Edge Ideals and Koszul Duality
We make some observations on binomial edge ideals, with the characterization of their Koszulness as motivation. Inspired by results of Ene, Herzog and Hibi, we discuss building Koszul graphs from smaller pieces in a controlled manner. We characterize the Koszul property of cone graphs and compute the dual algebra of the quadratic algebra coming from an arbitrary binomial edge ideal. We compute the first two syzygies of the infinite minimal free resolution of the residue field over the algebra defined by a binomial edge ideal, and observe that they are always linear.
Quantum Hyperdeterminants and Hyper-Pfaffians
Published in Math. Zeit. 287 (2017), 897-914
• View Publication
• BIB
The notion of generalized quantum monoids is introduced. It is proved that the quantum coordinate ring of the monoid can be lifted to a quantum hyper-algebra, in which the quantum determinant and quantum Pfaffian are sent to the quantum hyperdeterminant and quantum hyper-Pfaffian respectively. The quantum hyperdeterminant in even dimension is shown to be a $q$-analog of Cayley's first hyperdeterminant.
Reconstruction of Eigenfunctions of q-ary n-dimensional Hypercube
Under study are eigenfunctions of $q$-ary $n$-dimensional hypercube. Given all values of an eigenfunction in the sphere we develop methods to reconstruct the function in full or in part. First, we obtain that all values of the function in the corresponding ball are uniquely determined under some supplementary conditions. Secondly, if the radius is equal to the eigenvalue number we obtain that all values of the eigenfunction are uniquiely determined under some supplementary conditions.
The Coupon Collector's Problem Revisited: Generalizing the Double Dixie Cup Problem of Newman and Shepp
Published
• View Publication
• BIB
The "double Dixie cup problem" of D.J. Newman and L. Shepp (1960) is a well-known variant of the coupon collector's problem, where the object of study is the number $T_{m}(N)$ of coupons that a collector has to buy in order to complete $m$ sets of all $N$ existing different coupons. More precisely, the problem is to determine the asymptotics of the expectation (and the variance) of $T_{m}(N)$, as well as its limit distribution, as the number $N$ of different coupons becomes arbitrarily large. The classical case of the problem, namely the case of equal coupon probabilities, is here extended to the general case, where the probabilities of the selected coupons are unequal.
In the beginning of the article we give a brief review of the formulas for the moments and the moment generating function of the random variable $T_{m}(N)$. Then, we develop techniques of computing the asymptotics of the first and the second moment of $T_{m}(N)$ (our techniques apply to the higher moments of $T_{m}(N)$ as well). From these asymptotic formulas we obtain the leading behavior of the variance $V[\,T_{m}(N)\,]$ as $N \to \infty$. Finally, based on the asymptotics of $E[\,T_{m}(N)\,]$ and $V[\,T_{m}(N)\,]$ we obtain the limit distribution of the random variable $T_{m}(N)$ for large classes of coupon probabilities. As it turns out, in many cases, albeit not always, $T_{m}(N)$ (appropriately normalized) converges in distribution to a Gumbel random variable. Our results on the limit distribution of $T_{m}(N)$ generalize a well-known result of P. Erdős and A. Rényi (1961) regarding the limit distribution of $T_{m}(N)$ for the case of equal coupon probabilities.
$3$-Regular mixed graphs with optimum Hermitian energy
Published
• View Publication
• BIB
Let $G$ be a simple undirected graph, and $G^φ$ be a mixed graph of $G$ with the generalized orientation $φ$ and Hermitian-adjacency matrix $H(G^φ)$. Then $G$ is called the underlying graph of $G^φ$. The Hermitian energy of the mixed graph $G^φ$, denoted by $\mathcal{E}_H(G^φ)$, is defined as the sum of all the singular values of $H(G^φ)$. A $k$-regular mixed graph on $n$ vertices having Hermitian energy $n\sqrt{k}$ is called a $k$-regular optimum Hermitian energy mixed graph. In this paper, we first focus on the problem proposed by Liu and Li [J. Liu, X. Li, Hermitian-adjacency matrices and Hermitian energies of mixed graphs, Linear Algebra Appl. 466(2015), 182--207] of determining all the $3$-regular connected optimum Hermitian energy mixed graphs. We then prove that optimum Hermitian energy oriented graphs with underlying graph hypercube are unique (up to switching equivalence).
Acyclic orientations and poly-Bernoulli numbers
The main contribution of this paper is a formula for the number of acyclic orientations of a complete bipartite, $K_{n_1,n_2},$ revealing that it is equal to the poly-Bernoulli number $B_{n_1}^{(-n_2)}$ introduced in 1997 by Kaneko. We also give a simple bijective identification of acyclic orientations and lonesum matrices, confirming a 2008 result of Brewbaker, and show that the poly-Bernoulli numbers behave concavely, as well being symmetric.
A second goal is to explore the behaviour of more general complete $r$-partite graphs in the space of the number of acyclic orientations. We prove that the number of acyclic orientations of complete bipartite graphs on $n$ vertices is a unimodular concave function maximised by the Turán graph $T(2,n).$ For tripartite graphs, we derive an explicit formula for its number of its acyclic orientations, for the specific case with a single vertex partition. For more complex complete $r$-partite graphs an algorithmic approach is suggested, taking advantage of the relationship with graph colouring through the result of Stanley, namely the value of the graph colouring polynomial at the value -1.
An underlying theme is the exploration of the space of the number of acyclic orientations of graphs. We present various theoretical and computational results, with additional, conjectures for both complete $r$-partite and general graphs to guide future research.
Maximal Green Sequences for Cluster Algebras Associated to the n-Torus
Published
• View Publication
• BIB
Given a marked surface (S,M) we can add arcs to the surface to create a triangulation, T, of that surface. For each triangulation, T, we can associate a cluster algebra. In this paper we will consider the torus of genus n with two interior marked points (called punctures). We will construct a specific triangulation of this surface which yeilds a specific quiver. Then in the sense of work by Keller we will produce a maximal green sequence for this quiver.
Equivalent condition for approximately Cohen-Macaulay complexes
Published in Comptes Rendus Mathematique 350 (2012), no. 15-16, 737-739
• View Publication
• BIB
We give a necessary and sufficient condition for a simplicial complex to be approximately Cohen-Macaulay. Namely it is approximately Cohen-Macaulay if and only if the ideal associated to its Alexander dual is componentwise linear and generated in two consecutive degrees. This completes the result of Herzog and Hibi who proved that a simplicial complex is sequentially Cohen-Macaulay if and only if the ideal associated to its Alexander dual is componentwise linear.
To the theory of $q$-ary Steiner and other-type trades
Published in Discrete Math. 339(3) 2016, 1150-1157
• View Publication
• BIB
We introduce the concept of a clique bitrade, which generalizes several known types of bitrades, including latin bitrades, Steiner $T(k-1,k,v)$ bitrades, extended $1$-perfect bitrades. For a distance-regular graph, we show a one-to-one correspondence between the clique bitrades that meet the weight-distribution lower bound on the cardinality and the bipartite isometric subgraphs that are distance-regular with certain parameters. As an application of the results, we find the minimum cardinality of $q$-ary Steiner $T_q(k-1,k,v)$ bitrades and show a connection of minimum such bitrades with dual polar subgraphs of the Grassmann graph $J_q(v,k)$. Keywords: bitrades, trades, Steiner systems, subspace designs
Embedding in $q$-ary $1$-perfect codes and partitions
Published in Discrete Math. 338(11) 2015, 1856-1859
• View Publication
• BIB
We prove that every $1$-error-correcting code over a finite field can be embedded in a $1$-perfect code of some larger length. Embedding in this context means that the original code is a subcode of the resulting $1$-perfect code and can be obtained from it by repeated shortening. Further, we generalize the results to partitions: every partition of the Hamming space into $1$-error-correcting codes can be embedded in a partition of a space of some larger dimension into $1$-perfect codes. For the partitions, the embedding length is close to the theoretical bound for the general case and optimal for the binary case. Keywords: error-correcting code, $1$-perfect code, $1$-perfect partition, embedding
Many disjoint edges in topological graphs
Published
• View Publication
• BIB
A monotone cylindrical graph is a topological graph drawn on an open cylinder with an infinite vertical axis satisfying the condition that every vertical line intersects every edge at most once. It is called simple if any pair of its edges have at most one point in common: an endpoint or a point at which they properly cross. We say that two edges are disjoint if they do not intersect. We show that every simple complete monotone cylindrical graph on $n$ vertices contains $Ω(n^{1-ε})$ pairwise disjoint edges for any $ε>0$. As a consequence, we show that every simple complete topological graph (drawn in the plane) with $n$ vertices contains $Ω(n^{\frac 12-ε})$ pairwise disjoint edges for any $ε>0$. This improves the previous lower bound of $Ω(n^\frac 13)$ by Suk which was reproved by Fulek and Ruiz-Vargas. We remark that our proof implies a polynomial time algorithm for finding this set of pairwise disjoint edges.
Necessary Spectral Conditions for Coloring Hypergraphs
Published in J. Combinatorial Computing and Machine Computing, 88 (2014), pp. 73-84
• Search Publication
Hoffman proved that for a simple graph $G$, the chromatic number $χ(G)$ obeys $χ(G) \le 1 - \frac{λ_1}{λ_{n}}$ where $λ_1$ and $λ_n$ are the maximal and minimal eigenvalues of the adjacency matrix of $G$ respectively. Lovász later showed that $χ(G) \le 1 - \frac{λ_1}{λ_{n}}$ for any (perhaps negatively) weighted adjacency matrix.
In this paper, we give a probabilistic proof of Lovász's theorem, then extend the technique to derive generalizations of Hoffman's theorem when allowed a certain proportion of edge-conflicts. Using this result, we show that if a 3-uniform hypergraph is 2-colorable, then $\bar d \le -\frac{3}{2}λ_{\min}$ where $\bar d$ is the average degree and $λ_{\min}$ is the minimal eigenvalue of the underlying graph. We generalize this further for $k$-uniform hypergraphs, for the cases $k=4$ and $5$, by considering several variants of the underlying graph.
Some congruences involving powers of Delannoy polynomials
Published
• View Publication
• BIB
The Delannoy polynomial $D_n(x)$ is defined by $$ D_n(x)=\sum_{k=0}^{n}{n\choose k}{n+k\choose k}x^k. $$ We prove that, if $x$ is an integer and $p$ is a prime not dividing $x(x+1)$, then \begin{align*} \sum_{k=0}^{p-1}(2k+1)D_k(x)^3 &\equiv p\left(\frac{-4x-3}{p}\right) \pmod{p^2}, \\ \sum_{k=0}^{p-1}(2k+1)D_k(x)^4 &\equiv p \pmod{p^2}, \\ \sum_{k=0}^{p-1}(-1)^k(2k+1)D_k(x)^3 &\equiv p\left(\frac{4x+1}{p}\right) \pmod{p^2}, \end{align*} where $\big(\frac{\cdot}{p}\big)$ denotes the Legendre symbol. The first two congruences confirm a conjecture of Z.-W. Sun [Sci. China 57 (2014), 1375--1400]. The third congruence confirms a special case of another conjecture of Z.-W. Sun [J. Number Theory 132 (2012), 2673--2699]. We also prove that, for any integer $x$ and odd prime $p$, there holds \begin{align*} \sum_{k=0}^{p-1}(-1)^k(2k+1)D_k(x)^4 &\equiv p\sum_{k=0}^{\frac{p-1}{2}} (-1)^k {2k\choose k}^2(x^2+x)^k(2x+1)^{2k} \pmod{p^2}, \end{align*} and conjecture that it still holds modulo $p^3$.
Proof of some conjectures of Z.-W. Sun on the divisibility of certain double-sums
Published
• View Publication
• BIB
Z.-W. Sun introduced three kinds of numbers: \begin{align*}S_n=\sum_{k=0}^{n}{n\choose k}^2{2k\choose k}(2k+1),\qquad s_n=\sum_{k=0}^{n}{n\choose k}^2{2k\choose k}\frac{1}{2k-1}, \end{align*} and $S_n^{+}=\sum_{k=0}^{n}{n\choose k}^2{2k\choose k}(2k+1)^2$. In this paper we mainly prove that \begin{align*} 4\sum_{k=0}^{n-1}kS_k\equiv \sum_{k=0}^{n-1}s_k\equiv \sum_{k=0}^{n-1}S_k^{+}\equiv 0\pmod{n^2}\quad\text{for $n\geqslant 1$}, \end{align*} by establishing some binomial coefficient identities, such as \begin{align*} 4\sum_{k=0}^{n-1}kS_k=n^2\sum_{k=0}^{n-1}\frac{1}{k+1}{2k\choose k}(6k{n-1\choose k}^2+{n-1\choose k}{n-1\choose k+1}). \end{align*} This confirms several recent conjectures of Z.-W. Sun.
Towards a q-analogue of the Harer-Zagier formula via rook placements
In 1986 Harer and Zagier computed a certain matrix integral to determine an influential closed-form formula for the number of (orientable) one-face maps on n vertices colored from N colors. Kerov (1997) provided a proof which computed the same matrix integral differently, which gave an interpretation of these numbers as also counting the number of placements of non-attacking rooks on Young diagrams. Bernardi (2010) provided a bijective proof of this formula by putting one-face maps in bijection with tree-rooted maps, which are orientable maps with a designated spanning tree. In the first part of the paper, we explore the connection between these rook placements and tree-rooted maps by developing a bijection between these objects. Rook placements on Young diagrams have a q-analogue due to Garsia and Remmel (1986). In the second part of the paper, we propose a statistic on rook placements that leads to a conjectured identity which is a q-analogue of part of the Harer-Zagier formula. This identity is also expressed in terms of moments of orthogonal polynomials which are rescaling of q-Hermite polynomials. We then use these moments to give a recurrence for the proposed q-analogue.
A Linear Cheeger Inequality using Eigenvector Norms
Published
• View Publication
• BIB
The Cheeger constant, $h_G$, is a measure of expansion within a graph. The classical Cheeger Inequality states: $λ_{1}/2 \le h_G \le \sqrt{2 λ_{1}}$ where $λ_1$ is the first nontrivial eigenvalue of the normalized Laplacian matrix. Hence, $h_G$ is tightly controlled by $λ_1$ to within a quadratic factor.
We give an alternative Cheeger Inequality where we consider the $\infty$-norm of the corresponding eigenvector in addition to $λ_1$. This inequality controls $h_G$ to within a linear factor of $λ_1$ thereby providing an improvement to the previous quadratic bounds. An additional advantage of our result is that while the original Cheeger constant makes it clear that $h_G \to 0$ as $λ_1 \to 0$, our result shows that $h_G \to 1/2$ as $λ_1 \to 1$.
A survey on structural Ramsey theory and topological dynamics with the Kechris-Pestov-Todorcevic correspondence in mind
In 2005, Kechris, Pestov and Todorcevic established a surprising correspondence between structural Ramsey theory and topological dynamics. As an immediate consequence, it triggered a new interest for structural Ramsey theory. The purpose of the present paper is to present a self-contained survey of the corresponding developments.
A generalization of the discrete version of Minkowski's fundamental theorem
Published in Mathematika 62 (2016) 637-652
• View Publication
• BIB
One of the most fruitful results from Minkowski's geometric viewpoint on number theory is his so called 1st Fundamental Theorem. It provides an optimal upper bound for the volume of an o-symmetric convex body whose only interior lattice point is the origin. Minkowski also obtained a discrete analog by proving optimal upper bounds on the number of lattice points in the boundary of such convex bodies. Whereas the volume inequality has been generalized to any number of interior lattice points already by van der Corput in the 1930s, a corresponding result for the discrete case remained to be proven. Our main contribution is a corresponding optimal relation between the number of boundary and interior lattice points of an o-symmetric convex body. The proof relies on a congruence argument and a difference set estimate from additive combinatorics.
List coloring of matroids and base exchange properties
Published in European Journal of Combinatorics 49 (2015), 265-268
• View Publication
• BIB
A coloring of a matroid is an assignment of colors to the elements of its ground set. We restrict to proper colorings - those for which elements of the same color form an independent set. Seymour proved that a $k$-colorable matroid is also colorable from any lists of size $k$. We generalize this theorem to the case when lists have still fixed sizes, but not necessarily equal. For any fixed size of lists assignment $\ell$, we prove that, if a matroid is colorable from a particular lists of size $\ell$, then it is colorable from any lists of size $\ell$. This gives an explicit necessary and sufficient condition for a matroid to be list colorable from any lists of a fixed size. As an application, we show how to use our condition to derive several base exchange properties.
A counterexample to the pseudo 2-factor isomorphic graph conjecture
Published
• View Publication
• BIB
A graph $G$ is pseudo 2-factor isomorphic if the parity of the number of cycles in a 2-factor is the same for all 2-factors of $G$. Abreu et al. conjectured that $K_{3,3}$, the Heawood graph and the Pappus graph are the only essentially 4-edge-connected pseudo 2-factor isomorphic cubic bipartite graphs (Abreu et al., Journal of Combinatorial Theory, Series B, 2008, Conjecture 3.6).
Using a computer search we show that this conjecture is false by constructing a counterexample with 30 vertices. We also show that this is the only counterexample up to at least 40 vertices.
A graph $G$ is 2-factor hamiltonian if all 2-factors of $G$ are hamiltonian cycles. Funk et al. conjectured that every 2-factor hamiltonian cubic bipartite graph can be obtained from $K_{3,3}$ and the Heawood graph by applying repeated star products (Funk et al., Journal of Combinatorial Theory, Series B, 2003, Conjecture 3.2). We verify that this conjecture holds up to at least 40 vertices.