Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Suborbits in Knaster's problem
Published in Bull. London Math. Soc. 46:2 (2014), 269-278
• View Publication
• BIB
In this paper we exhibit a similarity between Euclidean Ramsey problems and Knaster-type problems. By borrowing ideas from Ramsey theory we prove weak Knaster properties of non-equatorial triangles in spheres, and of simplices in Euclidean spaces.
Structure and enumeration of (3+1)-free posets (extended abstract)
Published in 25th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2013), Discrete Mathematics & Theoretical Computer Science Proceedings (2013) 253-264
• View Publication
• BIB
A poset is (3+1)-free if it does not contain the disjoint union of chains of length 3 and 1 as an induced subposet. These posets are the subject of the (3+1)-free conjecture of Stanley and Stembridge. Recently, Lewis and Zhang have enumerated \emph{graded} (3+1)-free posets, but until now the general enumeration problem has remained open. We enumerate all (3+1)-free posets by giving a decomposition into bipartite graphs, and obtain generating functions for (3+1)-free posets with labelled or unlabelled vertices.
Structure coefficients of the Hecke algebra of $(S_{2n},B_n)$
Published in The Electronic Journal of Combinatorics 21(4) (2014) 4-35
• View Publication
• BIB
The Hecke algebra of the pair $(S_{2n},B_n)$, where $B_n$ is the hyperoctahedral subgroup of $S_{2n}$, was introduced by James in 1961. It is a natural analogue of the center of the symmetric group algebra. In this paper, we give a polynomiality property of its structure coefficients. Our main tool is a combinatorial universal algebra which projects on the Hecke algebra of $(S_{2n},B_n)$ for every $n$. To build it, we introduce new objects called partial bijections.
Goldie rank of primitive quotients via lattice point enumeration
Published in Glasg. Math. J. 55 (2013)
• View Publication
• BIB
Let k be an algebraically closed field of characteristic 0. Musson and vandenBergh classified primitive ideals for rings of torus invariant differential operators. This classification applies in particular to subquotients of localized extended Weyl algebras where it can be made explicit in terms of convex geometry. We recall these result and then turn to the corresponding primitive quotients and study their Goldie ranks. We prove that the primitive quotients fall into finitely many families whose Goldie ranks are given by a common quasi-polynomial and then realize these quasi-polynomials as Ehrhart quasi-polynomials arising from convex geometry.
The Connection between the Number of Realizations for Degree Sequences and Majorization
The \emph{graph realization problem} is to find for given nonnegative integers $a_1,\dots,a_n$ a simple graph (no loops or multiple edges) such that each vertex $v_i$ has degree $a_i.$ Given pairs of nonnegative integers $(a_1,b_1),\dots,(a_n,b_n),$ (i) the \emph{bipartite realization problem} ask whether there is a bipartite graph (no loops or multiple edges) such that vectors $(a_1,...,a_n)$ and $(b_1,...,b_n)$ correspond to the lists of degrees in the two partite sets, (ii) the \emph{digraph realization problem} is to find a digraph (no loops or multiple arcs) such that each vertex $v_i$ has indegree $a_i$ and outdegree $b_i.$\\ The classic literature provides characterizations for the existence of such realizations that are strongly related to the concept of majorization. Aigner and Triesch (1994) extended this approach to a more general result for graphs, leading to an efficient realization algorithm and a short and simple proof for the Erdős-Gallai Theorem. We extend this approach to the bipartite realization problem and the digraph realization problem.\\ Our main result is the connection between majorization and the number of realizations for a degree list in all three problems. We show: if degree list $S'$ majorizes $S$ in a certain sense, then $S$ possesses more realizations than $S'.$ We prove that constant lists possess the largest number of realizations for fixed $n$ and a fixed number of arcs $m$ when $n$ divides $m.$ So-called \emph{minconvex lists} for graphs and bipartite graphs or \emph{opposed minconvex lists} for digraphs maximize the number of realizations when $n$ does not divide $m$.
Locally identifying coloring in bounded expansion classes of graphs
A proper vertex coloring of a graph is said to be locally identifying if the sets of colors in the closed neighborhood of any two adjacent non-twin vertices are distinct. The lid-chromatic number of a graph is the minimum number of colors used by a locally identifying vertex-coloring. In this paper, we prove that for any graph class of bounded expansion, the lid-chromatic number is bounded. Classes of bounded expansion include minor closed classes of graphs. For these latter classes, we give an alternative proof to show that the lid-chromatic number is bounded. This leads to an explicit upper bound for the lid-chromatic number of planar graphs. This answers in a positive way a question of Esperet et al [L. Esperet, S. Gravier, M. Montassier, P. Ochem and A. Parreau. Locally identifying coloring of graphs. Electronic Journal of Combinatorics, 19(2), 2012.].
Bounded-size rules: The barely subcritical regime
Published in Combinator. Probab. Comp. 23 (2014) 505-538
• View Publication
• BIB
Bounded-size rules are dynamic random graph processes which incorporate limited choice along with randomness in the evolution of the system. One starts with the empty graph and at each stage two edges are chosen uniformly at random. One of the two edges is then placed into the system according to a decision rule based on the sizes of the components containing the four vertices. For bounded-size rules, all components of size greater than some fixed $K\geq 1$ are accorded the same treatment. Writing $\BS(t)$ for the state of the system with nt/2 edges, Spencer and Wormald proved that for such rules, there exists a critical time t_c such that when t< t_c the size of the largest component is of order $\log{n}$ while for $t> t_c$, the size of the largest component is of order $n$. In this work we obtain upper bounds (that hold with high probability) of order $n^{2γ} \log ^4 n$, on the size of the largest component, at time instants $t_n = t_c-n^{-γ}$, where $γ\in (0,1/4)$. This result for the barely subcritical regime forms a key ingredient in the study undertaken in \cite{amc-2012}, of the asymptotic dynamic behavior of the process describing the vector of component sizes and associated complexity of the components for such random graph models in the critical scaling window. The proof uses a coupling of BSR processes with a certain family of inhomogeneous random graphs with vertices in the type space $\Rbold_+\times \cD([0,\infty):\NNN_0)$ where $\cD([0,\infty):\NNN_0)$ is the Skorohod $D$-space of functions that are right continuous and have left limits equipped with the usual Skorohod topology. The coupling construction also gives an alternative characterization (than the usual explosion time of the susceptibility function) of the critical time $t_c$ for the emergence of the giant component in terms of the operator norm of integral operators on certain $L^2$ spaces.
Threshold functions and Poisson convergence for systems of equations in random sets
Published in Mathematische Zeitschrift, February 2018, Volume 288, Issue 1-2, pp. 333-360
• View Publication
• BIB
We present a unified framework to study threshold functions for the existence of solutions to linear systems of equations in random sets which includes arithmetic progressions, sum-free sets, $B_{h}[g]$-sets and Hilbert cubes. In particular, we show that there exists a threshold function for the property "$\mathcal{A}$ contains a non-trivial solution of $M\cdot\textbf{x}=\textbf{0}$", where $\mathcal{A}$ is a random set and each of its elements is chosen independently with the same probability from the interval of integers $\{1,\dots,n\}$. Our study contains a formal definition of trivial solutions for any combinatorial structure, extending a previous definition by Ruzsa when dealing with a single equation.
Furthermore, we study the behaviour of the distribution of the number of non-trivial solutions at the threshold scale. We show that it converges to a Poisson distribution whose parameter depends on the volumes of certain convex polytopes arising from the linear system under study as well as the symmetry inherent in the structures, which we formally define and characterize.
Weighted random staircase tableaux
Published in Combinator. Probab. Comp. 23 (2014) 1114-1147
• View Publication
• BIB
This paper concerns a relatively new combinatorial structure called staircase tableaux. They were introduced in the context of the asymmetric exclusion process and Askey--Wilson polynomials, however, their purely combinatorial properties have gained considerable interest in the past few years.
In this paper we further study combinatorial properties of staircase tableaux. We consider a general model of staircase tableaux in which symbols that appear in staircase tableaux may have arbitrary positive weights. Under this general model we derive a number of results. Some of our results concern the limiting laws for the number of appearances of symbols in a random staircase tableaux. They generalize and subsume earlier results that were obtained for specific values of the weights.
One advantage of our generality is that we may let the weights approach extreme values of zero or infinity which covers further special cases appearing earlier in the literature. Furthermore, our generality allows us to analyze the structure of random staircase tableaux and we obtain several results in this direction.
One of the tools we use are generating functions of the parameters of interests. This leads us to a two--parameter family of polynomials and we study this family as well. Specific values of the parameters include number of special cases analyzed earlier in the literature. All of them are generalizations of the classical Eulerian polynomials.
We also briefly discuss the relation of staircase tableaux to the asymmetric exclusion process, to other recently introduced types of tableaux, and to an urn model studied by a number of researchers, including Philippe Flajolet.
Classification of Polynomial Mappings Between Commutative Groups
Published in Journal of Number Theory 139 (2014) 1-28
• View Publication
• BIB
Some polynomials $P$ with rational coefficients give rise to well defined maps between cyclic groups, $\Z_q\longrightarrow\Z_r$, $x+q\Z\longmapsto P(x)+r\Z$. More generally, there are polynomials in several variables with tuples of rational numbers as coefficients that induce maps between commutative groups. We characterize the polynomials with this property, and classify all maps between two given finite commutative groups that arise in this way. We also provide interpolation formulas and a Taylor-type theorem for the calculation of polynomials that describe given maps.
Scattering Amplitudes and the Positive Grassmannian
We establish a direct connection between scattering amplitudes in planar four-dimensional theories and a remarkable mathematical structure known as the positive Grassmannian. The central physical idea is to focus on on-shell diagrams as objects of fundamental importance to scattering amplitudes. We show that the all-loop integrand in N=4 SYM is naturally represented in this way. On-shell diagrams in this theory are intimately tied to a variety of mathematical objects, ranging from a new graphical representation of permutations to a beautiful stratification of the Grassmannian G(k,n) which generalizes the notion of a simplex in projective space. All physically important operations involving on-shell diagrams map to canonical operations on permutations; in particular, BCFW deformations correspond to adjacent transpositions. Each cell of the positive Grassmannian is naturally endowed with positive coordinates and an invariant measure which determines the on-shell function associated with the diagram. This understanding allows us to classify and compute all on-shell diagrams, and give a geometric understanding for all the non-trivial relations among them. Yangian invariance of scattering amplitudes is transparently represented by diffeomorphisms of G(k,n) which preserve the positive structure. Scattering amplitudes in (1+1)-dimensional integrable systems and the ABJM theory in (2+1) dimensions can both be understood as special cases of these ideas. On-shell diagrams in theories with less (or no) supersymmetry are associated with exactly the same structures in the Grassmannian, but with a measure deformed by a factor encoding ultraviolet singularities. The Grassmannian representation of on-shell processes also gives a new understanding of the all-loop integrand for scattering amplitudes, presenting all integrands in a novel dLog form which directly reflects the underlying positive structure.
Edge-Fault Tolerance of Hypercube-like Networks
Published
• View Publication
• BIB
This paper considers a kind of generalized measure $λ_s^{(h)}$ of fault tolerance in a hypercube-like graph $G_n$ which contain several well-known interconnection networks such as hypercubes, varietal hypercubes, twisted cubes, crossed cubes and Möbius cubes, and proves $λ_s^{(h)}(G_n)= 2^h(n-h)$ for any $h$ with $0\leqslant h\leqslant n-1$ by the induction on $n$ and a new technique. This result shows that at least $2^h(n-h)$ edges of $G_n$ have to be removed to get a disconnected graph that contains no vertices of degree less than $h$. Compared with previous results, this result enhances fault-tolerant ability of the above-mentioned networks theoretically.
Transitivity of Varietal Hypercube Networks
Published
• View Publication
• BIB
The varietal hypercube $VQ_n$ is a variant of the hypercube $Q_n$ and has better properties than $Q_n$ with the same number of edges and vertices. This paper proves that $VQ_n$ is vertex-transitive. This property shows that when $VQ_n$ is used to model an interconnection network, it is high symmetrical and obviously superior to other variants of the hypercube such as the crossed cube.
On signless Laplacian coefficients of unicyclic graphs with given matching number
Published
• View Publication
• BIB
Let $G$ be an unicyclic graph of order $n$ and let $Q_G(x)= det(xI-Q(G))={matrix} \sum_{i=1}^n (-1)^i \varphi_i x^{n-i}{matrix}$ be the characteristic polynomial of the signless Laplacian matrix of a graph $G$. We give some transformations of $G$ which decrease all signless Laplacian coefficients in the set $\mathcal{G}(n,m)$. $\mathcal{G}(n,m)$ denotes all n-vertex unicyclic graphs with matching number $m$. We characterize the graphs which minimize all the signless Laplacian coefficients in the set $\mathcal{G}(n,m)$ with odd (resp. even) girth. Moreover, we find the extremal graphs which have minimal signless Laplacian coefficients in the set $\mathcal{G}(n)$ of all $n$-vertex unicyclic graphs with odd (resp. even) girth.
On signless Laplacian coefficients of bicyclic graphs
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$ and $Q_G(x)= det(xI-Q(G))= \sum_{i=1}^n (-1)^i \varphi_i x^{n-i}$ be the characteristic polynomial of the signless Laplacian matrix of a graph $G$. We give some transformations of $G$ which decrease all signless Laplacian coefficients in the set $\mathcal{B}(n)$ of all $n$-vertex bicyclic graphs. $\mathcal{B}^1(n)$ denotes all n-vertex bicyclic graphs with at least one odd cycle. We show that $B_n^1$ (obtained from $C_4$ by adding one edge between two non-adjacent vertices and adding $n-4$ pendent vertices at the vertex of degree 3) minimizes all the signless Laplacian coefficients in the set $\mathcal{B}^1(n)$. Moreover, we prove that $B_n^2$ (obtained from $K_{2,3}$ by adding $n-5$ pendent vertices at one vertex of degree 3) has minimum signless Laplacian coefficients in the set $\mathcal{B}^2(n)$ of all $n$-vertex bicyclic graphs with two even cycles.
Goldman Algebra, Opers and the Swapping Algebra
Published in Geom. Topol. 22 (2018) 1267-1348
• View Publication
• BIB
We define a Poisson Algebra called the {\em swapping algebra} using the intersection of curves in the disk. We interpret a subalgebra of the fraction algebra of the swapping algebra -- called the {\em algebra of multifractions} -- as an algebra of functions on the space of cross ratios and thus as an algebra of functions on the Hitchin component as well as on the space of $\mathsf{SL}_n(\mathbb R)$-opers with trivial holonomy. We relate this Poisson algebra to the Atiyah--Bott--Goldman symplectic structure and to the Drinfel'd--Sokolov reduction. We also prove an extension of Wolpert formula.
On the Complexity of Joint Subcarrier and Power Allocation for Multi-User OFDMA Systems
Published
• View Publication
• BIB
Consider a multi-user Orthogonal Frequency Division Multiple Access (OFDMA) system where multiple users share multiple discrete subcarriers, but at most one user is allowed to transmit power on each subcarrier. To adapt fast traffic and channel fluctuations and improve the spectrum efficiency, the system should have the ability to dynamically allocate subcarriers and power resources to users. Assuming perfect channel knowledge, two formulations for the joint subcarrier and power allocation problem are considered in this paper: the first is to minimize the total transmission power subject to quality of service constraints and the OFDMA constraint, and the second is to maximize some system utility function (including the sum-rate utility, the proportional fairness utility, the harmonic mean utility, and the min-rate utility) subject to the total transmission power constraint per user and the OFDMA constraint. In spite of the existence of various heuristics approaches, little is known about the computational complexity status of the above problem. This paper aims to fill this theoretical gap, i.e., characterizing the complexity of the joint subcarrier and power allocation problem for the multi-user OFDMA system. It is shown in this paper that both formulations of the joint subcarrier and power allocation problem are strongly NP-hard. The proof is based on a polynomial time transformation from the so-called 3-dimensional matching problem. Several subclasses of the problem which can be solved to global optimality or $ε$-global optimality in polynomial time are also identified. These complexity results suggest that there are not polynomial time algorithms which are able to solve the general joint subcarrier and power allocation problem to global optimality (unless P$=$NP), and determining an approximately optimal subcarrier and power allocation strategy is more realistic in practice.
On growth in an abstract plane
Published
• View Publication
• BIB
There is a parallelism between growth in arithmetic combinatorics and growth in a geometric context. While, over $\mathbb{R}$ or $\mathbb{C}$, geometric statements on growth often have geometric proofs, what little is known over finite fields rests on arithmetic proofs. We discuss strategies for geometric proofs of growth over finite fields, and show that growth can be defined and proven in an abstract projective plane -- even one with weak axioms.
On constant-multiple-free sets contained in a random set of integers
Published in Ars Combinatoria 113A (2014), 247-256
• Search Publication
For a rational number $r>1$, a set $A$ of positive integers is called an $r$-multiple-free set if $A$ does not contain any solution of the equation $rx = y$.
The extremal problem on estimating the maximum possible size of $r$-multiple-free sets contained in $[n]:={1,2,...,n}$ has been studied for its own interest in combinatorial number theory and application to coding theory. Let $a$, $b$ be positive integers such that $a<b$ and the greatest common divisor of $a$ and $b$ is 1. Wakeham and Wood showed that the maximum size of $(b/a)$-multiple-free sets contained in $[n]$ is $\frac{b}{b+1}n+O(\log n)$.
In this paper we generalize this result as follows. For a real number $p\in (0,1)$, let $[n]_p$ be a set of integers obtained by choosing each element $i\in [n]$ randomly and independently with probability $p$. We show that the maximum possible size of $(b/a)$-multiple-free sets contained in $[n]_p$ is $\frac{b}{b+p}pn+O(\sqrt{pn}\log n \log \log n)$ with probability that goes to 1 as $n\to \infty$.
A Polynomial Time Version of LLL With Deep Insertions
Published
• View Publication
• BIB
Lattice reduction algorithms have numerous applications in number theory, algebra, as well as in cryptanalysis. The most famous algorithm for lattice reduction is the LLL algorithm. In polynomial time it computes a reduced basis with provable output quality. One early improvement of the LLL algorithm was LLL with deep insertions (DeepLLL). The output of this version of LLL has higher quality in practice but the running time seems to explode. Weaker variants of DeepLLL, where the insertions are restricted to blocks, behave nicely in practice concerning the running time. However no proof of polynomial running time is known. In this paper a new variant of DeepLLL with provably polynomial running time is presented. We compare the practical behavior of the new algorithm to classical LLL, BKZ as well as blockwise variants of DeepLLL regarding both the output quality and running time.