12,412,483 research outputs found
On Approximating the Number of -cliques in Sublinear Time
We study the problem of approximating the number of -cliques in a graph
when given query access to the graph.
We consider the standard query model for general graphs via (1) degree
queries, (2) neighbor queries and (3) pair queries. Let denote the number
of vertices in the graph, the number of edges, and the number of
-cliques. We design an algorithm that outputs a
-approximation (with high probability) for , whose
expected query complexity and running time are
O\left(\frac{n}{C_k^{1/k}}+\frac{m^{k/2}}{C_k}\right)\poly(\log
n,1/\varepsilon,k).
Hence, the complexity of the algorithm is sublinear in the size of the graph
for . Furthermore, we prove a lower bound showing that
the query complexity of our algorithm is essentially optimal (up to the
dependence on , and ).
The previous results in this vein are by Feige (SICOMP 06) and by Goldreich
and Ron (RSA 08) for edge counting () and by Eden et al. (FOCS 2015) for
triangle counting (). Our result matches the complexities of these
results.
The previous result by Eden et al. hinges on a certain amortization technique
that works only for triangle counting, and does not generalize for larger
cliques. We obtain a general algorithm that works for any by
designing a procedure that samples each -clique incident to a given set
of vertices with approximately equal probability. The primary difficulty is in
finding cliques incident to purely high-degree vertices, since random sampling
within neighbors has a low success probability. This is achieved by an
algorithm that samples uniform random high degree vertices and a careful
tradeoff between estimating cliques incident purely to high-degree vertices and
those that include a low-degree vertex
On the grade of modules over Noetherian rings
Let be a left and right noetherian ring and the
category of finitely generated left -modules. In this paper we show
the following results: (1) For a positive integer , the condition that the
subcategory of consisting of -torsionfree modules coincides
with the subcategory of consisting of -syzygy modules for any
is left-right symmetric. (2) If is an Auslander ring
and is in with \grade N=k<\infty, then is pure
of grade if and only if can be embedded into a finite direct sum of
copies of the st term in a minimal injective resolution of as
a right -module. (3) Assume that both the left and right
self-injective dimensions of are . If \grade {\rm
Ext}_{\Lambda}^k(M, \Lambda)\geq k for any and \grade {\rm
Ext}_{\Lambda}^i(N, \Lambda)\geq i for any and , then the socle of the last term in a minimal injective resolution
of as a right -module is non-zero.Comment: 17 pages. To appear in Communications in Algebr
On monotone circuits with local oracles and clique lower bounds
We investigate monotone circuits with local oracles [K., 2016], i.e.,
circuits containing additional inputs that can perform
unstructured computations on the input string . Let be
the locality of the circuit, a parameter that bounds the combined strength of
the oracle functions , and
be the set of -cliques and the set of complete -partite graphs,
respectively (similarly to [Razborov, 1985]). Our results can be informally
stated as follows.
1. For an appropriate extension of depth- monotone circuits with local
oracles, we show that the size of the smallest circuits separating
(triangles) and (complete bipartite graphs) undergoes two phase
transitions according to .
2. For , arbitrary depth, and , we
prove that the monotone circuit size complexity of separating the sets
and is , under a certain restrictive
assumption on the local oracle gates.
The second result, which concerns monotone circuits with restricted oracles,
extends and provides a matching upper bound for the exponential lower bounds on
the monotone circuit size complexity of -clique obtained by Alon and Boppana
(1987).Comment: Updated acknowledgements and funding informatio
On the Ces\`aro average of the "Linnik numbers"
Let be the von Mangoldt function and
be the counting function for the numbers that can be written as sum of a prime
and two squares (that we will call Linnik numbers, for brevity). Let a
sufficiently large integer, let and let suitable parameters depending on , where
denotes the Bessel function of complex order and real
argument . We prove that
We also prove that with this technique the bound is optimal.Comment: Accepted on Acta Arithmetic
On higher-order discriminants
For the family of polynomials in one variable , , we consider its higher-order discriminant sets , where Res, , ,
, and their projections in the spaces of the variables . Set , . We show that
Res, where ,
Res if and
, Res if . The equation defines the projection in the space of the
variables of the closure of the set of values of for
which and have two distinct roots in common. The polynomials
are irreducible. The result is generalized
to the case when is replaced by a polynomial , for
- …