BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Martín D. Safe

Martín D. Safe appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.CODiscrete MathematicsData Structures and Algorithmsmath.CAmath.DSmath.FAmath.MGmath.NT

Catalog footprint

What is connected

10works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2022arXiv

Lochs-type theorems beyond positive entropy

Lochs' theorem and its generalizations are conversion theorems that relate the number of digits determined in one expansion of a real number as a function of the number of digits given in some other expansion. In its original version, Lochs' theorem related decimal expansions with continued fraction expansions. Such conversion results can also be stated for sequences of interval partitions under suitable assumptions, with results holding almost everywhere, or in measure, involving the entropy. This is the viewpoint we develop here. In order to deal with sequences of partitions beyond positive entropy, this paper introduces the notion of log-balanced sequences of partitions, together with their weight functions. These are sequences of interval partitions such that the logarithms of the measures of their intervals at each depth are roughly the same. We then state Lochs-type theorems which work even in the case of zero entropy, in particular for several important log-balanced sequences of partitions of a number-theoretic nature.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the generalized Helly property of hypergraphs, cliques, and bicliques

A family of sets is $(p,q)$-intersecting if every nonempty subfamily of $p$ or fewer sets has at least $q$ elements in its total intersection. A family of sets has the $(p,q)$-Helly property if every nonempty $(p,q)$-intersecting subfamily has total intersection of cardinality at least $q$. The $(2,1)$-Helly property is the usual Helly property. A hypergraph is $(p,q)$-Helly if its edge family has the $(p,q)$-Helly property and hereditary $(p,q)$-Helly if each of its subhypergraphs has the $(p,q)$-Helly property. A graph is $(p,q)$-clique-Helly if the family of its maximal cliques has the $(p,q)$-the Helly property and hereditary $(p,q)$-clique-Helly if each of its induced subgraphs is $(p,q)$-clique-Helly. The classes of $(p,q)$-biclique-Helly and hereditary $(p,q)$-biclique-Helly graphs are defined analogously. We prove several characterizations of hereditary $(p,q)$-Helly hypergraphs, including one by minimal forbidden partial subhypergraphs. We give an improved time bound for the recognition of $(p,q)$-Helly hypergraphs for each fixed $q$ and show that the recognition of hereditary $(p,q)$-Helly hypergraphs can be solved in polynomial time if $p$ and $q$ are fixed but co-NP-complete if $p$ is part of the input. In addition, we generalize to $(p,q)$-clique-Helly graphs the characterization of $p$-clique-Helly graphs in terms of expansions and give different characterizations of hereditary $(p,q)$-clique-Helly graphs, including one by forbidden induced subgraphs. We give an improvement on the time bound for the recognition of $(p,q)$-clique-Helly graphs and prove that the recognition problem of hereditary $(p,q)$-clique-Helly graphs is polynomial-time solvable for $p$ and $q$ fixed but NP-hard if $p$ or $q$ is part of the input. Finally, we provide different characterizations, give recognition algorithms, and prove hardness results for (hereditary) $(p,q)$-biclique-Helly graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

2-nested matrices: towards understanding the structure of circle graphs

A $(0,1)$-matrix has the consecutive-ones property (C1P) if its columns can be permuted to make the $1$'s in each row appear consecutively. This property was characterised in terms of forbidden submatrices by Tucker in 1972. Several graph classes were characterised by means of this property, including interval graphs and strongly chordal digraphs. In this work, we define and characterise 2-nested matrices, which are $(0,1)$-matrices with a variant of the C1P and for which there is also certain assignment of one of two colors to each block of consecutive $1$'s in each row. The characterization of 2-nested matrices in the present work is of key importance to characterise split graphs that are also circle by minimal forbidden induced subgraphs.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Fefferman-Stein inequalities for the Hardy-Littlewood maximal function on the infinite rooted $k$-ary tree

In this paper weighted endpoint estimates for the Hardy-Littlewood maximal function on {the infinite rooted} $k$-ary tree are provided. Motivated by Naor and Tao the following Fefferman-Stein estimate \[ w\left(\left\{ x\in T\,:\,Mf(x)>λ\right\} \right)\leq c_{s}\frac{1}λ\int_{T}|f(x)|M(w^{s})(x)^{\frac{1}{s}}dx\qquad s>1 \] is settled and moreover it {is shown it} is sharp, in the sense that it does not hold in general if $s=1$. Some examples of non trivial weights such that the weighted weak type $(1,1)$ estimate holds are provided. A {strong} Fefferman-Stein type estimate and as a consequence some vector valued extensions are obtained. In the Appendix a weighted counterpart of the abstract {theorem} of Soria and Tradacete on infinite trees is established.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Formulas in connection with parameters related to convexity of paths on three vertices: caterpillars and unit interval graphs

We present formulas to compute the P3-geodetic number, the P3-hull number and the percolation time for a caterpillar, in terms of certain sequences associated with it. In addition, we find a connection between the percolation time of a unit interval graph and a parameter involving the diameter of a unit interval graph related to it. Finally, we present a hereditary graph class, defined by forbidden induced subgraphs, such that its percolation time is equal to one.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

