title: Epistemic Model Checking of Atomic Commitment Protocols with Byzantine Failures

abstract: The notion of knowledge-based program introduced by Halpern and Fagin provides a useful formalism for designing, analysing, and optimising distributed systems. This paper formulates the two phase commit protocol as a knowledge-based program and then an iterative process of model checking and counter-example guided refinement is followed to find concrete implementations of the program for the case of perfect recall semantic in the Byzantine failures context with synchronous reliable communication. We model several different kinds of Byzantine failures and verify different strategies to fight and mitigate them. We address a number of questions that have not been considered in the prior literature, viz., under what circumstances a sender can know that its transmission has been successful, and under what circumstances an agent can know that the coordinator is cheating, and find concrete answers to these questions. The paper describes also a methodology based on temporal-epistemic model checking technology that can be followed to verify the shortest and longest execution time of a distributed protocol and the scenarios that lead to them.


title: On the quantum differentiation of smooth real-valued functions

abstract: Calculating the value of $C^{k\in\{1,\infty\}}$ class of smoothness real-valued function's derivative in point of $\mathbb{R}^+$ in radius of convergence of its Taylor polynomial (or series), applying an analog of Newton's binomial theorem and $q$-difference operator. $(P,q)$-power difference introduced in section 5. Additionally, by means of Newton's interpolation formula, the discrete analog of Taylor series, interpolation using $q$-difference and $p,q$-power difference is shown.


title: $\mathcal{B}$-partitions, application to determinant and permanent of graphs

abstract: Let $G$ be a graph(directed or undirected) having $k$ number of blocks. A $\mathcal{B}$-partition of $G$ is a partition into $k$ vertex-disjoint subgraph $(\hat{B_1},\hat{B_1},\hdots,\hat{B_k})$ such that $\hat{B}_i$ is induced subgraph of $B_i$ for $i=1,2,\hdots,k.$ The terms $\prod_{i=1}^{k}\det(\hat{B}_i),\ \prod_{i=1}^{k}\text{per}(\hat{B}_i)$ are det-summands and per-summands, respectively, corresponding to the $\mathcal{B}$-partition. The determinant and permanent of a graph having no loops on its cut-vertices is equal to summation of det-summands and per-summands, respectively, corresponding to all possible $\mathcal{B}$-partitions. Thus, in this paper we calculate determinant and permanent of some graphs, which include block graph with negatives cliques, signed unicyclic graph, mix complete graph, negative mix complete graph, and star mix block graphs.


title: Exploring Latent Semantic Factors to Find Useful Product Reviews

abstract: Online reviews provided by consumers are a valuable asset for e-Commerce platforms, influencing potential consumers in making purchasing decisions. However, these reviews are of varying quality, with the useful ones buried deep within a heap of non-informative reviews. In this work, we attempt to automatically identify review quality in terms of its helpfulness to the end consumers. In contrast to previous works in this domain exploiting a variety of syntactic and community-level features, we delve deep into the semantics of reviews as to what makes them useful, providing interpretable explanation for the same. We identify a set of consistency and semantic factors, all from the text, ratings, and timestamps of user-generated reviews, making our approach generalizable across all communities and domains. We explore review semantics in terms of several latent factors like the expertise of its author, his judgment about the fine-grained facets of the underlying product, and his writing style. These are cast into a Hidden Markov Model -- Latent Dirichlet Allocation (HMM-LDA) based model to jointly infer: (i) reviewer expertise, (ii) item facets, and (iii) review helpfulness. Large-scale experiments on five real-world datasets from Amazon show significant improvement over state-of-the-art baselines in predicting and ranking useful reviews.


title: Item Recommendation with Evolving User Preferences and Experience

abstract: Current recommender systems exploit user and item similarities by collaborative filtering. Some advanced methods also consider the temporal evolution of item ratings as a global background process. However, all prior methods disregard the individual evolution of a user's experience level and how this is expressed in the user's writing in a review community. In this paper, we model the joint evolution of user experience, interest in specific item facets, writing style, and rating behavior. This way we can generate individual recommendations that take into account the user's maturity level (e.g., recommending art movies rather than blockbusters for a cinematography expert). As only item ratings and review texts are observables, we capture the user's experience and interests in a latent model learned from her reviews, vocabulary and writing style. We develop a generative HMM-LDA model to trace user evolution, where the Hidden Markov Model (HMM) traces her latent experience progressing over time -- with solely user reviews and ratings as observables over time. The facets of a user's interest are drawn from a Latent Dirichlet Allocation (LDA) model derived from her reviews, as a function of her (again latent) experience level. In experiments with five real-world datasets, we show that our model improves the rating prediction over state-of-the-art baselines, by a substantial margin. We also show, in a use-case study, that our model performs well in the assessment of user experience levels.


title: On the order of the Schur multiplier of $p$-groups

abstract: We give a bound on the order of the Schur multiplier of $p$-groups refining earlier bounds. As an application we complete the classification of groups having Schur multiplier of maximum order. Finally we prove that the order of the Schur multiplier of a finite $p$-group of maximal class and order $p^n$ is at most $p^{\frac{n}{2}}$.


title: Status Updates Over Unreliable Multiaccess Channels

abstract: Applications like environmental sensing, and health and activity sensing, are supported by networks of devices (nodes) that send periodic packet transmissions over the wireless channel to a sink node. We look at simple abstractions that capture the following commonalities of such networks (a) the nodes send periodically sensed information that is temporal and must be delivered in a timely manner, (b) they share a multiple access channel and (c) channels between the nodes and the sink are unreliable (packets may be received in error) and differ in quality. We consider scheduled access and slotted ALOHA-like random access. Under scheduled access, nodes take turns and get feedback on whether a transmitted packet was received successfully by the sink. During its turn, a node may transmit more than once to counter channel uncertainty. For slotted ALOHA-like access, each node attempts transmission in every slot with a certain probability. For these access mechanisms we derive the age of information (AoI), which is a timeliness metric, and arrive at conditions that optimize AoI at the sink. We also analyze the case of symmetric updating, in which updates from different nodes must have the same AoI. We show that ALOHA-like access, while simple, leads to AoI that is worse by a factor of about 2e, in comparison to scheduled access.


title: People on Drugs: Credibility of User Statements in Health Communities

abstract: Online health communities are a valuable source of information for patients and physicians. However, such user-generated resources are often plagued by inaccuracies and misinformation. In this work we propose a method for automatically establishing the credibility of user-generated medical statements and the trustworthiness of their authors by exploiting linguistic cues and distant supervision from expert sources. To this end we introduce a probabilistic graphical model that jointly learns user trustworthiness, statement credibility, and language objectivity. We apply this methodology to the task of extracting rare or unknown side-effects of medical drugs --- this being one of the problems where large scale non-expert data has the potential to complement expert medical knowledge. We show that our method can reliably extract side-effects and filter out false statements, while identifying trustworthy users that are likely to contribute valuable medical information.


title: BICEP2 / Keck Array IX: New Bounds on Anisotropies of CMB Polarization Rotation and Implications for Axion-Like Particles and Primordial Magnetic Fields

abstract: We present the strongest constraints to date on anisotropies of cosmic microwave background (CMB) polarization rotation derived from 150 GHz data taken by the BICEP2/Keck Array CMB experiments up to and including the 2014 observing season (BK14). The definition of the polarization angle in BK14 maps has gone through self-calibration in which the overall angle is adjusted to minimize the observed TB and EB power spectra. After this procedure, the QU maps lose sensitivity to a uniform polarization rotation but are still sensitive to anisotropies of polarization rotation. This analysis places constraints on the anisotropies of polarization rotation, which could be generated by CMB photons interacting with axionlike pseudoscalar fields or Faraday rotation induced by primordial magnetic fields. The sensitivity of BK14 maps ($\sim 3\mu$K-arcmin) makes it possible to reconstruct anisotropies of the polarization rotation angle and measure their angular power spectrum much more precisely than previous attempts. Our data are found to be consistent with no polarization rotation anisotropies, improving the upper bound on the amplitude of the rotation angle spectrum by roughly an order of magnitude compared to the previous best constraints. Our results lead to an order of magnitude better constraint on the coupling constant of the Chern-Simons electromagnetic term $g_{a\gamma}\leq 7.2\times 10^{-2}/H_I$ (95% confidence) than the constraint derived from the B-mode spectrum, where $H_I$ is the inflationary Hubble scale. This constraint leads to a limit on the decay constant of $10^{-6}\lesssim f_a/M_{\rm pl}$ at mass range of $10^{-33}< m_a< 10^{-28}$ eV for $r=0.01$, assuming $g_{a\gamma}\sim\alpha/(2\pi f_a)$ with $\alpha$ denoting the fine structure constant. The upper bound on the amplitude of the primordial magnetic fields is 30nG (95% confidence) from the polarization rotation anisotropies.


title: Wilsonian renormalization group versus subtractive renormalization in effective field theories for nucleon--nucleon scattering

abstract: We compare the subtractive renormalization and the Wilsonian renormalization group approaches in the context of an effective field theory for the two-nucleon system. Based on an exactly solvable model of contact interactions, we observe that the standard Wilsonian renormalization group approach with a single cutoff parameter does not cover the whole space spanned by the renormalization scale parameters of the subtractive formalism. In particular, renormalization schemes corresponding to Weinberg's power counting in the case of an unnaturally large scattering length are beyond the region covered by the Wilsonian renormalization group approach. In the framework of pionless effective field theory, also extended by the inclusion of a long-range interaction of separable type, we demonstrate that Weinberg's power counting scheme is consistent in the sense that it leads to a systematic order-by-order expansion of the scattering amplitude.


title: Composition of nuclear matter with light clusters and Bose-Einstein condensation of $\alpha$ particles

abstract: The Bose-Einstein condensation of $\alpha$ partciles in the multicomponent environment of dilute, warm nuclear matter is studied. We consider the cases of matter composed of light clusters with mass numbers $A\leq 4$ and matter that in addition these clusters contains $\isotope[56]{Fe}$ nuclei. We apply the quasiparticle gas model which treats clusters as bound states with infinite life-time and binding energies independent of temperature and density. We show that the $\alpha$ particles can form a condensate at low temperature $T\le 2$ MeV in such matter in the first case. When the $\isotope[56]{Fe}$ nucleus is added to the composition the cluster abundances are strongly modified at low temperatures, with an important implication that the $\alpha$ condensation at these temperatures is suppressed.

categories: nucl-th astro-ph.HE cond-mat.quant-gas cond-mat.supr-con


title: Novel signatures for vector-like quarks

