Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Quadratic rotation symmetric Boolean functions
Published
• View Publication
• BIB
Let $(0, a_1, \ldots, a_{d-1})_n$ denote the function $f_n(x_0, x_1, \ldots, x_{n-1})$ of degree $d$ in $n$ variables generated by the monomial $x_0x_{a_1} \cdots x_{a_{d-1}}$ and having the property that $f_n$ is invariant under cyclic permutations of the variables. Such a function $f_n$ is called monomial rotation symmetric (MRS). Much of this paper extends the work on quadratic MRS functions in a $2020$ paper of the authors to the case of binomial RS functions, that is sums of two quadratic MRS functions. There are also some results for the sum of any number of quadratic MRS functions.
Mobility of geometric constraint systems with extrusion symmetry
Published
• View Publication
• BIB
If we take a (bar-joint) framework, prepare an identical copy of this framework, translate it by some vector $τ$, and finally join corresponding points of the two copies, then we obtain a framework with `extrusion' symmetry in the direction of $τ$. This process may be repeated $t$ times to obtain a framework whose underlying graph has $\mathbb{Z}_2^t$ as a subgroup of its automorphism group and which has `$t$-fold extrusion' symmetry. We show that while $t$-fold extrusion symmetry is not a point-group symmetry, the rigidity matrix of a framework with $t$-fold extrusion symmetry can still be transformed into a block-decomposed form in the analogous way as for point-group symmetric frameworks. This allows us to use Fowler-Guest-type character counts to analyse the mobility of such frameworks. We show that this entire theory also extends to the more general point-hyperplane frameworks with $t$-fold extrusion symmetry. Moreover, we show that under suitable regularity conditions the infinitesimal flexes we detect with our symmetry-adapted counts extend to finite (continuous) motions. Finally, we establish an algorithm that checks for finite motions via linearly displacing framework points along velocity vectors of infinitesimal motions.
The Diameter of Sum Basic Equilibria Games
Published
• View Publication
• BIB
A graph $G$ of order $n$ is said to be a sum basic equilibrium if and only if for every edge $uv$ from $G$ and any node $v'$ from $G$, when performing the swap of the edge $uv$ for the edge $uv'$, the sum of the distances from $u$ to all the other nodes is not strictly reduced. This concept lies in the heart of the so-called network creation games, where the central problem is to understand the structure of the resulting equilibrium graphs, and in particular, how well they globally minimize the diameter. It was shown in [Alon, Demaine, Hajiaghayi, Leighton, SIAM J. Discrete Math. 27(2), 2013] that the diameter of sum basic equilibria is $2^{O(\sqrt{\log n})}$ in general, and at most $2$ for trees. In this paper we show that the upper bound of $2$ can be extended to bipartite graphs, and that it also holds for some nonbipartite classes like block graphs and cactus graphs.
A note on uniquely embeddable 2-factors
Published
• View Publication
• BIB
Let $C_{n_1}\cup C_{n_2}\cup \ldots \cup C_{n_k}$ be a 2-factor i.e. a vertex-disjoint union of cycles. In this note we completely characterize those 2-factors that are uniquely embeddeble in their complement.
Simulating Logspace-Recursion with Logarithmic Quantifier Depth
Published
• View Publication
• BIB
The fixed-point logic LREC= was developed by Grohe et al. (CSL 2011) in the quest for a logic to capture all problems decidable in logarithmic space. It extends FO+C, first-order logic with counting, by an operator that formalises a limited form of recursion. We show that for every LREC=-definable property on relational structures, there is a constant k such that the k-variable fragment of first-order logic with counting quantifiers expresses the property via formulae of logarithmic quantifier depth. This yields that any pair of graphs separable by the property can be distinguished with the k-dimensional Weisfeiler-Leman algorithm in a logarithmic number of iterations. In particular, it implies that a constant dimension of the algorithm identifies every interval graph and every chordal claw-free graph in logarithmically many iterations, since every such graph admits LREC=-definable canonisation.
Isometric embedding and spectral constraints for weighted graph metrics
A weighted graph $φG$ encodes a finite metric space $D_{φG}$. When is $D$ totally decomposable? When does it embed in $\ell_1$ space? When does its representing matrix have $\leq 1$ positive eigenvalue? We give useful lemmata and prove that these questions can be answered without examining $φ$ if and only if $G$ has no $K_{2,3}$ minor. We also prove results toward the following conjecture. $D_{φG}$ has $\leq n$ positive eigenvalues for all $φ$, if and only if $G$ has no $K_{2,3,...,3}$ minor, with $n$ threes.
Graphical distances & inertia
We study the inertia of distance matrices of weighted graphs. Our novel congruence-based proof of the inertia of weighted trees extends to a proof for the inertia of weighted unicyclic graphs whose cycle is a triangle. Partial results are given on the inertia of other rationally weighted unicylic graphs.
Posets of width two and skew Young diagrams
Let $P$ be a finite poset of width two, i.e., with no three-element antichain. We associate with $P$ a skew Young diagram $Υ(P)$ and discuss some of the properties of the map $Υ$. In particular, if we regard $Υ(P)$ as a poset in a standard way, then the linear extensions of $P$ are in bijection with the order ideals of $Υ(P)$.
Archive Labeling Sequences
Published
• View Publication
• BIB
What follows is the story of a family of integer sequences, which started life as a Google interview puzzle back in the previous century when VHS video tapes were in use.
Lorentzian fans
Published
• View Publication
• BIB
We introduce the notion of Lorentzian fans, which form a special class of tropical fans that are particularly well-suited for proving Alexandrov-Fenchel type inequalities. To demonstrate the utility of Lorentzian fans, we prove a practical characterization of them in terms of their two-dimensional star fans. We also show that Lorentzian fans are closed under many common tropical fan operations, and we discuss how the Lorentzian property descends to the underlying tropical variety, allowing us to deduce Alexandrov-Fenchel type inequalities in the general setting of tropical intersection theory on tropical fan varieties.
Fractional eternal domination: securely distributing resources across a network
Published
• View Publication
• BIB
This paper initiates the study of fractional eternal domination in graphs, a natural relaxation of the well-studied eternal domination problem. We study the connections to flows and linear programming in order to obtain results on the complexity of determining the fractional eternal domination number of a graph $G$, which we denote $γ_{\,\textit{f}}^{\infty}(G)$. We study the behaviour of $γ_{\,\textit{f}}^{\infty}(G)$ as it relates to other domination parameters. We also determine bounds on, and in some cases exact values for, $γ_{\,\textit{f}}^{\infty}(G)$ when $G$ is a member of one of a variety of important graph classes, including trees, split graphs, strongly chordal graphs, Kneser graphs, abelian Cayley graphs, and graph products.
The Theory of Gene Family Histories
Published
• View Publication
• BIB
Most genes are part of larger families of evolutionary related genes. The history of gene families typically involves duplications and losses of genes as well as horizontal transfers into other organisms. The reconstruction of detailed gene family histories, i.e., the precise dating of evolutionary events relative to phylogenetic tree of the underlying species has remained a challenging topic despite their importance as a basis for detailed investigations into adaptation and functional evolution of individual members of the gene family. The identification of orthologs, moreover, is a particularly important subproblem of the more general setting considered here. In the last few years, an extensive body of mathematical results has appeared that tightly links orthology, a formal notion of best matches among genes, and horizontal gene transfer. The purpose of this chapter is the broadly outline some of the key mathematical insights and to discuss their implication for practical applications. In particular, we focus on tree-free methods, i.e., methods to infer orthology or horizontal gene transfer as well as gene trees, species trees and reconciliations between them without using \emph{a priori} knowledge of the underlying trees or statistical models for the inference of phylogenetic trees. Instead, the initial step aims to extract binary relations among genes.
Switchover phenomenon for general graphs
Published
• View Publication
• BIB
We study SIR type epidemics on graphs in two scenarios: (i) when the initial infections start from a well connected central region, (ii) when initial infections are distributed uniformly. Previously, Ódor et al. demonstrated on a few random graph models that the expectation of the total number of infections undergoes a switchover phenomenon; the central region is more dangerous for small infection rates, while for large rates, the uniform seeding is expected to infect more nodes. We rigorously prove this claim under mild, deterministic assumptions on the underlying graph. If we further assume that the central region has a large enough expansion, the second moment of the degree distribution is bounded and the number of initial infections is comparable to the number of vertices, the difference between the two scenarios is shown to be macroscopic.
A type $B$ analog of Ish arrangement
Published
• View Publication
• BIB
The Shi arrangement due to Shi (1986) and the Ish arrangement due to Armstrong (2013) are deformations of the type $A$ Coxeter arrangement that share many common properties. Motivated by a question of Armstrong and Rhoades since 2012 to seek for Ish arrangements of other types, in this paper we introduce an Ish arrangement of type $B$. We study this Ish arrangement through various aspects similar to as known in type $A$ with a main emphasis on freeness and supersolvability. Our method is based on the concept of $ψ$-digraphic arrangements recently introduced due to Abe and the authors with a type $B$ extension.
Fractional matching, factors and spectral radius in graphs involving minimum degree
Published
• View Publication
• BIB
A fractional matching of a graph $G$ is a function $f:E(G)\rightarrow [0, 1]$ such that for any $v\in V(G)$, $\sum_{e\in E_{G}(v)}f(e)\leq1$, where $E_{G}(v)=\{e\in E(G): e~ \mbox{is incident with} ~v~\mbox{in}~G\}$.The fractional matching number of $G$ is $μ_{f}(G)=\mathrm{max}\{\sum_{e\in E(G)}f(e):f$ is a fractional matching of $G\}$. Let $k\in (0,n)$ is an integer. In this paper, we prove a tight lower bound of the spectral radius to guarantee $μ_{f}(G)>\frac{n-k}{2}$ in a graph with minimum degree $δ,$ which implies the result on the fractional perfect matching due to Fan et al. [Discrete Math. 345 (2022) 112892].
For a set $\{A, B, C, \ldots\}$ of graphs, an $\{A, B, C, \ldots\}$-factor of a graph $G$ is defined to be a spanning subgraph of $G$ each component of which is isomorphic to one of $\{A, B, C, \ldots\}$.We present a tight sufficient condition in terms of the spectral radius for the existence of a $\{K_2, \{C_k\}\}$-factor in a graph with minimum degree $δ,$ where $k\geq 3$ is an integer. Moreover, we also provide a tight spectral radius condition for the existence of a $\{K_{1, 1}, K_{1, 2}, \ldots , K_{1, k}\}$-factor with $k\geq2$ in a graph with minimum degree $δ,$ which generalizes the result of Miao et al. [Discrete Appl. Math. 326 (2023) 17-32].
The Game Chromatic Number of Complete Multipartite Graphs with No Singletons
In this paper we investigate the game chromatic number for complete multipartite graphs. We devise several strategies for Alice, and one strategy for Bob, and we prove their optimality in all complete multipartite graphs with no singletons. All the strategies presented are computable in linear time, and the values of the game chromatic number depend directly only on the number and the sizes of sets in the partition.
Optimal trees of tangles: refining the essential parts
Published
• View Publication
• BIB
We combine the two fundamental fixed-order tangle theorems of Robertson and Seymour into a single theorem that implies both, in a best possible way.
We show that, for every $k \in \mathbb{N}$, every tree-decomposition of a graph $G$ which efficiently distinguishes all its $k$-tangles can be refined to a tree-decomposition whose parts are either too small to be home to a $k$-tangle, or as small as possible while being home to a $k$-tangle.
A Persistence-Driven Edit Distance for Trees with Abstract Weights
In this work we define a novel edit distance for trees considered with some abstract weights on the edges. The metric is driven by the idea of considering trees as topological summaries in the context of persistence and topological data analysis. Several examples related to persistent sets are presented. The metric can be computed with a dynamical binary linear programming approach. This framework is applied and further studied in other works focused on merge trees, where the problems of stability and merge trees estimation are also assessed.
Sweet division problems: from chocolate bars to honeycomb strips and back
We consider two division problems on narrow strips of square and hexagonal lattices. In both cases we compute the bivariate enumerating sequences and the corresponding generating functions, which allowed us to determine the asymptotic behavior of the total number of such subdivisions and the expected number of parts. For the square lattice we extend results of two recent references by establishing polynomiality of enumerating sequences forming columns and diagonals of the triangular enumerating sequence. In the hexagonal case, we find a number of new combinatorial interpretations of the Fibonacci numbers and find combinatorial proofs of some Fibonacci related identities. We also show how both cases could be treated via the transfer matrix method and discuss some directions for future research.
On polynomials associated to Voronoi diagrams of point sets and crossing numbers
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:2, Combinatorics (November 4, 2024) dmtcs:12443
• View Publication
• BIB
Three polynomials are defined for given sets $S$ of $n$ points in general position in the plane: The Voronoi polynomial with coefficients the numbers of vertices of the order-$k$ Voronoi diagrams of $S$, the circle polynomial with coefficients the numbers of circles through three points of $S$ enclosing $k$ points of $S$, and the $E_{\leq k}$ polynomial with coefficients the numbers of (at most $k$)-edges of $S$. We present several formulas for the rectilinear crossing number of $S$ in terms of these polynomials and their roots. We also prove that the roots of the Voronoi polynomial lie on the unit circle if, and only if, $S$ is in convex position. Further, we present bounds on the location of the roots of these polynomials.