Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Expanding polynomials over finite fields of large characteristic, and a regularity lemma for definable sets
Published
• View Publication
• BIB
Let $P: \F \times \F \to \F$ be a polynomial of bounded degree over a finite field $\F$ of large characteristic. In this paper we establish the following dichotomy: either $P$ is a moderate asymmetric expander in the sense that $|P(A,B)| \gg |\F|$ whenever $A, B \subset \F$ are such that $|A| |B| \geq C |\F|^{2-1/8}$ for a sufficiently large $C$, or else $P$ takes the form $P(x,y) = Q(F(x)+G(y))$ or $P(x,y) = Q(F(x) G(y))$ for some polynomials $Q,F,G$. This is a reasonably satisfactory classification of polynomials of two variables that moderately expand (either symmetrically or asymmetrically). We obtain a similar classification for weak expansion (in which one has $|P(A,A)| \gg |A|^{1/2} |\F|^{1/2}$ whenever $|A| \geq C |\F|^{1-1/16}$), and a partially satisfactory classification for almost strong asymmetric expansion (in which $|P(A,B)| = (1-O(|\F|^{-c})) |\F|$ when $|A|, |B| \geq |\F|^{1-c}$ for some small absolute constant $c>0$).
The main new tool used to establish these results is an algebraic regularity lemma that describes the structure of dense graphs generated by definable subsets over finite fields of large characteristic. This lemma strengthens the Szémeredi regularity lemma in the algebraic case, in that while the latter lemma decomposes a graph into a bounded number of components, most of which are $\eps$-regular for some small but fixed $ε$, the latter lemma ensures that all of the components are $O(|\F|^{-1/4})$-regular. This lemma, which may be of independent interest, relies on some basic facts about the étale fundamental group of an algebraic variety.
Extended partial order and applications to tensor products
We extend the preorder on k-tuples of dominant weights of a simple complex Lie algebra g of classical type adding up to a fixed weight $λ$ defined by V. Chari, D. Sagaki and the author. We show that the induced extended partial order on the equivalence classes has a unique minimal and a unique maximal element. For k=2 we compute its size and determine the cover relation.
To each k-tuple we associate a tensor product of simple g-modules and we show that for k=2 the dimension increases also along with the extended partial order, generalizing a theorem proved in the aforementioned paper. We also show that the tensor product associated to the maximal element has the biggest dimension among all tuples for arbitrary k, indicating that this might be a symplectic (resp. orthogonal) analogon of the row shuffle defined by Fomin et al.
The extension of the partial order reduces the number of elements in the cover relation and may facilitate the proof of an analogon of Schur positivity along the partial order for symplectic and orthogonal types.
(2^n,2^n,2^n,1)-relative difference sets and their representations
Published
• View Publication
• BIB
We show that every $(2^n,2^n,2^n,1)$-relative difference set $D$ in $\Z_4^n$ relative to $\Z_2^n$ can be represented by a polynomial $f(x)\in \F_{2^n}[x]$, where $f(x+a)+f(x)+xa$ is a permutation for each nonzero $a$. We call such an $f$ a planar function on $\F_{2^n}$. The projective plane $Π$ obtained from $D$ in the way of Ganley and Spence \cite{ganley_relative_1975} is coordinatized, and we obtain necessary and sufficient conditions of $Π$ to be a presemifield plane. We also prove that a function $f$ on $\F_{2^n}$ with exactly two elements in its image set and $f(0)=0$ is planar, if and only if, $f(x+y)=f(x)+f(y)$ for any $x,y\in\F_{2^n}$.
On the optimality of the ideal right-angled 24-cell
Published in Algebraic & Geometric Topology 12 (2012) 1941-1960
• View Publication
• BIB
We prove that among four-dimensional ideal right-angled hyperbolic polytopes the 24-cell is of minimal volume and of minimal facet number. As a corollary, a dimension bound for ideal right-angled hyperbolic polytopes is obtained.
A Riccati differential equation and free subgroup numbers for lifts of $\PSL_2(\Z)$ modulo powers of primes
Published in J. Combin. Theory Ser. A 120 (2013), 2039-2063
• View Publication
• BIB
It is shown that the number $f_λ$ of free subgroups of index $6λ$ in the modular group $\PSL_2(\Z)$, when considered modulo a prime power $p^\al$ with $p\ge5$, is always (ultimately) periodic. In fact, an analogous result is established for a one-parameter family of lifts of the modular group (containing $\PSL_2(\Z)$ as a special case), and for a one-parameter family of lifts of the Hecke group $\mathfrak{H}(4)=C_2*C_4$. All this is achieved by explicitly determining Padé approximants to solutions of a certain multi-parameter family of Riccati differential equations. Our main results complement previous work by Kauers and the authors (arXiv:1107.2015 and ["A method for determining the mod-$3^k$ behaviour of recursive sequences"}, preprint]), where it is shown, among other things, that the free subgroup numbers of $\PSL_2(\Z)$ and its lifts display rather complex behaviour modulo powers of 2 and 3.
Shattering-Extremal Systems
The Shatters relation and the VC dimension have been investigated since the early seventies. These concepts have found numerous applications in statistics, combinatorics, learning theory and computational geometry. Shattering extremal systems are set-systems with a very rich structure and many different characterizations. The goal of this thesis is to elaborate on the structure of these systems.
Separating families of convex sets
Published
• View Publication
• BIB
Two elements, $x$ and $y$, are separated by a set $S$ if it contains exactly one of $x$ and $y$. We prove that any set of $n$ points in general position in the plane can be separated by $O(n\log\log n/\log n)$ convex sets, and for some point sets $Ω(n/\log n)$ convex sets are necessary.
Search for the end of a path in the d-dimensional grid and in other graphs
Published in Ars Mathematica Contemporanea 12 (no. 2) (2017), 301-314
• View Publication
• BIB
We consider the worst-case query complexity of some variants of certain \cl{PPAD}-complete search problems. Suppose we are given a graph $G$ and a vertex $s \in V(G)$. We denote the directed graph obtained from $G$ by directing all edges in both directions by $G'$. $D$ is a directed subgraph of $G'$ which is unknown to us, except that it consists of vertex-disjoint directed paths and cycles and one of the paths originates in $s$. Our goal is to find an endvertex of a path by using as few queries as possible. A query specifies a vertex $v\in V(G)$, and the answer is the set of the edges of $D$ incident to $v$, together with their directions. We also show lower bounds for the special case when $D$ consists of a single path. Our proofs use the theory of graph separators. Finally, we consider the case when the graph $G$ is a grid graph. In this case, using the connection with separators, we give asymptotically tight bounds as a function of the size of the grid, if the dimension of the grid is considered as fixed. In order to do this, we prove a separator theorem about grid graphs, which is interesting on its own right.
Reversible Christoffel factorizations
Published in Theoretical Computer Science 495 (2013) 17-24
• View Publication
• BIB
We define a family of natural decompositions of Sturmian words in Christoffel words, called *reversible Christoffel* (RC) factorizations. They arise from the observation that two Sturmian words with the same language have (almost always) arbitrarily long Abelian equivalent prefixes. Using the three gap theorem, we prove that in each RC factorization, only 2 or 3 distinct Christoffel words may occur. We begin the study of such factorizations, considered as infinite words over 2 or 3 letters, and show that in the general case they are either Sturmian words, or obtained by a three-interval exchange transformation.
The approximate Loebl-Komlós-Sós Conjecture
We prove the following version of the Loebl-Komlos-Sos Conjecture: For every alpha>0 there exists a number M such that for every k>M every n-vertex graph G with at least (0.5+alpha)n vertices of degree at least (1+alpha)k contains each tree T of order k as a subgraph.
The method to prove our result follows a strategy common to approaches which employ the Szemeredi Regularity Lemma: we decompose the graph G, find a suitable combinatorial structure inside the decomposition, and then embed the tree T into G using this structure. However, the decomposition given by the Regularity Lemma is not of help when G is sparse. To surmount this shortcoming we use a more general decomposition technique: each graph can be decomposed into vertices of huge degree, regular pairs (in the sense of the Regularity Lemma), and two other objects each exhibiting certain expansion properties.
On the 3-local profiles of graphs
Published
• View Publication
• BIB
For a graph G, let p_i(G), i=0,...,3 be the probability that three distinct random vertices span exactly i edges. We call (p_0(G),...,p_3(G)) the 3-local profile of G. We investigate the set ${\cal S}_3 \subset \mathbb R^4$ of all vectors (p_0,...,p_3) that are arbitrarily close to the 3-local profiles of arbitrarily large graphs. We give a full description of the projection of ${\cal S}_3$ to the (p_0, p_3) plane. The upper envelope of this planar domain is obtained from cliques on a fraction of the vertex set and complements of such graphs. The lower envelope is Goodman's inequality p_0+p_3\geq 1/4. We also give a full description of the triangle-free case, i.e., the intersection of ${\cal S}_3$ with the hyperplane p_3=0. This planar domain is characterized by an SDP constraint that is derived from Razborov's flag algebra theory.
Non-asymptotic Upper Bounds for Deletion Correcting Codes
Published
• View Publication
• BIB
Explicit non-asymptotic upper bounds on the sizes of multiple-deletion correcting codes are presented. In particular, the largest single-deletion correcting code for $q$-ary alphabet and string length $n$ is shown to be of size at most $\frac{q^n-q}{(q-1)(n-1)}$. An improved bound on the asymptotic rate function is obtained as a corollary. Upper bounds are also derived on sizes of codes for a constrained source that does not necessarily comprise of all strings of a particular length, and this idea is demonstrated by application to sets of run-length limited strings.
The problem of finding the largest deletion correcting code is modeled as a matching problem on a hypergraph. This problem is formulated as an integer linear program. The upper bound is obtained by the construction of a feasible point for the dual of the linear programming relaxation of this integer linear program.
The non-asymptotic bounds derived imply the known asymptotic bounds of Levenshtein and Tenengolts and improve on known non-asymptotic bounds. Numerical results support the conjecture that in the binary case, the Varshamov-Tenengolts codes are the largest single-deletion correcting codes.
A New Formula for The Values of Dirichlet Beta Function at Odd Positive Integers Based on The WZ Method
By using the related results in the WZ theory, a new (as far as I know) formula for the values of Dirichlet beta function $β(s) = \sum\limits_{n = 1}^{+ \infty} {\frac{(-1)^{n - 1}}{(2n - 1)^s}} $ (where $Re(s) > 0$) at odd positive integers was given.
Hurwitzian continued fractions containing a repeated constant and an arithmetic progression
Published
• View Publication
• BIB
We prove an explicit formula for infinitely many convergents of Hurwitzian continued fractions that repeat several copies of the same constant and elements of one arithmetic progression, in a quasi-periodic fashion. The proof involves combinatorics and formal Laurent series. Using very little analysis we can express their limits in terms of (modified) Bessel functions and Fibonacci polynomials. The limit formula is a generalization of Lehmer's theorem that implies the continuous fraction expansions of $e$ and $\tan(1)$, and it can also be derived from Lehmer's work using Fibonacci polynomial identities. We completely characterize those implementations of our limit formula for which the parameter of each Bessel function is the half of an odd integer, allowing them to be replaced with elementary functions.
A correspondence between complexes and knots
In recent work the author investigates perfect matchings of a bipartite graph obtained from a knot diagram and demonstrates that these correspond to discrete Morse functions on a 2-complex for the 2-sphere. This relationship is expounded below for the opposite audience: those who may be unfamiliar with knots.
Kauffman's clock lattice as a graph of perfect matchings: a formula for its height
Published in Electronic Journal of Combinatorics 21 (2014), no. 4, #P4.31
• View Publication
• BIB
We give an algorithmic computation for the height of Kauffman's clock lattice obtained from a knot diagram with two adjacent regions starred and without crossing information specified. We show that this lattice is more familiarly the graph of perfect matchings of a bipartite graph obtained from the knot diagram by overlaying the two dual Tait graphs of the knot diagram. This setting also makes evident applications to Chebyshev or harmonic knots, whose related bipartite graph is the popular grid graph, and to discrete Morse functions. Furthermore we prove structural properties of the bipartite graph in general.
Bent functions generalizing Dillon's partial spread functions
This note presents generalizations of the partial spread bent functions introduced by Dillon, as well as the corresponding relative difference sets in nonabelian groups.
On the Maximum Density of Graphs with Good Edge-Labellings
Published in SIAM Journal on Discrete Mathematics (2013), 27(3), 1228--1233
• View Publication
• BIB
A good edge-labelling of a simple, finite graph is a labelling of its edges with real numbers such that, for every ordered pair of vertices (u,v), there is at most one nondecreasing path from u to v. In this paper we prove that any graph on n vertices that admits a good edge-labelling has at most n log_2(n)/2 edges, and that this bound is tight for infinitely many values of n. Thus we significantly improve on the previously best known bounds. The main tool of the proof is a combinatorial lemma which might be of independent interest. For every n we also construct an n-vertex graph that admits a good edge-labelling and has n log_2(n)/2 - O(n) edges.
Recognizing Interval Bigraphs by Forbidden Patterns
Published
• View Publication
• BIB
Let H be a connected bipartite graph with n nodes and m edges. We give an O(nm) time algorithm to decide whether H is an interval bigraph. The best known algorithm has time complexity O(nm^6(m + n) \log n) and it was developed in 1997 [18]. Our approach is based on an ordering characterization of interval bigraphs introduced by Hell and Huang [13]. We transform the problem of finding the desired ordering to choosing strong components of a pair-digraph without creating conflicts. We make use of the structure of the pair-digraph as well as decomposition of bigraph H based on the special components of the pair-digraph. This way we make explicit what the difficult cases are and gain efficiency by isolating such situations.
Almost Hadamard matrices: the case of arbitrary exponents
Published in Discrete Appl. Math. 161 (2013), 2367-2379
• View Publication
• BIB
In our previous work, we introduced the following relaxation of the Hadamard property: a square matrix $H\in M_N(\mathbb R)$ is called "almost Hadamard" if $U=H/\sqrt{N}$ is orthogonal, and locally maximizes the 1-norm on O(N). We review our previous results, notably with the formulation of a new question, regarding the circulant and symmetric case. We discuss then an extension of the almost Hadamard matrix formalism, by making use of the p-norm on O(N), with $p\in[1,\infty]-{2}$, with a number of theoretical results on the subject, and the formulation of some open problems.