Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On restricted sumsets over a field
Published
• View Publication
• BIB
We consider restricted sumsets over field $F$. Let\begin{align*}C=\{a_1+\cdots+a_n:a_1\in A_1,\ldots,a_n\in A_n, a_i-a_j\notin S_{ij}\ \text{if}\ i\not=j\},\end{align*} where $S_{ij}(1\leqslant i\not=j\leqslant n)$ are finite subsets of $F$ with cardinality $m$, and $A_1,\ldots, A_n$ are finite nonempty subsets of $F$ with $|A_1|=\cdots=|A_n|=k$. Let $p(F)$ be the additive order of the identity of $F$. It is proved that $|C|\geqslant \min\{p(F),\ \ n(k-1)-mn(n-1)+1\}$ if $p(F)>mn$. This conclusion refines the result of Hou and Sun.
The colourful simplicial depth conjecture
Published
• View Publication
• BIB
Given $d+1$ sets of points, or colours, $S_1,\ldots,S_{d+1}$ in $\mathbb R^d$, a colourful simplex is a set $T\subseteq\bigcup_{i=1}^{d+1}S_i$ such that $|T\cap S_i|\leq 1$, for all $i\in\{1,\ldots,d+1\}$. The colourful Carathéodory theorem states that, if $\mathbf 0$ is in the convex hull of each $S_i$, then there exists a colourful simplex $T$ containing $\mathbf 0$ in its convex hull. Deza, Huang, Stephen, and Terlaky (Colourful simplicial depth, Discrete Comput. Geom., 35, 597--604 (2006)) conjectured that, when $|S_i|=d+1$ for all $i\in\{1,\ldots,d+1\}$, there are always at least $d^2+1$ colourful simplices containing $\mathbf 0$ in their convex hulls. We prove this conjecture via a combinatorial approach.
Generalized Huffman Coding for Binary Trees with Choosable Edge Lengths
Published in Information Processing Letters 115 (4), pp. 502-506 (2015)
• View Publication
• BIB
In this paper we study binary trees with choosable edge lengths, in particular rooted binary trees with the property that the two edges leading from every non-leaf to its two children are assigned integral lengths $l_1$ and $l_2$ with $l_1+l_2 =k$ for a constant $k\in\mathbb{N}$. The depth of a leaf is the total length of the edges of the unique root-leaf-path.
We present a generalization of the Huffman Coding that can decide in polynomial time if for given values $d_1,...,d_n\in\mathbb{N}_{\geq 0}$ there exists a rooted binary tree with choosable edge lengths with $n$ leaves having depths at most $d_1,..., d_n$.
Cayley graphs generated by small degree polynomials over finite fields
Published
• View Publication
• BIB
We improve upper bounds of F. R. K. Chung and of M. Lu, D. Wan, L.-P. Wang, X.-D. Zhang on the diameter of some Cayley graphs constructed from polynomials over finite fields.
Probability that n random points in a disk are in convex position
Published
• View Publication
• BIB
In this paper we give a formula for the probability that $n$ random points chosen under the uniform distribution in a disk are in convex position. While close, the formula is recursive and is totally explicit only for the first values of $n$.
Reverse lexicographic Gröbner bases and strongly Koszul toric rings
Published in Mathematica Scandinavica 119 (2016), 161-168
• View Publication
• BIB
Restuccia and Rinaldo proved that a standard graded $K$-algebra $K[x_1, ... x_n]/I$ is strongly Koszul if the reduced Gröbner basis of $I$ with respect to any reverse lexicographic order is quadratic. In this paper, we give a sufficient condition for a toric ring $K[A]$ to be strongly Koszul in terms of the reverse lexicographic Gröbner bases of its toric ideal $I_A$. This is a partial extension of a result given by Restuccia and Rinaldo.
In addition, we show that any strongly Koszul toric ring generated by squarefree monomials is compressed. Using this fact, we show that our sufficient condition for $K[A]$ to be strongly Koszul is both necessary and sufficient when $K[A]$ is generated by squarefree monomials.
S-crucial and bicrucial permutations with respect to squares
A permutation is square-free if it does not contain two consecutive factors of length two or more that are order-isomorphic. A permutation is bicrucial with respect to squares if it is square-free but any extension of it to the right or to the left by any element gives a permutation that is not square-free.
Bicrucial permutations with respect to squares were studied by Avgustinovich et al., who proved that there exist bicrucial permutations of lengths $8k+1, 8k+5, 8k+7$ for $k\ge 1$. It was left as open questions whether bicrucial permutations of even length, or such permutations of length $8k+3$ exist. In this paper, we provide an encoding of orderings which allows us, using the constraint solver Minion, to show that bicrucial permutations of even length exist, and the smallest such permutations are of length 32. To show that 32 is the minimum length in question, we establish a result on left-crucial (that is, not extendable to the left) square-free permutations which begin with three elements in monotone order. Also, we show that bicrucial permutations of length $8k+3$ exist for $k=2,3$ and they do not exist for $k=1$.
Further, we generalise the notions of right-crucial, left-crucial, and bicrucial permutations studied in the literature in various contexts, by introducing the notion of $P$-crucial permutations that can be extended to the notion of $P$-crucial words. In S-crucial permutations, a particular case of $P$-crucial permutations, we deal with permutations that avoid prohibitions, but whose extensions in any position contain a prohibition. We show that S-crucial permutations exist with respect to squares, and minimal such permutations are of length 17.
Finally, using our software, we generate much of relevant data showing, for example, that there are 162,190,472 bicrucial square-free permutations of length 19.
Potential Games are Necessary to Ensure Pure Nash Equilibria in Cost Sharing Games
Published
• View Publication
• BIB
We consider the problem of designing distribution rules to share "welfare" (cost or revenue) among individually strategic agents. There are many known distribution rules that guarantee the existence of a (pure) Nash equilibrium in this setting, e.g., the Shapley value and its weighted variants; however, a characterization of the space of distribution rules that guarantee the existence of a Nash equilibrium is unknown. Our work provides an exact characterization of this space for a specific class of scalable and separable games, which includes a variety of applications such as facility location, routing, network formation, and coverage games. Given arbitrary local welfare functions W, we prove that a distribution rule guarantees equilibrium existence for all games (i.e., all possible sets of resources, agent action sets, etc.) if and only if it is equivalent to a generalized weighted Shapley value on some "ground" welfare functions W', which can be distinct from W. However, if budget-balance is required in addition to the existence of a Nash equilibrium, then W' must be the same as W. We also provide an alternate characterization of this space in terms of "generalized" marginal contributions, which is more appealing from the point of view of computational tractability. A possibly surprising consequence of our result is that, in order to guarantee equilibrium existence in all games with any fixed local welfare functions, it is necessary to work within the class of potential games.
On the distribution of some Euler-Mahonian statistics
Published
• View Publication
• BIB
We give a direct combinatorial proof of the equidistribution of two pairs of permutation statistics, (des, aid) and (lec, inv), which have been previously shown to have the same joint distribution as (exc, maj), the major index and the number of excedances of a permutation. Moreover, the triple (pix, lec, inv) was shown to have the same distribution as (fix, exc, maj), where fix is the number of fixed points of a permutation. We define a new statistic aix so that our bijection maps (pix, lec, inv) to (aix, des, aid). We also find an Eulerian partner das for a Mahonian statistic mix defined using mesh patterns, so that (das, mix) is equidistributed with (des, inv).
Hilbert Functions and the Finite Degree Zariski Closure in Finite Field Combinatorial Geometry
Published
• View Publication
• BIB
The polynomial method has been used recently to obtain many striking results in combinatorial geometry. In this paper, we use affine Hilbert functions to obtain an estimation theorem in finite field geometry. The most natural way to state the theorem is via a sort of bounded degree Zariski closure operation: given a set, we consider all polynomials of some bounded degree vanishing on that set, and then the common zeros of these polynomials. For example, the degree d closure of d + 1 points on a line will contain the whole line, as any polynomial of degree at most d vanishing on the d + 1 points must vanish on the line. Our result is a bound on the size of a finite degree closure of a given set. Finally, we adapt our use of Hilbert functions to the method of multiplicities.
$(2,2)$-colourings and clique-free $σ$-hypergraphs
We consider vertex colourings of $r$-uniform hypergraphs $H$ in the classical sense, that is such that no edge has all its vertices given the same colour, and $(2,2)$-colourings of $H$ in which the vertices in any edge are given exactly two colours. This is a special case of constrained colourings introduced by Bujtas and Tuza which, in turn, is a generalisation of Voloshin's colourings of mixed hypergraphs. We study, $χ(H)$, the classical chromatic number, and the $(2,2)$-spectrum of $H$, that is, the set of integers $k$ for which $H$ has a $(2,2)$-colouring using exactly $k$ colours.
We present extensions of hypergraphs which preserve both the chromatic number and the $(2,2)$-spectrum and which, however often repeated, do not increase the clique number of $H$ by more than a fixed number. In particular, we present sparse $(2,2)$-colourable clique-free $σ$-hypergraphs having arbitrarily large chromatic number - these $r$-uniform hypergraphs were studied by the authors in earlier papers. We use these ideas to extend some known $3$-uniform hypergraphs which exhibit a $(2,2)$-spectrum with remarkable gaps. We believe that this work is the first to present an extension of hypergraphs which preserves both $χ(H)$ and the $(2,2)$-spectrum of $H$ simultaneously.
On the Augmented Zagreb Index
Published in Kuwait J. Sci. 43(2), (2016) 48-63
• Search Publication
Topological indices play an important role in mathematical chemistry especially in the quantitative structure-property relationship (QSPR) and quantitative structure-activity relationship (QSAR). Recent research indicates that the augmented Zagreb index (AZI) possess the best correlating ability among several topological indices. The main purpose of the current study is to establish some mathematical properties of this index, or more precisely, to report tight bounds for the AZI of chemical bicyclic and chemical unicyclic graphs. A Nordhaus-Gaddum-type result for the AZI (of connected graph whose complement is connected) is also derived.
Some relational structures with polynomial growth and their associated algebras I: Quasi-polynomiality of the profile
Published in Electronic Journal of Combinatorics 20(2) 2013
• View Publication
• BIB
The profile of a relational structure $R$ is the function $\varphi_R$ which counts for every integer $n$ the number $\varphi_R(n)$, possibly infinite, of substructures of $R$ induced on the $n$-element subsets, isomorphic substructures being identified. If $\varphi_R$ takes only finite values, this is the Hilbert function of a graded algebra associated with $R$, the age algebra introduced by P. J. Cameron.
In this paper we give a closer look at this association, particularly when the relational structure $R$ admits a finite monomorphic decomposition. This setting still encompass well-studied graded commutative algebras like invariant rings of finite permutation groups, or the rings of quasi-symmetric polynomials. We prove that $\varphi_R$ is eventually a quasi-polynomial, this supporting the conjecture that, under mild assumptions on $R$, $\varphi_R$ is eventually a quasi-polynomial when it is bounded by some polynomial.
Notes and Note-Pairs in Noergaard's Infinity Series
Published
• View Publication
• BIB
The Danish composer Per Noergaard defined the "infinity series" s = (s(n))_n>=0 by the rules s(0) = 0, s(2n) = -s(n) for n >= 1, and s(2n + 1) = s(n) + 1 for n >= 0; it figures prominently in many of his compositions. Here we give several new results about this sequence: first, the set of binary representations of the positions of each note forms a context-free language that is not regular; second, a complete characterization of exactly which note-pairs appear; third, that consecutive occurrences of identical phrases are widely separated. We also consider to what extent the infinity series is unique.
A note on circular chromatic number of graphs with large girth and similar problems
In this short note, we extend the result of Galluccio, Goddyn, and Hell, which states that graphs of large girth excluding a minor are nearly bipartite. We also prove a similar result for the oriented chromatic number, from which follows in particular that graphs of large girth excluding a minor have oriented chromatic number at most $5$, and for the $p$th chromatic number $χ_p$, from which follows in particular that graphs $G$ of large girth excluding a minor have $χ_p(G)\leq p+2$.
Information-Geometric Equivalence of Transportation Polytopes
Published in Probl. Inf. Transm., vol. 51, no. 2, pp. 103-109, Apr. 2015
• View Publication
• BIB
This paper deals with transportation polytopes in the probability simplex (that is, sets of categorical bivariate probability distributions with prescribed marginals). Information projections between such polytopes are studied, and a sufficient condition is described under which these mappings are homeomorphisms.
Addition-Deletion Theorems for Factorizations of Orlik-Solomon Algebras and nice Arrangements
Published
• View Publication
• BIB
We study the notion of a nice partition or factorization of a hyperplane arrangement due to Terao from the early 1990s. The principal aim of this note is an analogue of Terao's celebrated addition-deletion theorem for free arrangements for the class of nice arrangements. This is a natural setting for the stronger property of an inductive factorization of a hyperplane arrangement by Jambu and Paris.
In addition, we show that supersolvable arrangements are inductively factored and that inductively factored arrangements are inductively free. Combined with our addition-deletion theorem this leads to the concept of an induction table for inductive factorizations.
Finally, we prove that the notions of factored and inductively factored arrangements are compatible with the product construction for arrangements.
Extremal problems for the p-spectral radius of graphs
Published
• View Publication
• BIB
The $p$-spectral radius of a graph $G\ $of order $n$ is defined for any real number $p\geq1$ as \[ λ^{\left( p\right) }\left( G\right) =\max\left\{ 2\sum_{\{i,j\}\in E\left( G\right) \ }x_{i}x_{j}:x_{1},\ldots,x_{n}\in\mathbb{R}\text{ and }\left\vert x_{1}\right\vert ^{p}+\cdots+\left\vert x_{n}\right\vert ^{p}=1\right\} . \] The most remarkable feature of $λ^{\left( p\right) }$ is that it seamlessly joins several other graph parameters, e.g., $λ^{\left( 1\right) }$ is the Lagrangian, $λ^{\left( 2\right) }$ is the spectral radius and $λ^{\left( \infty\right) }/2$ is the number of edges. This paper presents solutions to some extremal problems about $λ^{\left( p\right) }$, which are common generalizations of corresponding edge and spectral extremal problems.
Let $T_{r}\left( n\right) $ be the $r$-partite Turán graph of order $n.$ Two of the main results in the paper are:
(I) Let $r\geq2$ and $p>1.$ If $G$ is a $K_{r+1}$-free graph of order $n,$ then \[ λ^{\left( p\right) }\left( G\right) <λ^{\left( p\right) }\left( T_{r}\left( n\right) \right) , \] unless $G=T_{r}\left( n\right) .$
(II) Let $r\geq2$ and $p>1.$ If $G\ $is a graph of order $n,$ with \[ λ^{\left( p\right) }\left( G\right) >λ^{\left( p\right) }\left( T_{r}\left( n\right) \right) , \] then $G$ has an edge contained in at least $cn^{r-1}$ cliques of order $r+1,$ where $c$ is a positive number depending only on $p$ and $r.$
Threshold state and a conjecture of Poghosyan, Poghosyan, Priezzhev and Ruelle
Published
• View Publication
• BIB
We prove a precise relationship between the threshold state of the fixed-energy sandpile and the stationary state of Dhar's abelian sandpile: In the limit as the initial condition tends to negative infinity, the former is obtained by size-biasing the latter according to burst size, an avalanche statistic. The question of whether and how these two states are related has been a subject of some controversy since 2000.
The size-biasing in our result arises as an instance of a Markov renewal theorem, and implies that the threshold and stationary distributions are not equal even in the negative infinity limit. We prove that nevertheless in this limit the total amount of sand in the threshold state converges in distribution to the total amount of sand in the stationary state, confirming a conjecture of Poghosyan, Poghosyan, Priezzhev and Ruelle.
Permutation Patterns in Latin Squares
Published in Australsian Journal of Combinatorics 59 (2014) 218-228
• Search Publication
In this paper we study pattern avoidance in Latin Squares, which gives us a two dimensional analogue of the well studied notion of pattern avoidance in permutations. Our main results include enumerating and characterizing the Latin Squares which avoid patterns of length three and a generalization of the Erdős-Szekeres theorem. We also discuss equivalence classes among longer patterns, and conclude by describing open questions of interest both in light of pattern avoidance and their potential to reveal information about the structure of Latin Squares. Along the way, we show that classical results need not trivially generalize, and demonstrate techniques that may help answer future questions.