Showing 20 papers (Total: 84360 papers, 48587 authors in database)
Graph limits of random unlabelled $k$-trees
Published
• View Publication
• BIB
We study random unlabelled $k$-dimensional trees by combining the colouring approach by Gainer-Dewar and Gessel (2014) with the cycle pointing method by Bodirsky, Fusy, Kang and Vigerske (2011). Our main applications are Gromov-Hausdorff-Prokhorov and Benjamini-Schramm limits, that describe their asymptotic geometric shape on a global and local scale as the number of hedra tends to infinity.
Greedy Morse matchings and discrete smoothness
Discrete Morse theory emerged as an essential tool for computational geometry and topology. Its core structures are discrete gradient fields, defined as acyclic matchings on a complex $C$, from which topological and geometrical informations of $C$ can be efficiently computed, in particular its homology or Morse-Smale decomposition.
Given a function $f$ sampled on $C$, it is possible to derive a discrete gradient that mimics the dynamics of $f$. Many such constructions are based on some variant of a greedy pairing of adjacent cells, given an appropriate weighting. However, proving that the dynamics of $f$ is correctly captured by this process is usually intricate.
This work introduces the notion of discrete smoothness of the pair $(f,C)$, as a minimal sampling condition to ensure that the discrete gradient is geometrically faithful to $f$. More precisely, a discrete gradient construction from a function $f$ on a polyhedron complex $C$ of any dimension is studied, leading to theoretical guarantees prior to the discrete smoothness assumption. Those results are then extended and completed for the smooth case. As an application, a purely combinatorial proof that all CAT(0) cube complexes are collapsible is given.
Long scale Ollivier-Ricci curvature of graphs
Published
• View Publication
• BIB
We study the long scale Ollivier-Ricci curvature of graphs as a function of the chosen idleness. As in the previous work on the short scale, we show that this idleness function is concave and piecewise linear with at most $3$ linear parts. We provide bounds on the length of the first and last linear pieces. We also study the long scale curvature inside the Cartesian product of two regular graphs.
Polynomial factorization statistics and point configurations in $\mathbb{R}^3$
Published
• View Publication
• BIB
We use generating functions to relate the expected values of polynomial factorization statistics over $\mathbb{F}_q$ to the cohomology of ordered configurations in $\mathbb{R}^3$ as a representation of the symmetric group. Our methods lead to a new proof of the twisted Grothendieck-Lefschetz formula for squarefree polynomial factorization statistics of Church, Ellenberg, and Farb.
On the Horadam symbol elements
Published
• View Publication
• BIB
Horadam symbol elemnts are introduced. Certain properties of these elements are explored. Some well known identities such as Catalan identity, Cassini formula and d'Ocagne's identity are obtained for these elements.
Surjectivity of near square random matrices
Published
• View Publication
• BIB
We show that a nearly square iid random integral matrix is surjective over the integral lattice with very high probability. This answers a question by Koplewitz. Our result extends to sparse matrices as well as to matrices of dependent entries.
Energy-efficient Deployment of Relay Nodes in Wireless Sensor Networks using Evolutionary Techniques
Published
• View Publication
• BIB
Random deployment of sensor nodes is susceptible to initial communication hole, even when the network is densely populated. However, eliminating holes using structural deployment poses its difficulties. In either case, the resulting coverage holes can degrade overall network performance and lifetime. Many solutions utilizing Relay Nodes (RNs) have been proposed to alleviate this problem. In this regard, one of the recent solutions proposed using Artificial Bee Colony (ABC) to deploy RNs. This paper proposes RN deployment using two other evolutionary techniques - Gravitational Search Algorithm (GSA) and Differential Evolution (DE) and compares them with existing solution that uses ABC. These popular optimization tools are deployed to optimize the positions of relay nodes for lifetime maximization. Proposed algorithms guarantee satisfactory RNs utilization while maintaining desired connectivity level. It is shown that DE-based deployment improves the network lifetime better than other optimization heuristics considered.
Curvature calculations for antitrees
Published
• View Publication
• BIB
In this article we prove that antitrees with suitable growth properties are examples of infinite graphs exhibiting strictly positive curvature in various contexts: in the normalized and non-normalized Bakry-Émery setting as well in the Ollivier-Ricci curvature case. We also show that these graphs do not have global positive lower curvature bounds, which one would expect in view of discrete analogues of the Bonnet-Myers theorem. The proofs in the different settings require different techniques.
Finite projective planes and the Delsarte LP-bound
Published
• View Publication
• BIB
We apply an improvement of the Delsarte LP-bound to give a new proof of the non-existence of finite projective planes of order 6, and uniqueness of finite projective planes of order 7. The proof is computer aided, and it is also feasible to apply to higher orders like 8, 9 and, with further improvements, possibly 10 and 12.
Non-Leaving-Face property for marked surfaces
We consider the polytope arising from a marked surface by flips of triangulations. Sleator, Tarjan and Thurston studied in 1988 the diameter of the associahedron, which is the polytope arising from a marked disc by flips of triangulations. They showed that every shortest path between two vertices in a face does not leave that face. We establish that same non-leaving-face property for all unpunctured marked surfaces.
A Pascal-like Bound for the Number of Necklaces with Fixed Density
Published
• View Publication
• BIB
A bound resembling Pascal's identity is presented for binary necklaces with fixed density using Lyndon words with fixed density. The result is generalized to k-ary necklaces and Lyndon words with fixed content. The bound arises in the study of Nichols algebras of diagonal type.
A note on expansion in prime fields
Let $β,ε\in (0,1]$, and $k \geq \exp(122 \max\{1/β,1/ε\})$. We prove that if $A,B$ are subsets of a prime field $\mathbb{Z}_{p}$, and $|B| \geq p^β$, then there exists a sum of the form $$S = a_{1}B \pm \ldots \pm a_{k}B, \qquad a_{1},\ldots,a_{k} \in A,$$ with $|S| \geq 2^{-12}p^{-ε}\min\{|A||B|,p\}$.
As a corollary, we obtain an elementary proof of the following sum-product estimate. For every $α< 1$ and $β,δ> 0$, there exists $ε> 0$ such that the following holds. If $A,B,E \subset \mathbb{Z}_{p}$ satisfy $|A| \leq p^α$, $|B| \geq p^β$, and $|B||E| \geq p^δ|A|$, then there exists $t \in E$ such that $$|A + tB| \geq c p^ε|A|,$$ for some absolute constant $c > 0$. A sharper estimate, based on the polynomial method, follows from recent work of Stevens and de Zeeuw.
Extremal Collections of $k$-Uniform Vectors
We show any matrix of rank $r$ over $\mathbb{F}_q$ can have $\leq \binom{r}{k}(q-1)^k$ distinct columns of weight $k$ if $ k \leq O_q(\sqrt{\log r})$ (up to divisibility issues), and $\leq \binom{r}{k}(q-1)^{r-k}$ distinct columns of co-weight $k$ if $k \leq O_q(r^{2/3})$. This shows the natural examples consisting of only $r$ rows are optimal for both, and the proofs will recover some form of uniqueness of these examples in all cases.
Quantum Fractional Revival on Graphs
Published
• View Publication
• BIB
Fractional revival is a quantum transport phenomenon important for entanglement generation in spin networks. This takes place whenever a continuous-time quantum walk maps the characteristic vector of a vertex to a superposition of the characteristic vectors of a subset of vertices containing the initial vertex. A main focus will be on the case when the subset has two vertices. We explore necessary and sufficient spectral conditions for graphs to exhibit fractional revival. This provides a characterization of fractional revival in paths and cycles. Our work builds upon the algebraic machinery developed for related quantum transport phenomena such as state transfer and mixing, and it reveals a fundamental connection between them.
Earthmover Resilience and Testing in Ordered Structures
One of the main challenges in property testing is to characterize those properties that are testable with a constant number of queries. For unordered structures such as graphs and hypergraphs this task has been mostly settled. However, for ordered structures such as strings, images, and ordered graphs, the characterization problem seems very difficult in general.
In this paper, we identify a wide class of properties of ordered structures - the earthmover resilient (ER) properties - and show that the "good behavior" of such properties allows us to obtain general testability results that are similar to (and more general than) those of unordered graphs. A property P is ER if, roughly speaking, slight changes in the order of the elements in an object satisfying P cannot make this object far from P. The class of ER properties includes, e.g., all unordered graph properties, many natural visual properties of images, such as convexity, and all hereditary properties of ordered graphs and images.
A special case of our results implies, building on a recent result of Alon and the authors, that the distance of a given image or ordered graph from any hereditary property can be estimated (with good probability) up to a constant additive error, using a constant number of queries.
A Notion of Total Dual Integrality for Convex, Semidefinite, and Extended Formulations
Published
• View Publication
• BIB
Total dual integrality is a powerful and unifying concept in polyhedral combinatorics and integer programming that enables the refinement of geometric min-max relations given by linear programming Strong Duality into combinatorial min-max theorems. The definition of total dual integrality (TDI) revolves around the existence of optimal dual solutions that are integral, and thus naturally applies to a host of combinatorial optimization problems that are cast as integer programs whose LP relaxations have the TDIness property. However, when combinatorial problems are formulated using more general convex relaxations, such as semidefinite programs (SDPs), it is not at all clear what an appropriate notion of integrality in the dual program is, thus inhibiting the generalization of the theory to more general forms of structured convex optimization. (In fact, we argue that the rank-one constraint usually added to SDP relaxations is not adequate in the dual SDP.)
In this paper, we propose a notion of total dual integrality for SDPs that generalizes the notion for LPs, by relying on an "integrality constraint" for SDPs that is primal-dual symmetric. A key ingredient for the theory is a generalization to compact convex sets of a result of Hoffman for polytopes, fundamental for generalizing the polyhedral notion of total dual integrality introduced by Edmonds and Giles. We study the corresponding theory applied to SDP formulations for stable sets in graphs using the Lovász theta function and show that total dual integrality in this case corresponds to the underlying graph being perfect. We also relate dual integrality of an SDP formulation for the maximum cut problem to bipartite graphs. Total dual integrality for extended formulations naturally comes into play in this context.
Generalized Littlewood-Richardson coefficients for branching rules of GL(n) and extremal weight crystals
Published
• View Publication
• BIB
Following the methods used by Derksen-Weyman in \cite{DW11} and Chindris in \cite{Chi08}, we use quiver theory to represent the generalized Littlewood-Richardson coefficients for the branching rule for the diagonal embedding of $\gl(n)$ as the dimension of a weight space of semi-invariants. Using this, we prove their saturation and investigate when they are nonzero. We also show that for certain partitions the associated stretched polynomials satisfy the same conjectures as single Littlewood-Richardson coefficients. We then provide a polytopal description of this multiplicity and show that its positivity may be computed in strongly polynomial time. Finally, we remark that similar results hold for certain other generalized Littlewood-Richardson coefficients.
Hindman-like theorems with uncountably many colours and finite monochromatic sets
Published in Proceedings of the American Mathematical Society 148 no. 7 (2020), 3099-3112
• View Publication
• BIB
A particular case of the Hindman--Galvin--Glazer theorem states that, for every partition of an infinite abelian group $G$ into two cells, there will be an infinite $X\subseteq G$ such that the set of its finite sums $\{x_1+\cdots+x_n\big|n\in\mathbb N\wedge x_1,\ldots,x_n\in X\text{ are distinct}\}$ is monochromatic. It is known that the same statement is false, in a very strong sense, if one attempts to obtain an uncountable (rather than just infinite) $X$. On the other hand, a recent result of Komjáth states that, for partitions into uncountably many cells, it is possible to obtain monochromatic sets of the form $\mathrm{FS}(X)$, for $X$ of some prescribed finite size, when working with sufficiently large Boolean groups. In this paper, we provide a generalization of Komjáth's result, and we show that, in a sense, this generalization is the strongest possible.
A Gale-Berlekamp permutation-switching problem in higher dimensions
Let an $n\times n$ array $\left( a_{ij}\right) $ of lights be given, each either on (when $a_{ij}=1$) or off (when $a_{ij}=-1$). For each row and each column there is a switch so that if the switch is pulled ($x_{i}=-1$ for row $i$ and $y_{j}=-1$ for column $j$) all of the lights in that line are switched: on to off or off to on. The unbalancing lights problem (Gale-Berlekamp switching game) consists in maximizing the difference between the lights on and off. We obtain the exact parameters for a generalization of the unbalancing lights problem in higher dimensions.
Fixed points of Sturmian morphisms and their derivated words
Published in Theoretical Computer Science, Volume 743, 2018, Pages 23-37, ISSN 0304-3975
• View Publication
• BIB
Any infinite uniformly recurrent word ${\bf u}$ can be written as concatenation of a finite number of return words to a chosen prefix $w$ of ${\bf u}$. Ordering of the return words to $w$ in this concatenation is coded by derivated word $d_{\bf u}(w)$. In 1998, Durand proved that a fixed point ${\bf u}$ of a primitive morphism has only finitely many derivated words $d_{\bf u}(w)$ and each derivated word $d_{\bf u}(w)$ is fixed by a primitive morphism as well. In our article we focus on Sturmian words fixed by a primitive morphism. We provide an algorithm which to a given Sturmian morphism $ψ$ lists the morphisms fixing the derivated words of the Sturmian word ${\bf u} = ψ({\bf u})$. We provide a sharp upper bound on length of the list.