Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Explicit form of the Bayesian posterior estimate of a quantum state under the uninformative prior
An analytical solution for the posterior estimate in Bayesian tomography of the unknown quantum state of an arbitrary quantum system (with a finite-dimensional Hilbert space) is found. First, we derive the Bayesian estimate for a pure quantum state measured by a set of arbitrary rank-1 POVMs under the uninformative (i.e. the unitary invariant or Haar) prior. The expression for the estimate involves the matrix permanents of the Gram matrices with repeated rows and columns, with the matrix elements being the scalar products of vectors giving the measurement outcomes. Second, an unknown mixed state is treated by the Hilbert-Schmidt purification. In this case, under the uninformative prior for the combined pure state, the posterior estimate of the mixed state of the system is expressed through the matrix $α$-permanents of the Gram matrices of scalar products of vectors giving the measurement outcomes. In the mixed case, there is also a free integer parameter -- the Schmidt number -- which can be used to optimise the Bayesian reconstruction (for instance, in case of Schimdt number being equal to 1, the mixed state estimates reduces to the pure state estimate). We also discuss the perspectives of approximate numerical computation and asymptotic analytical evaluation of the Bayesian estimate using the derived formula.
General Centrality in a hypergraph
The goal of this paper is to present a centrality measurement for the nodes of a hypergraph, by using existing literature which extends eigenvector centrality from a graph to a hypergraph, and literature which give a general centrality measurement for a graph. We will use this measurement to say more about the number of communications in a hypergraph, to implement a learning mechanism, and to construct certain networks.
Random planar maps and graphs with minimum degree two and three
Published
• View Publication
• BIB
We find precise asymptotic estimates for the number of planar maps and graphs with a condition on the minimum degree, and properties of random graphs from these classes. In particular we show that the size of the largest tree attached to the core of a random planar graph is of order c log(n) for an explicit constant c. These results provide new information on the structure of random planar graphs.
Linear embeddings of contractible and collapsible complexes
(1) We show that if a presentation of the trivial group is "hard to trivialize", in the sense that lots of Tietze moves are necessary to transform it into the trivial presentation, then the associated presentation complex (which is a contractible 2-dimensional cell complex) is "hard to embed in $\mathbb{R}^3$", in the sense that lots of linear subdivisions are necessary.
(2) For any d, we show that all collapsible d-complexes with n facets linearly embed in $\mathbb{R}^{2d}$ after less than n barycentric subdivisions. This is best possible, as cones over non-planar graphs do not topologically embed in $\mathbb{R}^{3}$.
A weighted interpretation for the super Catalan numbers
The super Catalan numbers $T(m,n)=(2m)!(2n)!/2m!n!(m+n)!$ are integers which generalize the Catalan numbers. With the exception of a few values of $m$, no combinatorial interpretation in known for $T(m,n)$. We give a weighted interpretation for $T(m,n)$ and develop a technique that converts this weighted interpretation into a conventional combinatorial interpretation in the case $m=2$.
On super Catalan polynomials
We present a $q$-analog of the super Catalan number $(2m)!(2n)!/2m!n!(m+n)!$, which also generalizes the $q$-Catalan numbers $c_n(λ)$, due to Fürlinger and Hofbauer, for $λ=0$ and $λ=1$. We give a combinatorial interpretation for this analog when $m=2$.
On the algebraic and topological structure of the set of Turán densities
Published
• View Publication
• BIB
The present paper is concerned with the various algebraic structures supported by the set of Turán densities.
We prove that the set of Turán densities of finite families of r-graphs is a non-trivial commutative semigroup, and as a consequence we construct explicit irrational densities for any r >= 3. The proof relies on a technique recently developed by Pikhurko.
We also show that the set of all Turán densities forms a graded ring, and from this we obtain a short proof of a theorem of Peng on jumps of hypergraphs.
Finally, we prove that the set of Turán densities of families of r-graphs has positive Lebesgue measure if and only if it contains an open interval. This is a simple consequence of Steinhaus's theorem.
Betweenness Centrality in Some Classes of Graphs
There are several centrality measures that have been introduced and studied for real world networks. They account for the different vertex characteristics that permit them to be ranked in order of importance in the network. Betweenness centrality is a measure of the influence of a vertex over the flow of information between every pair of vertices under the assumption that information primarily flows over the shortest path between them. In this paper we present betweenness centrality of some important classes of graphs.
Ziegler's Multi-Reflection Arrangements are free
In 1989, Ziegler introduced the concept of a multi-arrangement. One natural example is the reflection arrangement of a unitary reflection group with multiplicity given by the number of reflections associated with each hyperplane. For all but three irreducible groups, Ziegler showed that each such multi-reflection arrangement is free. We complete Ziegler's example by confirming these outstanding cases.
Diameter 2 Cayley Graphs of Dihedral Groups
Published in Discrete Mathematics Vol 338 Issue 6 (2015) pp 1022--1024
• View Publication
• BIB
We consider the degree-diameter problem for Cayley graphs of dihedral groups. We find upper and lower bounds on the maximum number of vertices of such a graph with diameter 2 and degree $d$. We completely determine the asymptotic behaviour of this class of graphs by showing that both limits are asymptotically $d^2/2$.
New homogeneous ideals for current algebras: filtrations, fusion products and Pieri rules
Published
• View Publication
• BIB
New graded modules for the current algebra of $\mathfrak{sl}_n$ are introduced. Relating these modules to the fusion product of simple $\mathfrak{sl}_n$-modules and local Weyl modules of truncated current algebras shows their expected impact on several outstanding conjectures. We further generalize results on PBW filtrations of simple $\mathfrak{sl}_n$-modules and use them to provide decomposition formulas for these new modules in important cases.
Generating Tatami Coverings Efficiently
We present two algorithms to list certain classes of monomino-domino coverings which conform to the \emph{tatami} restriction; no four tiles meet. Our methods exploit structural features of tatami coverings in order to create the lists in $O(1)$ time per covering. This is faster than known methods for generating certain classes of matchings in bipartite graphs.
We discuss tatami coverings of $n\times n$ grids with $n$ monominoes and $v$ vertical dominoes, as well as tatami coverings of a two-way infinitely-wide strip of constant height, subject to the constraint that they have a finite number of non-trivial structural "features".
These two classes are representative of two differing structural characterisations of tatami coverings which may be adapted to count other classes of tatami coverings or locally restricted matchings, such as tatami coverings of rectangles.
On a class of power ideals
Published in Journal of Pure and Applied Algebra 219(8):3158-3180, 2015
• View Publication
• BIB
In this paper we study the class of power ideals generated by the $k^n$ forms $(x_0+ξ^{g_1}x_1+\ldots+ξ^{g_n}x_n)^{(k-1)d}$ where $ξ$ is a fixed primitive $k^{th}$-root of unity and $0\leq g_j\leq k-1$ for all $j$. For $k=2$, by using a $\mathbb{Z}_k^{n+1}$-grading on $\mathbb{C}[x_0,\ldots,x_n]$, we compute the Hilbert series of the associated quotient rings via a simple numerical algorithm. We also conjecture the extension for $k>2$. Via Macaulay duality, those power ideals are related to schemes of fat points with support on the $k^n$ points $[1:ξ^{g_1}:\ldots:ξ^{g_n}]$ in $\mathbb{P}^n$. We compute Hilbert series, Betti numbers and Gröbner basis for such $0$-dimensional schemes. This explicitly determines the Hilbert series of the power ideal for all $k$: that this agrees with our conjecture for $k>2$ is supported by several computer experiments.
Syzygies of the Veronese modules
Published
• View Publication
• BIB
We study the minimal free resolution of the Veronese modules of the polynomial ring in n variables, by giving a formula for the Betti numbers in terms of the reduced homology of some skeleton of a simplicial complex. We characterize when they are Cohen-Macaulay and we give a sufficient condition for the linearity of their minimal free resolution. We also conjecture that in 2 variables the Veronese modules have always pure resolutions. In addition, we give a closed formula for their Hilbert series. As an application of our results, we calculate the complete Betti diagrams of the Veronese subrings in three variables with degree 4 and 5, and in four variables with degree 3.
Some Spectral Properties and Characterizations of Connected Odd-bipartite Uniform Hypergraphs
Published
• View Publication
• BIB
A $k$-uniform hypergraph $G=(V,E)$ is called odd-bipartite ([5]), if $k$ is even and there exists some proper subset $V_1$ of $V$ such that each edge of $G$ contains odd number of vertices in $V_1$. Odd-bipartite hypergraphs are generalizations of the ordinary bipartite graphs. We study the spectral properties of the connected odd-bipartite hypergraphs. We prove that the Laplacian H-spectrum and signless Laplacian H-spectrum of a connected $k$-uniform hypergraph $G$ are equal if and only if $k$ is even and $G$ is odd-bipartite. We further give several spectral characterizations of the connected odd-bipartite hypergraphs. We also give a characterization for a connected $k$-uniform hypergraph whose Laplacian spectral radius and signless Laplacian spectral radius are equal, thus provide an answer to a question raised in [9]. By showing that the Cartesian product $G\Box H$ of two odd-bipartite $k$-uniform hypergraphs is still odd-bipartite, we determine that the Laplacian spectral radius of $G\Box H$ is the sum of the Laplacian spectral radii of $G$ and $H$, when $G$ and $H$ are both connected odd-bipartite.
Operation of weaving partial Steiner triple systems
We introduce an operation of a kind of product which associates with a partial Steiner triple system another partial Steiner triple system, the starting one being a quotient of the result. We discuss relations of our product to some other product-like constructions and prove some preservation/non-preservation theorems. In particular, we show series of anti-Pasch Steiner triple systems which are obtained that way.
Beyond Zudilin's Conjectured $q$-analog of Schmidt's problem
Published
• View Publication
• BIB
Using the methodology of (rigorous) {\it experimental mathematics}, we give a simple and motivated solution to Zudilin's question concerning a $q$-analog of a problem posed by Asmus Schmidt about a certain binomial coefficients sum. Our method is based on two simple identities that can be automatically proved using the Zeilberger and $q$-Zeilberger algorithms. We further illustrate our method by proving two further binomial coefficients sums.
Rook Endgame Problems in $m$ by $n$ Chess
Published
• View Publication
• BIB
We consider Chess played on an $m \times n$ board (with $m$ and $n$ arbitrary positive integers), with only the two kings and the white rook remaining, but placed at arbitrary positions. Using the symbolic finite state method, developed by Thanatipanonda and Zeilberger, we prove that on a $3 \times n$ board, for almost all initial positions, White can checkmate Black in $\leq n+2$ moves, and that this upper bound is sharp. We also conjecture that for an arbitrary $m \times n$ board, with $m,n \geq 4$ (except for $(m,n)=(4,4)$ when it equals $7$), the number of needed moves is $\leq m+n$, and that this bound is also sharp.
Hyperplanes, parallelisms, and related problems in the theory of Veronese Spaces
We study parallelisms on Veronese spaces associated with affine spaces, determine hyperplanes in Veronese spaces associated with projective spaces, and analyse the geometry of parallelisms determined by these hyperplanes.
Consequences of the Lakshmibai-Sandhya Theorem: the ubiquity of permutation patterns in Schubert calculus and related geometry
Published
• View Publication
• BIB
In 1990, Lakshmibai and Sandhya published a characterization of singular Schubert varieties in flag manifolds using the notion of pattern avoidance. This was the first time pattern avoidance was used to characterize geometrical properties of Schubert varieties. Their results are very closely related to work of Haiman, Ryan and Wolper, but Lakshmibai-Sandhya were the first to use that language exactly. Pattern avoidance in permutations was used historically by Knuth, Pratt, Tarjan, and others in the 1960's and 1970's to characterize sorting algorithms in computer science. Lascoux and Sch$\text{ü}$tzenberger also used pattern avoidance to characterize vexillary permutations in the 1980's. Now, there are many geometrical properties of Schubert varieties that use pattern avoidance as a method for characterization including Gorenstein, factorial, local complete intersections, and properties of Kazhdan-Lusztig polynomials. These are what we call consequences of the Lakshmibai-Sandhya theorem. We survey the many beautiful results, generalizations, and remaining open problems in this area. We highlight the advantages of using pattern avoidance characterizations in terms of linear time algorithms and the ease of access to the literature via Tenner's Database of Permutation Pattern Avoidance. This survey is based on lectures by the second author at Osaka, Japan 2012 for the Summer School of the Mathematical Society of Japan based on the topic of Schubert calculus.