In this work we study a kind of coherence condition on FI_G-modules, which
generalizes the usual notion of finite generation. We prove that a module is
coherent, in the appropriate sense, if and only if its generators, as well as
its torsion, appears in only finitely many degrees. Using this technical
result, we prove that the category of coherent FI_G-modules is abelian,
independent of any assumptions on the group G, or the coefficient ring k.
Following this, we consider applications towards the local cohomology theory of
FI_G-modules, introduced by Li and the author in previous work.
Gamma-ray bursts (GRBs) are cosmological explosions which carry valuable
information from the distant past of the expanding universe. One of the
greatest discoveries in modern cosmology is the finding of the accelerated
expansion of the universe using Type Ia supernovae (SN Ia) as standard candles.
However, due to the interstellar extinction SN Ia can be seen only up to a
redshift $z\sim 1.5$. GRBs are considered as the potential alternative to push
this limit to as high as $z\sim 10$, a redshift regime corresponding to an
epoch when the universe just started to form the first structures. There exist
several correlations between the energy and an observable of a GRB which can be
used to derive luminosity distance. In recent works, we have studied spectral
evolution within the individual pulses and obtained such correlations within
the pulses. Here we summarize our results of the pulse-wise GRB correlation
study. It is worth mentioning that all GRB correlations are still empirical,
and we cannot use them in cosmology unless we understand the basic physics of
GRBs. To this end, we need to investigate the prompt emission spectrum which is
so far generally described by the empirical Band function. We shall discuss our
current understanding of the radiation process particularly the finding of two
blackbodies and a powerlaw (the 2BBPL model) as the generic spectral model and
its implication. This is a work in progress and we expect to obtain the most
fundamental GRB correlation based on our improved spectral model.
Authors' comments: Will appear in the Proceedings of the Fourteenth Marcel Grossman
Meeting on General Relativity
With the Wide-Field Infrared Survey Explorer (WISE), we searched for young
stellar objects (YSOs) in a 100 deg^2 region centered on the lightly studied
Canis Major star forming region. Applying stringent magnitude cuts to exclude
the majority of extragalactic contaminants, we find 144 Class I candidates and
335 Class II candidates. The sensitivity to Class II candidates is limited by
their faintness at the distance to Canis Major (assumed as 1000 pc). More than
half the candidates (53%) are found in 16 groups of more than four members,
including four groups with more than 25 members each. The ratio of Class II to
Class I objects, N_II/N_I, varies from 0.4 to 8.3 in just the largest four
groups. We compare our results to those obtainable with combined Two Micron All
Sky Survey (2MASS) and post-cryogenic Spitzer Space Telescope data; the latter
approach recovers missing Class II sources. Via a comparison to protostars
characterized with the Herschel Space Observatory, we propose new WISE color
criteria for flat-spectrum and Class 0 protostars, finding 80 and seven of
these, respectively. The distribution of YSOs in CMa OB1 is consistent with
supernova-induced star formation, although the diverse N_II/N_I ratios are
unexpected if this parameter traces age and the YSOs are due to the same
supernova. Less massive clouds feature larger N_II/N_I ratios, suggesting that
initial conditions play a role in determining this quantity.
Authors' comments: Accepted by ApJ, 25 pages, 28 figures
Considering the Cornell potential $V(r)=-\frac{4\alpha_s}{3r}+br+c$, we have
revisited the Dalgarno's method of perturbation by incorporating two scales
$r^{short}$ and $r^{long}$ as integration limit so that the perturbative
procedure can be improved in a potential model. With the improved version of
the wave function the ground state masses of the heavy-light mesons $ D, D_s,
B, B_s$ and $B_c $ are computed. The slopes and curvatures of the form factors
of semi-leptonic decays of heavy-light mesons in both HQET limit and finite
mass limit are calculated and compared with the available data.
Authors' comments: 18 pages, 2 figures, To appear in International Journal of Modern
Physics A
In this paper, we introduce the flag-wise positively curved condition for
Finsler spaces (the (FP) Condition), which means that in each tangent plane, we
can find a flag pole in this plane such that the corresponding flag has
positive flag curvature. Applying the Killing navigation technique, we find a
list of compact coset spaces admitting non-negatively curved homogeneous
Finsler metrics satisfying the (FP) Condition. Using a crucial technique we
developed previously, we prove that most of these coset spaces cannot be
endowed with positively curved homogeneous Finsler metrics. We also prove that
any Lie group whose Lie algebra is a rank $2$ non-Abelian compact Lie algebra
admits a left invariant Finsler metric satisfying the (FP) condition. As
by-products, we find the first example of non-compact coset space $S^3\times
\mathbb{R}$ which admits homogeneous flag-wise positively curved Finsler
metrics. Moreover, we find some non-negatively curved Finsler metrics on
$S^2\times S^3$ and $S^6\times S^7$ which satisfy the (FP) condition, as well
as some flag-wise positively curved Finsler metrics on $S^3\times S^3$,
shedding some light on the long standing general Hopf conjecture.
Authors' comments: 23 pages. The newest version has strengthened the main results in the
paper, and provides more examples. We add a short survey on the most recent
progress inspired by this paper in the introduction section
This Study proposes a routing strategy of combining a packet scheduling with
congestion control policy that applied for LEO satellite network with high
speed and multiple traffic. It not only ensures the QoS of different traffic,
but also can avoid low priority traffic to be "starve" due to their weak
resource competitiveness, thus it guarantees the throughput and performance of
the network. In the end, we set up a LEO satellite network simulation platform
in OPNET to verify the effectiveness of the proposed algorithm.
Authors' comments: The 10th Asian Control Conference (ASCC), Universiti Teknologi
Malaysia, Malaysia
Workload management for cloud databases must deal with the tasks of resource
provisioning, query placement and query scheduling in a manner that meets the
application's performance goals while minimizing the cost of using cloud
resources. Existing solutions have approached these three challenges in
isolation, and with only a particular type of performance goal in mind. In this
paper, we introduce WiSeDB, a learning-based framework for generating holistic
workload management solutions customized to application-defined performance
metrics and workload characteristics. Our approach relies on supervised
learning to train cost-effective decision tree models for guiding query
placement, scheduling, and resource provisioning decisions. Applications can
use these models for both batch and online scheduling of incoming workloads. A
unique feature of our system is that it can adapt its offline model to
stricter/looser performance goals with minimal re-training. This allows us to
present alternative workload management strategies that address the typical
performance vs. cost trade-off of cloud services. Experimental results show
that our approach has very low training overhead while offering low cost
strategies for a variety of performance goals and workload characteristics.
We present the results of optical spectroscopic observations of 54 candidate
evolved massive stars revealed through the detection of mid-infrared nebulae of
various shapes surrounding them with the {\it Spitzer Space Telescope} and {\it
Wide-field Infrared Survey Explorer}. These observations, carried out with the
Southern African Large Telescope (SALT) in 2010-2015, led to the discovery of
about two dozens emission-line stars, of which 15 stars we classify as
candidate luminous blue variables (cLBVs). Spectroscopic and photometric
monitoring revealed significant changes in the spectra and brightness of four
newly identified cLBVs, meaning that they are new members of the class of bona
fide LBVs. We present an updated list of the Galactic bona fide LBVs.
Currently, this list contains eighteen stars, of which more than 70 per cent
are associated with circumstellar nebulae. We also discovered a very rare [WN]
star - the central star of the planetary nebula Abell 48, and a WN3 star in a
close, eccentric binary system with an O6V star in the Large Magellanic Cloud -
the first-ever extragalactic massive star identified via detection of a
circular shell around it. Most of the remaining targets are tentatively
classified as OB, A and M stars.
Authors' comments: 8 pages, 3 figures, in proceedings of "SALT Science" conference
(2015)
Partition-wise models offer a flexible approach for modeling complex and
multidimensional data that are capable of producing interpretable results. They
are based on partitioning the observed data into regions, each of which is
modeled with a simple submodel. The success of this approach highly depends on
the quality of the partition, as too large a region could lead to a non-simple
submodel, while too small a region could inflate estimation variance. This
paper proposes an automatic procedure for choosing the partition (i.e., the
number of regions and the boundaries between regions) as well as the submodels
for the regions. It is shown that, under the assumption of the existence of a
true partition, the proposed partition estimator is statistically consistent.
The methodology is demonstrated for both regression and classification
problems.
Authors' comments: 29 pages, 2 figures
Computational RFID (CRFID) devices are emerging platforms that can enable
perennial computation and sensing by eliminating the need for batteries.
Although much research has been devoted to improving upstream (CRFID to RFID
reader) communication rates, the opposite direction has so far been neglected,
presumably due to the difficulty of guaranteeing fast and error-free transfer
amidst frequent power interruptions of CRFID. With growing interest in the
market where CRFIDs are forever-embedded in many structures, it is necessary
for this void to be filled. Therefore, we propose Wisent-a robust downstream
communication protocol for CRFIDs that operates on top of the legacy UHF RFID
communication protocol: EPC C1G2. The novelty of Wisent is its ability to
adaptively change the frame length sent by the reader, based on the length
throttling mechanism, to minimize the transfer times at varying channel
conditions. We present an implementation of Wisent for the WISP 5 and an
off-the-shelf RFID reader. Our experiments show that Wisent allows transfer up
to 16 times faster than a baseline, non-adaptive shortest frame case, i.e.
single word length, at sub-meter distance. As a case study, we show how Wisent
enables wireless CRFID reprogramming, demonstrating the world's first
wirelessly reprogrammable (software defined) CRFID.
Authors' comments: Accepted for Publication to IEEE INFOCOM 2016
We present the first results of our dedicated programme of automatised
classification of galaxies, stars and quasars in the mid-infrared all-sky data
from the WISE survey. We employ the Support Vector Machines (SVM) algorithm,
which defines a hyperplane separating different classes of sources in a
multidimensional space of arbitrarily chosen parameters. This approach consists
of four general steps: 1) selection of the training sample, 2) selection of the
optimal parameter space, 3) training of the classifier, 4) application to
target data. Here, as the training set, we use sources from a cross-correlation
of the WISE catalogue with the SDSS spectroscopic sample. The performance of
the SVM classifier was tested as a function of size of the training set,
dimension of the parameter space, WISE apparent magnitude and Galactic
extinction. We find that our classifier provides promising results already for
three classification parameters: magnitude, colour and differential aperture
magnitude. Completeness and purity levels as high as 95% are obtained for
quasars, while for galaxies and stars they vary between 80-95% depending on the
magnitude, deteriorating for fainter sources.
Authors' comments: 8 pages, 7 figures, to be published in the Proceedings of the XXXVII
Meeting of the Polish Astronomical Society
We have undertaken a dedicated program of automatic source classification in
the WISE database merged with SuperCOSMOS scans, comprehensively identifying
galaxies, quasars and stars on most of the unconfused sky. We use the Support
Vector Machines classifier for that purpose, trained on SDSS spectroscopic
data. The classification has been applied to a photometric dataset based on
all-sky WISE 3.4 and 4.6 $\mu$m information cross-matched with SuperCOSMOS B
and R bands, which provides a reliable sample of $\sim170$ million sources,
including galaxies at $z_{\rm med}\sim0.2$, as well as quasars and stars. The
results of our classification method show very high purity and completeness
(more than 96\%) of the separated sources, and the resultant catalogs can be
used for sophisticated analyses, such as generating all-sky photometric
redshifts.
Authors' comments: 6 pages, 2 figures, to be published in the Proceedings of the XXXVII
Meeting of the Polish Astronomical Society
Quasi-static strain-controlled measurements of stress vs strain curves in
macroscopic amorphous solids result in a nonlinear looking curve that ends up
either in mechanical collapse or in a steady-state with fluctuations around a
mean stress that remains constant with increasing strain. It is therefore very
tempting to fit a nonlinear expansion of the stress in powers of the strain. We
argue here that at low temperatures the meaning of such an expansion needs to
be reconsidered. We point out the enormous difference between quenched and
annealed averages of the stress vs. strain curves, and propose that a useful
description of the mechanical response is given by a stress (or strain)
dependent shear modulus for which a theoretical evaluation exists. The elastic
response is piece-wise linear rather than nonlinear.
Authors' comments: 5 pages, 5 figures
Pixel-wise street segmentation of photographs taken from a drivers
perspective is important for self-driving cars and can also support other
object recognition tasks. A framework called SST was developed to examine the
accuracy and execution time of different neural networks. The best neural
network achieved an $F_1$-score of 89.5% with a simple feedforward neural
network which trained to solve a regression task.
While searches for young stellar objects (YSOs) with the Spitzer Space
Telescope focused on known molecular clouds, photometry from the Wide-field
Infrared Survey Explorer (WISE) can be used to extend the search to the entire
sky. As a precursor to more expansive searches, we present results for a 100
square degree region centered on the Canis Major clouds.
Authors' comments: 2 pages, 1 figure; to appear in "Young Stars and Planets Near the
Sun", Proceedings of IAU Symposium No. 314 (Cambridge University Press), J.H.
Kastner, B. Stelzer, S.A. Metchev, eds
The census of the solar neighborhood is almost complete for stars and
becoming more complete in the brown dwarf regime. Spectroscopic, photometric
and kinematic characterization of nearby objects helps us to understand the
local mass function, the binary fraction, and provides new targets for
sensitive planet searches. We aim to derive spectral types and
spectro-photometric distances of a sample of new high proper motion sources
found with the WISE satellite, and obtain parallaxes for those objects that
fall within the area observed by the Vista Variables in the V\'ia L\'actea
survey (VVV). We used low resolution spectroscopy and template fitting to
derive spectral types, multiwavelength photometry to characterize the companion
candidates and obtain photometric distances. Multi-epoch imaging from the VVV
survey was used to measure the parallaxes and proper motions for three sources.
We confirm a new T2 brown dwarf within $\sim$15 pc. We derived optical spectral
types for twenty four sources, mostly M dwarfs within 50 pc. We addressed the
wide binary nature of sixteen objects found by the WISE mission and previously
known high proper motion sources. Six of these are probably members of wide
binaries, two of those are new, and present evidence against the physical
binary nature of two candidate binary stars found in the literature, and eight
that we selected as possible binary systems. We discuss a likely microlensing
event produced by a nearby low mass star and a galaxy, that is to occur in the
following five years.
Authors' comments: 13 pages, 5 figures, 5 tables, accepted MNRAS
We present new spectroscopy and astrometry to characterize the nearby brown
dwarf WISEP J180026.60+013453.1. The optical spectral type, L7.5, is in
agreement with the previously reported near-infrared spectral type. The
preliminary trigonometric parallax places it at a distance of $8.01 \pm 0.21$
pc, confirming that it is the fourth closest known late-L (L7-L9) dwarf. The
measured luminosity, our detection of lithium, and the lack of low surface
gravity indicators indicates that WISEP J180026.60+013453.1 has a mass $0.03 <
M < 0.06 M_\odot$ and an age between 300 million and 1.5 billion years
according to theoretical substellar evolution models. The low space motion is
consistent with this young age. We have measured the rotational broadening ($v
\sin i = 13.5 \pm 0.5$ km/s), and use it to estimate a maximum rotation period
of 9.3 hr.
Authors' comments: accepted to AJ
Since their introduction in the shape analysis community, functional maps
have met with considerable success due to their ability to compactly represent
dense correspondences between deformable shapes, with applications ranging from
shape matching and image segmentation, to exploration of large shape
collections. Despite the numerous advantages of such representation, however,
the problem of converting a given functional map back to a point-to-point map
has received a surprisingly limited interest. In this paper we analyze the
general problem of point-wise map recovery from arbitrary functional maps. In
doing so, we rule out many of the assumptions required by the currently
established approach -- most notably, the limiting requirement of the input
shapes being nearly-isometric. We devise an efficient recovery process based on
a simple probabilistic model. Experiments confirm that this approach achieves
remarkable accuracy improvements in very challenging cases.
We have conducted a sensitive search down to the hydrogen burning limit for
unextincted stars over $\sim$200 square degrees around Lambda Orionis and 20
square degrees around Sigma Orionis using the methodology of Koenig & Leisawitz
(2014). From WISE and 2MASS data we identify 544 and 418 candidate YSOs in the
vicinity of Lambda and Sigma respectively. Based on our followup spectroscopy
for some candidates and the existing literature for others, we found that
$\sim$80% of the K14-selected candidates are probable or likely members of the
Orion star forming region. The yield from the photometric selection criteria
shows that WISE sources with $K_S -w3 > 1.5$ mag and $K_S $ between 10--12 mag
are most likely to show spectroscopic signs of youth, while WISE sources with
$K_S -w3 > 4$ mag and $K_S > 12$ were often AGNs when followed up
spectroscopically. The population of candidate YSOs traces known areas of
active star formation, with a few new `hot spots' of activity near Lynds 1588
and 1589 and a more dispersed population of YSOs in the northern half of the
HII region bubble around $\sigma$ and $\epsilon$ Ori. A minimal spanning tree
analysis of the two regions to identify stellar groupings finds that roughly
two-thirds of the YSO candidates in each region belong to groups of 5 or more
members. The population of stars selected by WISE outside the MST groupings
also contains spectroscopically verified YSOs, with a local stellar density as
low as 0.5 stars per square degree.
Authors' comments: 36 pages, 10 figures, Submitted to AJ
OBDD-based graph algorithms deal with the characteristic function of the edge
set E of a graph $G = (V,E)$ which is represented by an OBDD and solve
optimization problems by mainly using functional operations. We present an
OBDD-based algorithm which uses randomization for the first time. In
particular, we give a maximal matching algorithm with $O(\log^3 \vert V \vert)$
functional operations in expectation. This algorithm may be of independent
interest. The experimental evaluation shows that this algorithm outperforms
known OBDD-based algorithms for the maximal matching problem.
In order to use randomization, we investigate the OBDD complexity of $2^n$
(almost) $k$-wise independent binary random variables. We give a OBDD
construction of size $O(n)$ for $3$-wise independent random variables and show
a lower bound of $2^{\Omega(n)}$ on the OBDD size for $k \geq 4$. The best
known lower bound was $\Omega(2^n/n)$ for $k \approx \log n$ due to Kabanets.
We also give a very simple construction of $2^n$ $(\varepsilon, k)$-wise
independent binary random variables by constructing a random OBDD of width $O(n
k^2/\varepsilon)$.
