Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Admissible Causal Structures and Correlations
Published in PRX Quantum 4, 040307, October 2023
• View Publication
• BIB
It is well-known that if one assumes quantum theory to hold locally, then processes with indefinite causal order and cyclic causal structures become feasible. Here, we study qualitative limitations on causal structures and correlations imposed by local quantum theory. For one, we find a necessary graph theoretic criterion--the "siblings-on-cycles" property--for a causal structure to be admissible: Only such causal structures admit a realization consistent with local quantum theory. We conjecture that this property is moreover sufficient. This conjecture is motivated by an explicit construction of quantum causal models, and supported by numerical calculations. We show that these causal models, in a restricted setting, are indeed consistent. For another, we identify two sets of causal structures that, in the classical-deterministic case, give rise to causal and non-causal correlations respectively.
Incidence matrices for the class $\mathcal{O}_6$ of lines external to the twisted cubic in $\mathrm{PG}(3,q)$
Published
• View Publication
• BIB
We consider the structures of the plane-line and point-line incidence matrices of the projective space $\mathrm{PG}(3,q)$ connected with orbits of planes, points, and lines under the stabilizer group of the twisted cubic. In the literature, lines are partitioned into classes, each of which is a union of line orbits. In this paper, for all $q$, even and odd, we determine the incidence matrices connected with a family of orbits of the class named $\mathcal{O}_6$. This class contains lines external to the twisted cubic. The considered family include an essential part of all $\mathcal{O}_6$ orbits, whose complete classification is an open problem.
Assorted inequalities for pattern occurrences
In this note, we present several inequalities in the context of pattern containment, utilizing elementary applications of the Fortuin-Kasteleyn-Ginibre (FKG) inequality and Shearer's lemma.
Computing the minimum distance of the $C(\mathbb{O}_{3,6})$ polar Orthogonal Grassmann code with elementary methods
Published
• View Publication
• BIB
The polar orthogonal Grassmann code $C(\mathbb{O}_{3,6})$ is the linear code associated to the Grassmann embedding of the Dual Polar space of $Q^+(5,q)$. In this manuscript we study the minimum distance of this embedding. We prove that the minimum distance of the polar orthogonal Grassmann code $C(\mathbb{O}_{3,6})$ is $q^3-q^3$ for $q$ odd and $q^3$ for $q$ even. Our technique is based on partitioning the orthogonal space into different sets such that on each partition the code $C(\mathbb{O}_{3,6})$ is identified with evaluations of determinants of skew--symmetric matrices. Our bounds come from elementary algebraic methods counting the zeroes of particular classes of polynomials. We expect our techniques may be applied to other polar Grassmann codes.
Turán Problems for Mixed Graphs
Published in Journal of Combinatorial Theory, Series B, Volume 167, 2024, Pages 119-163, ISSN 0095-8956
• View Publication
• BIB
We investigate natural Turán problems for mixed graphs, generalizations of graphs where edges can be either directed or undirected. We study a natural \textit{Turán density coefficient} that measures how large a fraction of directed edges an $F$-free mixed graph can have; we establish an analogue of the Erdős-Stone-Simonovits theorem and give a variational characterization of the Turán density coefficient of any mixed graph (along with an associated extremal $F$-free family). This characterization enables us to highlight an important divergence between classical extremal numbers and the Turán density coefficient. We show that Turán density coefficients can be irrational, but are always algebraic; for every positive integer $k$, we construct a family of mixed graphs whose Turán density coefficient has algebraic degree $k$.
A Grammatical Calculus for Peaks and Runs of Permutations
Published
• View Publication
• BIB
We develop a nonstandard approach to exploring polynomials associated with peaks and runs of permutations. With the aid of a context-free grammar, or a set of substitution rules, one can perform a symbolic calculus, and the computation often becomes rather simple. From a grammar it follows at once a system of ordinary differential equations for the generating functions. Utilizing a certain constant property, it is even possible to deduce a single equation for each generating function. To bring the grammar to a combinatorial setting, we find a labeling scheme for up-down runs of a permutation, which can be regarded as a refined
property, or the differentiability in a certain sense, in contrast to the usual counting argument for the recurrence relation. The labeling scheme also exhibits how the substitution rules arise in the construction of the combinatorial structures. Consequently,
polynomials on peaks and runs can be dealt with in two ways, combinatorially or grammatically. The grammar also serves as a guideline to build a bijection between permutations and increasing trees that maps the number of up-down runs to the number of nonroot vertices of even degree. This correspondence can be adapted to left peaks and exterior peaks, and the key step of the construction is called the reflection principle.
Structure of singular and nonsingular tournament matrices
A tournament is a directed graph resulting from an orientation of the complete graph; so, if $M$ is a tournament's adjacency matrix, then $M + M^T$ is a matrix with $0$s on its diagonal and all other entries equal to $1$. An outstanding question in tournament theory asks to classify the adjacency matrices of tournaments which are singular (or nonsingular). We study this question using the structure of tournaments as graphs, in particular their cycle structure. More specifically, we find, as precisely as possible, the number of cycles of length three that dictates whether the corresponding tournament matrix is singular or nonsingular. We also give structural classifications of the tournaments that have the specified numbers of cycles of length three.
Graphs with girth $2\ell+1$ and without longer odd holes that contain an odd $K_4$-subdivision
Published
• View Publication
• BIB
We say that a graph $G$ has an {\em odd $K_4$-subdivision} if some subgraph of $G$ is isomorphic to a $K_4$-subdivision and whose faces are all odd holes of $G$. For a number $\ell\geq 2$, let $\mathcal{G}_{\ell}$ denote the family of graphs which have girth $2\ell+1$ and have no odd hole with length greater than $2\ell+1$. Wu, Xu and Xu conjectured that every graph in $\bigcup_{\ell\geq2}\mathcal{G}_{\ell}$ is 3-colorable. Recently, Chudnovsky et al. and Wu et al., respectively, proved that every graph in $\mathcal{G}_2$ and $\mathcal{G}_3$ is 3-colorable. In this paper, we prove that no $4$-vertex-critical graph in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ has an odd $K_4$-subdivision. Using this result, Chen proved that all graphs in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ are 3-colorable.
Multidimensional threshold matrices and extremal matrices of order $2$
The paper is devoted to multidimensional $(0,1)$-matrices extremal with respect to containing a polydiagonal (a fractional generalization of a diagonal). Every extremal matrix is a threshold matrix, i.e., an entry belongs to its support whenever a weighted sum of incident hyperplanes exceeds a given threshold. Firstly, we prove that nonequivalent threshold matrices have different distributions of ones in hyperplanes. Next, we establish that extremal matrices of order $2$ are exactly selfdual threshold Boolean functions. Using this fact, we find the asymptotics of the number of extremal matrices of order $2$ and provide counterexamples to several conjectures on extremal matrices. Finally, we describe extremal matrices of order $2$ with a small diversity of hyperplanes.
On a variant of Flory model
We consider a one-dimensional variant of a recently introduced settlement planning problem in which houses can be built on finite portions of the rectangular integer lattice subject to certain requirements on the amount of insolation they receive. In our model, each house occupies a unit square on a $1 \times n$ strip, with the restriction that at least one of the neighboring squares must be free. We are interested mostly in situations in which no further building is possible, i.e. in maximal configurations of houses in the strip. We reinterpret the problem as a problem of restricted packing of vertices in a path graph and then apply the transfer matrix method in order to compute the bivariate generating functions for the sequences enumerating all maximal configurations of a given length with respect to the number of houses. This allows us to determine the asymptotic behavior of the enumerating sequences and to compute some interesting statistics. Along the way, we establish close connections between our maximal configurations and several other types of combinatorial objects, including restricted permutations and walks on certain small oriented graphs. In all cases we provide combinatorial proofs. We then generalize our results in several directions by considering multi-story houses, by varying the insolation restrictions, and, finally, by considering strips of width 2 and 3. At the end we comment on several possible directions of future research.
Generic Networks of Votings
Published
• View Publication
• BIB
In this paper, we analyse results of the $15^{\textrm{th}}$ International Henryk Wieniawski Violin Competition by comparing the properties of its results network to the properties of \emph{generic networks of votings}.
Direction-Critical Configurations in Noncentral General Position
In 1982, Ungar proved that the connecting lines of a set of $n$ noncollinear points in the plane determine at least $2\lfloor n/2 \rfloor$ directions (slopes). Sets achieving this minimum for $n$ odd (even) are called \emph{direction-(near)-critical} and their full classification is still open. To date, there are four known infinite families and over 100 sporadic critical configurations. Jamison conjectured that any direction-critical configuration with at least 50 points belongs to those four infinite families. Interestingly, except for a handful of sporadic configurations, all these configurations are centrally symmetric. We prove Jamison's conjecture, and extend it to the near-critical case, for centrally symmetric configurations in \emph{noncentral general position}, where only the connecting lines through the center of symmetry may pass through more than two points. As in Ungar's proof, our results are proved in the more general setting of \emph{allowable sequences}. We show that, up to equivalence, the \emph{central signature} of a set uniquely determines a centrally symmetric direction-(near)-critical allowable sequence in noncentral general position, and classify such allowable sequences that are geometrically realizable.
The Euler characteristic, $q$-matroids, and a Möbius function
Published
• View Publication
• BIB
We first give two new proofs of an old result that the reduced Euler characteristic of a matroid complex is equal to the Möbius number of the lattice of cycles of the matroid up to the sign. The purpose has been to find a model to establish an analogous result for the case of $q$-matroids and we find a relation between the Euler characteristic of the simplicial chain complex associated to a $q$-matroid complex and the lattice of $q$-cycles of the $q$-matroid. We use this formula to find the complete homology over $\mathbb{Z}$ of this shellable simplicial complex. We give a characterization of nonzero Euler characteristic for such order complexes. Finally, based on these results we remark why singular homology of a $q$-matroid equipped with order topology may not be effective to describe the $q$-cycles unlike the classical case of matroids.
The appearance function for paper-folding words
We provide a complete characterisation of the appearance function for paper-folding sequences for factors of any length. We make use of the software package {\tt Walnut} to establish these results.
Analogues of Poisson type limit theorems in discrete bm-Fock spaces
Published
• View Publication
• BIB
We present analogues of the Poisson limit distribution for the noncommutative bm-independence, which is associated with several positive symmetric cones. We construct related discrete Fock spaces with creation, annihilation and conservation operators, and prove Poisson type limit theorems for them. Properties of the positive cones, in particular the volume characteristic property they enjoy, and the combinatorics of labelled noncrossing partitions, play crucial role in these considerations.
Generic curves and non-coprime Catalans
Published in Algebraic Geometry, 2024
• Search Publication
We compute the Poincaré polynomials of the compactified Jacobians for plane curve singularities with Puiseaux exponents $(nd,md,md+1)$, and relate them to the combinatorics of $q,t$-Catalan numbers in the non-coprime case. We also confirm a conjecture of Cherednik and Danilenko for such curves.
Dihedral groups with the $m$-DCI property
Published
• View Publication
• BIB
A Cayley digraph $\rm{Cay}(G,S)$ of a group $G$ with respect to a subset $S$ of $G$ is called a CI-digraph if for any Cayley digraph $\rm{Cay}(G,T)$ isomorphic to $\rm{Cay}(G,S)$, there is an $α\in \rm{Aut}(G)$ such that $S^α=T$. For a positive integer $m$, $G$ is said to have the $m$-DCI property if all Cayley digraphs of $G$ with out-valency $m$ are CI-digraphs. Li [The Cyclic groups with the $m$-DCI Property, European J. Combin. 18 (1997) 655-665] characterized cyclic groups with the $m$-DCI property, and in this paper, we characterize dihedral groups with the $m$-DCI property. For a dihedral group $\mathrm{D}_{2n}$ of order $2n$, assume that $\mathrm{D}_{2n}$ has the $m$-DCI property for some $1 \leq m\leq n-1$. Then it is shown that $n$ is odd, and if further $p+1\leq m\leq n-1$ for an odd prime divisor $p$ of $n$, then $p^2\nmid n$. Furthermore, if $n$ is a power of a prime $q$, then $\mathrm{D}_{2n}$ has the $m$-DCI property if and only if either $n=q$, or $q$ is odd and $1\leq m\leq q$.
Design and Guidance of a Multi-Active Debris Removal Mission
Published
• View Publication
• BIB
Space debris have been becoming exceedingly dangerous over the years as the number of objects in orbit continues to rise. Active debris removal (ADR) missions have garnered significant attention as an effective way to mitigate this collision risk. This research focuses on developing a multi-ADR mission that utilizes controlled reentry and deorbiting. The mission comprises two spacecraft: a Servicer that brings debris down to a low altitude and a Shepherd that rendezvous with the debris to later perform a controlled reentry. A preliminary mission design tool (PMDT) is developed to obtain time or fuel optimal trajectories for the proposed mission while taking the effect of $J_2$, drag, eclipses, and duty ratio into account. The PMDT can perform such trajectory optimizations within computational times that are under a minute. Three guidance schemes are also studied, taking the PMDT solution as a reference, to validate the design methodology and provide guidance solutions for this complex mission profile.
$2$-Reconstructibility of Weakly Distance-Regular Graphs
Published
• View Publication
• BIB
A graph is $\ell$-reconstructible if it is determined by its multiset of induced subgraphs obtained by deleting $\ell$ vertices. We prove that strongly regular graphs with at least six vertices are $2$-reconstructible.
Embedding dimensions of matrices whose entries are indefinite distances in the pseudo-Euclidean space
Published
• View Publication
• BIB
A finite set of the Euclidean space is called an $s$-distance set provided the number of Euclidean distances in the set is $s$. Determining the largest possible $s$-distance set for the Euclidean space of a given dimension is challenging. This problem was solved only when dealing with small values of $s$ and dimensions. Lisoněk (1997) achieved the classification of the largest 2-distance sets for dimensions up to $7$, using computer assistance and graph representation theory. In this study, we consider a theory analogous to these results of Lisoněk for the pseudo-Euclidean space $\mathbb{R}^{p,q}$. We consider an $s$-indefinite-distance set in a pseudo-Euclidean space that uses the value \[ || x-y ||=(x_1-y_1)^2 +\cdots +(x_p -y_p)^2-(x_{p+1}-y_{p+1})^2-\cdots -(x_{p+q}-y_{p+q})^2 \] instead of the Euclidean distance. We develop a representation theory for symmetric matrices in the context of $s$-indefinite-distance sets, which includes or improves the results of Euclidean $s$-distance sets with large $s$ values. Moreover, we classify the largest possible $2$-indefinite-distance sets for small dimensions.