Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Energy-Latency Tradeoff for In-Network Function Computation in Random Networks
Published
• View Publication
• BIB
The problem of designing policies for in-network function computation with minimum energy consumption subject to a latency constraint is considered. The scaling behavior of the energy consumption under the latency constraint is analyzed for random networks, where the nodes are uniformly placed in growing regions and the number of nodes goes to infinity. The special case of sum function computation and its delivery to a designated root node is considered first. A policy which achieves order-optimal average energy consumption in random networks subject to the given latency constraint is proposed. The scaling behavior of the optimal energy consumption depends on the path-loss exponent of wireless transmissions and the dimension of the Euclidean region where the nodes are placed. The policy is then extended to computation of a general class of functions which decompose according to maximal cliques of a proximity graph such as the $k$-nearest neighbor graph or the geometric random graph. The modified policy achieves order-optimal energy consumption albeit for a limited range of latency constraints.
A New Variation of Hat Guessing Games
Published
• View Publication
• BIB
Several variations of hat guessing games have been popularly discussed in recreational mathematics. In a typical hat guessing game, after initially coordinating a strategy, each of $n$ players is assigned a hat from a given color set. Simultaneously, each player tries to guess the color of his/her own hat by looking at colors of hats worn by other players. In this paper, we consider a new variation of this game, in which we require at least $k$ correct guesses and no wrong guess for the players to win the game, but they can choose to "pass".
A strategy is called {\em perfect} if it can achieve the simple upper bound $\frac{n}{n+k}$ of the winning probability. We present sufficient and necessary condition on the parameters $n$ and $k$ for the existence of perfect strategy in the hat guessing games. In fact for any fixed parameter $k$, the existence of perfect strategy can be determined for every sufficiently large $n$.
In our construction we introduce a new notion: $(d_1,d_2)$-regular partition of the boolean hypercube, which is worth to study in its own right. For example, it is related to the $k$-dominating set of the hypercube. It also might be interesting in coding theory. The existence of $(d_1,d_2)$-regular partition is explored in the paper and the existence of perfect $k$-dominating set follows as a corollary.
Monotone drawings of planar graphs
Let G be a graph drawn in the plane so that its edges are represented by x-monotone curves, any pair of which cross an even number of times. We show that G can be redrawn in such a way that the x-coordinates of the vertices remain unchanged and the edges become non-crossing straight-line segments.
Proof of some conjectures of Z.-W. Sun on congruences for Apery polynomials
Published in J. Number Theory 132, 1731-1740 (2012)
• View Publication
• BIB
The Apery polynomials are defined by $A_n(x)=\sum_{k=0}^{n}{n\choose k}^2{n+k\choose k}^2 x^k$ for all nonnegative integers $n$. We confirm several conjectures of Z.-W. Sun on the congruences for the sum $\sum_{k=0}^{n-1}(-1)^k(2k+1) A_k(x)$ with $x\in Z$.
Cyclic Sieving for torsion pairs in the cluster category of Dynkin type A_n
Recently, a combinatorial model for torsion pairs in the cluster category of Dynkin type A_n was introduced, and used to derive an explicit formula for their number. In this article we determine the number of torsion pairs that are invariant under b-fold application of Auslander-Reiten translation. It turns out that the set of torsion pairs together with Auslander-Reiten translation, and a natural q-analogue of the formula for the number of all torsion pairs exhibits the cyclic sieving phenomenon.
LR characterization of chirotopes of finite planar families of pairwise disjoint convex bodies
Published in Discrete Comput. Geom., 50 (3): 552-648, 2013
• View Publication
• BIB
We extend the classical LR characterization of chirotopes of finite planar families of points to chirotopes of finite planar families of pairwise disjoint convex bodies: a map \c{hi} on the set of 3-subsets of a finite set I is a chirotope of finite planar families of pairwise disjoint convex bodies if and only if for every 3-, 4-, and 5-subset J of I the restriction of \c{hi} to the set of 3-subsets of J is a chirotope of finite planar families of pairwise disjoint convex bodies. Our main tool is the polarity map, i.e., the map that assigns to a convex body the set of lines missing its interior, from which we derive the key notion of arrangements of double pseudolines, introduced for the first time in this paper.
Some supercongruences modulo $p^2$
Let $p>3$ be a prime, and let $m$ be an integer with $p\nmid m$. In the paper we prove some supercongruences concerning $$\align &\sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{3k}k}{54^k},\ \sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{4k}{2k}}{128^k},\ \sum_{k=0}^{p-1}\frac{\binom{3k}k\binom{6k}{3k}}{432^k},
&\sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{3k}{k}}{m^k}, \sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{4k}{2k}}{m^k},\ \sum_{k=0}^{p-1}\f{\binom{2k}k\binom{3k}{k}\binom{6k}{3k}}{m^k}\mod {p^2}.\endalign$$ Thus we solve some conjectures of Zhi-Wei Sun and the author.
Eulerian-Catalan Numbers
Published
• View Publication
• BIB
We show that the Eulerian-Catalan numbers enumerate Dyck permutations. We provide two proofs for this fact, the first using the geometry of alcoved polytopes and the second a direct combinatorial proof via an Eulerian-Catalan analogue of the Chung-Feller theorem.
Some Semi - Equivelar Maps
Semi-Equivelar maps are generalizations of Archimedean Solids (as are equivelar maps of the Platonic solids) to the surfaces other than $2-$Sphere. We classify some semi equivelar maps on surface of Euler characteristic -1 and show that none of these are vertex transitive. We establish existence of 12-covered triangulations for this surface. We further construct double cover of these maps to show existence of semi-equivelar maps on the surface of double torus. We also construct several semi-equivelar maps on the surfaces of Euler characteristics -8 and -10 and on non-orientable surface of Euler characteristics -2.
The C_\ell-free process
Published in Random Structures and Algorithms 44 (2014), 490-526
• View Publication
• BIB
The C_\ell-free process starts with the empty graph on n vertices and adds edges chosen uniformly at random, one at a time, subject to the condition that no copy of C_\ell is created. For every $\ell \geq 4$ we show that, with high probability as $n \to \infty$, the maximum degree is $O((n \log n)^{1/(\ell-1)})$, which confirms a conjecture of Bohman and Keevash and improves on bounds of Osthus and Taraz. Combined with previous results this implies that the C_\ell-free process typically terminates with $Θ(n^{\ell/(\ell-1)}(\log n)^{1/(\ell-1)})$ edges, which answers a question of Erdős, Suen and Winkler. This is the first result that determines the final number of edges of the more general H-free process for a non-trivial \emph{class} of graphs H. We also verify a conjecture of Osthus and Taraz concerning the average degree, and obtain a new lower bound on the independence number. Our proof combines the differential equation method with a tool that might be of independent interest: we establish a rigorous way to `transfer' certain decreasing properties from the binomial random graph to the H-free process.
Natural endomorphisms of quasi-shuffle Hopf algebras
Published
• View Publication
• BIB
The Hopf algebra of word-quasi-symmetric functions ($\WQSym$), a noncommutative generalization of the Hopf algebra of quasi-symmetric functions, can be endowed with an internal product that has several compatibility properties with the other operations on $\WQSym$. This extends constructions familiar and central in the theory of free Lie algebras, noncommutative symmetric functions and their various applications fields, and allows to interpret $\WQSym$ as a convolution algebra of linear endomorphisms of quasi-shuffle algebras. We then use this interpretation to study the fine structure of quasi-shuffle algebras (MZVs, free Rota-Baxter algebras...). In particular, we compute their Adams operations and prove the existence of generalized Eulerian idempotents, that is, of a canonical left-inverse to the natural surjection map to their indecomposables, allowing for the combinatorial construction of free polynomial generators for these algebras.
On Weyl modules of cyclotomic $q$-Schur algebras
Published
• View Publication
• BIB
We study on Weyl modules of cyclotomic $q$-Schur algebras. In particular, we give the character formula of the Weyl modules by using the Kostka numbers and some numbers which are computed by a generalization of Littlewood-Richardson rule. We also study corresponding symmetric functions. Finally, we give some simple applications to modular representations of cyclotomic $q$-Schur algebras.
The determinant bound for discrepancy is almost tight
In 1986 Lovasz, Spencer, and Vesztergombi proved a lower bound for the hereditary a discrepancy of a set system F in terms of determinants of square submatrices of the incidence matrix of F. As shown by an example of Hoffman, this bound can differ from herdisc(F) by a multiplicative factor of order almost log n, where n is the size of the ground set of F. We prove that it never differs by more than O((log n)3/2), assuming |F| bounded by a polynomial in n. We also prove that if such an F is the union of t systems F_1, . . ., F_t, each of hereditary discrepancy at most D, then herdisc(F) \leq O(t^(1/2)(log n)^(3/2) D). For t = 2, this almost answers a question of Sos. The proof is based on a recent algorithmic result of Bansal, which computes low-discrepancy colorings using semidefinite programming.
The Random Quadratic Assignment Problem
Published
• View Publication
• BIB
Optimal assignment of classes to classrooms \cite{dickey}, design of DNA microarrays \cite{carvalho}, cross species gene analysis \cite{kolar}, creation of hospital layouts cite{elshafei}, and assignment of components to locations on circuit boards \cite{steinberg} are a few of the many problems which have been formulated as a quadratic assignment problem (QAP). Originally formulated in 1957, the QAP is one of the most difficult of all combinatorial optimization problems. Here, we use statistical mechanical methods to study the asymptotic behavior of problems in which the entries of at least one of the two matrices that specify the problem are chosen from a random distribution $P$. Surprisingly, this case has not been studied before using statistical methods despite the fact that the QAP was first proposed over 50 years ago \cite{Koopmans}. We find simple forms for $C_{\rm min}$ and $C_{\rm max}$, the costs of the minimal and maximum solutions respectively. Notable features of our results are the symmetry of the results for $C_{\rm min}$ and $C_{\rm max}$ and the dependence on $P$ only through its mean and standard deviation, independent of the details of $P$. After the asymptotic cost is determined for a given QAP problem, one can straightforwardly calculate the asymptotic cost of a QAP problem specified with a different random distribution $P$.
Geometric group theory and arithmetic diameter
Published in Publ. Math. Debrecen 79 (2011), 563--572
• View Publication
• BIB
Let X be a group with identity e, let A be an infinite set of generators for X, and let (X,d_A) be the metric space with the word metric d_A induced by A. If the diameter of the space is infinite, then for every positive integer h there are infinitely many elements x in X with d_A(e,x)=h. It is proved that if P is a nonempty finite set of prime numbers and A is the set of positive integers whose prime factors all belong to P, then the diameter of the metric space (\Z,d_A) is infinite. Let λ_A(h) denote the smallest positive integer x with d_A(e,x)=h. It is an open problem to compute λ_A(h) and estimate its growth rate.
On W-algebra extensions of (2,p) minimal models: p > 3
This is a continuation of arXiv:0908.4053, where, among other things, we classified irreducible representations of the triplet vertex algebra W_{2,3}. In this part we extend the classification to W_{2,p}, for all odd p>3. We also determine the structure of the center of the Zhu algebra A(W_{2,p}) which implies the existence of a family of logarithmic modules having L(0)-nilpotent ranks 2 and 3. A logarithmic version of Macdonald-Morris constant term identity plays a key role in the paper.
The compensation approach for walks with small steps in the quarter plane
Published in Combinatorics, Probability and Computing 22 (2013) 161-183
• View Publication
• BIB
This paper is the first application of the compensation approach to counting problems. We discuss how this method can be applied to a general class of walks in the quarter plane $Z_{+}^{2}$ with a step set that is a subset of $\{(-1,1),(-1,0),(-1,-1),(0,-1),(1,-1)\}$ in the interior of $Z_{+}^{2}$. We derive an explicit expression for the counting generating function, which turns out to be meromorphic and nonholonomic, can be easily inverted, and can be used to obtain asymptotic expressions for the counting coefficients.
H-colouring bipartite graphs
Published
• View Publication
• BIB
For graphs $G$ and $H$, an {\em $H$-colouring} of $G$ (or {\em homomorphism} from $G$ to $H$) is a function from the vertices of $G$ to the vertices of $H$ that preserves adjacency. $H$-colourings generalize such graph theory notions as proper colourings and independent sets.
For a given $H$, $k \in V(H)$ and $G$ we consider the proportion of vertices of $G$ that get mapped to $k$ in a uniformly chosen $H$-colouring of $G$. Our main result concerns this quantity when $G$ is regular and bipartite. We find numbers $0 \leq a^-(k) \leq a^+(k) \leq 1$ with the property that for all such $G$, with high probability the proportion is between $a^-(k)$ and $a^+(k)$, and we give examples where these extremes are achieved. For many $H$ we have $a^-(k) = a^+(k)$ for all $k$ and so in these cases we obtain a quite precise description of the almost sure appearance of a randomly chosen $H$-colouring.
As a corollary, we show that in a uniform proper $q$-colouring of a regular bipartite graph, if $q$ is even then with high probability every colour appears on a proportion close to $1/q$ of the vertices, while if $q$ is odd then with high probability every colour appears on at least a proportion close to $1/(q+1)$ of the vertices and at most a proportion close to $1/(q-1)$ of the vertices.
Our results generalize to natural models of weighted $H$-colourings, and also to bipartite graphs which are sufficiently close to regular. As an application of this latter extension we describe the typical structure of $H$-colourings of graphs which are obtained from $n$-regular bipartite graphs by percolation, and we show that $p=1/n$ is a threshold function across which the typical structure changes.
The approach is through entropy, and extends work of J. Kahn, who considered the size of a randomly chosen independent set of a regular bipartite graph.
H-coloring tori
Published
• View Publication
• BIB
For graphs $G$ and $H$, an $H$-coloring of $G$ is a function from the vertices of $G$ to the vertices of $H$ that preserves adjacency. $H$-colorings encode graph theory notions such as independent sets and proper colorings, and are a natural setting for the study of hard-constraint models in statistical physics.
We study the set of $H$-colorings of the even discrete torus ${\mathbb Z}^d_m$, the graph on vertex set ${0, ..., m-1}^d$ ($m$ even) with two strings adjacent if they differ by 1 (mod $m$) on one coordinate and agree on all others. This is a bipartite graph, with bipartition classes ${\mathcal E}$ and ${\mathcal O}$. In the case $m=2$ the even discrete torus is the discrete hypercube or Hamming cube $Q_d$, the usual nearest neighbor graph on ${0,1}^d$.
We obtain, for any $H$ and fixed $m$, a structural characterization of the space of $H$-colorings of ${\mathbb Z}^d_m$. We show that it may be partitioned into an exceptional subset of negligible size (as $d$ grows) and a collection of subsets indexed by certain pairs $(A,B) \in V(H)^2$, with each $H$-coloring in the subset indexed by $(A,B)$ having all but a vanishing proportion of vertices from ${\mathcal E}$ mapped to vertices from $A$, and all but a vanishing proportion of vertices from ${\mathcal O}$ mapped to vertices from $B$. This implies a long-range correlation phenomenon for uniformly chosen $H$-colorings of ${\mathbb Z}^d_m$ with $m$ fixed and $d$ growing.
Our proof proceeds through an analysis of the entropy of a uniformly chosen $H$-coloring, and extends an approach of Kahn, who had considered the special case of $m=2$ and $H$ a doubly infinite path. All our results generalize to a natural weighted model of $H$-colorings.
Geometric distance-regular graphs without 4-claws
Published
• View Publication
• BIB
A non-complete \drg $Γ$ is called geometric if there exists a set $\mathcal{C}$ of Delsarte cliques such that each edge of $Γ$ lies in a unique clique in $\mathcal{C}$. In this paper, we determine the non-complete distance-regular graphs satisfying $\max \{3, 8/3}(a_1+1)\}<k<4a_1+10-6c_2$. To prove this result, we first show by considering non-existence of 4-claws that any non-complete distance-regular graph satisfying $\max \{3, \8/3}(a_1+1)\}<k<4a_1+10-6c_2$ is a geometric \drg with smallest eigenvalue -3. Moreover, we classify the geometric \drg s with smallest eigenvalue -3. As an application, 7 feasible intersection arrays in the list of \cite[Chapter 14]{bcn} are ruled out.