Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Maximum entropy Gaussian approximation for the number of integer points and volumes of polytopes
Published
• View Publication
• BIB
We describe a maximum entropy approach for computing volumes and counting integer points in polyhedra. To estimate the number of points from a particular set X in R^n in a polyhedron P in R^n, by solving a certain entropy maximization problem, we construct a probability distribution on the set X such that a) the probability mass function is constant on the intersection of P and X and b) the expectation of the distribution lies in P. This allows us to apply Central Limit Theorem type arguments to deduce computationally efficient approximations for the number of integer points, volumes, and the number of 0-1 vectors in the polytope. As an application, we obtain asymptotic formulas for volumes of multi-index transportation polytopes and for the number of multi-way contingency tables.
A multivariate arithmetic function of combinatorial and topological significance
Published in Integers, 10 (2010), A12, 155-177 (the last remark has been strengthened)
• View Publication
• BIB
We investigate properties of a multivariate function $E(m_1,m_2,...,m_r)$, called {\it orbicyclic}, that arises in enumerative combinatorics in counting non-isomorphic maps on orientable surfaces. $E(m_1,m_2,...,m_r)$ proves to be multiplicative, and a simple formula for its calculation is provided. It is shown that the necessary and sufficient conditions for this function to vanish is equivalent to familiar Harvey's conditions that characterize possible branching data of finite cyclic automorphism groups of Riemann surfaces.
Doubly Symmetric Functions
In this paper we introduce doubly symmetric functions, arising from the equivalence of particular linear combinations of Schur functions and hook Schur functions. We study algebraic and combinatorial aspects of doubly symmetric functions, in particular as they form a subalgebra of the algebra of symmetric functions. This subalgebra is generated by the odd power sum symmetric functions. One consequence is that a Schur function itself is doubly symmetric if and only if it is the Schur function of a staircase shape.
SQS-graphs of extended 1-perfect codes
Published in Congressus Numerantium, {\bf 193}(2008), 175--194, {\bf MR}2487725; 94B05, (05C90)
• Search Publication
A binary extended 1-perfect code $\mathcal C$ folds over its kernel via the Steiner quadruple systems associated with its codewords. The resulting folding, proposed as a graph invariant for $\mathcal C$, distinguishes among the 361 nonlinear codes $\mathcal C$ of kernel dimension $κ$ with $9\geqκ\geq 5$ obtained via Solov'eva-Phelps doubling construction. Each of the 361 resulting graphs has most of its nonloop edges expressible in terms of the lexicographically disjoint quarters of the products of the components of two of the ten 1-perfect partitions of length 8 classified by Phelps, and loops mostly expressible in terms of the lines of the Fano plane.
Supplementary difference sets with symmetry for Hadamard matrices
Published in Operators and Matrices, vol. 3, No. 4 (2009), 557-569.
• Search Publication
First we give an overview of the known supplementary difference sets (SDS) (A_i), i=1..4, with parameters (n;k_i;d), where k_i=|A_i| and each A_i is either symmetric or skew and k_1 + ... + k_4 = n + d. Five new Williamson matrices over the elementary abelian groups of order 25, 27 and 49 are constructed. New examples of skew Hadamard matrices of order 4n for n=47,61,127 are presented. The last of these is obtained from a (127,57,76)-difference family that we have constructed. An old non-published example of G-matrices of order 37 is also included.
More refined enumerations of alternating sign matrices
Published
• View Publication
• BIB
We study a further refinement of the standard refined enumeration of alternating sign matrices (ASMs) according to their first two rows instead of just the first row, and more general "d-refined" enumerations of ASMs according to the first d rows. For the doubly-refined case of d=2, we derive a system of linear equations satisfied by the doubly-refined enumeration numbers A_{n,i,j} that enumerate such matrices. We give a conjectural explicit formula for A_{n,i,j} and formulate several other conjectures about the sufficiency of the linear equations to determine the A_{n,i,j}'s and about an extension of the linear equations to the general d-refined enumerations.
A uniform proof of the Macdonald-Mehta-Opdam identity for finite Coxeter groups
Published
• View Publication
• BIB
We give a new proof of the Macdonald-Mehta-Opdam integral identity for finite Coxeter groups. This identity was conjectured by Macdonald and proved by Opdam in 1993 using the theory of multivariable Bessel functions, but in non-crystallographic cases the proof relied on a computer calculation by F. Garvan. Our proof is somewhat more elementary (in particular, it does not use multivariable Bessel functions), and uniform (does not refer to the classification of finite Coxeter groups and does not use computers).
The hardness of the independence and matching clutter of a graph
Published
• View Publication
• BIB
A {\it clutter} (or {\it antichain} or {\it Sperner family}) $L$ is a pair $(V,E)$, where $V$ is a finite set and $E$ is a family of subsets of $V$ none of which is a subset of another. Usually, the elements of $V$ are called {\it vertices} of $L$, and the elements of $E$ are called {\it edges} of $L$. A subset $s_e$ of an edge $e$ of a clutter is called {\it recognizing} for $e$, if $s_e$ is not a subset of another edge. The {\it hardness} of an edge $e$ of a clutter is the ratio of the size of $e\textrm{'s}$ smallest recognizing subset to the size of $e$. The hardness of a clutter is the maximum hardness of its edges. We study the hardness of clutters arising from independent sets and matchings of graphs.
A Probabilistic Characterization of Random Proximity Catch Digraphs and the Associated Tools
Proximity catch digraphs (PCDs) are based on proximity maps which yield proximity regions and are special types of proximity graphs. PCDs are based on the relative allocation of points from two or more classes in a region of interest and have applications in various fields. In this article, we provide auxiliary tools for and various characterizations of PCDs based on their probabilistic behavior. We consider the cases in which the vertices of the PCDs come from uniform and non-uniform distributions in the region of interest. We also provide some of the newly defined proximity maps as illustrative examples.
The continuum limit of critical random graphs
Published
• View Publication
• BIB
We consider the Erdos-Renyi random graph G(n,p) inside the critical window, that is when p=1/n+ lambda*n^{-4/3}, for some fixed lambda in R. Then, as a metric space with the graph distance rescaled by n^{-1/3}, the sequence of connected components G(n,p) converges towards a sequence of continuous compact metric spaces. The result relies on a bijection between graphs and certain marked random walks, and the theory of continuum random trees. Our result gives access to the answers to a great many questions about distances in critical random graphs. In particular, we deduce that the diameter of G(n,p) rescaled by n^{-1/3} converges in distribution to an absolutely continuous random variable with finite mean.
Two-batch liar games on a general bounded channel
Published
• View Publication
• BIB
We consider an extension of the 2-person Rényi-Ulam liar game in which lies are governed by a channel $C$, a set of allowable lie strings of maximum length $k$. Carole selects $x\in[n]$, and Paul makes $t$-ary queries to uniquely determine $x$. In each of $q$ rounds, Paul weakly partitions $[n]=A_0\cup >... \cup A_{t-1}$ and asks for $a$ such that $x\in A_a$. Carole responds with some $b$, and if $a\neq b$, then $x$ accumulates a lie $(a,b)$. Carole's string of lies for $x$ must be in the channel $C$. Paul wins if he determines $x$ within $q$ rounds. We further restrict Paul to ask his questions in two off-line batches. We show that for a range of sizes of the second batch, the maximum size of the search space $[n]$ for which Paul can guarantee finding the distinguished element is $\sim t^{q+k}/(E_k(C)\binom{q}{k})$ as $q\to\infty$, where $E_k(C)$ is the number of lie strings in $C$ of maximum length $k$. This generalizes previous work of Dumitriu and Spencer, and of Ahlswede, Cicalese, and Deppe. We extend Paul's strategy to solve also the pathological liar variant, in a unified manner which gives the existence of asymptotically perfect two-batch adaptive codes for the channel $C$.
A Specht filtration of an induced Specht module
Published in J. Algebra, 322 (2009), 893-902
• View Publication
• BIB
Let $\H_n$ be a (degenerate or non-degenerate) Hecke algebra of type $G(\ell,1,n)$, defined over a commutative ring $R$ with one, and let $S(\bmu)$ be a Specht module for $\H_n$. This paper shows that the induced Specht module $S(\bmu)\otimes_{\H_n}\H_{n+1}$ has an explicit Specht filtration.
Pancyclicity of Hamiltonian and highly connected graphs
Published
• View Publication
• BIB
A graph G on n vertices is Hamiltonian if it contains a cycle of length n and pancyclic if it contains cycles of length $\ell$ for all $3 \le \ell \le n$. Write $α(G)$ for the independence number of $G$, i.e. the size of the largest subset of the vertex set that does not contain an edge, and $κ(G)$ for the (vertex) connectivity, i.e. the size of the smallest subset of the vertex set that can be deleted to obtain a disconnected graph. A celebrated theorem of Chvátal and Erdős says that $G$ is Hamiltonian if $κ(G) \ge α(G)$. Moreover, Bondy suggested that almost any non-trivial conditions for Hamiltonicity of a graph should also imply pancyclicity. Motivated by this, we prove that if $κ(G) \ge 600α(G)$ then G is pancyclic. This establishes a conjecture of Jackson and Ordaz up to a constant factor. Moreover, we obtain the more general result that if G is Hamiltonian with minimum degree $δ(G) \ge 600α(G)$ then G is pancyclic. Improving an old result of Erdős, we also show that G is pancyclic if it is Hamiltonian and $n \ge 150α(G)^3$. Our arguments use the following theorem of independent interest on cycle lengths in graphs: if $δ(G) \ge 300α(G)$ then G contains a cycle of length $\ell$ for all $3 \le \ell \le δ(G)/81$.
Nash-equilibria and N-fold integer programming
Inspired by a paper of R. W. Rosenthal, we investigate generalized Nash-equilibria of integer programming games. We show that generalized Nash-equilibria always exist and are related to an optimal solution of a so-called N-fold integer program. This link allows us to establish some polynomial time complexity results about solving this optimization problem and its inverse counter-part.
The Non-Commutative Cycle Lemma
Published in J. Combin. Theory Ser. A 117 (2010), no. 8, 1158-1166
• View Publication
• BIB
We present a non-commutative version of the cycle lemma of Dvoretsky and Motzkin that applies to free groups and use this result to solve a number of problems involving cyclic reduction in the free group. We also describe an application to random matrices, in particular the fluctuations of Kesten's Law.
The operator formula for monotone triangles - simplified proof and three generalizations
Published
• View Publication
• BIB
We provide a simplified proof of our operator formula for the number of monotone triangles with prescribed bottom row, which enables us to deduce three generalizations of the formula. One of the generalizations concerns a certain weighted enumeration of monotone triangles which specializes to the weighted enumeration of alternating sign matrices with respect to the number of -1s in the matrix when prescribing $(1,2,...,n)$ as the bottom row of the monotone triangle.
Embeddings of local fields in simple algebras and simplicial structures on the Bruhat-Tits building
Published
• View Publication
• BIB
This article answers a question that naturally arises from the articles by Grabitz and Broussous "Pure elements and intertwining classes of simple strata in local central simple algebras" and Broussous and Lemaire "Buildings of GL(m,D) and Centralizers". For an Azumaya-Algebra A over a non-Archimedean local field F, Grabitz and Broussous have introduced embedding invariants for field embeddings, that is for pairs (E,a), where E is a field extension of F in A, and $a$ is a hereditary order which is normalised by E^x. On the other hand if we take such a field extension E and define B to be the centralizer of E in A, then G:=A^x and G_E:=B^x are sets of rational points of reductive groups defined over F and E respectively. Broussous and Lemaire have defined a map j_E: I^{E^x}\to I_E, where $I$ is the the Euclidean building of $G$, and I_E is the Euclidean building of G_E. The question which we address is to relate the embedding invariants to the behavior of the map j_E with respect to the simplicial structures of $I$ and I_E. I have to thank very much Prof. Zink from Homboldt University Berlin for his helpful remarks, the revision of the work and for giving my the interesting task.
Pinned distance sets, k-simplices, Wolff's exponent in finite fields and sum-product estimates
Published
• View Publication
• BIB
An analog of the Falconer distance problem in vector spaces over finite fields asks for the threshold $α>0$ such that $|Δ(E)| \gtrsim q$ whenever $|E| \gtrsim q^α$, where $E \subset {\Bbb F}_q^d$, the $d$-dimensional vector space over a finite field with $q$ elements (not necessarily prime). Here $Δ(E)=\{{(x_1-y_1)}^2+...+{(x_d-y_d)}^2: x,y \in E\}$. In two dimensions we improve the known exponent to $\tfrac{4}{3}$, consistent with the corresponding exponent in Euclidean space obtained by Wolff.
The pinned distance set $Δ_y(E)=\{{(x_1-y_1)}^2+...+{(x_d-y_d)}^2: x\in E\}$ for a pin $y\in E$ has been studied in the Euclidean setting. Peres and Schlag showed that if the Hausdorff dimension of a set $E$ is greater than $\tfrac{d+1}{2}$ then the Lebesgue measure of $Δ_y(E)$ is positive for almost every pin $y$. In this paper we obtain the analogous result in the finite field setting. In addition, the same result is shown to be true for the pinned dot product set $Π_y(E)=\{x\cdot y: x\in E\}$. Under the additional assumption that the set $E$ has cartesian product structure we improve the pinned threshold for both distances and dot products to $\frac{d^2}{2d-1}$.
A generalization of the Falconer distance problem is determine the minimal $α>0$ such that $E$ contains a congruent copy of every $k$ dimensional simplex whenever $|E| \gtrsim q^α$. Here the authors improve on known results (for $k>3$) using Fourier analytic methods, showing that $α$ may be taken to be $\frac{d+k}{2}$.
Edge colored hypergraphic arrangements
Published
• View Publication
• BIB
A subspace arrangement defined by intersections of hyperplanes of the braid arrangement can be encoded by an edge colored hypergraph. It turns out that the characteristic polynomial of this type of subspace arrangement is given by a generalized chromatic polynomial of the associated edge colored hypergraph. The main result of this paper supplies a sufficient condition for the existence of non-trivial Massey products of the subspace arrangements complex complement. This is accomplished by studying a spectral sequence associated to the Lie coalgebras of Sinha and Walter.
Projection-Forcing Multisets of Weight Changes
Published in Journal of Combinatorial Theory, Series A, 117(8): 1136-1142, 2010
• View Publication
• BIB
Let $F$ be a finite field. A multiset $S$ of integers is projection-forcing if for every linear function $φ: F^n \to F^m$ whose multiset of weight changes is $S$, $φ$ is a coordinate projection up to permutation and scaling of entries. The MacWilliams Extension Theorem from coding theory says that $S = \{0, 0, ..., 0\}$ is projection-forcing. We give a (super-polynomial) algorithm to determine whether or not a given $S$ is projection-forcing. We also give a condition that can be checked in polynomial time that implies that $S$ is projection-forcing. This result is a generalization of the MacWilliams Extension Theorem and work by the first author.