On nested and 2-nested graphs: two subclasses of graphs between threshold and split graphs

A $(0,1)$-matrix has the Consecutive Ones Property (C1P) for the rows if there is a permutation of its columns such that the ones in each row appear consecutively. We say a $(0, 1)$-matrix is nested if it has the consecutive ones property for the rows (C1P) and every two rows are either disjoint or nested. We say a $(0, 1)$-matrix is 2-nested if it has the C1P and admits a partition of its rows into two sets such that the submatrix induced by each of these sets is nested. We say a split graph $G$ with split partition $(K, S)$ is nested (resp.\ 2-nested) if the matrix $A(S, K)$ which indicates the adjacency between vertices in $S$ and $K$ is nested (resp.\ 2-nested). In this work, we characterize nested and 2-nested matrices by minimal forbidden submatrices. This characterization leads to a minimal forbidden induced subgraph characterization for these classes of graphs, which are a superclass of threshold graphs and a subclass of split and circle graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Characterization and linear-time detection of minimal obstructions to concave-round graphs and the circular-ones property

A graph is concave-round if its vertices can be circularly enumerated so that the closed neighbourhood of each vertex is an interval in the enumeration. In this work, we give a minimal forbidden induced subgraph characterization for the class of concave-round graphs, solving a problem posed by Bang-Jensen, Huang, and Yeo [SIAM J Discrete Math, 13:179--193, 2000]. In addition, we show that it is possible to find one such forbidden induced subgraph in linear time in any given graph that is not concave-round. As part of the analysis, we obtain characterizations by minimal forbidden submatrices for the circular-ones property for rows and for the circular-ones property for rows and columns and show that, also for both variants of the property, one of the corresponding forbidden submatrices can be found (if present) in any given matrix in linear time. We make some final remarks regarding connections to some classes of circular-arc graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Neighborhood covering and independence on two superclasses of cographs

Given a simple graph $G$, a set $C \subseteq V(G)$ is a neighborhood cover set if every edge and vertex of $G$ belongs to some $G[v]$ with $v \in C$, where $G[v]$ denotes the subgraph of $G$ induced by the closed neighborhood of the vertex $v$. Two elements of $E(G) \cup V(G)$ are neighborhood-independent if there is no vertex $v\in V(G)$ such that both elements are in $G[v]$. A set $S\subseteq V(G)\cup E(G)$ is neighborhood-independent if every pair of elements of $S$ is neighborhood-independent. Let $ρ_{\mathrm n}(G)$ be the size of a minimum neighborhood cover set and $α_{\mathrm n}(G)$ of a maximum neighborhood-independent set. Lehel and Tuza defined neighborhood-perfect graphs $G$ as those where the equality $ρ_{\mathrm n}(G') = α_{\mathrm n}(G')$ holds for every induced subgraph $G'$ of $G$. In this work we prove forbidden induced subgraph characterizations of the class of neighborhood-perfect graphs, restricted to two superclasses of cographs: $P_4$-tidy graphs and tree-cographs. We give as well linear-time algorithms for solving the recognition problem of neighborhood-perfect graphs and the problem of finding a minimum neighborhood cover set and a maximum neighborhood-independent set in these same classes.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Forbidden Induced Subgraphs of Normal Helly Circular-Arc Graphs: Characterization and Detection

A normal Helly circular-arc graph is the intersection graph of arcs on a circle of which no three or less arcs cover the whole circle. Lin, Soulignac, and Szwarcfiter [Discrete Appl. Math. 2013] characterized circular-arc graphs that are not normal Helly circular-arc graphs, and used it to develop the first recognition algorithm for this graph class. As open problems, they ask for the forbidden induced subgraph characterization and a direct recognition algorithm for normal Helly circular-arc graphs, both of which are resolved by the current paper. Moreover, when the input is not a normal Helly circular-arc graph, our recognition algorithm finds in linear time a minimal forbidden induced subgraph as certificate.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On circular-arc graphs having a model with no three arcs covering the circle

An interval graph is the intersection graph of a finite set of intervals on a line and a circular-arc graph is the intersection graph of a finite set of arcs on a circle. While a forbidden induced subgraph characterization of interval graphs was found fifty years ago, finding an analogous characterization for circular-arc graphs is a long-standing open problem. In this work, we study the intersection graphs of finite sets of arcs on a circle no three of which cover the circle, known as normal Helly circular-arc graphs. Those circular-arc graphs which are minimal forbidden induced subgraphs for the class of normal Helly circular-arc graphs were identified by Lin, Soulignac, and Szwarcfiter, who also posed the problem of determining the remaining minimal forbidden induced subgraphs. In this work, we solve their problem, obtaining the complete list of minimal forbidden induced subgraphs for the class of normal Helly circular-arc graphs.

0 citations0 reviewsNo code linkedOpen access