abstract: We consider supersymmetric extensions of the standard model with a vector-like doublet $(T \, B)$ of quarks with charge $2/3$ and $-1/3$, respectively. Compared to non-supersymmetric models, there is a variety of new decay modes for the vector-like quarks, involving the extra scalars present in supersymmetry. The importance of these new modes, yielding multi-top, multi-bottom and also multi-Higgs signals, is highlighted by the analysis of several benchmark scenarios. We show how the triangles commonly used to represent the branching ratios of the `standard' decay modes of the vector-like quarks involving $W$, $Z$ or Higgs bosons can be generalised to include additional channels. We give an example by recasting the limits of a recent heavy quark search for this more general case.


title: Geometrical effects on nonlinear electrodiffusion in cell physiology

abstract: We report here new electrical laws, derived from nonlinear electro-diffusion theory, about the effect of the local geometrical structure, such as curvature, on the electrical properties of a cell. We adopt the Poisson-Nernst-Planck (PNP) equations for charge concentration and electric potential as a model of electro-diffusion. In the case at hand, the entire boundary is impermeable to ions and the electric field satisfies the compatibility condition of Poisson's equation. We construct an asymptotic approximation for certain singular limits to the steady-state solution in a ball with an attached cusp-shaped funnel on its surface. As the number of charge increases, they concentrate at the end of cusp-shaped funnel. These results can be used in the design of nano-pipettes and help to understand the local voltage changes inside dendrites and axons with heterogenous local geometry.


title: Effect of nilpotency on semisimplicity and cohomology of the $\Z$-module $\Z/(p_1^{k_1}\times \cdots \times p_n^{k_n})\Z$

abstract: We show that existence of nonzero nilpotent elements in the $\Z$-module $\Z/(p_1^{k_1}\times \cdots \times p_n^{k_n})\Z$ inhibits the module from possessing good structural properties. In particular, it stops it from being semisimple and from admitting certain good homological properties.


title: Reconstructing the gradient source position from steady-state fluxes to small receptors

abstract: Recovering the position of a source from the fluxes of diffusing particles through small receptors allows a biological cell to determine its relative position, spatial localization and guide it to a final target. However, how a source can be recovered from point fluxes remains unclear. Using the Narrow Escape Time approach for an open domain, we compute the diffusion fluxes of Brownian particles generated by a steady-state gradient from a single source through small holes distributed on a surface in two dimensions. {We find that the location of a source can be recovered when there are at least 3 receptors and the source is positioned no further than 10 cell radii away}, but this condition is not necessary in a narrow strip. The present approach provides a computational basis for the first step of direction sensing of a gradient at a single cell level.


title: Relaxation functions and dynamical heterogeneities in a model of chemical gel interfering with glass transition

abstract: We investigate the heterogeneous dynamics in a model, where chemical gelation and glass transition interplay, focusing on the dynamical susceptibility. Two independent mechanisms give raise to the correlations, which are manifested in the dynamical susceptibility: one is related to the presence of permanent clusters, while the other is due to the increase of particle crowding as the glass transition is approached. The superposition of these two mechanisms originates a variety of different behaviours. We show that these two mechanisms can be unentangled considering the wave vector dependence of the dynamical susceptibility.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.stat-mech


title: On operator error estimates for homogenization of hyperbolic systems with periodic coefficients

abstract: In $L_2(\mathbb{R}^d;\mathbb{C}^n)$, we consider a selfadjoint matrix strongly elliptic second order differential operator $\mathcal{A}_\varepsilon$, $\varepsilon >0$. The coefficients of the operator $\mathcal{A}_\varepsilon$ are periodic and depend on $\mathbf{x}/\varepsilon$. We study the behavior of the operator $\mathcal{A}_\varepsilon ^{-1/2}\sin (\tau \mathcal{A}_\varepsilon ^{1/2})$, $\tau\in\mathbb{R}$, in the small period limit. The principal term of approximation in the $(H^1\rightarrow L_2)$-norm for this operator is found. Approximation in the $(H^2\rightarrow H^1)$-operator norm with the correction term taken into account is also established. The results are applied to homogenization for the solutions of the nonhomogeneous hyperbolic equation $\partial ^2_\tau \mathbf{u}_\varepsilon =-\mathcal{A}_\varepsilon \mathbf{u}_\varepsilon +\mathbf{F}$.


title: Study of systematic effects in the HfF$^+$ ion experiment to search for the electron electric dipole moment

abstract: The energy splitings for $J = 1$, $F=3/2$, $|M_F|=3/2$ hyperfine levels of the $^3\Delta_1$ electronic state of $^{180}$Hf$^{19}$F$^+$ ion are calculated as functions of the external variable electric and magnetic fields within two approaches. In the first one transition to the rotating frame is performed, whereas in the second approach the quantization of rotating electromagnetic field is performed. Calculations are required for understanding possible systematic errors in the experiment to search for electron electric dipole moment (eEDM) on $^{180}$Hf$^{19}$F$^+$ ion.


title: Junction Conditions for F(T) Gravity from a Variational Principle

abstract: We derive a general set of acceptable junction conditions for $F(T)$ gravity via the variational principle. The analysis is valid for both the traditional form of $F(T)$ gravity theory as well as the more recently introduced Lorentz covariant theory of Kr\v{s}\v{s}\'ak and Saridakis. We find that the general junction conditions derived, when applied to simple cases such as highly symmetric static or time dependent geometries (such as spherical symmetry) imply both the Synge junction conditions as well as the Israel-Sen-Lanczos-Darmois junction conditions of General Relativity. In more complicated scenarios the junction conditions derived do not generally imply the well-known junction conditions of General Relativity. However, the junctions conditions of de la Cruz-Dombriz, Dunsby, and S\'aez-G\'omez make up an interesting subset of this more general case.


title: An indirect probe of higgsino world at the CEPC

abstract: The higgsino world is one of the popular natural SUSY scenarios, in which $|\mu| \ll M_{gauginos} \ll M_{scalars}$. As such, searching for light degenerate higgsinos becomes an essential task of testing naturalness in supersymmetry (SUSY). In this work, we study the indirect effects of light higgsinos in the process $e^+e^- \to W^+W^-$ at future Higgs factories, such as Circular Electron Positron Collider (CEPC) in China. we find that the higgsino mass parameter $\mu \lesssim 210$ GeV favored by naturalness can be covered if the accuracy of the measurement of $W^+W^-$ production can reach 0.1\% at 240 GeV CEPC.


title: Design of a New Family of Narrow Linewidth Mid-Infrared Lasers

abstract: We describe the design of a new family of high spectral brightness narrow linewidth (NLW) mid-infrared (MIR) lasers of < 1 MHz anticipated linewidths with potential for operation at any target wavelength between 2.5 and 9.5 um. More specifically, we analyze the potential performance characteristics of mid-infrared distributed feedback (DFB) Raman fiber lasers (RFLs) based on Pi-phase-shifted (PPS) Fiber Bragg Gratings (FBGs) written in appropriately chosen low-phonon-energy glass fibers. In particular, we calculate anticipated threshold pump powers for optimal laser designs and pump wavelengths for single frequency (fundamental mode) operation of specific mid-infrared DFB-RFLs operating at chosen target wavelengths, and show that these pump powers can be as low as a few milliWatts for MIR DFB-RFLs fabricated with appropriate low-loss small mode area single mode fibers. As such, we clearly establish the PPS-DFB RFL platform as a very practical approach for constructing a broad range of narrow linewidth MIR coherent sources for numerous applications, including proximal and remote sensing of molecules and various high spectral brightness and long coherence length MIR applications.


title: The pear-shaped fate of an ice melting front

abstract: A fluid-structure interaction problem with the melting of water around a heated horizontal circular cylinder is analysed with numerical simulations. Dynamic meshing was used for evolving the flow domain in time as the melting front extended radially outward from the cylinder; a node shuffle algorithm was used to retain mesh quality across the significant mesh deformation. We simulated one case above the density inversion point of water and one case below, yielding pear-shaped melting fronts due to thermal plumes either rising or falling from the cylinder, respectively. Results were compared with previous experimental studies and the melting front profiles matched reasonably well and melting rates were in agreement. We confirm that natural convection plays a significant role in the transport of energy as the melt zone increases, and needs to be considered for accurately modelling phase change under these conditions.


title: Largest reduced neighborhood clique cover number revisited

abstract: Let $G$ be a graph and $t\ge 0$. The largest reduced neighborhood clique cover number of $G$, denoted by ${\hat\beta}_t(G)$, is the largest, overall $t$-shallow minors $H$ of $G$, of the smallest number of cliques that can cover any closed neighborhood of a vertex in $H$. It is known that ${\hat\beta}_t(G)\le s_t$, where $G$ is an incomparability graph and $s_t$ is the number of leaves in a largest $t-$shallow minor which is isomorphic to an induced star on $s_t$ leaves. In this paper we give an overview of the properties of ${\hat\beta}_t(G)$ including the connections to the greatest reduced average density of $G$, or $\bigtriangledown_t(G)$, introduce the class of graphs with bounded neighborhood clique cover number, and derive a simple lower and an upper bound for this important graph parameter. We announce two conjectures, one for the value of ${\hat\beta}_t(G)$, and another for a separator theorem (with respect to a certain measure) for an interesting class of graphs, namely the class of incomparability graphs which we suspect to have a polynomial bounded neighborhood clique cover number, when the size of a largest induced star is bounded.


title: Two-Dimensional Arsenene Oxide: A Realistic Large-gap Quantum Spin Hall Insulator

abstract: Searching for two-dimensional (2D) realistic materials able to realize room-temperature quantum spin Hall (QSH) effects is currently a growing field. Here, we through ab initio calculations to identify arsenene oxide, AsO, as an excellent candidate, which demonstrates high stability, flexibility, and tunable spin-orbit coupling (SOC) gaps. In contrast to known pristine or functionalized arsenene, the maximum nontrivial band gap of AsO reaches 89 meV, and can be further enhanced to 130 meV under biaxial strain. By sandwiching 2D AsO between BN sheets, we propose a quantum well in which the band topology of AsO is preserved with a sizeable band gap. Considering that AsO having fully oxidized surfaces are naturally stable against surface oxidization and degradation, this functionality provides a viable strategy for designing topological quantum devices operating at room temperature.


title: Impact of a non-uniform charge distribution on virus assembly

abstract: Many spherical viruses encapsulate their genome in protein shells with icosahedral symmetry. This process is spontaneous and driven by electrostatic interactions between positive domains on the virus coat proteins and the negative genome. We model the effect of the icosahedral charge distribution from the protein shell instead of uniform using a mean-field theory. We find that the non-uniform charge distribution strongly affects the optimal genome length, and that it can explain the experimentally observed phenomenon of overcharging of virus and virus-like particles.


title: Small partial Latin squares that embed in an infinite group but not into any finite group

abstract: Suppose that $Y_1,Y_2,Y_3$ are finite sets and $P\subseteq Y_1\times Y_2\times Y_3$. We say that $P$ embeds in a group $G$ if there exist injective maps $\phi_i\colon Y_i\rightarrow G$ for $i=1,2,3$ such that $\phi_1(y_1)\phi_2(y_2)=\phi_3(y_3)$ for each $(y_1,y_2,y_3)\in P$. Hirsch and Jackson asked for the cardinality of the smallest $P$ that embeds in some infinite group but not into any finite group. We prove that the answer to their question is 12. Moreover, we show that there are 50 examples of cardinality 12, up to equivalence, and each of them embeds in the (infinite) Baumslag group $G=\langle a,b \mid b=[b,b^a]\rangle$. Our proof uses computations to answer questions about finitely presented groups which are known to be algorithmically undecidable in general.


title: Analyticity of the Ising susceptibility: An interpretation

abstract: We discuss the implications of studies of partition function zeros and equimodular curves for the analytic properties of the Ising model on a square lattice in a magnetic field. In particular we consider the dense set of singularities in the susceptibility of the Ising model at $H=0$ found by Nickel and its relation to the analyticity of the field theory computations of Fonseca and Zamolodchikov.


title: Uniform convergence of Green's functions

abstract: Given a sequence of regular planar domains converging in the sense of kernel, we prove that the corresponding Green's functions converge uniformly on the complex sphere, provided the limit domain is also regular, and the connectivity is uniformly bounded.


title: Particle in infinite potential well with variable walls

abstract: A Gedanken experiment is described to explore a counter-intuitive property of quantum mechanics. A particle is placed in a one-dimensional infinite well. The barrier on one side of the well is suddenly removed and the chamber dramatically enlarged. At specific, periodically recurring, times the particle can be found with probability one at the opposite end of the enlarged chamber in an interval of the same size as the initial well. With the help of symmetry considerations these times are calculated and shown to be dependent on the mass of the particle and the size of the enlarged chamber. Parameter ranges are given, where the non-relativistic nature of standard quantum mechanics becomes particularly apparent.


title: Deep Visual Attention Prediction

abstract: In this work, we aim to predict human eye fixation with view-free scenes based on an end-to-end deep learning architecture. Although Convolutional Neural Networks (CNNs) have made substantial improvement on human attention prediction, it is still needed to improve CNN based attention models by efficiently leveraging multi-scale features. Our visual attention network is proposed to capture hierarchical saliency information from deep, coarse layers with global saliency information to shallow, fine layers with local saliency response. Our model is based on a skip-layer network structure, which predicts human attention from multiple convolutional layers with various reception fields. Final saliency prediction is achieved via the cooperation of those global and local predictions. Our model is learned in a deep supervision manner, where supervision is directly fed into multi-level layers, instead of previous approaches of providing supervision only at the output layer and propagating this supervision back to earlier layers. Our model thus incorporates multi-level saliency predictions within a single network, which significantly decreases the redundancy of previous approaches of learning multiple network streams with different input scales. Extensive experimental analysis on various challenging benchmark datasets demonstrate our method yields state-of-the-art performance with competitive inference time.


title: The reconstruction of tachyon inflationary potentials

abstract: We derive a lower bound on the field excursion for the tachyon inflation, which is determined by the amplitude of the scalar perturbation and the number of $e$-folds before the end of inflation. Using the relation between the observables like $n_s$ and $r$ with the slow-roll parameters, we reconstruct three classes of tachyon potentials. The model parameters are determined from the observations before the potentials are reconstructed, and the observations prefer the concave potential. We also discuss the constraints from the reheating phase preceding the radiation domination for the three classes of models by assuming the equation of state parameter $w_{re}$ during reheating is a constant. Depending on the model parameters and the value of $w_{re}$, the constraints on $N_{re}$ and $T_{re}$ are different. As $n_s$ increases, the allowed reheating epoch becomes longer for $w_{re}=-1/3$, 0 and $1/6$ while the allowed reheating epoch becomes shorter for $w_{re}=2/3$.


title: Weak formulation for singular diffusion equation with dynamic boundary condition

abstract: In this paper, we propose a weak formulation of the singular diffusion equation subject to the dynamic boundary condition. The weak formulation is based on a reformulation method by an evolution equation including the subdifferential of a governing convex energy. Under suitable assumptions, the principal results of this study are stated in forms of Main Theorems A and B, which are respectively to verify: the adequacy of the weak formulation; the common property between the weak solutions and those in regular problems of standard PDEs.


title: Time-Series Surveys and Pulsating Stars: The Near-Infrared Perspective

abstract: The purpose of this review is to discuss the advantages and problems of near-infrared surveys in observing pulsating stars in the Milky Way. One of the advantages of near-infrared surveys, when compared to optical counterparts, is that the interstellar extinction is significantly smaller. As we see in this review, a significant volume of the Galactic disk can be reached by infrared surveys but not by optical ones. Towards highly obscured regions in the Galactic mid-plane, however, the interstellar extinction causes serious problems even with near-infrared data in understanding the observational results. After a review on previous and current near-infrared surveys, we discuss the effects of the interstellar extinction in optical (including {\it Gaia}) to near-infrared broad bands based on a simple calculation using synthetic spectral energy distribution. We then review the recent results on classical Cepheids towards the Galactic center and the bulge, as a case study, to see the impact of the uncertainty in the extinction law. The extinction law, i.e. the wavelength dependency of the extinction, is not fully characterized, and its uncertainty makes it hard to make the correction. Its characterization is an urgent task in order to exploit the outcomes of ongoing large-scale surveys of pulsating stars, e.g. for drawing a map of pulsating stars across the Galactic disk.


title: The multi-parameter Hausdorff operators on $H^1$ and $L^p$

abstract: In the present paper, we characterize the nonnegative functions $\varphi$ for which the multi-parameter Hausdorff operator $\mathcal H_\varphi$ generated by $\varphi$ is bounded on the multi-parameter Hardy space $H^1(\mathbb R\times\cdots\times\mathbb R)$ or $L^p(\mathbb R^n)$, $p\in [1,\infty]$. The corresponding operator norms are also obtained. Our results improve some recent results in \cite{FZ, LM2, LM3, We} and give an answer to an open question posted by Liflyand \cite{Li}.


title: High-mass Starless Clumps in the inner Galactic Plane: the Sample and Dust Properties

abstract: We report a sample of 463 high-mass starless clump (HMSC) candidates within $-60\deg<l<60\deg$ and $-1\deg<b<1\deg$. This sample has been singled out from 10861 ATLASGAL clumps. All of these sources are not associated with any known star-forming activities collected in SIMBAD and young stellar objects identified using color-based criteria. We also make sure that the HMSC candidates have neither point sources at 24 and 70 \micron~nor strong extended emission at 24 $\mu$m. Most of the identified HMSCs are infrared ($\le24$ $\mu$m) dark and some are even dark at 70 $\mu$m. Their distribution shows crowding in Galactic spiral arms and toward the Galactic center and some well-known star-forming complexes. Many HMSCs are associated with large-scale filaments. Some basic parameters were attained from column density and dust temperature maps constructed via fitting far-infrared and submillimeter continuum data to modified blackbodies. The HMSC candidates have sizes, masses, and densities similar to clumps associated with Class II methanol masers and HII regions, suggesting they will evolve into star-forming clumps. More than 90% of the HMSC candidates have densities above some proposed thresholds for forming high-mass stars. With dust temperatures and luminosity-to-mass ratios significantly lower than that for star-forming sources, the HMSC candidates are externally heated and genuinely at very early stages of high-mass star formation. Twenty sources with equivalent radius $r_\mathrm{eq}<0.15$ pc and mass surface density $\Sigma>0.08$ g cm$^{-2}$ could be possible high-mass starless cores. Further investigations toward these HMSCs would undoubtedly shed light on comprehensively understanding the birth of high-mass stars.


title: Toward Low-Flying Autonomous MAV Trail Navigation using Deep Neural Networks for Environmental Awareness

abstract: We present a micro aerial vehicle (MAV) system, built with inexpensive off-the-shelf hardware, for autonomously following trails in unstructured, outdoor environments such as forests. The system introduces a deep neural network (DNN) called TrailNet for estimating the view orientation and lateral offset of the MAV with respect to the trail center. The DNN-based controller achieves stable flight without oscillations by avoiding overconfident behavior through a loss function that includes both label smoothing and entropy reward. In addition to the TrailNet DNN, the system also utilizes vision modules for environmental awareness, including another DNN for object detection and a visual odometry component for estimating depth for the purpose of low-level obstacle detection. All vision systems run in real time on board the MAV via a Jetson TX1. We provide details on the hardware and software used, as well as implementation details. We present experiments showing the ability of our system to navigate forest trails more robustly than previous techniques, including autonomous flights of 1 km.


title: Exploring Extended Scalar Sectors with Di-Higgs Signals: A Higgs EFT Perspective

abstract: We consider extended scalar sectors of the Standard Model as ultraviolet-complete motivations for studying the effective Higgs self-interaction operators of the Standard Model effective field theory. We investigate all motivated heavy scalar models which generate the dimension-6 effective operator, $|H|^6$, at tree level and proceed to identify the full set of tree-level dimension-six operators by integrating out the heavy scalars. Of seven models which generate $|H|^6$ at tree level only two, quadruplets of hypercharge $Y=3Y_H$ and $Y=Y_H$, generate only this operator. Next we perform global fits to constrain relevant Wilson coefficients from the LHC single Higgs measurements as well as the electroweak oblique parameters $S$ and $T$. We find that the $T$ parameter puts very strong constraints on the Wilson coefficient of the $|H|^6$ operator in the triplet and quadruplet models, while the singlet and doublet models could still have Higgs self-couplings which deviate significantly from the standard model prediction. To determine the extent to which the $|H|^6$ operator could be constrained, we study the dihiggs signatures at the future 100 TeV collider and explore future sensitivity of this operator. Projected onto the Higgs potential parameters of the extended scalar sectors, with $3$ ab$^{-1}$ luminosity data we will be able to explore the Higgs potential parameters in all seven models.


title: Routing in Mobile Ad-Hoc Networks using Social Tie Strengths and Mobility Plans

abstract: We consider the problem of routing in a mobile ad-hoc network (MANET) for which the planned mobilities of the nodes are partially known a priori and the nodes travel in groups. This situation arises commonly in military and emergency response scenarios. Optimal routes are computed using the most reliable path principle in which the negative logarithm of a node pair's adjacency probability is used as a link weight metric. This probability is estimated using the mobility plan as well as dynamic information captured by table exchanges, including a measure of the social tie strength between nodes. The latter information is useful when nodes deviate from their plans or when the plans are inaccurate. We compare the proposed routing algorithm with the commonly-used optimized link state routing (OLSR) protocol in ns-3 simulations. As the OLSR protocol does not exploit the mobility plans, it relies on link state determination which suffers with increasing mobility. Our simulations show considerably better throughput performance with the proposed approach as compared with OLSR at the expense of increased overhead. However, in the high-throughput regime, the proposed approach outperforms OLSR in terms of both throughput and overhead.


title: Experimental results : Reinforcement Learning of POMDPs using Spectral Methods

abstract: We propose a new reinforcement learning algorithm for partially observable Markov decision processes (POMDP) based on spectral decomposition methods. While spectral methods have been previously employed for consistent learning of (passive) latent variable models such as hidden Markov models, POMDPs are more challenging since the learner interacts with the environment and possibly changes the future observations in the process. We devise a learning algorithm running through epochs, in each epoch we employ spectral techniques to learn the POMDP parameters from a trajectory generated by a fixed policy. At the end of the epoch, an optimization oracle returns the optimal memoryless planning policy which maximizes the expected reward based on the estimated POMDP model. We prove an order-optimal regret bound with respect to the optimal memoryless policy and efficient scaling with respect to the dimensionality of observation and action spaces.


title: Local cocycle 3-Hom-Lie Bialgebras and 3-Lie Classical Hom-Yang-Baxter Equation

abstract: In this paper, we introduce 3-Hom-Lie bialgebras whose compatibility conditions between the multiplication and comultiplication are given by local cocycle conditions. We study a twisted 3-ary version of the Yang-Baxter Equation, called the 3-Lie classical HomYang-Baxter Equation (3-Lie CHYBE), which is a general form of 3-Lie classical YangBaxter Equation studied in [2] and prove that the bialgebras induced by the solutions of 3-Lie CHYBE induce the coboundary local cocycle 3-Hom-Lie bialgebras.


title: Multiscaling in Strong Turbulence Driven by a Random Force

abstract: Turbulence problem is often considered as "the last unsolved problem of classical physics". It is due to strong interaction between velocity and/or velocity gradient fluctuations, a high Reynolds number flow is a fascinating mixture of purely random, close to Gaussian, fields and coherent structures where substantial fraction of kinetic energy is dissipated into heat. To evaluate intensity of fluctuations, one usually studies different moments of velocity increments and/or dissipation rate, characterized by scaling exponents $\zeta_{n}$ and $d_{n}$, respectively. In high Reynolds number flows, the moments of different orders with $n\neq m$ cannot be simply related to each other, which is the signature of anomalous scaling, making this problem "the last unsolvable". No perturbative treatment can lead to quantitative description of this feature. In this work the expressions for the moments of dissipation rate $e_{n}=\overline{{\cal E}^{n}}\propto Re^{d_{n}}$ and those of velocity derivatives $M_{2n}=\overline{(\partial_{x}u_{x})^{2n}}\propto \frac{v_{o}^{2n}}{L^{2n}}Re^{\rho_{2n}}$ are derived for an infinite fluid stirred by a white-in-time Gaussian random force supported in the vicinity of the wave number $k_{f}\approx \frac{2\pi}{L}=O(1)$, where $v_{0}$ and $L$ are characteristic velocity and integral scale, respectively. A novel aspect of this work is that unlike previous efforts which aimed at seeking solutions around the infinite Reynolds number limit, we concentrate on the vicinity of transitional Reynolds numbers $Re^{tr}$ of the first emergence of anomalous scaling out of Low-Re Gaussian background. The obtained closed expressions for anomalous scaling exponents $d_{n}$ and $\rho_{n}$ agree well with available in literature experimental and numerical data and, when $n\gg 1$, $d_{n}\approx 0.3n \ln(n)$.


title: Classification and Representation via Separable Subspaces: Performance Limits and Algorithms

abstract: We study the classification performance of Kronecker-structured models in two asymptotic regimes and developed an algorithm for separable, fast and compact K-S dictionary learning for better classification and representation of multidimensional signals by exploiting the structure in the signal. First, we study the classification performance in terms of diversity order and pairwise geometry of the subspaces. We derive an exact expression for the diversity order as a function of the signal and subspace dimensions of a K-S model. Next, we study the classification capacity, the maximum rate at which the number of classes can grow as the signal dimension goes to infinity. Then we describe a fast algorithm for Kronecker-Structured Learning of Discriminative Dictionaries (K-SLD2). Finally, we evaluate the empirical classification performance of K-S models for the synthetic data, showing that they agree with the diversity order analysis. We also evaluate the performance of K-SLD2 on synthetic and real-world datasets showing that the K-SLD2 balances compact signal representation and good classification performance.


title: Bowshocks in a newly discovered maser source in IRAS 20231+3440

abstract: From measuring the annual parallax of water masers over one and a half years with VERA, we present the trigonometric parallax and corresponding distance of another newly identified water maser source in the region of IRAS 20231+3440 as $\pi=0.611\pm0.022$ mas and $D=1.64\pm0.06$ kpc respectively. We measured the absolute proper motions of all the newly detected maser spots (30 spots) and presented two pictures describing the possible spatial distribution of the water maser as the morphology marks out an arc of masers whose average proper motion velocity in the jet direction was 14.26 km s$^{-1}$. As revealed by the ALLWISE composite image, and by applying the colour-colour method of YSO identification and classification on photometric archived data, we identified the driving source of the north maser group to be a class I, young stellar object. To further probe the nature of the progenitor, we used the momentum rate maximum value (1.2$\times$10$^{-4}$ M$_{\odot}$ yr$^{-1}$ km s$^{-1}$) of the outflow to satisfy that the progenitor under investigation is a low mass young stellar object concurrently forming alongside an intermediate-mass YSO $\sim 60,000$ au ($\sim 37$ arcsecs) away from it.


title: Oleoplaning droplets on lubricated surfaces

abstract: Recently, there has been much interest in using lubricated flat and nano-/micro-structured surfaces to achieve extreme liquid-repellency: any foreign droplet immiscible with the underlying lubricant layer was shown to slide off at a small tilt angle $<$ 5$^{\circ}$. This behavior was hypothesized to arise from a thin lubricant overlayer film sandwiched between the droplet and solid substrate, but this has not been observed experimentally. Here, using confocal optical interferometry, we are able to visualize the intercalated film under both static and dynamic conditions. We further demonstrate that the lubricant flow entrained by droplet motion can transform a partially dewetted film into a continuous layer, by generating a sufficient hydrodynamic force to lift the droplet over the solid substrate. The droplet is therefore oleoplaning, akin to tires hydroplaning on a wet road, with minimal dissipative force (down to 0.1 $\mu$N for 1 $\mu$l droplet when measured using a cantilever force sensor) and no contact line pinning. The techniques and insights presented in this study will inform future work on the fundamentals of wetting for lubricated surfaces and enable their rational design.


title: An equation for a time-dependent profit rate

abstract: Taking as a hypothesis a form of the labour theory of value, and $without$ $assuming$ $equilibrium$, we derive an equation that yields the profit-rate $\pi$ as a function of time. For a mature economy, $\pi(t)$ reduces to the product of two factors: ($i$) a certain $retarded$ $average$ of the sum of the growth-rates of productivity and of the size of the labour-force measured by hours worked, and ($ii$) the ratio of the current rate of surplus value to its own retarded average. We also suggest an empirical test of the equation.


title: Non-potential field formation in the X-shaped quadrupole magnetic field configuration

abstract: Some types of solar flares are observed in X-shaped quadrupolar field configuration. To understand the magnetic energy storage in such a region, we studied non-potential field formation in an X-shaped quadrupolar field region formed in the active region NOAA 11967, which produced three X-shaped M-class flares on February 2, 2014. Nonlinear force-free field modeling was applied to a time series of vector magnetic field maps from the Solar Optical Telescope on board Hinode and Helioseismic and Magnetic Imager on board Solar Dynamics Observatory. Our analysis of the temporal three-dimensional magnetic field evolution shows that the sufficient free energy had already been stored more than 10 hours before the occurrence of the first M-class flare and that the storage was observed in a localized region. In this localized region, quasi-separatrix layers (QSLs) started to develop gradually from 9 hours before the first M-class flare. One of the flare ribbons that appeared in the first M-class flare was co-spatial with the location of the QSLs, suggesting that the formation of the QSLs is important in the process of energy release. These QSLs do not appear in the potential field calculation, indicating that they were created by the non-potential field. The formation of the QSLs was associated with the transverse photospheric motion of the pre-emerged flux and the emergence of a new flux. This observation indicates that the occurrence of the flares requires the formation of QSLs in the non-potential field in which free magnetic energy is stored in advance.


title: A Reconnaissance Attack Mechanism for Fixed-Priority Real-Time Systems

abstract: In real-time embedded systems (RTS), failures due to security breaches can cause serious damage to the system, the environment and/or injury to humans. Therefore, it is very important to understand the potential threats and attacks against these systems. In this paper we present a novel reconnaissance attack that extracts the exact schedule of real-time systems designed using fixed priority scheduling algorithms. The attack is demonstrated on both a real hardware platform and a simulator, with a high success rate. Our evaluation results show that the algorithm is robust even in the presence of execution time variation.


title: Learning Discriminative Relational Features for Sequence Labeling

abstract: Discovering relational structure between input features in sequence labeling models has shown to improve their accuracy in several problem settings. However, the search space of relational features is exponential in the number of basic input features. Consequently, approaches that learn relational features, tend to follow a greedy search strategy. In this paper, we study the possibility of optimally learning and applying discriminative relational features for sequence labeling. For learning features derived from inputs at a particular sequence position, we propose a Hierarchical Kernels-based approach (referred to as Hierarchical Kernel Learning for Structured Output Spaces - StructHKL). This approach optimally and efficiently explores the hierarchical structure of the feature space for problems with structured output spaces such as sequence labeling. Since the StructHKL approach has limitations in learning complex relational features derived from inputs at relative positions, we propose two solutions to learn relational features namely, (i) enumerating simple component features of complex relational features and discovering their compositions using StructHKL and (ii) leveraging relational kernels, that compute the similarity between instances implicitly, in the sequence labeling problem. We perform extensive empirical evaluation on publicly available datasets and record our observations on settings in which certain approaches are effective.


title: Using the (Modified) Matrix Element Method to constrain $L_\mu - L_\tau$ Interactions

abstract: In this paper, we explore the discriminatory power of the matrix element method (MEM) in constraining the $L_\mu-L_\tau$ model at the LHC. The $Z'$ gauge boson associated with the spontaneously broken $U(1)_{L_\mu-L_\tau}$ symmetry only interacts with the second and third generation of leptons at tree level, and is thus difficult to produce at the LHC. We argue that the best channels for discovering this $Z'$ are in $Z \to 4\mu$ and $2\mu+\displaystyle{\not}E_T$. Both these channels have a large number of kinematic observables, which strongly motivates the usage of a multivariate technique. The MEM is a multivariate analysis that uses the squared matrix element to quantify the likelihood of the testing hypotheses. We find that with $300 \, \text{fb}^{-1}$ of integrated luminosity, we are sensitive to the couplings of $ g_{Z'} \gtrsim 0.002 ~ g_1$ and $M_{Z'} < 20 \text{ GeV}$, and $g_{Z'} \gtrsim 0.005 g_1$ and $20\, \text{GeV} <M_{Z'} < 40 ~ \text{GeV}$, which is about an order of magnitude improvement over the cut-and-count method for the same amount of data.


title: Plasma parameters and geometry of cool and warm active region loops

abstract: How the solar corona is heated to high temperatures remains an unsolved mystery in solar physics. In the present study we analyse observations of 50 whole active-region loops taken with the Extreme-ultraviolet Imaging Spectrometer (EIS) on board the Hinode satellite. Eleven loops were classified as cool (<1 MK) and 39 as warm (1-2 MK) loops. We study their plasma parameters such as densities, temperatures, filling factors, non-thermal velocities and Doppler velocities. We combine spectroscopic analysis with linear force-free magnetic-field extrapolation to derive the three-dimensional structure and positioning of the loops, their lengths and heights as well as the magnetic field strength along the loops. We use density-sensitive line pairs from Fe XII, Fe XIII, Si X and Mg VII ions to obtain electron densities by taking special care of intensity background-subtraction. The emission-measure loci method is used to obtain the loop temperatures. We find that the loops are nearly isothermal along the line-of-sight. Their filling factors are between 8% and 89%. We also compare the observed parameters with the theoretical RTV scaling law. We find that most of the loops are in an overpressure state relative to the RTV predictions. In a followup study, we will report a heating model of a parallel-cascade-based mechanism and will compare the model parameters with the loop plasma and structural parameters derived here.


title: Mathematical analysis of a mouse experiment suggests little role for resource depletion in controlling influenza infection within host

abstract: How important is resource depletion (e.g. depletion of target cells) in controlling infection within a host? And how can we distinguish between resource depletion and other mechanisms that may contribute to decline of pathogen load or lead to pathogen clearance? In this paper we examine data from a previously published experiment. In this experiment, mice were infected with influenza virus carrying a green fluorescent protein reporter gene, and the proportion of lung epithelial cells that were influenza infected was measured as a function of time. Three inoculum dose groups - 10^4 PFU, 10^6 PFU and 10^7 PFU - were used. The proportion of cells infected was estimated to be about 21 (95% confidence interval: 14-32) fold higher in the highest dose group than in the lowest dose group with the middle dose group in between. We show that this pattern is highly inconsistent with a model where target cell depletion is the principal means of controlling infection, and we argue that such a pattern constitutes a reasonable criterion for rejecting many resource depletion models. A model with an innate interferon response that renders susceptible cells resistant fits the data reasonably well. This model suggests that target cell depletion is only a minor factor in controlling natural influenza infection.


title: Identification of Stellar Sequences in various Stellar Systems : ESO65-SC03, TEUTSCH 106, TURNER 6

abstract: The spatial morphological study of studied clusters is carried out through the identified probable members within them. The field stars decontamination is performed by the statistical cleaning approach (depends on the magnitude and colour of stars within the field and cluster regions). The CMRD (colour magnitude ratio diagram) approach is used to separate stellar sequences of the cluster systems. The age, distance and reddening of each cluster are estimated through the visual inspection of best fitted isochrone in colour magnitude diagrams(CMDs). The mean proper motion values of clusters are obtained through the extracted data from PPMXL and UCAC4 catalogs. Moreover, these values are varying according to the extracted data-set from these catalogues. This variation is occurred due to their different estimation efficiency of proper motions. The TCR (two colour ratio) and TCMR (two colour magnitude ratio) values of each cluster are determined by utilizing the WISE and PPMXL catalogues, these values are found abnormal for TEUTSCH 106. In addition, the TCMR values are similar to TCR values at longer wavelength, whereas both values are far away to each other at shorter wavelength. The fraction of young stellar objects (YSOs) is also computed for each cluster.


title: Evolutionary phases of gas-rich galaxies in a galaxy cluster at z=1.46

abstract: We report a survey of molecular gas in galaxies in the XMMXCS J2215.9-1738 cluster at $z=1.46$. We have detected emission lines from 17 galaxies within a radius of $R_{200}$ from the cluster center, in Band 3 data of the Atacama Large Millimeter/submillimeter Array (ALMA) with a coverage of 93 -- 95 GHz in frequency and 2.33 arcmin$^2$ in spatial direction. The lines are all identified as CO $J$=2--1 emission lines from cluster members at $z\sim1.46$ by their redshifts and the colors of their optical and near-infrared (NIR) counterparts. The line luminosities reach down to $L'_{\rm CO(2-1)}=4.5\times10^{9}$ K km s$^{-1}$ pc$^2$. The spatial distribution of galaxies with a detection of CO(2--1) suggests that they disappear from the very center of the cluster. The phase-space diagram showing relative velocity versus cluster-centric distance indicates that the gas-rich galaxies have entered the cluster more recently than the gas-poor star-forming galaxies and passive galaxies located in the virialized region of this cluster. The results imply that the galaxies have experienced ram-pressure stripping and/or strangulation during the course of infall towards the cluster center and then the molecular gas in the galaxies at the cluster center is depleted by star formation.


title: Magnetohydrodynamic modeling of solar coronal dynamics with an initial non-force-free magnetic field

abstract: The magnetic fields in the solar corona are generally neither force-free nor axisymmetric and have complex dynamics that are difficult to characterize. Here we simulate the topological evolution of solar coronal magnetic field lines (MFLs) using a magnetohydrodynamic model. The simulation is initialized with a non-axisymmetric non-force-free magnetic field that best correlates with the observed vector magnetograms of solar active regions (ARs). To focus on these ideas, simulations are performed for the flaring AR 11283 noted for its complexity and well-documented dynamics. The simulated dynamics develops as the initial Lorentz force pushes the plasma and facilitates successive magnetic reconnections at the two X-type null lines present in the initial field. Importantly, the simulation allows for the spontaneous development of mass flow, unique among contemporary works, that preferentially reconnects field lines at one of the X-type null lines. Consequently, a flux rope consisting of low-lying twisted MFLs, which approximately traces the major polarity inversion line, undergoes an asymmetric monotonic rise. The rise is attributed to a reduction in the magnetic tension force at the region overlying the rope, resulting from the reconnection. A monotonic rise of the rope is in conformity with the standard scenario of flares. Importantly, the simulated dynamics leads to bifurcations of the flux rope, which, being akin to the observed filament bifurcation in AR 11283, establishes the appropriateness of the initial field in describing ARs.


title: New Universality for Near-Threshold Three-Body Resonances

abstract: In the three-body system with one resonantly interacting pair, we study the behavior of the $S$-matrix pole near the threshold in the fourth quadrant of the unphysical complex energy plane. Our study is essentially based on the unitarity and analyticity of the $S$-matrix and employs the Alt-Grassberger-Sandhas (AGS) equations specifically for the three-body scattering problem and the dispersion relation for the inverse $T$-matrix. We find that the trajectory of the complex energy, $E$, of the $S$-matrix pole near the threshold is uniquely given by $c_0 + E \log{\left( - E \right)} \approx 0$ or $c_0 + E_R \log E_R \approx 0$, $E_I \approx \pi E_R/\log E_R$ in the fourth quadrant of the unphysical complex energy plane, in contrast to the non-unique trajectories with no resonantly interacting pair, $c_0 + c_1 E + E^2 \log{\left( - E \right)} \approx 0$ or $E_R \approx -c_0/c_1$, $E_I \approx -\pi E_R^2/c_1$ where $E_R$ and $E_I$ are the real and imaginary parts of $E$, respectively, and $c_0$ and $c_1$ are real constants. This is a new universal behavior of the $S$-matrix near the threshold. Also, we briefly discuss implications to exotic hadron candidates.


title: Measurement of ultrashort optical pulses via time lens imaging in CMOS compatible waveguides

abstract: We demonstrate temporal measurements of subpicosecond optical pulses via time-to-frequency conversion in a 45cm long CMOS compatible high index glass spiral waveguide. The measurements are based on efficient four wave mixing in the C-band, using around 1W of peak pump power. We achieve a resolution of 400fs over a time window of 100ps, representing a time-bandwidth product > 250.


title: New classical Cepheids in the inner part of the northern Galactic disk and their kinematics

abstract: The characteristics of the inner Galaxy remain obscured by significant dust extinction, and hence infrared surveys are useful to find young Cepheids whose distances and ages can be accurately determined. A near-infrared photometric and spectroscopic survey was carried out and three classical Cepheids were unveiled in the inner disk, around 20 and 30 degrees in Galactic longitude. The targets feature small Galactocentric distances, 3-5 kpc, and their velocities are important as they may be under the environmental influence of the Galactic bar. While one of the Cepheids has radial velocity consistent with the Galactic rotation, the other two are moving significantly slower. We also compare their kinematics with that of high-mass star-forming regions with parallactic distances measured.


title: Certain Ostrowski type inequalities for generalized s-convex functions

abstract: In this paper, we first obtain a generalized integral identity for twice local differentiable functions. Then, using functions whose second derivatives in absolute value at certain powers are generalized s convex in the second sense, we obtain some new Ostrowski type inequalities.


title: A Certified-Complete Bimanual Manipulation Planner

abstract: Planning motions for two robot arms to move an object collaboratively is a difficult problem, mainly because of the closed-chain constraint, which arises whenever two robot hands simultaneously grasp a single rigid object. In this paper, we propose a manipulation planning algorithm to bring an object from an initial stable placement (position and orientation of the object on the support surface) towards a goal stable placement. The key specificity of our algorithm is that it is certified-complete: for a given object and a given environment, we provide a certificate that the algorithm will find a solution to any bimanual manipulation query in that environment whenever one exists. Moreover, the certificate is constructive: at run-time, it can be used to quickly find a solution to a given query. The algorithm is tested in software and hardware on a number of large pieces of furniture.


title: Precision cosmology with redshift-space bispectrum: a perturbation theory based model at one-loop order

abstract: The large-scale matter distribution in the late-time Universe exhibits gravity-induced non-Gaussianity, and the bispectrum, three-point cumulant is expected to contain significant cosmological information. In particular, the measurement of the bispectrum helps to tighten the constraints on dark energy and modified gravity through the redshift-space distortions (RSD). In this paper, extending the work by Taruya, Nishimichi & Saito (2010, Phys.Rev.D 82, 063522), we present a perturbation theory (PT) based model of redshift-space matter bispectrum that can keep the non-perturbative damping effect under control. Characterizing this non-perturbative damping by a univariate function with single free parameter, the PT model of the redshift-space bispectrum is tested against a large set of cosmological $N$-body simulations, finding that the predicted monopole and quadrupole moments are in a good agreement with simulations at the scales of baryon acoustic oscillations (well beyond the range of agreement of standard PT). The validity of the univariate ansatz of the damping effect is also examined, and with the PT calculation at next-to-leading order, the fitted values of the free parameter is shown to consistently match those obtained from the PT model of power spectrum by Taruya, Nishimichi & Saito (2010).


title: A Decentralized Framework for Real-Time Energy Trading in Distribution Networks with Load and Generation Uncertainty

abstract: The proliferation of small-scale renewable generators and price-responsive loads makes it a challenge for distribution network operators (DNOs) to schedule the controllable loads of the load aggregators and the generation of the generators in real-time. Additionally, the high computational burden and violation of the entities' (i.e., load aggregators' and generators') privacy make a centralized framework impractical. In this paper, we propose a decentralized energy trading algorithm that can be executed by the entities in a real-time fashion. To address the privacy issues, the DNO provides the entities with proper control signals using the Lagrange relaxation technique to motivate them towards an operating point with maximum profit for entities. To deal with uncertainty issues, we propose a probabilistic load model and robust framework for renewable generation. The performance of the proposed algorithm is evaluated on an IEEE 123-node test feeder. When compared with a benchmark of not performing load management for the aggregators, the proposed algorithm benefits both the load aggregators and generators by increasing their profit by 17.8%and 10.3%, respectively. When compared with a centralized approach, our algorithm converges to the solution of the DNO's centralized problem with a significantly lower running time in 50 iterations per time slot.


title: Photon production in Pb+Pb collisions at $\sqrt{s_{NN}}$=2.76 TeV

abstract: We calculate the high energy photon production from the Pb+Pb collisions for different centrality classes at $\sqrt{s_{NN}}$=2.76 TeV Large Hadron Collider (LHC) energy. The jet energy loss in the jet fragmentation, jet-photon conversion and jet bremsstrahlung is considered by using the Wang-Huang-Sarcevic (WHS) and Baier-Dokshitzer-Mueller-Peigne-Schiff (BDMPS) models. We use the (1+1)-dimensional ideal relativistic hydrodynamics to study the collective transverse flow and space-time evolution of the quark gluon plasma (QGP). The numerical results agree well with the ALICE data of the direct photons from the Pb+Pb collisions ($\sqrt{s_{NN}}$=2.76 TeV) for 0-20\%, 20-40\% and 40-80\% centrality classes.


title: A Decentralized Trading Algorithm for an Electricity Market with Generation Uncertainty

abstract: The uncertainties of the renewable generation units and the proliferation of price-responsive loads make it a challenge for independent system operators (ISOs) to manage the energy trading market in the future power systems. A centralized energy market is not practical for the ISOs due to the high computational burden and violating the privacy of different entities, i.e., load aggregators and generators. In this paper, we propose a day-ahead decentralized energy trading algorithm for a grid with generation uncertainty. To address the privacy issues, the ISO determines some control signals using the Lagrange relaxation technique to motivate the entities towards an operating point that jointly optimize the cost of load aggregators and profit of the generators, as well as the risk of the generation shortage of the renewable resources. More, specifically, we deploy the concept of conditional-value-at-risk (CVaR) to minimize the risk of renewable generation shortage. The performance of the proposed algorithm is evaluated on an IEEE 30-bus test system. Results show that the proposed decentralized algorithm converges to the solution of the ISO's centralized problem in 45 iterations. It also benefits both the load aggregators by reducing their cost by 18% and the generators by increasing their profit by 17.1%.


title: Cosmological dynamics of spatially flat Einstein-Gauss-Bonnet models in various dimensions: High-dimensional $\Lambda$-term case

abstract: In this paper we perform a systematic study of spatially flat $[(3+D)+1]$-dimensional Einstein-Gauss-Bonnet cosmological models with $\Lambda$-term. We consider models that topologically are the product of two flat isotropic subspaces with different scale factors. One of these subspaces is three-dimensional and represents our space and the other is $D$-dimensional and represents extra dimensions. We consider no {\it ansatz} of the scale factors, which makes our results quite general. With both Einstein-Hilbert and Gauss-Bonnet contributions in play, $D=3$ and the general $D\geqslant 4$ cases have slightly different dynamics due to the different structure of the equations of motion. We analytically study equations of motion in both cases and describe all possible regimes with special interest on the realistic regimes. Our analysis suggests that the only realistic regime is the transition from high-energy (Gauss-Bonnet) Kasner regime, which is the standard cosmological singularity in that case, to the anisotropic exponential regime with expanding three and contracting extra dimensions. Availability of this regime allows us to put constraint on the value of Gauss-Bonnet coupling $\alpha$ and the $\Lambda$-term -- this regime appears in two regions on $(\alpha, \Lambda)$ plane: $\alpha < 0$, $\Lambda > 0$, $\alpha\Lambda \leqslant 1/2$ and $\alpha > 0$, $\alpha\Lambda \leqslant (3D^2 - 7D + 6)/(4D(D-1))$, including entire $\Lambda < 0$ region. The obtained bounds are confronted with the restrictions on $\alpha$ and $\Lambda$ from other considerations, like causality, entropy-to-viscosity ratio in AdS/CFT and others. Joint analysis constraints ($\alpha$, $\Lambda$) even further: $\alpha > 0$, $D \geqslant 2$ with $(3D^2 - 7D + 6)/(4D(D-1)) \geqslant \alpha \Lambda \geqslant - (D+2)(D+3)(D^2 + 5D + 12)/(8(D^2 + 3D + 6)^2)$.


title: Enhancing the spin transfer torque in magnetic tunnel junctions by ac modulation

abstract: The phenomenon of spin transfer torque (STT) has attracted a great deal of interests due to its promising prospects in practical spintronic devices. In this paper, we report a theoretical investigation of STT in a noncollinear magnetic tunnel junction under ac modulation based on the nonequilibrium Green's function formalism, and derive a closed-formulation for predicting the time-averaged STT. Using this formulation, the ac STT of a carbon-nanotube-based magnetic tunnel junction is analyzed. Under ac modulation, the low-bias linear (quadratic) dependence of the in-plane (out-of-plane) torque on bias still holds, and the $\sin\theta$ dependence on the noncollinear angle is maintained. By photon-assisted tunneling, the bias-induced components of the in-plane and out-of-plane torques can be enhanced significantly, about 12 and 75 times, respectively. Our analysis reveals the condition for achieving optimized STT enhancement and suggests that ac modulation is a very effective way for electrical manipulation of STT.


title: Competitions between prosocial exclusions and punishments in finite populations

abstract: Prosocial punishment has been proved to be a powerful mean to promote cooperation. Recent studies have found that social exclusion, which indeed can be regarded as a kind of punishment, can also support cooperation. However, if prosocial punishment and exclusion are both present, it is still unclear which strategy is more advantageous to curb free-riders. Here we first study the direct competition between different types of punishment and exclusion. We find that pool (peer) exclusion can always outperform pool (peer) punishment both in the optional and in the compulsory public goods game, no matter whether second-order sanctioning is considered or not. Furthermore, peer exclusion does better than pool exclusion both in the optional and in the compulsory game, but the situation is reversed in the presence of second-order exclusion. Finally, we extend the competition among all possible sanctioning strategies and find that peer exclusion can outperform all other strategies in the absence of second-order exclusion and punishment, while pool exclusion prevails when second-order sanctioning is possible. Our results demonstrate that exclusion is a more powerful strategy than punishment for the resolution of social dilemmas.


title: On the acceleration and deceleration of relativistic jets in active galactic nuclei - II. Mass-loading

abstract: The effect of a mass-loading of the magnetohydrodynamic (MHD) flow in a relativistic jet from active galactic nuclei (AGN) due to $\gamma\gamma\rightarrow e^+e^-$ conversion is considered analytically. We argue that the effects of charge average separation due to specific initial pairs' motion lead to partial magnetic and electric fields screening or enhancement. The effect of the fields screening has not been considered earlier. The pairs with the center-of-mass moving faster or slower than the bulk plasma flow create a surface charge and a current which either screen or enhance both electric and magnetic fields in a pair creation domain. This impacts the bulk flow motion, which either accelerates or decelerates. The pairs with the center-of-mass moving with exactly the drift velocity does not induce the fields disturbance. In this case the flow decelerates due to pure mass-loading. For these different cases the Lorentz factor of the loaded outflow is calculated as a function of loading pairs number density. The effect may be important on sub-parsec to parsec scales due to conversion of TeV jet radiation on soft infra-red to ultra-violet external isotropic photon field. This leads to an outer shell acceleration. The conversion of MeV jet radiation on larger scales may account for the flow deceleration due to pure mass-loading. The proposed mechanism may be a source of internal shocks and instabilities in the pair creation region.


title: Group Metrics for Graph Products of Cyclic Groups

abstract: We complement the characterization of the graph products of cyclic groups $G(\Gamma, \mathfrak{p})$ admitting a Polish group topology of [9] with the following result. Let $G = G(\Gamma, \mathfrak{p})$, then the following are equivalent: (i) there is a metric on $\Gamma$ which induces a separable topology in which $E_{\Gamma}$ is closed; (ii) $G(\Gamma, \mathfrak{p})$ is embeddable into a Polish group; (iii) $G(\Gamma, \mathfrak{p})$ is embeddable into a non-Archimedean Polish group. We also construct left-invariant separable group ultrametrics for $G = G(\Gamma, \mathfrak{p})$ and $\Gamma$ a closed graph on the Baire space, which is of independent interest.


title: A Design Methodology for Efficient Implementation of Deconvolutional Neural Networks on an FPGA

abstract: In recent years deep learning algorithms have shown extremely high performance on machine learning tasks such as image classification and speech recognition. In support of such applications, various FPGA accelerator architectures have been proposed for convolutional neural networks (CNNs) that enable high performance for classification tasks at lower power than CPU and GPU processors. However, to date, there has been little research on the use of FPGA implementations of deconvolutional neural networks (DCNNs). DCNNs, also known as generative CNNs, encode high-dimensional probability distributions and have been widely used for computer vision applications such as scene completion, scene segmentation, image creation, image denoising, and super-resolution imaging. We propose an FPGA architecture for deconvolutional networks built around an accelerator which effectively handles the complex memory access patterns needed to perform strided deconvolutions, and that supports convolution as well. We also develop a three-step design optimization method that systematically exploits statistical analysis, design space exploration and VLSI optimization. To verify our FPGA deconvolutional accelerator design methodology we train DCNNs offline on two representative datasets using the generative adversarial network method (GAN) run on Tensorflow, and then map these DCNNs to an FPGA DCNN-plus-accelerator implementation to perform generative inference on a Xilinx Zynq-7000 FPGA. Our DCNN implementation achieves a peak performance density of 0.012 GOPs/DSP.


title: On the structure of large sum-free sets of integers

abstract: A set of integers is called sum-free if it contains no triple $(x,y,z)$ of not necessarily distinct elements with $x+y=z$. In this paper, we provide a structural characterisation of sum-free subsets of $\{1,2,\ldots,n\}$ of density at least $2/5-c$, where $c$ is an absolute positive constant. As an application, we derive a stability version of Hu's Theorem [Proc. Amer. Math. Soc. 80 (1980), 711-712] about the maximum size of a union of two sum-free sets in $\{1,2,\ldots,n\}$. We then use this result to show that the number of subsets of $\{1,2,\ldots,n\}$ which can be partitioned into two sum-free sets is $\Theta(2^{4n/5})$, confirming a conjecture of Hancock, Staden and Treglown [arXiv:1701.04754].


title: Some extensions of the Young and Heinz inequalities for Matrices

abstract: In this paper, we present some extensions of the Young and Heinz inequalities for the Hilbert-Schmidt norm as well as any unitarily invariant norm. Furthermore, we give some inequalities dealing with matrices. More precisely, for two positive semidefinite matrices $A$ and $B$ we show that \begin{align*} \Big\|A^{\nu}XB^{1-\nu}+A^{1-\nu}XB^{\nu}\Big\|_{2}^{2}\leq\Big\|AX+XB\Big\|_{2}^{2}- 2r\Big\|AX-XB\Big\|_{2}^{2}-r_{0}\left(\Big\|A^{\frac{1}{2}}XB^{\frac{1}{2}}-AX\Big\|_{2}^{2}+ \Big\|A^{\frac{1}{2}}XB^{\frac{1}{2}}-XB\Big\|_{2}^{2}\right), \end{align*} where $X$ is an arbitrary $n\times n$ matrix, $0<\nu\leq\frac{1}{2}$, $r=\min\{\nu, 1-\nu\}$ and $r_{0}=\min\{2r, 1-2r\}$.


title: Extensible 3D architecture for superconducting quantum computing

abstract: Using a multi-layered printed circuit board, we propose a 3D architecture suitable for packaging supercon- ducting chips, especially chips that contain two-dimensional qubit arrays. In our proposed architecture, the center strips of the buried coplanar waveguides protrude from the surface of a dielectric layer as contacts. Since the contacts extend beyond the surface of the dielectric layer, chips can simply be flip-chip packaged with on-chip receptacles clinging to the contacts. Using this scheme, we packaged a multi-qubit chip and per- formed single-qubit and two-qubit quantum gate operations. The results indicate that this 3D architecture provides a promising scheme for scalable quantum computing.


title: Exploratory study of X(4140) in QCD sum rules

abstract: In this work, we chose three molecular and three diquark-antidiquark currents with the quark content $c\bar{c}s\bar{s}$ and $J^{PC}=0^{++},1^{++},2^{++}$, and estimated the masses and the meson coupling constants of the ground states coupling to these currents in the framework of QCD sum rules. In operator product expansion, we considered the terms including dimension eight, and we performed pole contribution tests carefully. According to our results, all of these currents couple to the ground states with degenerate masses which are in 10 MeV vicinity of X(4140). Therefore, with a QCD sum rules analysis, it is not possible to conclude that X(4140) has a dominant molecular or diquark-antidiquark content. However, there may be three states degenerate in mass, with positive charge conjugation and different isospins.


title: Solution of fractional Distributed Order Reaction-Diffusion Systems with Sumudu Transform

abstract: The solution of some fractional differential equations is the hottest topic in fractional calculus field. The fractional distributed order reaction-diffusion equation is the aim of this paper. By applying integral transform to solve this type of fractional differential equations, we have obtained the analytical solution by using Laplace-Sumudu transform.


title: Antiferromagnetic correlations in the metallic strongly correlated transition metal oxide LaNiO$_3$

abstract: The material class of rare earth nickelates with high Ni$^{3+}$ oxidation state is generating continued interest due to the occurrence of a metal-insulator transition with charge order and the appearance of non-collinear magnetic phases within this insulating regime. The recent theoretical prediction for superconductivity in LaNiO$_3$ thin films has also triggered intensive research efforts. LaNiO$_3$ seems to be the only rare earth nickelate that stays metallic and paramagnetic down to lowest temperatures. So far, centimetre-sized impurity-free single crystal growth has not been reported for the rare earth nickelates material class since elevated oxygen pressures are required for their synthesis. Here, we report on the successful growth of centimetre-sized LaNiO$_3$ single crystals by the floating zone technique at oxygen pressures of up to 150 bar. Our crystals are essentially free from Ni$^{2+}$ impurities and exhibit metallic properties together with an unexpected but clear antiferromagnetic transition.


title: Remarkably strong chemisorption of nitric oxide on insulating oxide films promoted by hybrid structure

abstract: The remarkably strong chemical adsorption behaviors of nitric oxide on magnesia (001) film deposited on metal substrate have been investigated by employing periodic density functional calculations with Van der Waals corrections. The molybdenum supported magnesia (001) show significantly enhanced adsorption properties and the nitric oxide is chemisorbed strongly and preferably trapped in flat adsorption configuration on metal supported oxide film, due to the substantially large adsorption energies and transformation barriers. The analysis of Bader charges, projected density of states, differential charge densities, electron localization function, highest occupied orbital and particular orbital with largest Mg-NO-Mg bonding coefficients, are applied to reveal the electronic adsorption properties and characteristics of bonding between nitric oxide and surface as well as the bonding within the hybrid structure. The strong chemical binding of nitric oxide on magnesia deposited on molybdenum slab offers new opportunities for toxic gas detection and treatment. We anticipate that hybrid structure promoted remarkable chemical adsorption of nitric oxide on magnesia in this study will provide versatile strategy for enhancing chemical reactivity and properties of insulating oxide.


title: Single-particle Excitations and Effects of Hetero-pairing Fluctuations in a Bose-Fermi Mixture with a Feshbach Resonance

abstract: We theoretically investigate normal-state properties of a gas mixture of single-component bosons and fermions with a hetero-nuclear Feshbach resonance. Including strong hetero-pairing fluctuations associated with the Feshbach resonance, we calculate single-particle density of states, as well as the spectral weight at various interaction strengths. For this purpose, we employ an improved T-matrix approximation (TMA), where the bare Bose Green's function in the non-selfconsistent TMA self-energy is modified so as to satisfy the Hugenholtz-Pines relation at the Bose-Einstein condensation (BEC) temperature $T_{\rm BEC}$. In the unitary regime at $T_{\rm BEC}$, we show that hetero-pairing fluctuations couple Fermi atomic excitations with Fermi molecular excitations, as well as with Bose atomic excitations. Although a similar coupling phenomenon by pairing fluctuations is known to give a pseudo-gapped density of states in the unitary regime of a two-component Fermi gas, such a dip structure is found to not appear even in the unitary limit of a Bose-Fermi mixture. It only appears in the strong-coupling regime. Instead, a spectral peak along the molecular dispersion appears in the spectral weight.We also clarify how this coupling phenomenon is seen in the Bose channel. Since a hetero-nuclear Feshbach resonance, as well as the formation of Bose-Fermi molecules, have been realized, our results would be useful for the study of strong-coupling properties of this unique quantum gas.


title: Contact formalism for coupled channels

abstract: The contact formalism, a useful tool for analyzing short-range correlations, is generalized here for systems with coupled channels, such as in nuclear physics. The relevant asymptotic form is presented and contact matrices are defined. Generally, for the case of two coupled channels, two two-body functions are included in the asymptotic form, resulting a 2 x 2 contact matrix. Nevertheless, it is shown that if the coupling terms of the potential are very weak or very strong, only a single two-body function is needed, resulting a single contact. This universal result is directly relevant to nuclear systems, and provides a theoretical explanation for the fact that proton-neutron short-range correlations can be described using the single bound-state deuteron wave function. It is achieved by applying an appropriate boundary condition on the two-body functions. This boundary condition can be interpreted as a mean field potential imposed on the correlated pair due to the residual system.


title: Identification of the white dwarf companion to millisecond pulsar J2317+1439

abstract: We report identification of the optical counterpart to the companion of the millisecond pulsar J2317+1439. At the timing position of the pulsar, we find an object with $g=22.96\pm0.05$, $r=22.86\pm0.04$ and $i=22.82\pm0.05$. The magnitudes and colors of the object are consistent with it being a white dwarf. By comparing with white dwarf cooling models, we estimate that it has a mass of $0.39^{+0.13}_{-0.10}$ M$_{\odot}$, an effective temperature of $8077^{+550}_{-470}$ K and a cooling age of $10.9\pm0.3$ Gyr. Combining our results with published constraints on the orbital parameters obtained through pulsar timing, we estimate the pulsar mass to be $3.4^{+1.4}_{-1.1}$ M$_{\odot}$. Although the constraint on the pulsar mass is still weak, there is a significant possibility that the pulsar could be more massive than two solar mass.


title: Horizontal Product Differentiation in Varian's Model of Sales

abstract: We consider the explicit introduction of firms' choice of location to Varian's model of sales for a two-stage spatial competition model based on a standard Hotelling's linear city model. This model is the formalization of Varian's model of sales in the context of Hotelling's spatial competition. We obtain three main results. First, we show that there exists a subgame perfect equilibrium in which each firm chooses a symmetric mixed strategy equilibrium profile. This equilibrium includes symmetric location pairs and asymmetric location pairs. Second, the equilibrium behaviors in our model are randomized at both location and price stages. Third, we show that expected profits in a subgame perfect equilibrium are equal to the maximum monopoly profit from an uninformed market. Thus, even when product differentiation is explicitly introduced into a Varian-type model, Varian's implication can be retained; the opportunity for profit in an informed market is lost with competition.


title: On the boundary theory of subordinate killed L\'evy processes

abstract: Let $Z$ be a subordinate Brownian motion in ${\mathbb R}^d$, $d\ge 2$, via a subordinator with Laplace exponent $\phi$. We kill the process $Z$ upon exiting a bounded open set $D\subset {\mathbb R}^d$ to obtain the killed process $Z^D$, and then we subordinate the process $Z^D$ by a subordinator with Laplace exponent $\psi$. The resulting process is denoted by $Y^D$. Both $\phi$ and $\psi$ are assumed to satisfy certain weak scaling conditions at infinity. We study the potential theory of $Y^D$, in particular the boundary theory. First, in case that $D$ is a $\kappa$-fat bounded open set, we show that the Harnack inequality holds. If, in addition, $D$ satisfies the local exterior volume condition, then we prove the Carleson estimate. In case $D$ is a smooth open set and the lower weak scaling index of $\psi$ is strictly larger than $1/2$, we establish the boundary Harnack principle with explicit decay rate near the boundary of $D$. On the other hand, when $\psi(\lambda)=\lambda^{\gamma}$ with $\gamma\in (0,1/2]$, we show that the boundary Harnack principle near the boundary of $D$ fails for any bounded $C^{1,1}$ open set $D$. Our results give the first example where the Carleson estimate holds true, but the boundary Harnack principle does not. One of the main ingredients in the proofs is the sharp two-sided estimates of the Green function of $Y^D$. Under an additional condition on $\psi$, we establish sharp two-sided estimates of the jumping kernel of $Y^D$ which exhibit some unexpected boundary behavior. We also prove a boundary Harnack principle for non-negative functions harmonic in a smooth open set $E$ strictly contained in $D$, showing that the behavior of $Y^D$ in the interior of $D$ is determined by the composition $\psi\circ \phi$.


title: Simultaneous Super-Resolution and Cross-Modality Synthesis of 3D Medical Images using Weakly-Supervised Joint Convolutional Sparse Coding

abstract: Magnetic Resonance Imaging (MRI) offers high-resolution \emph{in vivo} imaging and rich functional and anatomical multimodality tissue contrast. In practice, however, there are challenges associated with considerations of scanning costs, patient comfort, and scanning time that constrain how much data can be acquired in clinical or research studies. In this paper, we explore the possibility of generating high-resolution and multimodal images from low-resolution single-modality imagery. We propose the weakly-supervised joint convolutional sparse coding to simultaneously solve the problems of super-resolution (SR) and cross-modality image synthesis. The learning process requires only a few registered multimodal image pairs as the training set. Additionally, the quality of the joint dictionary learning can be improved using a larger set of unpaired images. To combine unpaired data from different image resolutions/modalities, a hetero-domain image alignment term is proposed. Local image neighborhoods are naturally preserved by operating on the whole image domain (as opposed to image patches) and using joint convolutional sparse coding. The paired images are enhanced in the joint learning process with unpaired data and an additional maximum mean discrepancy term, which minimizes the dissimilarity between their feature distributions. Experiments show that the proposed method outperforms state-of-the-art techniques on both SR reconstruction and simultaneous SR and cross-modality synthesis.


title: Perfect powers in alternating sum of consecutive cubes

abstract: In this paper, we consider the problem about finding out perfect powers in an alternating sum of consecutive cubes. More precisely, we completely solve the Diophantine equation $(x+1)^3 - (x+2)^3 + \cdots - (x + 2d)^3 + (x + 2d + 1)^3 = z^p$, where $p$ is prime and $x,d,z$ are integers with $1 \leq d \leq 50$.


title: Observational evidence for mass ejection accompanying short gamma ray bursts

abstract: The plateau in the duration distribution of long Gamma-Ray Bursts (LGRBs) provides a direct observational evidence for the Collapsar model. The plateau reflects the fact that the observed duration satisfies: $T_{90} = t_{e}-t_{b}$ where $t_{e}$ is the time that the central engine operates and $t_{b}$ is a threshold time, interpreted within the Collapsar model as the time it takes for the relativistic jet to penetrate the stellar envelope. Numerical simulation and macronova observations suggest that compact binary mergers involve mass ejection. If short-Gamma Ray Bursts (sGRBs) arise from such mergers, their jets should cross this surrounding ejecta before producing the prompt emission. Like in LGRBs, this should result in a distinct short plateau in the GRBs' duration distribution. We present a new analysis of the duration distribution for the three GRB satellites: BATSE, {\it Swift} and Fermi. We find a clear evidence for a short ($\sim 0.4$ sec) plateau in the duration distribution. This plateau is consistent with the expected jet crossing time, provided that the ejecta is of order of a few percent of solar masses.


title: Energy Landscape of Charge Excitations in Boundary Region between Dimer-Mott and Charge Order State in Molecular Solids

abstract: A possible theoretical scheme is proposed for the unified description of charge excitations with $10^{10}$ orders of magnitude difference in energy [from optical($\sim$eV) down to dielectric anomalies (10KHz$\sim 10^{-10}$eV)] based on a simple and single model.


title: Reliable Restricted Process Theory

abstract: Malfunctions of a mobile ad hoc network (MANET) protocol caused by a conceptual mistake in the protocol design, rather than unreliable communication, can often be detected only by considering communication among the nodes in the network to be reliable. In Restricted Broadcast Process Theory, which was developed for the specification and verification of MANET protocols, the communication operator is lossy. Replacing unreliable with reliable communication invalidates existing results for this process theory. We examine the effects of this adaptation on the semantics of the framework with regard to the non-blocking property of communication in MANETs, the notion of behavioral equivalence relation and its axiomatization. We illustrate the applicability of our framework through a simple routing protocol. To prove its correctness, we introduce a novel proof process, based on a precongruence relation.


title: Logic Lectures: G\"odel's Basic Logic Course at Notre Dame

abstract: An edited version is given of the text of G\"odel's unpublished manuscript of the notes for a course in basic logic he delivered at the University of Notre Dame in 1939. G\"odel's notes deal with what is today considered as important logical problems par excellence, completeness, decidability, independence of axioms, and with natural deduction too, which was all still a novelty at the time the course was delivered. Full of regards towards beginners, the notes are not excessively formalistic. G\"odel presumably intended them just for himself, and they are full of abbreviations. This together with some other matters (like two versions of the same topic, and guessing the right order of the pages) required additional effort to obtain a readable edited version. Because of the quality of the material provided by G\"odel, including also important philosophical points, this effort should however be worthwhile. The edited version of the text is accompanied by another version, called the source version, which is quite close to G\"odel's manuscript. It is meant to be a record of the editorial interventions involved in producing the edited version (in particular, how the abbreviations were disabridged), and a justification of that later version.


title: Free field representation of the ZF algebra of the SU(N)xSU(N) PCF model

abstract: A free field representation of the Zamolodchikov-Faddeev algebra of the SU(N)xSU(N) Principal Chiral Field model is constructed, and used to derive an integral representation for form factors of a multi-parameter family of exponential fields.


title: How empty is an empty loss cone?

abstract: We consider two body relaxation in a spherical system with a loss cone. Considering two-dimensional angular momentum space, we focus on "empty loss cone" systems, where the typical scattering during a dynamical time $j_{d}$ is smaller than the size of the loss cone $j_{\rm lc}$. As a result, the occupation number within the loss cone is significantly smaller than outside. Classical diffusive treatment of this regime predict exponentially small occupation number deep in the loss cone. We revisit this classical derivation of occupancy distribution of objects in the empty loss cone regime. We emphasize the role of the rare large scatterings and show that the occupancy does not decay exponentially within the loss cone, but it is rather flat, with a typical value $\sim [(j_d/j_{\rm lc})]^2\ln^{-2}(j_{\rm lc}/j_{\min})$ compared to the occupation in circular angular momentum (where $j_{\min}$ is the smallest possible scattering). Implication are that although the loss cone for tidal break of Giants or binaries is typically empty, tidal events which occurs significantly inside the loss cone ($\beta\gtrsim 2$), are almost as common as those with $\beta\cong 1$ where $\beta$ is the ratio between the tidal radius and the periastron. The probability for event with penetration factor $>\beta$ decreases only as $\beta^{-1}$ rather than exponentially. This effect has no influence on events characterized by full loss cone, such as tidal disruption event of $\sim 1m_\odot$ main sequence star.


title: Entanglement growth during Van der Waals like phase transition

abstract: We address the problem of describing the coexistence state of two different black holes and Van der Waals like phase transition in Reissner-Nordstr\"om-AdS space-time. We start by a small charged black hole, then introduce a collapsing neutral thin-shell described by Vaidya metric to form a large one. The formation of the large black hole does not change the temperature and free energy of the initial state. We discuss the entanglement growing during the phase transition. The transition is always continuous and the saturation time is determined by the final state. It opens a possibility for studying the holography from excited states to excited states.


title: A note on prime divisors of polynomials $P(T^k), k \geq 1$

abstract: Let $F$ be a number field, $O_F$ the integral closure of $\mathbb{Z}$ in $F$ and $P(T) \in O_F[T]$ a monic separable polynomial such that $P(0) \not=0$ and $P(1) \not=0$. We give precise sufficient conditions on a given positive integer $k$ for the following condition to hold: there exist infinitely many non-zero prime ideals $\mathcal{P}$ of $O_F$ such that the reduction modulo $\mathcal{P}$ of $P(T)$ has a root in the residue field $O_F/\mathcal{P}$, but the reduction modulo $\mathcal{P}$ of $P(T^k)$ has no root in $O_F/\mathcal{P}$. This makes a result from a previous paper (motivated by a problem in field arithmetic) asserting that there exist (infinitely many) such integers $k$ more precise.


title: Automorphism groups over Hilbertian fields

abstract: We show that every finite group occurs as the automorphism group of infinitely many finite (field) extensions of any given Hilbertian field. This extends and unifies previous results of M. Fried and Takahashi on the global field case.