Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On L(2,1)-labelings of oriented graphs
Published
• View Publication
• BIB
We extend a result of Griggs and Yeh about the maximum possible value of the L(2,1)-labeling number of a graph in terms of its maximum degree to oriented graphs. We consider the problem both in the usual definition of the oriented L(2,1)-labeling number and in some variants we introduce.
A tour problem on a toroidal board
In this paper we study a tour problem that we came cross while studying biembeddings and Heffter arrays, see [D.S. Archdeacon, Heffter arrays and biembedding graphs on surfaces, Electron. J. Combin. 22 (2015) #P1.74]. Let $A$ be an $n\times m$ toroidal array consisting of filled cells and empty cells. Assume that an orientation $R=(r_1,\dots,r_n)$ of each row and $C=(c_1,\dots,c_m)$ of each column of $A$ is fixed. Given an initial filled cell $(i_1,j_1)$ consider the list $ L_{R,C}=((i_1,j_1),(i_2,j_2),\ldots,(i_k,j_k),$ $(i_{k+1},j_{k+1}),\ldots)$ where $j_{k+1}$ is the column index of the filled cell $(i_k,j_{k+1})$ of the row $R_{i_k}$ next to $(i_k,j_k)$ in the orientation $r_{i_k}$, and where $i_{k+1}$ is the row index of the filled cell of the column $C_{j_{k+1}}$ next to $(i_k,j_{k+1})$ in the orientation $c_{j_{k+1}}$. We propose the following "Crazy Knight's Tour Problem": Do there exist $R$ and $C$ such that the list $L_{R,C}$ covers all the filled cells of $A$?
Here we provide a complete solution for the case with no empty cells and we obtain partial results for square arrays where the filled cells follow some specific regular patterns.
Generalized semimodularity: order statistics
Published
• View Publication
• BIB
A notion of generalized $n$-semimodularity is introduced, which extends that of (sub/super)mod\-ularity in four ways at once. The main result of this paper, stating that every generalized $(n\colon\!2)$-semimodular function on the $n$th Cartesian power of a distributive lattice is generalized $n$-semimodular, may be considered a multi/infinite-dimensional analogue of the well-known Muirhead lemma in the theory of Schur majorization. This result is also similar to a discretized version of the well-known theorem due to Lorentz, which latter was given only for additive-type functions. Illustrations of our main result are presented for counts of combinations of faces of a polytope; one-sided potentials; multiadditive forms, including multilinear ones -- in particular, permanents of rectangular matrices and elementary symmetric functions; and association inequalities for order statistics. Based on an extension of the FKG inequality due to Rinott \& Saks and Aharoni \& Keich, applications to correlation inequalities for order statistics are given as well.
Quantifier alternation in a class of recursively defined tree properties
Alternating quantifier depth is a natural measure of difficulty required to express first order logical sentences. We define a sequence of first order properties on rooted, locally finite trees in a recursive manner, and provide rigorous arguments for finding the alternating quantifier depth of each property in the sequence, using Ehrenfeucht-Fraïssé games.
Matroids and their Dressians
We study Dressians of matroids using the initial matroids of Dress and Wenzel. These correspond to cells in regular matroid subdivisions of matroid polytopes. An efficient algorithm for computing Dressians is presented, and its implementation is applied to a range of interesting matroids. We give counterexamples to a few plausible statements about matroid subdivisions.
There are at most $2^{d+1}-2$ neighbourly simplices in dimension $d$
A combinatorial theorem on families of disjoint sub-boxes of a discrete cube, which implies that there at most $2^{d+1}-2$ neighbourly simplices in $\mathbb R^d$, is presented.
The algebra of Boolean matrices, correspondence functors, and simplicity
Published
• View Publication
• BIB
We determine the dimension of every simple module for the algebra of the monoid of all relations on a finite set (i.e. Boolean matrices). This is in fact the same question as the determination of the dimension of every evaluation of a simple correspondence functor. The method uses the theory of such functors developed in [BT2, BT3], as well as some new ingredients in the theory of finite lattices.
On the achromatic number of signed graphs
Published in Theoretical Computer Science, Elsevier, 2019
• View Publication
• BIB
In this paper, we generalize the concept of complete coloring and achromatic number to 2-edge-colored graphs and signed graphs. We give some useful relationships between different possible definitions of such achromatic numbers and prove that computing any of them is NP-complete.
Surface Words are Determined by Word Measures on Groups
Published in Israel Journal of Mathematics 241, 749--774, 2021
• View Publication
• BIB
Every word $w$ in a free group naturally induces a probability measure on every compact group $G$. For example, if $w=\left[x,y\right]$ is the commutator word, a random element sampled by the $w$-measure is given by the commutator $\left[g,h\right]$ of two independent, Haar-random elements of $G$. Back in 1896, Frobenius showed that if $G$ is a finite group and $ψ$ an irreducible character, then the expected value of $ψ\left(\left[g,h\right]\right)$ is $\frac{1}{ψ\left(e\right)}$. This is true for any compact group, and completely determines the $\left[x,y\right]$-measure on these groups. An analogous result holds with the commutator word replaced by any surface word.
We prove a converse to this theorem: if $w$ induces the same measure as $\left[x,y\right]$ on every compact group, then, up to an automorphism of the free group, $w$ is equal to $\left[x,y\right]$. The same holds when $\left[x,y\right]$ is replaced by any surface word.
The proof relies on the analysis of word measures on unitary groups and on orthogonal groups, which appears in separate papers, and on new analysis of word measures on generalized symmetric groups that we develop here.
Local approximation of the Maximum Cut in regular graphs
Published in Theoretical Computer Science 820 (2020), 45-59
• View Publication
• BIB
This paper is devoted to the distributed complexity of finding an approximation of the maximum cut in graphs. A classical algorithm consists in letting each vertex choose its side of the cut uniformly at random. This does not require any communication and achieves an approximation ratio of at least $\tfrac12$ in average. When the graph is $d$-regular and triangle-free, a slightly better approximation ratio can be achieved with a randomized algorithm running in a single round. Here, we investigate the round complexity of deterministic distributed algorithms for MAXCUT in regular graphs. We first prove that if $G$ is $d$-regular, with $d$ even and fixed, no deterministic algorithm running in a constant number of rounds can achieve a constant approximation ratio. We then give a simple one-round deterministic algorithm achieving an approximation ratio of $\tfrac1{d}$ for $d$-regular graphs with $d$ odd. We show that this is best possible in several ways, and in particular no deterministic algorithm with approximation ratio $\tfrac1{d}+ε$ (with $ε>0$) can run in a constant number of rounds. We also prove results of a similar flavour for the MAXDICUT problem in regular oriented graphs, where we want to maximize the number of arcs oriented from the left part to the right part of the cut.
Correspondence functors and finiteness conditions
Published
• View Publication
• BIB
We investigate the representation theory of finite sets. The correspondence functors are the functors from the category of finite sets and correspondences to the category of k-modules, where k is a commutative ring. They have various specific properties which do not hold for other types of func-tors. In particular, if k is a field and if F is a correspondence functor, then F is finitely generated if and only if the dimension of F (X) grows exponentially in terms of the cardinality of the finite set X. Moreover, in such a case, F has actually finite length. Also, if k is noetherian, then any subfunctor of a finitely generated functor is finitely generated.
Topological dynamics of Polish group extensions
Published
• View Publication
• BIB
We consider a short exact sequence $1\to H\to G\to K\to 1$ of Polish groups and consider what can be deduced about the dynamics of $G$ given information about the dynamics of $H$ and $K$. We prove that if the respective universal minimal flows $M(H)$ and $M(K)$ are metrizable, then so is $M(G)$. Furthermore, we show that if $M(H)$ and $M(K)$ are metrizable and both $H$ and $K$ are uniquely ergodic, then so is $G$. We then discuss several examples of these phenomena
Unique ergodicity of the automorphism group of the semigeneric directed graph
Published
• View Publication
• BIB
We prove that the automorphism group of the semigeneric directed graph (in the sense of Cherlin's classification) is uniquely ergodic.
Sufficient conditions for a digraph to admit a $(1,\leq\ell)$-identifying code
A $(1,\le \ell)$-identifying code in a digraph $D$ is a subset $C$ of vertices of $D$ such that all distinct subsets of vertices of cardinality at most $\ell$ have different closed in-neighborhoods within $C$. In this paper, we give some sufficient conditions for a digraph of minimum in-degree $δ^-\ge 1$ to admit a $(1,\le \ell)$-identifying code for $\ell=δ^-, δ^-+1$. As a corollary, we obtain the result by Laihonen that states that a graph of minimum degree $δ\ge 2$ and girth at least 7 admits a $(1,\le δ)$-identifying code. Moreover, we prove that every $1$-in-regular digraph has a $(1,\le 2)$-identifying code if and only if the girth of the digraph is at least 5. We also characterize all the 2-in-regular digraphs admitting a $(1,\le \ell)$-identifying code for $\ell=2,3$.
Correspondence functors and lattices
Published
• View Publication
• BIB
A correspondence functor is a functor from the category of finite sets and correspondences to the category of k-modules, where k is a commu-tative ring. A main tool for this study is the construction of a correspondence functor associated to any finite lattice T. We prove for instance that this functor is projective if and only if the lattice T is distributive. Moreover, it has quotients which play a crucial role in the analysis of simple functors. The special case of total orders yields some more specific and complete results.
Rectangles in latin squares
To get another from a given latin square, we have to change at least 4 entries. We show how to find these entries and how to change them.
Embeddings of Orlicz-Lorentz spaces into $L_1$
Published
• View Publication
• BIB
In this article, we show that Orlicz-Lorentz spaces $\ell^n_{M,a}$, $n\in\mathbb N$ with Orlicz function $M$ and weight sequence $a$ are uniformly isomorphic to subspaces of $L_1$ if the norm $\|\cdot\|_{M,a}$ satisfies certain Hardy-type inequalities. This includes the embedding of some Lorentz spaces $d^n(a,p)$. Our approach is based on combinatorial averaging techniques and we prove a new result of independent interest that relates suitable averages with Orlicz-Lorentz norms.
Covering graphs by monochromatic trees and Helly-type results for hypergraphs
How many monochromatic paths, cycles or general trees does one need to cover all vertices of a given $r$-edge-coloured graph $G$? These problems were introduced in the 1960s and were intensively studied by various researchers over the last 50 years. In this paper, we establish a connection between this problem and the following natural Helly-type question in hypergraphs. Roughly speaking, this question asks for the maximum number of vertices needed to cover all the edges of a hypergraph $H$ if it is known that any collection of a few edges of $H$ has a small cover. We obtain quite accurate bounds for the hypergraph problem and use them to give some unexpected answers to several questions about covering graphs by monochromatic trees raised and studied by Bal and DeBiasio, Kohayakawa, Mota and Schacht, Lang and Lo, and Girão, Letzter and Sahasrabudhe.
Graver Bases via Quantum Annealing with Application to Non-Linear Integer Programs
We propose a novel hybrid quantum-classical approach to calculate Graver bases, which have the potential to solve a variety of hard linear and non-linear integer programs, as they form a test set (optimality certificate) with very appealing properties. The calculation of Graver bases is exponentially hard (in general) on classical computers, so they not used for solving practical problems on commercial solvers. With a quantum annealer, however, it may be a viable approach to use them. We test two hybrid quantum-classical algorithms (on D-Wave)--one for computing Graver basis and a second for optimizing non-linear integer programs that utilize Graver bases--to understand the strengths and limitations of the practical quantum annealers available today. Our experiments suggest that with a modest increase in coupler precision--along with near-term improvements in the number of qubits and connectivity (density of hardware graph) that are expected--the ability to outperform classical best-in-class algorithms is within reach, with respect to non-linear integer optimization.
How to count the number of zeros that a polynomial has on the unit circle?
Published in Journal of Computational and Applied Mathematics, Volume 384, 1 March 2021, 113169 (Available online 27 August 2020)
• View Publication
• BIB
The classical problem of counting the number of real zeros of a real polynomial was solved a long time ago by Sturm. The analogous problem of counting the number of zeros that a polynomial has on the unit circle is, however, still an open problem. In this paper, we show that the second problem can be reduced to the first one through the use of a suitable pair of Möbius transformations - often called Cayley transformations - that have the property of mapping the unit circle onto the real line and vice versa. Although the method applies to arbitrary complex polynomials, we discuss in detail several classes of polynomials with symmetric zeros as, for instance, the cases of self-conjugate, self-adjoint, self-inversive, self-reciprocal and skew-reciprocal polynomials. Finally, an application of this method to Salem polynomials and to polynomials with small Mahler measure is also discussed.