Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Connections in randomly oriented graphs
Published
• View Publication
• BIB
Given an undirected graph $G$, let us randomly orient $G$ by tossing independent (possibly biased) coins, one for each edge of $G$. Writing $a\rightarrow b$ for the event that there exists a directed path from a vertex $a$ to a vertex $b$ in such a random orientation, we prove that $\mathbb{P}(s\rightarrow a \cap s\rightarrow b) \ge \mathbb{P}(s\rightarrow a) \mathbb{P}(s\rightarrow b)$ for any three vertices $s$, $a$ and $b$ of $G$.
A concise approach to small generating sets of lattices of quasiorders and transitive relations
By H. Strietz, 1975, and G. Czédli, 1996, the complete lattice $Equ(A)$ of all equivalences is four-generated, provided the size $|A|$ is an accessible cardinal. Results of I. Chajda and G. Czédli, 1996, G. Takách, 1996, T. Dolgos, 2015, and J.\ Kulin 2016, show that both the lattice $Quo(A)$ of all quasiorders on $A$ and, for $|A|\leq \aleph_0$, the lattice $Tran(A)$ of all transitive relations on $A$ have small generating sets. Based on complicated earlier constructions, we derive some new results in a concise but not self-contained way.
Minimal obstructions for normal spanning trees
Published
• View Publication
• BIB
Diestel and Leader have characterised connected graphs that admit a normal spanning tree via two classes of forbidden minors. One class are Halin's $(\aleph_0,\aleph_1)$-graphs: bipartite graphs with bipartition $(\mathbb{N},B)$ such that $B$ is uncountable and every vertex of $B$ has infinite degree.
Our main result is that under Martin's Axiom and the failure of the Continuum Hypothesis, the class of forbidden $(\aleph_0,\aleph_1)$-graphs in Diestel and Leader's result can be replaced by one single instance of such a graph.
Under CH, however, the class of $(\aleph_0,\aleph_1)$-graphs contains minor-incomparable elements, namely graphs of binary type, and $\mathcal{U}$-indivisible graphs. Assuming CH, Diestel and Leader asked whether every $(\aleph_0,\aleph_1)$-graph has an $(\aleph_0,\aleph_1)$-minor that is either indivisible or of binary type, and whether any two $\mathcal{U}$-indivisible graphs are necessarily minors of each other. For both questions, we construct examples showing that the answer is in the negative.
Finite field Kakeya and Nikodym sets in three dimensions
Published in SIAM Journal on Discrete Mathematics 32, no. 4 (2018): 2836-2849
• View Publication
• BIB
We give improved lower bounds on the size of Kakeya and Nikodym sets over $\mathbb{F}_q^3$. We also propose a natural conjecture on the minimum number of points in the union of a not-too-flat set of lines in $\mathbb{F}_q^3$, and show that this conjecture implies an optimal bound on the size of a Nikodym set.
Monadic second-order properties of very sparse random graphs
Published
• View Publication
• BIB
We study asymptotical probabilities of first order and monadic second order properties of Erdos-Renyi random graph G(n,n^{-a}). The random graph obeys FO (MSO) zero-one k-law if for any first order (monadic second order) formulae it is true for G(n,n^{-a}) with probability tending to 0 or to 1. Zero-one k-laws are well studied only for the first order language and a < 1. We obtain new zero-one k-laws (both for first order and monadic second order languages) when a > 1. Proofs of these results are based on the existed study of first order equivalence classes and our study of monadic second order equivalence classes. The respective results are of interest by themselves.
On infinite spectra of first order properties of random graphs
In this paper, we study spectra of first order properties of Erdos-Renyi random graph. We proved that minimal quantifier depth of a formula with an infinite spectrum is either 4 or 5.
Hamilton circles in Cayley graphs
Published
• View Publication
• BIB
For locally finite infinite graphs the notion of Hamilton cycles can be extended to Hamilton circles, homeomorphic images of $S^1$ in the Freudenthal compactification. In this paper we prove of a sufficient condition for the existence of Hamilton circles in locally finite Cayley graphs.
Flow polynomials as Feynman amplitudes and their $α$-representation
Published in Electron. J. Combin., vol. 24, (2017), no.1, paper 11, 19
• View Publication
• BIB
Let $G$ be a connected graph; denote by $τ(G)$ the set of its spanning trees. Let $\mathbb F_q$ be a finite field, $s(α,G)=\sum_{T\inτ(G)} \prod_{e \in E(T)} α_e$, where ${α_e\in \mathbb F_q}$. Kontsevich conjectured in 1997 that the number of nonzero values of $s(α, G)$ is a polynomial in $q$ for all graphs. This conjecture was disproved by Brosnan and Belkale. In this paper, using the standard technique of the Fourier transformation of Feynman amplitudes, we express the flow polynomial $F_G(q)$ in terms of the "correct" Kontsevich formula. Our formula represents $F_G(q)$ as a linear combination of Legendre symbols of $s(α, H)$ with coefficients $\pm 1/q^{(|V(H)|-1)/2}$, where $H$ is a contracted graph of $G$ depending on $α\in \left(\mathbb F^*_q\right)^{E(G)}$, and $|V(H)|$ is odd. The case $q=5$ corresponds to the least number with which all coefficients in the linear combination are positive. This allows us to hope that the obtained result can be applied to prove the Tutte 5-flow conjecture.
Ordering Unicyclic Graphs with Respect to F-index
F-index of a graph is the sum of the cube of the degrees of the vertices. In this paper, we investigate the F-indices of unicyclic graphs by introducing some transformation, and characterize the unicyclic graphs with the first five largest F-indices and the unicyclic graphs with the first two smallest F-indices, respectively.
On toric degenerations of flag varieties
Published
• View Publication
• BIB
Following the historical track in pursuing $T$-equivariant flat toric degenerations of flag varieties and spherical varieties, we explain how powerful tools in algebraic geometry and representation theory, such as canonical bases, Newton-Okounkov bodies, PBW-filtrations and cluster algebras come to push the subject forward.
The three 'R's and Dual Riordan Arrays
We describe how the reversion of a series is related to convolutional recurrence relations for the series, and we place this relationship in the context of Riordan arrays. As an example of the approach, we give new recurrence relations for the sequences of Patalan numbers. We also consider the concepts of recursive matrices and dual Riordan arrays, and their application to previous work on the super Patalan numbers.
Excluding a large theta graph
Published
• View Publication
• BIB
A theta graph, denoted $θ_{a,b,c}$, is a graph of order $a+b+c-1$ consisting of a pair of vertices and three independent paths between them of lengths $a$, $b$, and $c$. We provide a complete characterization of graphs that do not contain a large $θ_{a,b,c}$ as a topological minor. More specifically, we describe the structure of $θ_{1,2,t}$-, $θ_{2,2,t}$-, $θ_{1,t,t}$-, $θ_{2,t,t}$-, and $θ_{t,t,t}$-free graphs where $t$ is large. The main result is a characterization of $θ_{t,t,t}$-free graphs for large $t$. The $3$-connected $θ_{t,t,t}$-free graphs are formed by $3$-summing graphs without a long path to certain planar graphs. The $2$-connected $θ_{t,t,t}$-free graphs are then built up in a similar fashion by 2- and 3-sums. This result implies a well-known theorem of Robertson and Chakravarti on graphs that do not have a bond containing three specified edges.
Super-character theory and comparison arguments for a random walk on the upper triangular matrices
Published
• View Publication
• BIB
Consider the random walk on the $n \times n$ upper triangular matrices with ones on the diagonal and elements over $\mathbb{F}_p$ where we pick a row at random and either add it or subtract it from the row directly above it. The main result of this paper is to prove that the dependency of the mixing time on $p$ is $p^2$. This is proven by combining super-character theory and comparison theory arguments.
Combinatorial Repairability for Threshold Schemes
Published
• View Publication
• BIB
In this paper, we consider methods whereby a subset of players in a $(k,n)$-threshold scheme can "repair" another player's share in the event that their share has been lost or corrupted. This will take place without the participation of the dealer who set up the scheme. The repairing protocol should not compromise the (unconditional) security of the threshold scheme, and it should be efficient, where efficiency is measured in terms of the amount of information exchanged during the repairing process. We study two approaches to repairing. The first method is based on the "enrollment protocol" from \cite{NSG} which was originally developed to add a new player to a threshold scheme (without the participation of the dealer) after the scheme was set up. The second method distributes "multiple shares" to each player, as defined by a suitable combinatorial design. This method results in larger shares, but lower communication complexity, as compared to the first method.
Linear polychromatic colorings of hypercube faces
Published in Electr. J. Comb. 25(1):P1.2, 2018
• View Publication
• BIB
A coloring of the $\ell$-dimensional faces of $Q_n$ is called $d$-polychromatic if every embedded $Q_d$ has every color on at least one face. Denote by $p^\ell(d)$ the maximum number of colors such that any $Q_n$ can be colored in this way. We provide a new lower bound on $p^\ell(d)$ for $\ell > 1$.
Punctures for Theories of Class $\mathcal{S}_Γ$
Published
• View Publication
• BIB
With the aim of understanding compactifications of 6D superconformal field theories to four dimensions, we study punctures for theories of class $\mathcal{S}_Γ$. The class $\mathcal{S}_Γ$ theories arise from M5-branes probing $\mathbb{C}^2 / Γ$, an ADE singularity. The resulting 4D theories descend from compactification on Riemann surfaces decorated with punctures. We show that for class $\mathcal{S}_Γ$ theories, a puncture is specified by singular boundary conditions for fields in the 5D quiver gauge theory obtained from compactification of the 6D theory on a cylinder geometry. We determine general boundary conditions and study in detail solutions with first order poles. This yields a generalization of the Nahm pole data present for $1/2$ BPS punctures for theories of class $\mathcal{S}$. Focusing on specific algebraic structures, we show how the standard discussion of nilpotent orbits and its connection to representations of $\mathfrak{su}(2)$ generalizes in this broader context.
Newton flows for elliptic functions II Structural stability: Classification & Representation
Published
• View Publication
• BIB
In our previous paper we associated to each non-constant elliptic function $f$ on a torus $T$ a dynamical system, the elliptic Newton flow corresponding to $f$. We characterized the functions for which these flows are structurally stable and showed a genericity result. In the present paper we focus on the classification and representation of these structurally stable flows. The phase portrait of a structurally stable elliptic Newton flow generates a connected, cellularly embedded, graph $\mathcal{G}(f)$ on a torus $T$ with $r$ vertices, 2$r$ edges and $r$ faces that fulfil certain combinatorial properties ( Euler, Hall) on some of its subgraphs. The graph $\mathcal{G}(f)$ determines the conjugacy class of the flow. [classification] A connected, cellularly embedded toroidal graph $\mathcal{G}$ with the above Euler and Hall properties, is called a Newton graph. Any Newton graph $\mathcal{G}$ can be realized as the graph $\mathcal{G}(f)$ of the structurally stable Newton flow for some function $f$. This leads to: up till conjugacy between flows and (topological) equivalency between graphs, there is a one to one correspondence between the structurally stable Newton flows and Newton graphs, both with respect to the same order $r$ of the underlying functions $f$.[representation] Finally, we clarify the analogy between rational and elliptic Newton flows, and show that the detection of elliptic Newton flows is possible in polynomial time.
Newton flows for elliptic functions III Classification of $3^{\text{rd}}$ order Newton graphs
A Newton graph of order $r( \geqslant 2)$ is a cellularly embedded toroidal graph on $r$ vertices, $2r$ edges and $r$ faces that fulfils certain combinatorial properties (Euler, Hall). The significance of these graphs relies on their role in the study of structurally stable elliptic Newton flows - say $\bar{\bar{\mathcal{N}}} (f)$ - of order $r$, i.e. desingularized continuous versions of Newton's iteration method for finding zeros for an elliptic function $f$ (of order $r$). In previous work we established a representation of these flows in terms of Newton graphs. The present paper results into the classification of all $3^{\text{rd}}$ order Newton graphs, implying a list of all nine possible $3^{\text{rd}}$ order flows $\bar{\bar{\mathcal{N}}} (f)$ (up to conjugacy and duality).
On coordinatising planes of prime power order using finite fields
Published
• View Publication
• BIB
We revisit the coordinatisation method for projective planes. First, we discuss how the behaviour of the additive and multiplicative loops can be described in terms of its action on the "vertical" line, and how this means one can coordinatise certain planes in an optimal sense. We then move to consider projective planes of prime power order only. Specifically, we consider how coordinatising planes of prime power order using finite fields as the underlying labelling set leads to some general restrictions on the form of the resulting planar ternary ring (PTR) when viewed as a trivariate polynomial over the field. We also consider the Lenz-Barlotti type of the plane being coordinatised, deriving further restrictions on the form of the PTR polynomial.
The growth constant of odd cutsets in high dimensions
Published
• View Publication
• BIB
A cutset is a non-empty finite subset of $\mathbb{Z}^d$ which is both connected and co-connected. A cutset is odd if its vertex boundary lies in the odd bipartition class of $\mathbb{Z}^d$. Peled suggested that the number of odd cutsets which contain the origin and have $n$ boundary edges may be of order $e^{Θ(n/d)}$ as $d \to \infty$, much smaller than the number of general cutsets, which was shown by Lebowitz and Mazel to be of order $d^{Θ(n/d)}$. In this paper, we verify this by showing that the number of such odd cutsets is $(2+o(1))^{n/2d}$.