Showing 20 papers (Total: 83449 papers, 48190 authors in database)
Sums of squares of the Littlewood-Richardson coefficients and GL(n)-harmonic polynomials
Published
• View Publication
• BIB
We consider the example from invariant theory concerning the conjugation action of the general linear group on several copies of the $n \times n$ matrices, and examine a symmetric function which stably describes the Hilbert series for the invariant ring with respect to the multigradation by degree. The terms of this Hilbert series may be described as a sum of squares of Littlewood-Richardson coefficients. A "principal specialization" of the gradation is then related to the Hilbert series of the $\K$-invariant subring in the $\GL_n$-harmonic polynomials, where $\K$ denotes a block diagonal embedding of a product of general linear groups. We also consider other specializations of this Hilbert series.
The characteristic imset polytope of Bayesian networks with ordered nodes
Published
• View Publication
• BIB
In 2010, M. Studený, R. Hemmecke, and S. Linder explored a new algebraic description of graphical models, called characteristic imsets. Compare with standard imsets, characteristic imsets have several advantages: they are still unique vector representative of conditional independence structures, they are 0-1 vectors, and they are more intuitive in terms of graphs than standard imsets. After defining a characteristic imset polytope (cim-polytope) as the convex hull of all characteristic imsets with a given set of nodes, they also showed that a model selection in graphical models, which maximizes a quality criterion, can be converted into a linear programming problem over the cim-polytope. However, in general, for a fixed set of nodes, the cim-polytope can have exponentially many vertices over an exponentially high dimension. Therefore, in this paper, we focus on the family of directed acyclic graphs (DAGs) whose nodes have a fixed order. This family includes diagnosis models which can be described by Bipartite graphs with a set of $m$ nodes and a set of $n$ nodes for any $m, n \in \Z_+$. In this paper, we first consider cim-polytopes for all diagnosis models and show that these polytopes are direct products of simplices. Then we give a combinatorial description of all edges and all facets of these polytopes. Finally, we generalize these results to the cim-polytopes for all Bayesian networks with a fixed underlying ordering of nodes with or without fixed (or forbidden) edges.
New properties of multiple harmonic sums modulo $p$ and $p$-analogues of Leshchiner's series
Published
• View Publication
• BIB
In this paper we present some new identities of hypergeometric type for multiple harmonic sums whose indices are the sequences $(\{1\}^a,c,\{1\}^b),$ $(\{2\}^a,c,\{2\}^b)$ and prove a number of congruences for these sums modulo a prime $p.$ The congruences obtained allow us to find nice $p$-analogues of Leshchiner's series for zeta values and to refine a result due to M. Hoffman and J. Zhao about the set of generators of the multiple harmonic sums of weight 7 and 9 modulo $p$. Moreover, we are also able to provide a new proof of Zagier's formula for $ζ^{*}(\{2\}^a,3,\{2\}^b)$ based on a finite identity for partial sums of the zeta-star series.
A mathematical problem for security analysis of hash functions and pseudorandom generators
Published in International Journal of Foundations of Computer Science, vol.26, no.2 (2015) 169--194
• View Publication
• BIB
In this paper, we specify a class of mathematical problems, which we refer to as "Function Density Problems" (FDPs, in short), and point out novel connections of FDPs to the following two cryptographic topics; theoretical security evaluations of keyless hash functions (such as SHA-1), and constructions of provably secure pseudorandom generators (PRGs) with some enhanced security property introduced by Dubrov and Ishai [STOC 2006]. Our argument aims at proposing new theoretical frameworks for these topics (especially for the former) based on FDPs, rather than providing some concrete and practical results on the topics. We also give some examples of mathematical discussions on FDPs, which would be of independent interest from mathematical viewpoints. Finally, we discuss possible directions of future research on other cryptographic applications of FDPs and on mathematical studies on FDPs themselves.
Pretty good state transfer on double stars
Published
• View Publication
• BIB
Let A be the adjacency matrix of a graph $X$ and suppose U(t)=exp(itA). We view A as acting on $\cx^{V(X)}$ and take the standard basis of this space to be the vectors $e_u$ for $u$ in $V(X)$. Physicists say that we have perfect state transfer from vertex $u$ to $v$ at time $τ$ if there is a scalar $γ$ such that $U(τ)e_u = γe_v$. (Since $U(t)$ is unitary, $\normγ=1$.) For example, if $X$ is the $d$-cube and $u$ and $v$ are at distance $d$ then we have perfect state transfer from $u$ to $v$ at time $π/2$. Despite the existence of this nice family, it has become clear that perfect state transfer is rare. Hence we consider a relaxation: we say that we have pretty good state transfer from $u$ to $v$ if there is a complex number $γ$ and, for each positive real $ε$ there is a time $t$ such that $\norm{U(t)e_u - γe_v} < ε$. Again we necessarily have $|γ|=1$.
Godsil, Kirkland, Severini and Smith showed that we have have pretty good state transfer between the end vertices of the path $P_n$ if and only $n+1$ is a power of two, a prime, or twice a prime. (There is perfect state transfer between the end vertices only for $P_2$ and $P_3$.) It is something of a surprise that the occurrence of pretty good state transfer is characterized by a number-theoretic condition. In this paper we study double-star graphs, which are trees with two vertices of degree $k+1$ and all other vertices with degree one. We prove that there is never perfect state transfer between the two vertices of degree $k+1$, and that there is pretty good state transfer between them if and only if $4k+1$ is a perfect square.
Polymetric brick wall patterns and two-dimensional substitutions
Polymetric walls are walls built from bricks in more than one size. Architects and builders want to built polymetric walls that satisfy certain structural and aesthetical constraints. In a recent paper by de Jong, Vinduska, Hans and Post these problems are solved by integer programming techniques, which can be very time consuming for patterns consisting of more than 40 bricks. Here we give an extremely fast method, generating patterns of arbitrary size.
Bounds on Contention Management in Radio Networks
Published
• View Publication
• BIB
The local broadcast problem assumes that processes in a wireless network are provided messages, one by one, that must be delivered to their neighbors. In this paper, we prove tight bounds for this problem in two well-studied wireless network models: the classical model, in which links are reliable and collisions consistent, and the more recent dual graph model, which introduces unreliable edges. Our results prove that the Decay strategy, commonly used for local broadcast in the classical setting, is optimal. They also establish a separation between the two models, proving that the dual graph setting is strictly harder than the classical setting, with respect to this primitive.
Quantum gravity and the KPZ formula
This text is a survey (Bourbaki seminar) on the paper "Liouville quantum gravity and KPZ" By B.Duplantier and S.Sheffield.
The study of statistical physics models in two dimensions (d=2) at their critical point is in general a significantly hard problem (not to mention the d=3 case). In the eighties, three physicists, Knizhnik, Polyakov et Zamolodchikov (KPZ) came up in \cite{\KPZ} with a novel and far-reaching approach in order to understand the critical behavior of these models. Among these, one finds for example random walks, percolation as well as the Ising model. The main underlying idea of their approach is to study these models along a two-step procedure as follows: a/ First of all, instead of considering the model on some regular lattice of the plane (such as $\Z^2$ for example), one defines it instead on a well-chosen "random planar lattice". Doing so corresponds to studying the model in its {\it quantum gravity} form. In the case of percolation, the appropriate choice of random lattice matches with the so-called planar maps. b/ Then it remains to get back to the actual {\it Euclidean} setup. This is done thanks to the celebrated {\bf KPZ formula} which gives a very precise correspondence between the geometric properties of models in their quantum gravity formulation and their analogs in the Euclidean case.
The nature and the origin of such a powerful correspondence remained rather mysterious for a long time. In fact, the KPZ formula is still not rigorously established and remains a conjectural correspondence. The purpose of this survey is to explain how the recent work of Duplantier and Sheffield enables to explain some of the mystery hidden behind this KPZ formula. To summarize their contribution in one sentence, their work implies a beautiful interpretation of the KPZ correpondence through a uniformization of the random lattice, seen as a Riemann surface.
A nilpotent IP polynomial multiple recurrence theorem
Published in Journal d'Analyse Mathématique 123 (2014) 183-225
• View Publication
• BIB
We generalize the IP-polynomial Szemerédi theorem due to Bergelson and McCutcheon and the nilpotent Szemerédi theorem due to Leibman. Important tools in our proof include a generalization of Leibman's result that polynomial mappings into a nilpotent group form a group and a multiparameter version of the nilpotent Hales-Jewett theorem due to Bergelson and Leibman.
An Inhomogeneous Multispecies TASEP on a Ring
Published in Advances in Applied Mathematics 57 (2014) 21-43
• View Publication
• BIB
We reinterpret and generalize conjectures of Lam and Williams as statements about the stationary distribution of a multispecies exclusion process on the ring. The central objects in our study are the multiline queues of Ferrari and Martin. We make some progress on some of the conjectures in different directions. First, we prove their conjectures in two special cases by generalizing the rates of the Ferrari-Martin transitions. Secondly, we define a new process on multiline queues, which have a certain minimality property. This gives another proof for one of the special cases; namely arbitrary jump rates for three species.
Blocking Sets of Index Three
In this note we will provide proofs for the various statements that have been made in the literature about blocking sets of index three. Our aim is to clarify what is known about the characterization of these sets. Specifically, we provide constructions for all Rédei blocking sets in PG(2,q) of index three and explicitly determine all blocking sets of index three in PG(2,7).
Expected Patterns in Permutation Classes
Published in Electronic Journal of Combinatorics, 19(3) (2012), P43
• View Publication
• BIB
In the set of all patterns in $S_n$, it is clear that each k-pattern occurs equally often. If we instead restrict to the class of permutations avoiding a specific pattern, the situation quickly becomes more interesting. Miklós Bóna recently proved that, surprisingly, if we consider the class of permutations avoiding the pattern 132, all other non-monotone patterns of length 3 are equally common. In this paper we examine the class $\Av (123)$, and give exact formula for the occurrences of each length 3 pattern. While this class does not break down as nicely as $\Av (132)$, we find some interesting similarities between the two and prove that the number of 231 patterns is the same in each.
On the Quiver Presentation of the Descent Algebra of the Symmetric Group
Published
• View Publication
• BIB
We describe a presentation for the descent algebra of the symmetric group $\sym{n}$ as a quiver with relations. This presentation arises from a new construction of the descent algebra as a homomorphic image of an algebra of forests of binary trees which can be identified with a subspace of the free Lie algebra. In this setting, we provide a new short proof of the known fact that the quiver of the descent algebra of $\sym{n}$ is given by restricted partition refinement. Moreover, we describe certain families of relations and conjecture that for fixed $n\in\mathbb{N}$, the finite set of relations from these families that are relevant for the descent algebra of $\sym{n}$ generates the ideal of relations, and hence yields an explicit presentation by generators and relations of the algebra.
State transition algorithm for traveling salesman problem
Published in in the Proceedings of the 31st Chinese Control Conference (CCC), 2481--2485, 2012
• Search Publication
Discrete version of state transition algorithm is proposed in order to solve the traveling salesman problem. Three special operators for discrete optimization problem named swap, shift and symmetry transformations are presented. Convergence analysis and time complexity of the algorithm are also considered. To make the algorithm simple and efficient, no parameter adjusting is suggested in current version. Experiments are carried out to test the performance of the strategy, and comparisons with simulated annealing and ant colony optimization have demonstrated the effectiveness of the proposed algorithm. The results also show that the discrete state transition algorithm consumes much less time and has better search ability than its counterparts, which indicates that state transition algorithm is with strong adaptability.
A new upper bound on the acyclic chromatic indices of planar graphs
Published
• View Publication
• BIB
An acyclic edge coloring of a graph $G$ is a proper edge coloring such that no bichromatic cycles are produced. The acyclic chromatic index $a'(G)$ of $G$ is the smallest integer $k$ such that $G$ has an acyclic edge coloring using $k$ colors. It was conjectured that $a'(G)\le Δ+2$ for any simple graph $G$ with maximum degree $Δ$. In this paper, we prove that if $G$ is a planar graph, then $a'(G)\leqΔ+7$. This improves a result by Basavaraju et al. [{\em Acyclic edge-coloring of planar graphs}, SIAM J. Discrete Math., 25 (2011), pp. 463-478], which says that every planar graph $G$ satisfies $a'(G)\leqΔ+12$.
Samplings and observables. Invariants of metric measure spaces
In the paper we are dealing with metric measure spaces of diameter at most one and of total measure one. Gromov introduced the sampling compactification of the set of these spaces. He asked whether the metric measure space invariants extend to the compactification. Using ideas of the newly developed theory of graph limits we identify the elements of the compactification with certain geometric objects and show how to extend various invariants to this space. We will introduce the notion of ultralimit of metric measure spaces, that will be the main technical tool of our paper.
On the Existence of Extremal Type II Z2k-Codes
Published
• View Publication
• BIB
For lengths 8,16 and 24, it is known that there is an extremal Type II Z2k-code for every positive integer k. In this paper, we show that there is an extremal Type II Z2k-code of lengths 32,40,48,56 and 64 for every positive integer k. For length 72, it is also shown that there is an extremal Type II Z4k-code for every positive integer k with k \ge 2.
On distance-regular Cayley graphs on abelian groups
Let $G$ denote a finite abelian group with identity 1 and let $S$ denote an inverse-closed subset of $G \setminus {1}$, which generates $G$ and for which there exists $s \in S$, such that $\la S \setminus \{s,s^{-1}\} \ra \ne G$. In this paper we obtain the complete classification of distance-regular Cayley graphs $\cay(G;S)$ for such pairs of $G$ and $S$.
Fine structure of one-dimensional discrete point system
Published
• View Publication
• BIB
We consider the system of $N$ points on the segment of the real line with the nearest-neighbor Coulomb repulsive interaction and external force $F$. For the fixed points of such systems (fixed configurations) we study the asymptotics (in $N$ and $l$) of finite differences of order $l$. Classical theory of finite differences is extensively used.
Stanley depth of the integral closure of monomial ideals
Published
• View Publication
• BIB
Let $I$ be a monomial ideal in the polynomial ring $S=\mathbb{K}[x_1,...,x_n]$. We study the Stanley depth of the integral closure $\bar{I}$ of $I$. We prove that for every integer $k\geq 1$, the inequalities ${\rm sdepth} (S/\bar{I^k}) \leq {\rm sdepth} (S/\bar{I})$ and ${\rm sdepth} (\bar{I^k}) \leq {\rm sdepth} (\bar{I})$ hold. We also prove that for every monomial ideal $I\subset S$ there exist integers $k_1,k_2\geq 1$, such that for every $s\geq 1$, the inequalities ${\rm sdepth} (S/I^{sk_1}) \leq {\rm sdepth} (S/\bar{I})$ and ${\rm sdepth} (I^{sk_2}) \leq {\rm sdepth} (\bar{I})$ hold. In particular, $\min_k \{{\rm sdepth} (S/I^k)\} \leq {\rm sdepth} (S/\bar{I})$ and $\min_k \{{\rm sdepth} (I^k)\} \leq {\rm sdepth} (\bar{I})$. We conjecture that for every integrally closed monomial ideal $I$, the inequalities ${\rm sdepth}(S/I)\geq n-\ell(I)$ and ${\rm sdepth} (I)\geq n-\ell(I)+1$ hold, where $\ell(I)$ is the analytic spread of $I$. Assuming the conjecture is true, it follows together with the Burch's inequality that Stanley's conjecture holds for $I^k$ and $S/I^k$ for $k\gg 0$, provided that $I$ is a normal ideal.