Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Homogeneous coherent configurations from spherical buildings and other edge-coloured graphs
Published
• View Publication
• BIB
We study a class of edge-coloured graphs, including the chamber systems of buildings and other geometries such as affine planes, from which we build coherent configurations (also known as non-commutative association schemes). The condition we require is that the graph be endowed with a certain distance function, taking its values in the adjacency algebra (itself generated by the adjacency operators). When all the edges are of the same colour, the condition is equivalent to the graph being distance-regular, so our result is a generalization of the classical fact that distance-regular graphs give rise to association schemes.
The Bose-Mesner algebra of the coherent configuration is then isomorphic to the adjacency algebra of the graph. The latter is more easily computed, and comes with a "small" set of generators, so we are able to produce examples of Bose-Mesner algebras with particularly simple presentations.
When a group acts "strongly transitively", in a certain sense, on a graph, we show that a distance function as above exists canonically; moreover, when the graph is (the chamber system of) a building, we show that strong transitivity is equivalent to the usual condition involving pairs of incident chambers and apartments.
We study affine planes in detail. These are not buildings, yet the machinery developed allows us to state and prove some results which are directly analogous to classical facts in the theory of projective planes (which {\em are} buildings). In particular, we prove that an affine plane with a group acting strongly transitively on it must be Desarguesian.
Extremal regular graphs of given chromatic number
Published in Ars Combinatoria-2023
• View Publication
• BIB
We define an extremal $(r|χ)$-graph as an $r$-regular graph with chromatic number $χ$ of minimum order. We show that the Tur{\' a}n graphs $T_{ak,k}$, the antihole graphs and the graphs $K_k\times K_2$ are extremal in this sense. We also study extremal Cayley $(r|χ)$-graphs and we exhibit several $(r|χ)$-graph constructions arising from Tur{\' a}n graphs.
A deterministic theory of low rank matrix completion
Published
• View Publication
• BIB
The problem of completing a large low rank matrix using a subset of revealed entries has received much attention in the last ten years. The main result of this paper gives a necessary and sufficient condition, stated in the language of graph limit theory, for a sequence of matrix completion problems with arbitrary missing patterns to be asymptotically solvable. It is then shown that a small modification of the Candès-Recht nuclear norm minimization algorithm provides the required asymptotic solution whenever the sequence of problems is asymptotically solvable. The theory is fully deterministic, with no assumption of randomness. A number of open questions are listed.
The Multivariate Schwartz-Zippel Lemma
Published in SIAM Journal of Discrete Mathematics, Vol 36, Issue 2, 2022
• View Publication
• BIB
Motivated by applications in combinatorial geometry, we consider the following question: Let $λ=(λ_1,λ_2,\ldots,λ_m)$ be an $m$-partition of a positive integer $n$, $S_i \subseteq \mathbb{C}^{λ_i}$ be finite sets, and let $S:=S_1 \times S_2 \times \ldots \times S_m \subset \mathbb{C}^n$ be the multi-grid defined by $S_i$. Suppose $p$ is an $n$-variate degree $d$ polynomial. How many zeros does $p$ have on $S$?
We first develop a multivariate generalization of Combinatorial Nullstellensatz that certifies existence of a point $t \in S$ so that $p(t) \neq 0$. Then we show that a natural multivariate generalization of the DeMillo-Lipton-Schwartz-Zippel lemma holds, except for a special family of polynomials that we call $λ$-reducible. This yields a simultaneous generalization of Szemerédi-Trotter theorem and Schwartz-Zippel lemma into higher dimensions, and has applications in incidence geometry. Finally, we develop a symbolic algorithm that identifies certain $λ$-reducible polynomials. More precisely, our symbolic algorithm detects polynomials that include a cartesian product of hypersurfaces in their zero set. It is likely that using Chow forms the algorithm can be generalized to handle arbitrary $λ$-reducible polynomials, which we leave as an open problem.
Spatial Strength Centrality and the Effect of Spatial Embeddings on Network Architecture
Published in Phys. Rev. E 101, 062305 (2020)
• View Publication
• BIB
For many networks, it is useful to think of their nodes as being embedded in a latent space, and such embeddings can affect the probabilities for nodes to be adjacent to each other. In this paper, we extend existing models of synthetic networks to spatial network models by first embedding nodes in Euclidean space and then modifying the models so that progressively longer edges occur with progressively smaller probabilities. We start by extending a geographical fitness model by employing Gaussian-distributed fitnesses, and we then develop spatial versions of preferential attachment and configuration models. We define a notion of "spatial strength centrality" to help characterize how strongly a spatial embedding affects network structure, and we examine spatial strength centrality on a variety of real and synthetic networks.
Leaky Forcing: A New Variation of Zero Forcing
Zero forcing is a one-player game played on a graph. The player chooses some set of vertices to color, then iteratively applies a color change rule: If all but one of a colored vertex's neighbors are colored, color (i.e. "force") the remaining uncolored neighbor. Generally, the goal is to find the minimum number of vertices to initially color such that all vertices eventually become colored. Recently, equivalent formations of zero forcing have been developed in different settings including sensor allocation to solve linear systems (K.-Lin 2018), controllability in follower-leader dynamics (Monshizadeh-Zhang-Camlibel 2014), and edge covering in specific hypergraphs (Brimkov-Fast-Hicks 2016).
While many variations of zero forcing are motivated by an associated minimum rank problem, these new formulations give new inspiration for new meaningful zero forcing variants. In our case, we study a new variation based on the linear algebraic interpretation mentioned above. In particular, what if there is a juncture in a network that has a leak, and, hence, is unreliable to facilitate solving a linear system on the network? In the context of zero forcing this corresponds to the following variation we call $\ell$-forcing: Given $\ell$, find a set of vertices such that for any set of $\ell$ vertices that are unable to force, all vertices will still be colored. We compute the $\ell$-forcing number for selected families of graphs including grid graphs. Perhaps surprisingly, we find examples where additional edges make the graph more "resilient" to these leaks. Further, we also implement known computational methods for our new leaky forcing variation.
Matching complexes of polygonal line tilings
Published
• View Publication
• BIB
The matching complex of a simple graph $G$ is a simplicial complex consisting of the matchings on $G$. Jelić Milutinović et al. studied the matching complexes of the polygonal line tilings, and they gave a lower bound for the connectivity of the matching complexes of polygonal line tilings. In this paper, we determine the homotopy types of the matching complexes of polygonal line tilings recursively, and determine their connectivities.
The energy-spectrum of bicompatible sequences
Published
• View Publication
• BIB
Background: Genotype-phenotype maps provide a meaningful filtration of sequence space and RNA secondary structures are particular such phenotypes. Compatible sequences i.e.~sequences that satisfy the base pairing constraints of a given RNA structure play an important role in the context of neutral networks and inverse folding. Sequences satisfying the constraints of two structures simultaneously are called bicompatible and phenotypic change, induced by erroneously replicating populations of RNA sequences, is closely connected to bicompatibility. Furthermore, bicompatible sequences are relevant for riboswitch sequences, beacons of evolution, realizing two distinct phenotypes.
Results: We present a full loop energy model Boltzmann sampler of bicompatible sequences for pairs of structures. The novel dynamic programming algorithm is based on a topological framework encapsulating the relations between loops. We utilize our sequence sampler to study the energy spectra and density of bicompatible sequences, the rankings of the structures and key properties for evolutionary transitions.
Conclusion: Our analysis of riboswitch sequences shows that key properties of bicompatible sequences depend on the particular pair of structures. While there always exist bicompatible sequences for random structure pairs, they are less suited to facilitate transitions. We show that native riboswitch sequences exhibit a distinct signature with regards to the ranking of their two phenotypes relative to the minimum free energy, suggesting a new criterion for identifying native sequences and sequences subjected to evolutionary pressure.
Classification of toric log del Pezzo surfaces with few singular points
Published
• View Publication
• BIB
We give a classification of toric log del Pezzo surfaces with two or three singular points.
A basis for a quotient of symmetric polynomials
Consider the ring $\mathcal{S}$ of symmetric polynomials in $k$ variables over an arbitrary base ring $\mathbf{k}$. Fix $k$ scalars $a_{1},a_{2},\ldots,a_{k}\in\mathbf{k}$. Let $I$ be the ideal of $\mathcal{S}$ generated by $h_{n-k+1}-a_{1},h_{n-k+2}-a_{2},\ldots,h_{n}-a_{k}$, where $h_{i}$ is the $i$-th complete homogeneous symmetric polynomial. The quotient ring $\mathcal{S}/I$ generalizes both the usual and the quantum cohomology of the Grassmannian. We show that $\mathcal{S}/I$ has a $\mathbf{k}$-module basis consisting of (residue classes of) Schur polynomials fitting into an $\left( n-k\right) \times k$-rectangle; and that its multiplicative structure constants satisfy the same $S_3$-symmetry as those of the Grassmannian cohomology. We prove a Pieri rule and a "rim hook algorithm", and conjecture a positivity property generalizing that of Gromov-Witten invariants. We construct two further bases of $\mathcal{S}/I$ as well. We also study the quotient of the whole polynomial ring (not just the symmetric polynomials) by the ideal generated by the same $k$ polynomials as $I$.
On the Parameterized Complexity of Reconfiguration of Connected Dominating Sets
Published
• View Publication
• BIB
In a reconfiguration version of an optimization problem $\mathcal{Q}$ the input is an instance of $\mathcal{Q}$ and two feasible solutions $S$ and $T$. The objective is to determine whether there exists a step-by-step transformation between $S$ and $T$ such that all intermediate steps also constitute feasible solutions. In this work, we study the parameterized complexity of the \textsc{Connected Dominating Set Reconfiguration} problem (\textsc{CDS-R)}. It was shown in previous work that the \textsc{Dominating Set Reconfiguration} problem (\textsc{DS-R}) parameterized by $k$, the maximum allowed size of a dominating set in a reconfiguration sequence, is fixed-parameter tractable on all graphs that exclude a biclique $K_{d,d}$ as a subgraph, for some constant $d \geq 1$. We show that the additional connectivity constraint makes the problem much harder, namely, that \textsc{CDS-R} is \textsf{W}$[1]$-hard parameterized by $k+\ell$, the maximum allowed size of a dominating set plus the length of the reconfiguration sequence, already on $5$-degenerate graphs. On the positive side, we show that \textsc{CDS-R} parameterized by $k$ is fixed-parameter tractable, and in fact admits a polynomial kernel on planar graphs.
Enumerative combinatorics of intervals in the Dyck pattern poset
Published
• View Publication
• BIB
We initiate the study of the enumerative combinatorics of the intervals in the Dyck pattern poset. More specifically, we find some closed formulas to express the size of some specific intervals, as well as the number of their covering relations. In most of the cases, we are also able to refine our formulas by rank. We also provide the first results on the Möbius function of the Dyck pattern poset, giving for instance a closed expression for the Möbius function of initial intervals whose maximum is a Dyck path having exactly two peaks.
The Minimization of Random Hypergraphs
We investigate the maximum-entropy model $\mathcal{B}_{n,m,p}$ for random $n$-vertex, $m$-edge multi-hypergraphs with expected edge size $pn$. We show that the expected size of the minimization of $\mathcal{B}_{n,m,p}$, i.e., the number of its inclusion-wise minimal edges, undergoes a phase transition with respect to $m$. If $m$ is at most $1/(1-p)^{(1-p)n}$, then the minimization is of size $Θ(m)$. Beyond that point, for $α$ such that $m = 1/(1-p)^{αn}$ and $\mathrm{H}$ being the entropy function, it is $Θ(1) \cdot \min\!\left(1, \, \frac{1}{(α\,{-}\,(1-p)) \sqrt{(1\,{-}\,α) n}}\right) \cdot 2^{(\mathrm{H}(α) + (1-α) \log_2 p) n}.$ This implies that the maximum expected size over all $m$ is $Θ((1+p)^n/\sqrt{n})$. Our structural findings have algorithmic implications for minimizing an input hypergraph, which in turn has applications in the profiling of relational databases as well as for the Orthogonal Vectors problem studied in fine-grained complexity. The main technical tool is an improvement of the Chernoff--Hoeffding inequality, which we make tight up to constant factors. We show that for a binomial variable $X \sim \mathrm{Bin}(n,p)$ and real number $0 < x \le p$, it holds that $\mathrm{P}[X \le xn] = Θ(1) \cdot \min\!\left(1, \, \frac{1}{(p-x) \sqrt{xn}}\right) \cdot 2^{-\!\mathrm{D}(x \,{\|}\, p) n}$, where $\mathrm{D}$ denotes the Kullback--Leibler divergence between Bernoulli distributions. The result remains true if $x$ depends on $n$ as long as it is bounded away from $0$.
The Ramsey properties for Grassmannians over $\mathbb R$, $\mathbb C$
In this note we study and obtain factorization theorems for colorings of matrices and Grassmannians over $\mathbb{R}$ and ${\mathbb{C}}$, which can be considered metric versions of the Dual Ramsey Theorem for Boolean matrices and of the Graham-Leeb-Rothschild Theorem for Grassmannians over a finite field.
Combinatorially refine a Zagier-Stanley result on products of permutations
Published in Discrete Mathematics 343(8) (2020), Article 111912
• View Publication
• BIB
In this paper, we enumerate the pairs of permutations that are long cycles and whose product has a given cycle-type. Our main result is a simple relation concerning the desired numbers for a few related cycle-types. The relation refines a formula of the number of pairs of long cycles whose product has $k$ cycles independently obtained by Zagier and Stanley relying on group characters, and was previously obtained by Féray and Vassilieva by counting some colored permutations first and then relying on some algebraic computations in the ring of symmetric functions. Our approach here is simpler and combinatorial.
Existence thresholds and Ramsey properties of random posets
Published
• View Publication
• BIB
Let $\mathcal P(n)$ denote the power set of $[n]$, ordered by inclusion, and let $\mathcal P (n,p)$ denote the random poset obtained from $\mathcal P(n)$ by retaining each element from $\mathcal P (n)$ independently at random with probability $p$ and discarding it otherwise.
Given any fixed poset $F$ we determine the threshold for the property that $\mathcal P(n,p)$ contains $F$ as an induced subposet. We also asymptotically determine the number of copies of a fixed poset $F$ in $\mathcal P(n)$. Finally, we obtain a number of results on the Ramsey properties of the random poset $\mathcal P(n,p)$.
Initial Steps in the Classification of Maximal Mediated Sets
Published
• View Publication
• BIB
Maximal mediated sets (MMS), introduced by Reznick, are distinguished subsets of lattice points in integral polytopes with even vertices. MMS of Newton polytopes of AGI-forms and nonnegative circuit polynomials determine whether these polynomials are sums of squares. In this article, we take initial steps in classifying MMS both theoretically and practically. Theoretically, we show that MMS of simplices are isomorphic if and only if the simplices generate the same lattice up to permutations. Furthermore, we generalize a result of Iliman and the third author. Practically, we fully characterize the MMS for all simplices of sufficiently small dimensions and maximal 1-norms. In particular, we experimentally prove a conjecture by Reznick for 2 dimensional simplices up to maximal 1-norm 150 and provide indications on the distribution of the density of MMS.
Circulant matrices with orthogonal rows and off-diagonal entries of absolute value $1$
Published in Communications in Mathematics 29 (2021) 15-34
• View Publication
• BIB
It is known that a real symmetric circulant matrix with diagonal entries $d\geq0$, off-diagonal entries $\pm1$ and orthogonal rows exists only of order $2d+2$ (and trivially of order $1$) [Turek and Goyeneche 2019]. In this paper we consider a complex Hermitian analogy of those matrices. That is, we study the existence and construction of Hermitian circulant matrices having orthogonal rows, diagonal entries $d\geq0$ and any complex entries of absolute value $1$ off the diagonal. As a particular case, we consider matrices whose off-diagonal entries are 4th roots of unity; we prove that the order of any such matrix with $d$ different from an odd integer is $n=2d+2$. We also discuss a similar problem for symmetric circulant matrices defined over finite rings $\mathbb{Z}_m$. As an application of our results, we show a close connection to mutually unbiased bases, an important open problem in quantum information theory.
Tropical Moduli Space of Rational Graphically Stable Curves
Published
• View Publication
• BIB
We study moduli spaces of rational graphically stable tropical curves and a refinement given by radial alignment. Given a complete multipartite graph $Γ$, the moduli space of radially aligned $Γ$-stable tropical curves can be given the structure of a balanced fan. This fan structure coincides with the Bergman fan of the cycle matroid of $Γ$.
Uniqueness of Optimal Point Sets Determining Two Distinct Triangles
Published in Integers 21 (2021) A43
• View Publication
• BIB
In this paper, we show that the maximum number of points in $d\geq3$ dimensions determining exactly 2 distinct triangles is $2d$. We further show that this maximum is uniquely achieved by the vertices of the $d$-orthoplex. We build upon the work of Hirasaka and Shinohara who determined that the $d$-orthoplex is such an optimal configuration, but did not prove its uniqueness. Further, we present a more elementary argument for its optimality.