Showing 20 papers (Total: 82311 papers, 47607 authors in database)
The freeness of ideal subarrangements of Weyl arrangements
Published in J. Eur. Math. Soc. 18 (2016), 1339-1348
• View Publication
• BIB
A Weyl arrangement is the arrangement defined by the root system of a finite Weyl group. When a set of positive roots is an ideal in the root poset, we call the corresponding arrangement an ideal subarrangement. Our main theorem asserts that any ideal subarrangement is a free arrangement and that its exponents are given by the dual partition of the height distribution, which was conjectured by Sommers-Tymoczko. In particular, when an ideal subarrangement is equal to the entire Weyl arrangement, our main theorem yields the celebrated formula by Shapiro, Steinberg, Kostant, and Macdonald. Our proof of the main theorem heavily depends on the theory of free arrangements and thus greatly differs from the earlier proofs of the formula.
Construction of the mutually orthogonal extraordinary supersquares
Published in Central European Journal of Mathematics 12, 337 (2014)
• View Publication
• BIB
Our purpose is to determine the complete set of mutually orthogonal squares of order $d$, which are not necessary Latin. In this article, we introduce the concept of supersquare of order $d$, which is defined with the help of its generating subgroup in $\mathbb{F}_d\times \mathbb{F}_d$. We present a method of construction of the mutually orthogonal supersquares. Further, we investigate the orthogonality of extraordinary supersquares, a special family of squares, whose generating subgroups are extraordinary. The extraordinary subgroups in $\mathbb{F}_d\times \mathbb{F}_d$ are of great importance in the field of quantum information processing, especially for the study of mutually unbiased bases. We determine the most general complete sets of mutually orthogonal extraordinary supersquares of order 4, which consist in the so-called Type I and Type II. The well-known case of $d-1$ mutually orthogonal Latin squares is only a special case, namely Type I.
Entropy, Optimization and Counting
Published
• View Publication
• BIB
In this paper we study the problem of computing max-entropy distributions over a discrete set of objects subject to observed marginals. Interest in such distributions arises due to their applicability in areas such as statistical physics, economics, biology, information theory, machine learning, combinatorics and, more recently, approximation algorithms. A key difficulty in computing max-entropy distributions has been to show that they have polynomially-sized descriptions. We show that such descriptions exist under general conditions. Subsequently, we show how algorithms for (approximately) counting the underlying discrete set can be translated into efficient algorithms to (approximately) compute max-entropy distributions. In the reverse direction, we show how access to algorithms that compute max-entropy distributions can be used to count, which establishes an equivalence between counting and computing max-entropy distributions.
Criteria of valid line sum arrays for multidimensional matrices
Gale and Ryser found a criterion for existence of a binary matrix with given row and column sums. Mirsky extended the theorem of Gale and Ryser to $q$-ary matrices. In this paper, we are interested in higher dimensional extension of these theorems. We first introduce multidimensional matrices as a higher dimensional generalization of matrices. We next replace the concept of row and columns in matrices by lines in multidimensional matrices. We finally find a criterion for existence of a $q$-ary multidimensional matrices with given line sums.
The Kirchhoff indices and the matching numbers of unicyclic graphs
Published in Appl. Math. Comput. 289, p. 464--480 (2016)
• View Publication
• BIB
The Kirchhoff index of a connected graph is the sum of resistance distances between all unordered pairs of vertices in the graph. It found considerable applications in a variety of fields. In this paper, we determine the minimum Kirchhoff index among the unicyclic graphs with fixed number of vertices and matching number, and characterize the extremal graphs.
Lattice Paths and Order-preserving Partial Transformations
Let ${\cal PO}_n$ be the semigroup of all order-preserving partial transformations of a finite chain. It is shown that there exist bijections between the set of certain lattice paths in the Cartesian plane that start at $(0,0)$, end at $(n-1,n-1)$, and certain subsemigroups of ${\cal PO}_n$. Several consequences of these bijections were discussed.
Roots of the Ehrhart polynomial of hypersimplices
Published in Commentarii Mathematici Universitatis Sancti Pauli 62 (2013), 91-108
• Search Publication
The Ehrhart polynomial of the $d$-th hypersimplex $Δ(d,n)$ of order $n$ is studied. By computational experiments and a known result for $d=2$, we conjecture that the real part of every roots of the Ehrhart polynomial of $Δ(d,n)$ is negative and larger than $- \frac{n}{d}$ if $n \geq 2d$. In this paper, we show that the conjecture is true when $d=3$ and that every root $a$ of the Ehrhart polynomial of $Δ(d,n)$ satisfies $-\frac{n}{d} < {\rm Re} (a) < 1$ if $4 \leq d \ll n$.
Limit shapes of bumping routes in the Robinson-Schensted correspondence
Published in Random Struct. Alg., 48 (2016), no. 1, 171-182
• View Publication
• BIB
We prove a limit shape theorem describing the asymptotic shape of bumping routes when the Robinson-Schensted algorithm is applied to a finite sequence of independent, identically distributed random variables with the uniform distribution $U[0,1]$ on the unit interval, followed by an insertion of a deterministic number $α$. The bumping route converges after scaling, in the limit as the length of the sequence tends to infinity, to an explicit, deterministic curve depending only on $α$. This extends our previous result on the asymptotic determinism of Robinson-Schensted insertion, and answers a question posed by Moore in 2006.
Optimal Design of Water Distribution Networks by Discrete State Transition Algorithm
Published in Engineering Optimization, 48(4): 603-628, 2016
• View Publication
• BIB
Optimal design of water distribution networks, which are governed by a series of linear and nonlinear equations, has been extensively studied in the past decades. Due to their NP-hardness, methods to solve the optimization problem have changed from traditional mathematical programming to modern intelligent optimization techniques. In this study, with respect to the model formulation, we have demonstrated that the network system can be reduced to the dimensionality of the number of closed simple loops or required independent paths, and the reduced nonlinear system can be solved efficiently by the Newton-Raphson method. Regarding the optimization technique, a discrete state transition algorithm (STA) is introduced to solve several cases of water distribution networks. In discrete STA, there exist four basic intelligent operators, namely, swap, shift, symmetry and substitute as well as the "risk and restore in probability" strategy. Firstly, we focus on a parametric study of the restore probability $p_1$ and risk probability $p_2$. To effectively deal with the head pressure constraints, we then investigate the effect of penalty coefficient and search enforcement on the performance of the algorithm. Based on the experience gained from the training of the Two-Loop network problem, the discrete STA has successfully achieved the best known solutions for the Hanoi and New York problems. A detailed comparison of our results with those gained by other algorithms is also presented.
Cyclic permutations realized by signed shifts
Published
• View Publication
• BIB
The periodic (ordinal) patterns of a map are the permutations realized by the relative order of the points in its periodic orbits. We give a combinatorial characterization of the periodic patterns of an arbitrary signed shift, in terms of the structure of the descent set of a certain cyclic permutation associated to the pattern. Signed shifts are an important family of one-dimensional dynamical systems that includes shift maps and the tent map as particular cases. Defined as a function on the set of infinite words on a finite alphabet, a signed shift deletes the first letter and, depending on its value, possibly applies the complementation operation on the remaining word. For shift maps, reverse shift maps, and the tent map, we give exact formulas for their number of periodic patterns. As a byproduct of our work, we recover results of Gessel--Reutenauer and Weiss--Rogers and obtain new enumeration formulas for pattern-avoiding cycles.
Counting Hypergraphs in Data Streams
We present the first streaming algorithm for counting an arbitrary hypergraph $H$ of constant size in a massive hypergraph $G$. Our algorithm can handle both edge-insertions and edge-deletions, and is applicable for the distributed setting. Moreover, our approach provides the first family of graph polynomials for the hypergraph counting problem. Because of the close relationship between hypergraphs and set systems, our approach may have applications in studying similar problems.
Forbidding a Set Difference of Size 1
Published
• View Publication
• BIB
How large can a family \cal A \subset \cal P [n] be if it does not contain A,B with |A\setminus B| = 1? Our aim in this paper is to show that any such family has size at most \frac{2+o(1)}{n} \binom {n}{\lfloor n/2\rfloor }. This is tight up to a multiplicative constant of $2$. We also obtain similar results for families \cal A \subset \cal P[n] with |A\setminus B| \neq k, showing that they satisfy |{\mathcal A}| \leq \frac{C_k}{n^k}\binom {n}{\lfloor n/2\rfloor }, where C_k is a constant depending only on k.
Emptying Sets: The Cookie Monster Problem
Given a set of integers $S = \{k_1,\ k_2,...,\ k_n\}$, the Cookie Monster Problem is the problem of making all elements of the set equal 0 in the minimum number of moves. Consider the analogy of cookie jars with distinct numbers of cookies, such that $k_i$ is the number of cookies in the $i$th jar. The "Cookie Monster" wants to eat all the cookies, but at each move he must choose some subset of the jars and eat the same amount from each jar. The \emph{Cookie Monster Number of $S$}, $CM(S)$, is the minimum number of such moves necessary to empty the jars. It has been shown previously that $\lceil \log_2(|S|+1) \rceil \leq CM(S) \leq |S|$. In this paper we classify sets by determining what conditions are necessary for $CM(S)$ to equal 2 or 3 and what effect certain restrictions have on $CM(S)$. We also provide an alternative interpretation of the problem in the form of a combinatorial game and analyze the losing positions.
Non-positive curvature, and the planar embedding conjecture
Published
• View Publication
• BIB
The planar embedding conjecture asserts that any planar metric admits an embedding into L_1 with constant distortion. This is a well-known open problem with important algorithmic implications, and has received a lot of attention over the past two decades. Despite significant efforts, it has been verified only for some very restricted cases, while the general problem remains elusive.
In this paper we make progress towards resolving this conjecture. We show that every planar metric of non-positive curvature admits a constant-distortion embedding into L_1. This confirms the planar embedding conjecture for the case of non-positively curved metrics.
Lambda Determinants
In this paper we prove a homogenous generalization of the lambda determinant formula of Mills, Robbins and Rumsey. In our formula the parameters depends on two indices. Our result also extends a recent formula of Di Francesco.
Uniform generation of RNA pseudoknot structures with genus filtration
Published
• View Publication
• BIB
In this paper we present a sampling framework for RNA structures of fixed topological genus. We introduce a novel, linear time, uniform sampling algorithm for RNA structures of fixed topological genus $g$, for arbitrary $g>0$. Furthermore we develop a linear time sampling algorithm for RNA structures of fixed topological genus $g$ that are weighted by a simplified, loop-based energy functional. For this process the partition function of the energy functional has to be computed once, which has $O(n^2)$ time complexity.
Multiplicity of 1 in Laplacian Spectra of trees
In this paper, we interpret the multiplicity of 1 in Laplacian spectra of trees and prove that Faria's inequality turns to an equality in the case of normal trees which yields that in any tree without a vertex of degree 2, Faria equality holds and multiplicity of 1 in Laplacian spectrum will be equal to star degree of the the tree. As a result we introduce a combinatorial procedure for computing the multiplicity of 1. In the way to prove this results we will introduce many transformation on graphs which are invariant regarding to the multiplicity of 1. We also introduce an inequality for the multiplicity of 0 in adjacency spectrum of graphs and again introduce a procedure to compute this multiplicity in the case of trees.
New pseudo-planar binomials in characteristic two and related schemes
Published in Designs, Codes and Cryptography, 76 (2015), 345-360
• View Publication
• BIB
Planar functions in odd characteristic were introduced by Dembowski and Ostrom in order to construct finite projective planes in 1968. They were also used in the constructions of DES-like iterated ciphers, error-correcting codes, and signal sets. Recently, a new notion of pseudo-planar functions in even characteristic was proposed by Zhou. These new pseudo-planar functions, as an analogue of planar functions in odd characteristic, also bring about finite projective planes. There are three known infinite families of pseudo-planar monomial functions constructed by Schmidt and Zhou, and Scherr and Zieve. In this paper, three new classes of pseudo-planar binomials are provided. Moreover, we find that each pseudo-planar function gives an association scheme which is defined on a Galois ring.
Lower bounds on the Münchhausen problem
"The Baron's omni-sequence", B(n), first defined by Khovanova and Lewis (2011), is a sequence that gives for each n the minimum number of weighings on balance scales that can verify the correct labeling of n identically-looking coins with distinct integer weights between 1 gram and n grams. A trivial lower bound on B(n) is log_3(n), and it has been shown that B(n) is log_3(n) + O(log log n). In this paper we give a first nontrivial lower bound to the Münchhausen problem, showing that there is an infinite number of n values for which B(n) does not equal ceil(log_3 n). Furthermore, we show that if N(k) is the number of n values for which k = ceil(log_3 n) and B(n) does not equal k, then N(k) is an unbounded function of k.
On Balanced Coloring Games in Random Graphs
Published
• View Publication
• BIB
Consider the balanced Ramsey game, in which a player has r colors and where in each step r random edges of an initially empty graph on n vertices are presented. The player has to immediately assign a different color to each edge and her goal is to avoid creating a monochromatic copy of some fixed graph F for as long as possible. The Achlioptas game is similar, but the player only loses when she creates a copy of F in one distinguished color. We show that there is an infinite family of non-forests F for which the balanced Ramsey game has a different threshold than the Achlioptas game, settling an open question by Krivelevich et al. We also consider the natural vertex analogues of both games and show that their thresholds coincide for all graphs F, in contrast to our results for the edge case.