Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Minimizing the sum of projections of a finite set
Published
• View Publication
• BIB
Consider the projections of a finite set $A\subset R^n$ onto the coordinate hyperplanes. How small can the sum of the sizes of these projections be, given the size of $A$? In a different form, this problem has been studied earlier in the context of edge-isoperimetric inequalities on graphs, and it is can be derived from the known results that there is a linear order on the set of $n$-tuples with non-negative integer coordinates, such that the sum in question is minimised for the initial segments with respect to this order. We present a new, self-contained and constructive proof, enabling us to obtain a stability result and establish algebraic properties of the smallest possible projection sum. We also solve the problem of minimising the sum of the sizes of the one-dimensional projections.
The Advantage of Truncated Permutations
Published in Discrete Applied Mathematics 294 (2021), 214-223
• View Publication
• BIB
Constructing a Pseudo Random Function (PRF) is a fundamental problem in cryptology. Such a construction, implemented by truncating the last $m$ bits of permutations of $\{0, 1\}^{n}$ was suggested by Hall et al. (1998). They conjectured that the distinguishing advantage of an adversary with $q$ queries, ${\bf Adv}_{n, m} (q)$, is small if $q = o (2^{(n+m)/2})$, established an upper bound on ${\bf Adv}_{n, m} (q)$ that confirms the conjecture for $m < n/7$, and also declared a general lower bound ${\bf Adv}_{n,m}(q)=Ω(q^2/2^{n+m})$. The conjecture was essentially confirmed by Bellare and Impagliazzo (1999). Nevertheless, the problem of {\em estimating} ${\bf Adv}_{n, m} (q)$ remained open. Combining the trivial bound $1$, the birthday bound, and a result of Stam (1978) leads to the upper bound \begin{equation*} {\bf Adv}_{n,m}(q) = O\left(\min\left\{\frac{q(q-1)}{2^n},\,\frac{q}{2^{\frac{n+m}{2}}},\,1\right\}\right). \end{equation*} In this paper we show that this upper bound is tight for every $0\leq m<n$ and any $q$. This, in turn, verifies that the converse to the conjecture of Hall et al. is also correct, i.e., that ${\bf Adv}_{n, m} (q)$ is negligible only for $q = o (2^{(n+m)/2})$.
Additive Combinatorics Using Equivariant Cohomology
We introduce a geometric method to study additive combinatorial problems. Using equivariant cohomology we reprove the Dias da Silva-Hamidoune theorem. We improve a result of Sun on the linear extension of the Erdős-Heilbronn conjecture. We generalize a theorem of G. Kós (the Grashopper problem) which in some sense is a simultaneous generalization of the Erdős-Heilbronn conjecture. We also prove a signed version of the Erdős-Heilbronn conjecture and the Grashopper problem. Most identities used are based on calculating the projective degree of an algebraic variety in two different ways.
An easy way to a theorem of Kira Adaricheva and Madina Bolat on convexity and circles
Kira Adaricheva and Madina Bolat have recently proved that if $U_0$ and $U_1$ are circles in a triangle with vertices $A_0,A_1,A_2$, then there exist $j\in \{0,1,2\}$ and $k\in\{0,1\}$ such that $U_{1-k}$ is included in the convex hull of $U_k\cup(\{A_0,A_1, A_2\}\setminus\{A_j\})$. We give a short new proof for this result, and we point out that a straightforward generalizaton for shperes fails.
Remarks on the maximum atom-bond connectivity index of graphs with given parameters
Published
• View Publication
• BIB
The atom-bond connectivity (ABC) index is a degree-based molecular structure descriptor that can be used for modelling thermodynamic properties of organic chemical compounds. Motivated by its applicable potential, a series of investigations have been carried out in the past several years. In this note we first consider graphs with given edge-connectivity that attain the maximum ABC index. In particular, we give an affirmative answer to the conjecture about the structure of graphs with edge-connectivity equal to one that maximize the ABC index, which was recently raised by Zhang, Yang, Wang and Zhang~\cite{zywz mabciggp-2016}. In addition, we provide supporting evidence for another conjecture posed by the same authors which concerns graphs that maximize the ABC index among all graphs with chromatic number equal to some fixed $χ\geq 3$. Specifically, we confirm this conjecture in the case where the order of the graph is divisible by $χ$.
Edges and Vertices in a Unique Signed Circle in a Signed Graph
Published
• View Publication
• BIB
We examine the conditions under which a signed graph contains an edge or a vertex that is contained in a unique negative circle or a unique positive circle. For an edge in a unique signed circle, the positive and negative case require the same structure on the underlying graph, but the requirements on the signature are different. We characterize the structure of the underlying graph necessary to support such an edge in terms of bridges of a circle. We then use the results from the edge version of the problem to help solve the vertex version.
Hamilton Cycles in Double Generalized Petersen Graphs
Published
• View Publication
• BIB
Watkins (1969) first introduced the generalized Petersen graphs (GPGs) by modifying Petersen graph. Zhou and Feng (2012) modified GPGs and introduced the double generalized Petersen graphs (DGPGs). Kutnar and Petecki (2016) proved that DGPGs are Hamiltonian in special cases and conjectured that all DGPGs are Hamiltonian. In this paper, we construct Hamilton cycles in all DGPGs.
On subsequences of quiddity cycles and Nichols algebras
Published
• View Publication
• BIB
We provide a tool to obtain local descriptions of quiddity cycles. As an application, we classify rank two affine Nichols algebras of diagonal type.
Multi-Point AG Codes on the GK Maximal Curves
Published
• View Publication
• BIB
In this paper we investigate multi-point Algebraic-Geometric codes associated to the GK maximal curve, starting from a divisor which is invariant under a large automorphism group of the curve. We construct families of codes with large automorphism groups.
Geometric random graphs and Rado sets in sequence spaces
Published
• View Publication
• BIB
We consider a random geometric graph model, where pairs of vertices are points in a metric space and edges are formed independently with fixed probability $p$ between pairs within threshold distance $δ$. A countable dense set in a metric space is {\sl Rado} if this random model gives, with probability 1, a graph that is unique up to isomorphism. In earlier work, the first two authors proved that in finite dimensional spaces $\mathbb{R}^n$ equipped with the $\ell_{\infty}$ norm, all countable dense set satisfying a mild non-integrality condition are Rado. In this paper, we extend this result to infinite-dimensional spaces. If the underlying metric space is a separable Banach space, then we show in some cases that we can almost surely recover the Banach space from such a geometric random graph. More precisely, we show that in the sequence spaces $c$ and $c_0$, for measures $μ$ satisfying certain conditions, $μ^\N$-almost all countable sets are Rado. Moreover, with probability 1, in $c$ as in $c_0$, all graphs obtained from the random geometric model with a randomly chosen dense countable vertex set are isomorphic to each other. Finally, we show that representatives of the isomorphism classes obtained in this way from $c$ and $c_0$ are non-isomorphic to each other, and also non-isomorphic to their counterparts obtained from finite dimensional spaces.
Lopsidependency in the Moser-Tardos framework: Beyond the Lopsided Lovasz Local Lemma
Published in ACM Transactions on Algorithms 13(1), Article #17 (2016)
• View Publication
• BIB
The Lopsided Lovász Local Lemma (LLLL) is a powerful probabilistic principle which has been used in a variety of combinatorial constructions. While originally a general statement about probability spaces, it has recently been transformed into a variety of polynomial-time algorithms. The resampling algorithm of Moser & Tardos (2010) is the most well-known example of this. A variety of criteria have been shown for the LLLL; the strongest possible criterion was shown by Shearer, and other criteria which are easier to use computationally have been shown by Bissacot et al (2011), Pegden (2014), Kolipaka & Szegedy (2011), and Kolipaka, Szegedy, Xu (2012).
We show a new criterion for the Moser-Tardos algorithm to converge. This criterion is stronger than the LLLL criterion; this is possible because it does not apply in the same generality as the original LLLL; yet, it is strong enough to cover many applications of the LLLL in combinatorics. We show a variety of new bounds and algorithms. A noteworthy application is for $k$-SAT, with bounded occurrences of variables. As shown in Gebauer, Szábo, and Tardos (2011), a $k$-SAT instance in which every variable appears $L \leq \frac{2^{k+1}}{e (k+1)}$ times, is satisfiable. Although this bound is asymptotically tight (in $k$), we improve it to $L \leq \frac{2^{k+1} (1 - 1/k)^k}{k-1} - \frac{2}{k}$ which can be significantly stronger when $k$ is small.
We introduce a new parallel algorithm for the LLLL. While Moser & Tardos described a simple parallel algorithm for the Lovász Local Lemma, and described a simple sequential algorithm for a form of the Lopsided Lemma, they were not able to combine the two. Our new algorithm applies in nearly all settings in which the sequential algorithm works --- this includes settings covered by our new stronger LLLL criterion.
On the Largest Integer that is not a Sum of Distinct Positive $n$th Powers
Published in Journal of Integer Sequences 20 (2017), Article 17.7.5
• Search Publication
It is known that for an arbitrary positive integer \(n\) the sequence \(S(x^n)=(1^n, 2^n, \ldots)\) is complete, meaning that every sufficiently large integer is a sum of distinct \(n\)th powers of positive integers. We prove that every integer \(m\geq (b-1)2^{n-1}(r+\frac{2}{3}(b-1)(2^{2n}-1)+2(b-2))^n-2a+ab\), where \(a=n!2^{n^2}\), \(b=2^{n^3}a^{n-1}\), \(r=2^{n^2-n}a\), is a sum of distinct \(n\)th powers of positive integers.
Densities of 3-vertex graphs
Let d_i(G) be the density of the 3-vertex i-edge graph in a graph G, i.e., the probability that three random vertices induce a subgraph with i edges. Let S be the set of all quadruples (d_0,d_1,d_2,d_3) that are arbitrary close to 3-vertex graph densities in arbitrary large graphs. Huang, Linial, Naves, Peled and Sudakov have recently determined the projection of the set S to the (d_0,d_3) plane. We determine the projection of the set S to all the remaining planes.
The asymptotic trace norm of random circulants and the graph energy
Published
• View Publication
• BIB
We compute the expected normalized trace norm (matrix/graph energy) of random symmetric band circulant matrices and graphs in the limit of large sizes, and obtain explicit bounds on the rate of convergence to the limit, and on the probabilities of large deviations. We also show that random symmetric band Toeplitz matrices have the same limit norm assuming that their band widths remain small relative to their sizes. We compare the limit norms across a range of related random matrix and graph ensembles.
Green-to-Red Sequences for Positroids
Published
• View Publication
• BIB
Le-diagrams are combinatorial objects that parametrize cells of the totally nonnegative Grassmannian, called positroid cells, and each Le-diagram gives rise to a cluster algebra which is believed to be isomorphic to the coordinate ring of the corresponding positroid variety. We study quivers arising from these diagrams and show that they can be constructed from the well-behaved quivers associated to Grassmannians by deleting and merging certain vertices. Then, we prove that quivers coming from arbitrary Le-diagrams, and more generally reduced plabic graphs, admit a particular sequence of mutations called a green-to-red sequence.
On the norm of a random jointly exchangeable matrix
Published in Journal of Theoretical Probability, 2018
• View Publication
• BIB
In this note, we show that the norm of an $n\times n$ random jointly exchangeable matrix with zero diagonal can be estimated in terms of the norm of its $n/2\times n/2$ submatrix located in the top right corner. As a consequence, we prove a relation between the second largest singular values of a random matrix with constant row and column sums and its top right $n/2\times n/2$ submatrix. The result has an application to estimating the spectral gap of random undirected $d$-regular graphs in terms of the second singular value of {\it directed} random graphs with predefined degree sequences.
The spectral gap of dense random regular graphs
Published in Annals of Probability, Volume 47, Number 1 (2019), 362-419
• View Publication
• BIB
For any $α\in (0,1)$ and any $n^α\leq d\leq n/2$, we show that $λ(G)\leq C_α\sqrt{d}$ with probability at least $1-\frac{1}{n}$, where $G$ is the uniform random $d$-regular graph on $n$ vertices, $λ(G)$ denotes its second largest eigenvalue (in absolute value) and $C_α$ is a constant depending only on $α$. Combined with earlier results in this direction covering the case of sparse random graphs, this completely settles the problem of estimating the magnitude of $λ(G)$, up to a multiplicative constant, for all values of $n$ and $d$, confirming a conjecture of Vu. The result is obtained as a consequence of an estimate for the second largest singular value of adjacency matrices of random {\it directed} graphs with predefined degree sequences. As the main technical tool, we prove a concentration inequality for arbitrary linear forms on the space of matrices, where the probability measure is induced by the adjacency matrix of a random directed graph with prescribed degree sequences. The proof is a non-trivial application of the Freedman inequality for martingales, combined with boots-trapping and tensorization arguments. Our method bears considerable differences compared to the approach used by Broder, Frieze, Suen and Upfal (1999) who established the upper bound for $λ(G)$ for $d=o(\sqrt{n})$, and to the argument of Cook, Goldstein and Johnson (2015) who derived a concentration inequality for linear forms and estimated $λ(G)$ in the range $d= O(n^{2/3})$ using size-biased couplings.
Semi-equivelar and vertex-transitive maps on the torus
Published in Beitr Algebra Geom (2017) 58:617--634
• View Publication
• BIB
A vertex-transitive map $X$ is a map on a closed surface on which the automorphism group ${\rm Aut}(X)$ acts transitively on the set of vertices. If the face-cycles at all the vertices in a map are of same type then the map is said to be a semi-equivelar map. Clearly, a vertex-transitive map is semi-equivelar. Converse of this is not true in general. We show that there are eleven types of semi-equivelar maps on the torus. Three of these are equivelar maps. It is known that two of the three types of equivelar maps on the torus are always vertex-transitive. We show that this is true for the remaining one type of equivelar map and one other type of semi-equivelar maps, namely, if $X$ is a semi-equivelar map of type $[6^3]$ or $[3^3, 4^2]$ then $X$ is vertex-transitive. We also show, by presenting examples, that this result is not true for the remaining seven types of semi-equivelar maps. There are ten types of semi-equivelar maps on the Klein bottle. We present examples in each of the ten types which are not vertex-transitive.
Spectrum of large random Markov chains: heavy-tailed weights on the oriented complete graph
Published in Random Matrices: Theory and Applications, World Scientific, 6 (2), pp.1750006 (2017)
• View Publication
• BIB
We consider the random Markov matrix obtained by assigning i.i.d. non-negative weights to each edge of the complete oriented graph. In this study, the weights have unbounded first moment and belong to the domain of attraction of an alpha-stable law. We prove that as the dimension tends to infinity, the empirical measure of the singular values tends to a probability measure which depends only on alpha, characterized as the expected value of the spectral measure at the root of a weighted random tree. The latter is a generalized two-stage version of the Poisson weighted infinite tree (PWIT) introduced by David Aldous. Under an additional smoothness assumption, we show that the empirical measure of the eigenvalues tends to a non-degenerate isotropic probability measure depending only on alpha and supported on the unit disc of the complex plane. We conjecture that the limiting support is actually formed by a strictly smaller disc.
Tutte Polynomials for Directed Graphs
Published
• View Publication
• BIB
The Tutte polynomial is a fundamental invariant of graphs. In this article, we define and study a generalization of the Tutte polynomial for directed graphs, that we name B-polynomial. The B-polynomial has three variables, but when specialized to the case of graphs (that is, digraphs where arcs come in pairs with opposite directions), one of the variables becomes redundant and the B-polynomial is equivalent to the Tutte polynomial. We explore various properties, expansions, specializations, and generalizations of the B-polynomial, and try to answer the following questions: 1. what properties of the digraph can be detected from its B-polynomial (acyclicity, length of paths, number of strongly connected components, etc.)? 2. which of the marvelous properties of the Tutte polynomial carry over to the directed graph setting? The B-polynomial generalizes the strict chromatic polynomial of mixed graphs introduced by Beck, Bogart and Pham. We also consider a quasisymmetric function version of the B-polynomial which simultaneously generalizes the Tutte symmetric function of Stanley and the quasisymmetric chromatic function of Shareshian and Wachs.