Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Squares and their centers
Published in Journal d'Analyse Mathematique 134 (2018), 643-669
• View Publication
• BIB
We study the relationship between the sizes of two sets $B, S\subset\mathbb{R}^2$ when $B$ contains either the whole boundary, or the four vertices, of a square with axes-parallel sides and center in every point of $S$, where size refers to one of cardinality, Hausdorff dimension, packing dimension, or upper or lower box dimension. Perhaps surprinsingly, the results vary depending on the notion of size under consideration. For example, we construct a compact set $B$ of Hausdorff dimension $1$ which contains the boundary of an axes-parallel square with center in every point $[0,1]^2$, but prove that such a $B$ must have packing and lower box dimension at least $\tfrac{7}{4}$, and show by example that this is sharp. For more general sets of centers, the answers for packing and box counting dimensions also differ. These problems are inspired by the analogous problems for circles that were investigated by Bourgain, Marstrand and Wolff, among others.
Graph-induced operators: Hamiltonian cycle enumeration via fermion-zeon convolution
Published in International Journal of Theoretical Physics, 56 (2017), 3923-3934
• View Publication
• BIB
Operators are induced on fermion and zeon algebras by the action of adjacency matrices and combinatorial Laplacians on the vector spaces spanned by the graph's vertices. Properties of the algebras automatically give information about the graph's spanning trees and vertex coverings by cycles \& matchings. Combining the properties of operators induced on fermions and zeons gives a fermion-zeon convolution that recovers the number of Hamiltonian cycles in an arbitrary graph. The mathematics underlying the graph-theoretic interpretation of these operators is provided by Kirchhoff's theorem and by the seminal works of Goulden and Jackson and Liu, who established formulas for enumeration of Hamiltonian cycles and paths using determinants and permanents of adjacency matrices.
Enumeration of monochromatic three term arithmetic progressions in two-colorings of cyclic groups
One of the toughest problems in Ramsey theory is to determine the existence of monochromatic arithmetic progressions in groups whose elements have been colored. We study the harder problem to not only determine the existence of monochromatic arithmetic progressions, but to also count them. We reformulate the enumeration in real algebraic geometry and then use state of the art computational methods in semidefinite programming and representation theory to derive sharp, or an explicit constant from sharp, lower bounds for the cyclic group of any order.
Enumeration of monochromatic three term arithmetic progressions in two-colorings of any finite group
There are many extremely challenging problems about existence of monochromatic arithmetic progressions in colorings of groups. Many theorems hold only for abelian groups as results on non-abelian groups are often much more difficult to obtain. In this research project we do not only determine existence, but study the more general problem of counting them. We formulate the enumeration problem as a problem in real algebraic geometry and then use state of the art computational methods in semidefinite programming and representation theory to derive lower bounds for the number of monochromatic arithmetic progressions in any finite group.
Enumeration of three term arithmetic progressions in fixed density sets
Additive combinatorics is built around the famous theorem by Szemerédi which asserts existence of arithmetic progressions of any length among the integers. There exist several different proofs of the theorem based on very different techniques. Szemerédi's theorem is an existence statement, whereas the ultimate goal in combinatorics is always to make enumeration statements. In this article we develop new methods based on real algebraic geometry to obtain several quantitative statements on the number of arithmetic progressions in fixed density sets. We further discuss the possibility of a generalization of Szemerédi's theorem using methods from real algebraic geometry.
Using real algebraic geometry to solve combinatorial problems with symmetries
Many combinatorial problems can be formulated as a polynomial optimization problem that can be solved by state-of-the-art methods in real algebraic geometry. In this paper we explain many important methods from real algebraic geometry, we review several applications and discuss implementation and computational aspects.
Colouring Isonemal Fabrics with more than two Colours by Thin Striping
Published
• View Publication
• BIB
Perfect colouring of isonemal fabrics by thin striping of warp and weft with more than two colours is examined. Examples of thin striping in all possible species with no redundancy and with redundant cells arranged as twills are given. Colouring woven flat tori is discussed.
Classification of the Z2Z4-linear Hadamard codes and their automorphism groups
Published in IEEE Trans. Inf. Theory 61(2) 2015, 887-894
• View Publication
• BIB
A $Z_2Z_4$-linear Hadamard code of length $α+2β=2^t$ is a binary Hadamard code which is the Gray map image of a $Z_2Z_4$-additive code with $α$ binary coordinates and $β$ quaternary coordinates. It is known that there are exactly $[(t-1)/2]$ and $[t/2]$ nonequivalent $Z_2Z_4$-linear Hadamard codes of length $2^t$, with $α=0$ and $α\not=0$, respectively, for all $t\geq 3$. In this paper, it is shown that each $Z_2Z_4$-linear Hadamard code with $α=0$ is equivalent to a $Z_2Z_4$-linear Hadamard code with $α\not=0$; so there are only $[t/2]$ nonequivalent $Z_2Z_4$-linear Hadamard codes of length $2^t$. Moreover, the order of the monomial automorphism group for the $Z_2Z_4$-additive Hadamard codes and the permutation automorphism group of the corresponding $Z_2Z_4$-linear Hadamard codes are given.
Bar operators for quasiparabolic conjugacy classes in a Coxeter group
Published in J. Algebra 453 (2016), 325-363
• View Publication
• BIB
The action of a Coxeter group $W$ on the set of left cosets of a standard parabolic subgroup deforms to define a module $\mathcal{M}^J$ of the group's Iwahori-Hecke algebra $\mathcal{H}$ with a particularly simple form. Rains and Vazirani have introduced the notion of a quasiparabolic set to characterize $W$-sets for which analogous deformations exist; a motivating example is the conjugacy class of fixed point free involutions in the symmetric group. Deodhar has shown that the module $\mathcal{M}^J$ possesses a certain antilinear involution, called the bar operator, and a certain basis invariant under this involution, which generalizes the Kazhdan-Lusztig basis of $\mathcal{H}$. The well-known significance of this basis in representation theory makes it natural to seek to extend Deodhar's results to the quasiparabolic setting. In general, the obstruction to finding such an extension is the existence of an appropriate quasiparabolic analogue of the "bar operator." In this paper, we consider the most natural definition of a quasiparabolic bar operator, and develop a theory of "quasiparabolic Kazhdan-Lusztig bases" under the hypothesis that such a bar operator exists. Giving content to this theory, we prove that a bar operator in the desired sense does exist for quasiparabolic $W$-sets given by twisted conjugacy classes of twisted involutions. Finally, we prove several results classifying the quasiparabolic conjugacy classes in a Coxeter group.
Extremal problems on shadows and hypercuts in simplicial complexes
Published
• View Publication
• BIB
Let $F$ be an $n$-vertex forest. We say that an edge $e\notin F$ is in the shadow of $F$ if $F\cup\{e\}$ contains a cycle. It is easy to see that if $F$ is "almost a tree", that is, it has $n-2$ edges, then at least $\lfloor\frac{n^2}{4}\rfloor$ edges are in its shadow and this is tight. Equivalently, the largest number of edges an $n$-vertex cut can have is $\lfloor\frac{n^2}{4}\rfloor$. These notions have natural analogs in higher $d$-dimensional simplicial complexes, graphs being the case $d=1$. The results in dimension $d>1$ turn out to be remarkably different from the case in graphs. In particular the corresponding bounds depend on the underlying field of coefficients. We find the (tight) analogous theorems for $d=2$. We construct $2$-dimensional "$\mathbb Q$-almost-hypertrees" (defined below) with an empty shadow. We also show that the shadow of an "$\mathbb F_2$-almost-hypertree" cannot be empty, and its least possible density is $Θ(\frac{1}{n})$. In addition we construct very large hyperforests with a shadow that is empty over every field.
For $d\ge 4$ even, we construct $d$-dimensional $\mathbb{F} _2$-almost-hypertree whose shadow has density $o_n(1)$.
Finally, we mention several intriguing open questions.
Bounds for variables with few occurrences in conjunctive normal forms
We investigate connections between SAT (the propositional satisfiability problem) and combinatorics, around the minimum degree (number of occurrences) of variables in various forms of redundancy-free boolean conjunctive normal forms (clause-sets).
Lean clause-sets do not have non-trivial autarkies, that is, it is not possible to satisfy some clauses and leave the other clauses untouched. The deficiency of a clause-set is the difference of the number of clauses and the number of variables. We prove a precise upper bound on the minimum variable degree of lean clause-sets in dependency on the deficiency. If a clause-set does not fulfil this upper bound, then it must have a non-trivial autarky; we show that the autarky-reduction (elimination of affected clauses) can be done in polynomial time, while it is open to find the autarky itself in polynomial time.
Then we investigate this upper bound for the special case of minimally unsatisfiable clause-sets. We show that the bound can be improved here, introducing a general method to improve the underlying recurrence.
We consider precise relations, and thus the investigations have a number-theoretical flavour. We try to build a bridge from logic to combinatorics (especially to hypergraph colouring), and we discuss thoroughly the background and open problems, and provide many examples and explanations.
On two conjectures on sum of the powers of signless Laplacian eigenvalues of a graph
Published
• View Publication
• BIB
Let $G$ be a simple graph and $Q(G)$ be the signless Laplacian matrix of $G$. Let $S_α(G)$ be the sum of the $α$-th powers of the nonzero eigenvalues of $Q(G)$. We disprove two conjectures by You and Yang on the extremal values of $S_α(G)$ among bipartite graphs and among graphs with bounded connectivity.
Set families with forbidden subposets
Published
• View Publication
• BIB
Let $F$ be a family of subsets of $\{1,\ldots,n\}$. We say that $F$ is $P$-free if the inclusion order on $F$ does not contain $P$ as an induced subposet. The \emph{Turán function} of $P$, denoted $π^*(n,P)$, is the maximum size of a $P$-free family of subsets of $\{1,\ldots,n\}$. We show that $π^*(n,P) \le (4r + O(\sqrt{r}))\binom{n}{n/2}$ if $P$ is an $r$-element poset of height at most $2$. We also show that $π^*(n,S_r) = (r+O(\sqrt{r}))\binom{n}{n/2}$ where $S_r$ is the standard example on $2r$ elements, and that $π^*(n,B_2) \le (2.583+o(1))\binom{n}{n/2}$, where $B_2$ is the $2$-dimensional Boolean lattice.
Weak total resolving sets in graphs
A set $W$ of vertices of $G$ is said to be a weak total resolving set for $G$ if $W$ is a resolving set for $G$ as well as for each $w\in W$, there is at least one element in $W-\{w\}$ that resolves $w$ and $v$ for every $v\in V(G)- W$. Weak total metric dimension of $G$ is the smallest order of a weak total resolving set for $G$. This paper includes the investigation of weak total metric dimension of trees. Also, weak total resolving number of a graph as well as randomly weak total $k$-dimensional graphs are defined and studied in this paper. Moreover, some characterizations and realizations regarding weak total resolving number and weak total metric dimension are given.
Enumerating neighborly polytopes and oriented matroids
Published
• View Publication
• BIB
Neighborly polytopes are those that maximize the number of faces in each dimension among all polytopes with the same number of vertices. Despite their extremal properties they form a surprisingly rich class of polytopes, which has been widely studied and is the subject of many open problems and conjectures.
In this paper, we study the enumeration of neighborly polytopes beyond the cases that have been computed so far. To this end, we enumerate neighborly oriented matroids --- a combinatorial abstraction of neighborly polytopes --- of small rank and corank. In particular, if we denote by OM($r,n$) the set of all oriented matroids of rank $r$ and $n$ elements, we determine all uniform neighborly oriented matroids in OM($5,\leq 12$), OM($6,\leq 9$), OM($7,\leq 11$) and OM($9,\leq 12$) and all possible face lattices of neighborly oriented matroids in OM($6,10$) and OM($8,11$). Moreover, we classify all possible face lattices of uniform $2$-neighborly oriented matroids in OM($7,10$) and OM($8,11$). Based on the enumeration, we construct many interesting examples and test open conjectures.
"Case-free" derivation for Weyl groups of the number of reflection factorisations of a Coxeter element
Published
• View Publication
• BIB
Chapuy and Stump have given a nice generating series for the number of factorisations of a Coxeter element as a product of reflections. Their method is to evaluate case by case a character-theoretic expression. The goal of this note is to give a uniform evaluation of their character-theoretic expression in the case of Weyl groups, by using combinatorial properties of Deligne-Lusztig representations.
An $L^p$ theory of sparse graph convergence II: LD convergence, quotients, and right convergence
Published in Annals of Probability 46 (2018), 337--396
• View Publication
• BIB
We extend the $L^p$ theory of sparse graph limits, which was introduced in a companion paper, by analyzing different notions of convergence. Under suitable restrictions on node weights, we prove the equivalence of metric convergence, quotient convergence, microcanonical ground state energy convergence, microcanonical free energy convergence, and large deviation convergence. Our theorems extend the broad applicability of dense graph convergence to all sparse graphs with unbounded average degree, while the proofs require new techniques based on uniform upper regularity. Examples to which our theory applies include stochastic block models, power law graphs, and sparse versions of $W$-random graphs.
Quantum dilogarithms and partition q-series
Published in Communications in Mathematical Physics 2015, Volume 338, Issue 1, pp 457-481
• View Publication
• BIB
In our previous work [arXiv:1403.6569], we introduced the partition q-series for mutation loop --- a loop in exchange quiver. In this paper, we show that for certain class of mutation sequences, called reverse-ending mutation loops, a graded version of partition q-series essentially coincides with the ordered product of quantum dilogarithm associated with each mutation; the partition q-series provides a state-sum description of combinatorial Donaldson-Thomas invariants introduced by B. Keller.
Generalized trapezoidal words
Published
• View Publication
• BIB
The factor complexity function $C_w(n)$ of a finite or infinite word $w$ counts the number of distinct factors of $w$ of length $n$ for each $n \ge 0$. A finite word $w$ of length $|w|$ is said to be trapezoidal if the graph of its factor complexity $C_w(n)$ as a function of $n$ (for $0 \leq n \leq |w|$) is that of a regular trapezoid (or possibly an isosceles triangle); that is, $C_w(n)$ increases by 1 with each $n$ on some interval of length $r$, then $C_w(n)$ is constant on some interval of length $s$, and finally $C_w(n)$ decreases by 1 with each $n$ on an interval of the same length $r$. Necessarily $C_w(1)=2$ (since there is one factor of length $0$, namely the empty word), so any trapezoidal word is on a binary alphabet. Trapezoidal words were first introduced by de Luca (1999) when studying the behaviour of the factor complexity of finite Sturmian words, i.e., factors of infinite "cutting sequences", obtained by coding the sequence of cuts in an integer lattice over the positive quadrant of $\mathbb{R}^2$ made by a line of irrational slope. Every finite Sturmian word is trapezoidal, but not conversely. However, both families of words (trapezoidal and Sturmian) are special classes of so-called "rich words" (also known as "full words") - a wider family of finite and infinite words characterized by containing the maximal number of palindromes - studied in depth by the first author and others in 2009.
In this paper, we introduce a natural generalization of trapezoidal words over an arbitrary finite alphabet $\mathcal{A}$, called generalized trapezoidal words (or GT-words for short). In particular, we study combinatorial and structural properties of this new class of words, and we show that, unlike the binary case, not all GT-words are rich in palindromes when $|\mathcal{A}| \geq 3$, but we can describe all those that are rich.
Fixed speed competition on the configuration model with infinite variance degrees: unequal speeds
Published in Electronic Journal of Probability, Volume 20 (2015), 48 pp
• View Publication
• BIB
We study competition of two spreading colors starting from single sources on the configuration model with i.i.d. degrees following a power-law distribution with exponent tau in (2,3). In this model two colors spread with a fixed but not necessarily equal speed on the unweighted random graph. We show that if the speeds are not equal, then the faster color paints almost all vertices, while the slower color can paint only a random subpolynomial fraction of the vertices. We investigate the case when the speeds are equal and typical distances in a follow-up paper.