title: Interplay between neutrino magnetic moments and $CP$ violating phases in left-right models

abstract: We revisit the neutrino magnetic moments (MMs) in the left-right model with non-manifest symmetry. After deriving an expression in terms of the Dirac and Majorana phases, we analyze the sensitivity of neutrino MMs to these $CP$-violating phases in two scenarios: 1) a maximal right mixing in which left- and right-handed neutrinos are mixed by the same matrix; and 2) a right-handed neutrino mixing whose off-diagonal entries are much smaller than the elements in the diagonal, but where the $CP$ phases remain general. Our results show that, even though certain values of the Majorana phases can eliminate neutrino MMs, the presence of a maximal $CP$-violating phase in neutrino mixing matrix, as favored by the discrepancy between T2K results and reactor measurements in neutrino oscillations, requires that at least one neutrino have a large nonzero MM.


title: The power of averaging at two consecutive time steps: Proof of a mixing conjecture by Aldous and Fill

abstract: Let $(X_t)_{t = 0 }^{\infty}$ be an irreducible reversible discrete time Markov chain on a finite state space $\Omega $. Denote its transition matrix by $P$. To avoid periodicity issues (and thus ensuring convergence to equilibrium) one often considers the continuous-time version of the chain $(X_t^{\mathrm{c}})_{t \ge 0} $ whose kernel is given by $H_t:=e^{-t}\sum_k (tP)^k/k! $. Another possibility is to consider the associated averaged chain $(X_t^{\mathrm{ave}})_{t = 0}^{\infty}$, whose distribution at time $t$ is obtained by replacing $P$ by $A_t:=(P^t+P^{t+1})/2$. A sequence of Markov chains is said to exhibit (total-variation) cutoff if the convergence to stationarity in total-variation distance is abrupt. Let $(X_t^{(n)})_{t = 0 }^{\infty}$ be a sequence of irreducible reversible discrete time Markov chains. In this work we prove that the sequence of associated continuous-time chains exhibits total-variation cutoff around time $t_n$ iff the sequence of the associated averaged chains exhibits total-variation cutoff around time $t_n$. Moreover, we show that the width of the cutoff window for the sequence of associated averaged chains is at most that of the sequence of associated continuous-time chains. In fact, we establish more precise quantitative relations between the mixing-times of the continuous-time and the averaged versions of a reversible Markov chain, which provide an affirmative answer to a problem raised by Aldous and Fill.


title: Box-Hunter resolution in nonregular fractional factorial designs

abstract: In a 1961 paper, Box and Hunter defined the resolution of a regular fractional factorial design as a measure of the amount of aliasing in the fraction. They also indicated that the maximum resolution is equal to the minimum length of a defining word. The idea of a wordlength pattern has now been extended to nonregular designs by various authors, who show that the minimum generalized wordlength equals the maximum strength plus 1. Minimum generalized wordlength is often taken as the definition of resolution. However, Box and Hunter's original definition, which does not depend on wordlength, can be extended to nonregular designs if they are simple. The purpose of this paper is to prove that the maximum Box-Hunter resolution does equal the maximum strength plus 1, and therefore equals the minimum generalized wordlength. Other approaches to resolution are briefly discussed.


title: What does the N-point function hierarchy of the cosmological matter density field really measure ?

abstract: The cosmological dark matter field is not completely described by its hierarchy of $N$-point functions, a non-perturbative effect with the consequence that only part of the theory can be probed with the hierarchy. We give here an exact characterization of the joint information of the full set of $N$-point correlators of the lognormal field. The lognormal field is the archetypal example of a field where this effect occurs, and, at the same time, one of the few tractable and insightful available models to specify fully the statistical properties of the evolved matter density field beyond the perturbative regime. Nonlinear growth in the Universe in that model is set letting the log-density field probability density functional evolve keeping its Gaussian shape, according to the diffusion equation in Euclidean space. We show that the hierarchy probes a different evolution equation, the diffusion equation defined not in Euclidean space but on the compact torus, with uniformity as the long-term solution. The extraction of the hierarchy of correlators can be recast in the form of a nonlinear transformation applied to the field, 'wrapping', undergoing a sharp transition towards complete disorder in the deeply nonlinear regime, where all memory of the initial conditions is lost.


title: Passenger Flow Predictions at Sydney International Airport: A Data-Driven Queuing Approach

abstract: Time spent in processing zones at an airport are an important part of the passenger's airport experience. It undercuts the time spent in the rest of the airport, and therefore the revenue that could be generated from shopping and dining. It can also result in passengers missing flights and connections, which has significant operational repercussions. Inadequate staffing levels are often to blame for large congestion at an airport. In this paper, we present a stochastic simulation that estimates the operational uncertainty in passenger processing at immigration. Congestion and delays are estimated on arrivals and departures based on scheduled flight departures and arrivals. We demonstrate the use of cellular tracking data in refining the model, and an approach to controlling congestion by adjusting staffing levels.


title: The Relativistic Three-Body Bound State in Three-Dimensions

abstract: Studying of the relativistic three-body bound state in a three-dimensional (3D) approach is a necessary first step in a process to eventually perform scattering calculations at GeV energies, where partial-wave expansions are not useful. To this aim we recently studied relativistic effects in the binding energy and for the first time, obtained the relativistic 3B wave function \cite{Hadizadeh_PRC90}. The relativistic Faddeev integral equations for the bound state are formulated in terms of momentum vectors, and relativistic invariance is incorporated within the framework of Poincar\'e invariant quantum mechanics.


title: Unimodal clustering using isotonic regression: ISO-SPLIT

abstract: A limitation of many clustering algorithms is the requirement to tune adjustable parameters for each application or even for each dataset. Some techniques require an \emph{a priori} estimate of the number of clusters while density-based techniques usually require a scale parameter. Other parametric methods, such as mixture modeling, make assumptions about the underlying cluster distributions. Here we introduce a non-parametric clustering method that does not involve tunable parameters and only assumes that clusters are unimodal, in the sense that they have a single point of maximal density when projected onto any line, and that clusters are separated from one another by a separating hyperplane of relatively lower density. The technique uses a non-parametric variant of Hartigan's dip statistic using isotonic regression as the kernel operation repeated at every iteration. We compare the method against k-means++, DBSCAN, and Gaussian mixture methods and show in simulations that it performs better than these standard methods in many situations. The algorithm is suited for low-dimensional datasets with a large number of observations, and was motivated by the problem of "spike sorting" in neural electrical recordings. Source code is freely available.


title: Is Main Sequence Galaxy Star Formation Controlled by Halo Mass Accretion?

abstract: The galaxy stellar-to-halo mass relation (SHMR) is nearly time-independent for $z < 4$. We therefore construct a time-independent SHMR model for central galaxies, wherein the in-situ star formation rate (SFR) is determined by the halo mass accretion rate (MAR), which we call Stellar-Halo Accretion Rate Coevolution (SHARC). We show that the $\sim0.3$ dex dispersion of the halo MAR matches the observed dispersion of the SFR on the star-formation main sequence (MS). In the context of "bathtub"-type models of galaxy formation, SHARC leads to mass-dependent constraints on the relation between SFR and MAR. Despite its simplicity and the simplified treatment of mass growth from mergers, the SHARC model is likely to be a good approximation for central galaxies with $M_*=10^9- 10^{10.5}M_\odot$ that are on the MS, representing most of the star formation in the Universe. SHARC predictions agree with observed SFRs for galaxies on the MS at low redshifts, agree fairly well at $z\sim4$, but exceed observations at $z>4$. Assuming that the interstellar gas mass is constant for each galaxy (the "equilibrium condition" in bathtub models), the SHARC model allows calculation of net mass loading factors for inflowing and outflowing gas. With assumptions about preventive feedback based on simulations, SHARC allows calculation of galaxy metallicity evolution. If galaxy SFRs indeed track halo MARs, especially at low redshifts, that may help explain the success of models linking galaxy properties to halos (including age-matching) and the similarities between two-halo galaxy conformity and halo mass accretion conformity.


title: Recursive Training of 2D-3D Convolutional Networks for Neuronal Boundary Detection

abstract: Efforts to automate the reconstruction of neural circuits from 3D electron microscopic (EM) brain images are critical for the field of connectomics. An important computation for reconstruction is the detection of neuronal boundaries. Images acquired by serial section EM, a leading 3D EM technique, are highly anisotropic, with inferior quality along the third dimension. For such images, the 2D max-pooling convolutional network has set the standard for performance at boundary detection. Here we achieve a substantial gain in accuracy through three innovations. Following the trend towards deeper networks for object recognition, we use a much deeper network than previously employed for boundary detection. Second, we incorporate 3D as well as 2D filters, to enable computations that use 3D context. Finally, we adopt a recursively trained architecture in which a first network generates a preliminary boundary map that is provided as input along with the original image to a second network that generates a final boundary map. Backpropagation training is accelerated by ZNN, a new implementation of 3D convolutional networks that uses multicore CPU parallelism for speed. Our hybrid 2D-3D architecture could be more generally applicable to other types of anisotropic 3D images, including video, and our recursive framework for any image labeling problem.


title: Euler Polynomials and Identities for Non-Commutative Operators

abstract: Three kinds of identities involving non-commutating operators and Euler and Bernoulli polynomials are studied. The first identity, as given by Bender and Bettencourt, expresses the nested commutator of the Hamiltonian and momentum operators as the commutator of the momentum and the shifted Euler polynomial of the Hamiltonian. The second one, due to J.-C. Pain, links the commutators and anti-commutators of the monomials of the position and momentum operators. The third appears in a work by Figuieira de Morisson and Fring in the context of non-Hermitian Hamiltonian systems. In each case, we provide several proofs and extensions of these identities that highlight the role of Euler and Bernoulli polynomials.


title: Evolution of the brightest cluster galaxies: the influence of morphology, stellar mass and environment

abstract: Using a sample of 425 nearby Brightest Cluster Galaxies (BCGs) from von der Linden et al. (2007), we study the relationship between their internal properties (stellar masses, structural parameters and morphologies) and their environment. More massive BCGs tend to inhabit denser regions and more massive clusters than lower mass BCGs. Furthermore, cDs, which are BCGs with particularly extended envelopes, seem to prefer marginally denser regions and tend to be hosted by more massive halos than elliptical BCGs. cD and elliptical BCGs show parallel positive correlations between their stellar masses and environmental densities. However, at a fixed environmental density, cDs are, on average, ~40% more massive. Our results, together with the findings of previous studies, suggest an evolutionary link between elliptical and cD BCGs. We suggest that most present-day cDs started their life as ellipticals, which subsequently grew in stellar mass and size due to mergers. In this process, the cD envelope developed. The large scatter in the stellar masses and sizes of the cDs reflects their different merger histories. The growth of the BCGs in mass and size seems to be linked to the hierarchical growth of the structures they inhabit: as the groups and clusters became denser and more massive, the BCGs at their centres also grew. This process is nearing completion since the majority (~60%) of the BCGs in the local Universe have cD morphology. However, the presence of galaxies with intermediate morphological classes (between ellipticals and cDs) suggests that the growth and morphological transformation of some BCGs is still ongoing.


title: High Efficiency, Multi-Terawatt X-ray free electron lasers

abstract: We study high efficiency, multi-terawatt peak power, few angstrom wavelength, X-ray Free Electron Lasers (X-ray FELs). To obtain these characteristics we consider an optimized undulator design: superconducting, helical, with short period and built-in strong focusing. This design reduces the length of the breaks between modules, decreasing diffraction effects, and allows using a stronger transverse electron focusing. Both effects reduce the gain length and the overall undulator length. The peak power and efficiency depend on the transverse electron beam distribution and on time dependent effects, like synchrotron sideband growth. The last effect is identified as the main cause for reduction of electron beam microbunching and FEL peak power. We show that the optimal functional form for the undulator magnetic field tapering profile, yielding the maximum output power, depends significantly on these effects. The output power achieved when neglecting time dependent effects for an LCLS-like X-ray FEL with a 100 m long tapered undulator is 7.3 TW, a 14 $\%$ electron beam energy extraction efficiency. When these effects are included the highest peak power is achieved reducing the tapering rate, thus minimizing the reduction in electron micro-bunching due to synchrotron sideband growth. The maximum efficiency obtained for this case is 9 $\%$, corresponding to 4.7 TW peak radiation power. Possible methods to suppress the synchrotron sidebands, and further enhance the FEL peak power, up to about 6 TW by increasing the seed power, are discussed.


title: Coupling an ensemble of electrons on superfluid helium to a superconducting circuit

abstract: The quantized lateral motional states and the spin states of electrons trapped on the surface of superfluid helium have been proposed as basic building blocks of a scalable quantum computer. Circuit quantum electrodynamics (cQED) allows strong dipole coupling between electrons and a high-Q superconducting microwave resonator, enabling such sensitive detection and manipulation of electron degrees of freedom. Here we present the first realization of a hybrid circuit in which a large number of electrons are trapped on the surface of superfluid helium inside a coplanar waveguide resonator. The high finesse of the resonator allows us to observe large dispersive shifts that are many times the linewidth and make fast and sensitive measurements on the collective vibrational modes of the electron ensemble, as well as the superfluid helium film underneath. Furthermore, a large ensemble coupling is observed in the dispersive regime during experiment, and it shows excellent agreement with our numeric model. The coupling strength of the ensemble to the cavity is found to be >1 MHz per electron, indicating the feasibility of achieving single electron strong coupling.


title: Relating BIP and Reo

abstract: Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly. In this paper we establish a formal relation between BI(P) (i.e., BIP without the priority layer) and Reo, by defining transformations between their semantic models. We show that these transformations preserve all properties expressible in a common semantics. This formal relation comprises the basis for a solid comparison and consolidation of the fundamental coordination concepts behind these two languages. Moreover, this basis offers translations that enable users of either language to benefit from the toolchains of the other.


title: Orchestrated Session Compliance

abstract: We investigate the notion of orchestrated compliance for client/server interactions in the context of session contracts. Devising the notion of orchestrator in such a context makes it possible to have orchestrators with unbounded buffering capabilities and at the same time to guarantee any message from the client to be eventually delivered by the orchestrator to the server, while preventing the server from sending messages which are kept indefinitely inside the orchestrator. The compliance relation is shown to be decidable by means of 1) a procedure synthesising the orchestrators, if any, making a client compliant with a server, and 2) a procedure for deciding whether an orchestrator behaves in a proper way as mentioned before.


title: Executable Behaviour and the \pi-Calculus (extended abstract)

abstract: Reactive Turing machines extend classical Turing machines with a facility to model observable interactive behaviour. We call a behaviour executable if, and only if, it is behaviourally equivalent to the behaviour of a reactive Turing machine. In this paper, we study the relationship between executable behaviour and behaviour that can be specified in the pi-calculus. We establish that all executable behaviour can be specified in the pi-calculus up to divergence-preserving branching bisimilarity. The converse, however, is not true due to (intended) limitations of the model of reactive Turing machines. That is, the pi-calculus allows the specification of behaviour that is not executable up to divergence-preserving branching bisimilarity. Motivated by an intuitive understanding of executability, we then consider a restriction on the operational semantics of the pi-calculus that does associate with every pi-term executable behaviour, at least up to the version of branching bisimilarity that does not require the preservation of divergence.


title: Analysis of Petri Nets and Transition Systems

abstract: This paper describes a stand-alone, no-frills tool supporting the analysis of (labelled) place/transition Petri nets and the synthesis of labelled transition systems into Petri nets. It is implemented as a collection of independent, dedicated algorithms which have been designed to operate modularly, portably, extensibly, and efficiently.


title: Reversible Barbed Congruence on Configuration Structures

abstract: A standard contextual equivalence for process algebras is strong barbed congruence. Configuration structures are a denotational semantics for processes in which one can define equivalences that are more discriminating, i.e. that distinguish the denotation of terms equated by barbed congruence. Hereditary history preserving bisimulation (HHPB) is such a relation. We define a strong back and forth barbed congruence using a reversible process algebra and show that the relation induced by the back and forth congruence is equivalent to HHPB, providing a contextual characterization of HHPB.


title: The LTS WorkBench

abstract: Labelled Transition Systems (LTSs) are a fundamental semantic model in many areas of informatics, especially concurrency theory. Yet, reasoning on LTSs and relations between their states can be difficult and elusive: very simple process algebra terms can give rise to a large (possibly infinite) number of intricate transitions and interactions. To ease this kind of study, we present LTSwb, a flexible and extensible LTS toolbox: this tutorial paper discusses its design and functionalities.


title: On the Expressiveness of Joining

abstract: The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchronous), arity (monadic vs polyadic data), communication medium (shared dataspaces vs channel-based), and pattern-matching (binding to a name vs testing name equality vs intensionality). Here another dimension coordination is considered that accounts for the number of processes required for an interaction to occur. Coordination generalises binary languages such as pi-calculus to joining languages that combine inputs such as the Join Calculus and general rendezvous calculus. By means of possibility/impossibility of encodings, this paper shows coordination is unrelated to the other features. That is, joining languages are more expressive than binary languages, and no combination of the other features can encode a joining language into a binary language. Further, joining is not able to encode any of the other features unless they could be encoded otherwise.


title: On the Computation Power of Name Parameterization in Higher-order Processes

abstract: Parameterization extends higher-order processes with the capability of abstraction (akin to that in lambda-calculus), and is known to be able to enhance the expressiveness. This paper focuses on the parameterization of names, i.e. a construct that maps a name to a process, in the higher-order setting. We provide two results concerning its computation capacity. First, name parameterization brings up a complete model, in the sense that it can express an elementary interactive model with built-in recursive functions. Second, we compare name parameterization with the well-known pi-calculus, and provide two encodings between them.


title: Deductive Verification of Parallel Programs Using Why3

abstract: The Message Passing Interface specification (MPI) defines a portable message-passing API used to program parallel computers. MPI programs manifest a number of challenges on what concerns correctness: sent and expected values in communications may not match, resulting in incorrect computations possibly leading to crashes; and programs may deadlock resulting in wasted resources. Existing tools are not completely satisfactory: model-checking does not scale with the number of processes; testing techniques wastes resources and are highly dependent on the quality of the test set. As an alternative, we present a prototype for a type-based approach to programming and verifying MPI like programs against protocols. Protocols are written in a dependent type language designed so as to capture the most common primitives in MPI, incorporating, in addition, a form of primitive recursion and collective choice. Protocols are then translated into Why3, a deductive software verification tool. Source code, in turn, is written in WhyML, the language of the Why3 platform, and checked against the protocol. Programs that pass verification are guaranteed to be communication safe and free from deadlocks. We verified several parallel programs from textbooks using our approach, and report on the outcome.


title: The Galactic chemical evolution of oxygen inferred from 3D non-LTE spectral line formation calculations

abstract: We revisit the Galactic chemical evolution of oxygen, addressing the systematic errors inherent in classical determinations of the oxygen abundance that arise from the use of one dimensional hydrostatic (1D) model atmospheres and from the assumption of local thermodynamic equilibrium (LTE). We perform detailed 3D non-LTE radiative transfer calculations for atomic oxygen lines across a grid of 3D hydrodynamic stag- ger model atmospheres for dwarfs and subgiants. We apply our grid of predicted line strengths of the [OI] 630 nm and OI 777 nm lines using accurate stellar parameters from the literature. We infer a steep decay in [O/Fe] for [Fe/H] $\gtrsim$ -1.0, a plateau [O/Fe] $\approx$ 0.5 down to [Fe/H] $\approx$ -2.5 and an increasing trend for [Fe/H] $\lesssim$ -2.5. Our 3D non-LTE calculations yield overall concordant results from the two oxygen abundance diagnostics.


title: Correlation spectroscopy in cold atoms: light sidebands resonances in electromagnetically induced transparency condition

abstract: The correlation spectroscopy has been successfully employed in the measurement of the intrinsic linewidth of electromagnetically induced transparency (EIT) in time and frequency domain. We study the role of the sidebands of the intense fields in the measured spectra, analyzing the information that can be recovered working with different analysis frequencies. In this case, the non-zero one-photon detuning appears as a necessary condition for spectrally resolving the sideband resonances in the correlation coefficient. Our experimental findings are supported by the perturbative model defined in the frequency domain.


title: Estimation of Output Channel Noise for Continuous Variable Quantum Key Distribution

abstract: Estimation of channel parameters is important for extending the range and increasing the key rate of continuous variable quantum key distribution protocols. We propose a new estimator for the channel noise parameter based on the method of moments. The method of moments finds an estimator from the moments of the output distribution of the protocol. This estimator has the advantage of being able to use all of the states shared between Alice and Bob. Other estimators are limited to a smaller publicly revealed subset of the states. The proposed estimator has a lower variance for high loss channel than what has previously been proposed. We show that the method of moments estimator increases the key rate by up to an order of magnitude at the maximum transmission of the protocol.


title: The Effects of Superhigh Magnetic Fields on Equations of States of Neutron Stars

abstract: By introducing Dirac ?-function in superhigh magnetic field, we deduce a general formula for pressure of degenerate and relativistic electrons, Pe, which is suitable for superhigh magnetic fields, discuss the quantization of Landau levels of electrons, and consider the quantum electrodynamic(QED) effects on the equations of states (EOSs) for different matter systems. The main conclusions are as follows: the stronger the magnetic field strength, the higher the electron pressure becomes; compared with a common radio pulsar, a magnetar could be a more compact oblate spheroid-like deformed neutron star due to the anisotropic total pressure; and an increase in the maximum mass of a magnetar is expected because of the positive contribution of the magnetic field energy to the EOS of the star. Since this is an original work in which some uncertainties could exist, to further modify and perfect our theory model should be considered in our future studies.


title: Hyperon Puzzle, Hadron-Quark Crossover and Massive Neutron Stars

abstract: Bulk properties of cold and hot neutron stars (NSs) are studied on the basis of the hadron-quark crossover picture where a smooth transition from the hadronic phase to the quark phase takes place at finite baryon density. By using a phenomenological equation of state (EOS) "CRover" which interpolates the two phases at around 3 times the nuclear matter density, it is found that the cold NSs with the gravitational mass larger than 2-solarmass can be sustained. This is in sharp contrast to the case of the first-order hadron-quark transition. The radii of the cold NSs with the CRover EOS are in the narrow range which is insensitive to the NS masses. Due to the stiffening of the EOS induced by the hadron-quark crossover, the central density of the NSs is at most 4 times the nuclear matter density and the hyperon-mixing barely occurs inside the NS core. This constitutes a solution of the long-standing hyperon puzzle. The effect of color superconductivity (CSC) on the NS structures is also examined with the hadron-quark crossover. For the typical strength of the diquark attraction, a slight softening of the EOS due to two-flavor CSC (2SC) takes place and the maximum mass is reduced by about 0.2-solarmass. The CRover EOS is generalized to the supernova matter at finite temperature to describe the hot NSs at birth. The hadron-quark crossover is found to decrease the central temperature of the hot NSs under isentropic condition. The gravitational energy release and the spin-up rate during the contraction from the hot NS to the cold NS are also estimated.


title: Homogeneous spaces of nonreductive type locally modelling no compact manifold

abstract: We give necessary conditions for the existence of a compact manifold locally modelled on a given homogeneous space, which generalize some earlier results, in terms of relative Lie algebra cohomology. Applications include both reductive and nonreductive cases. For example, we prove that there does not exist a compact manifold locally modelled on a positive dimensional coadjoint orbit of a real linear solvable algebraic group.


title: Application Distribution Model In Volunteer Computing Environment Using Peer-to-Peer Torrent Like Approach

abstract: Volunteer computing has been known as an alternative solution to solve complex problems. It is acknowledged for its simplicity and its ability to work on multiple operating systems. Nonetheless, setting up a server for volunteer computing can be time consuming and relatively complex to be implemented. This paper offer a model which can ease the effort of setting up a server by making the agent works two ways, as seeder and leecher, like P2P torrent approaches. The model consists of measurement units to manage applications to be distributed, system hierarchy, and basic procedures for the server and the agent. The model has been tested in four scenarios using 2,000,000 to 3,000,000 integer data employing up to six nodes. The tests demonstrate speedup in three of the scenarios.


title: Identities for Entropy Change Associated with the Time-Evolution of an Open System

abstract: A general relation between entropy and an evolutionary superoperator is derived based on the theory of the real-time formulation. The formulation establishing the relation relies only on the framework of quantum statistical mechanics and the standard definition of the von Neumann entropy. Applying the theory of the imaginary-time formulation, a similar relation is obtained for the entropy change due to the change in reservoir temperatures. To show the usefulness of these formulas, we derived the expression for the entropy production induced by some dissipation in an open quantum system as the exemplary model system.


title: Subgroups of Relatively Hyperbolic Groups of Bredon Cohomological Dimension 2

abstract: A remarkable result of Gersten states that the class of hyperbolic groups of cohomological dimension $2$ is closed under taking finitely presented (or more generally $FP_2$) subgroups. We prove the analogous result for relatively hyperbolic groups of Bredon cohomological dimension $2$ with respect to the family of parabolic subgroups. A class of groups where our result applies consists of $C'(1/6)$ small cancellation products. The proof relies on an algebraic approach to relative homological Dehn functions, and a characterization of relative hyperbolicity in the framework of finiteness properties over Bredon modules and homological Isoperimetric inequalities.


title: Friction laws from dimensional-analysis point of view

abstract: Friction laws, which are a key to the understanding of the diversity of earthquakes, are considered theoretically. Using dimensional analysis, the logarithmic dependence of the friction coefficient on the slip velocity and the state variable is derived without any knowledge of the underlying physical processes on the frictional surface. This is based on a simple assumption that the friction coefficient is expressed as the difference from a reference state. Therefore, the functional form of the rate and state dependent friction law itself does not necessarily mean that thermal activation processes dominate friction. It is also shown that, if there are two (or more) state variables having the same dimension, we need not assume the logarithmic dependence on the state variables.


title: The model that predicts the maximal 2-3 mixing and CP violation for neutrinos is revisited

abstract: The model of the neutrino mass matrix which we proposed in 2000 is revisited in the light of the recent T2K experiments. This model has the special property that it predicts the maximal 2-3 mixing and CP violation under the some simple condition. In this model, if the condition is relaxed, the 2-3 angle and the CP violation deviate from their maximal values and they are related. We present such relations for typical cases.


title: From Pretty Good To Great: Enhancing PGP using Bitcoin and the Blockchain

abstract: PGP is built upon a Distributed Web of Trust in which the trustworthiness of a user is established by others who can vouch through a digital signature for that particular identity. Preventing its wholesale adoption are a number of inherent weaknesses to include (but not limited to) the following: 1) Trust Relationships are built on a subjective honor system, 2) Only first degree relationships can be fully trusted, 3) Levels of trust are difficult to quantify with actual values, and 4) Issues with the Web of Trust itself (Certification and Endorsement). Although the security that PGP provides is proven to be reliable, it has largely failed to garner large scale adoption. In this paper, we propose several novel contributions to address the aforementioned issues with PGP and associated Web of Trust. To address the subjectivity of the Web of Trust, we provide a new certificate format based on Bitcoin which allows a user to verify a PGP certificate using Bitcoin identity-verification transactions - forming first degree trust relationships that are tied to actual values (i.e., number of Bitcoins transferred during transaction). Secondly, we present the design of a novel Distributed PGP key server that leverages the Bitcoin transaction blockchain to store and retrieve Bitcoin-Based PGP certificates. Lastly, we provide a web prototype application that demonstrates several of these capabilities in an actual environment.


title: Ultrafast Optimal Sideband Cooling under Non-Markovian Evolution

abstract: A sideband cooling strategy that incorporates (i) the dynamics induced by structured (non-Markovian) environments in the target and auxiliary systems and (ii) the optimally-time-modulated interaction between them is developed. For the context of cavity optomechanics, when non-Markovian dynamics are considered in the target system, ground state cooling is reached at much faster rates and at much lower phonon occupation number than previously reported. In constrast to similar current strategies, ground state cooling is reached here for coupling-strength rates that are experimentally accesible for the state-of-the-art implementations. After the ultrafast optimal-ground-state-cooling protocol is accomplished, an additional optimal control strategy is considered to maintain the phonon number as closer as possible to the one obtained in the cooling procedure. Contrary to the conventional expectation, when non-Markovian dynamics are considered in the auxiliary system, the efficiency of the cooling protocol is undermined.


title: Teaching Critical Thinking

abstract: The ability to make decisions based on data, with its inherent uncertainties and variability, is a complex and vital skill in the modern world. The need for such quantitative critical thinking occurs in many different contexts, and while it is an important goal of education, that goal is seldom being achieved. We argue that the key element for developing this ability is repeated practice in making decisions based on data, with feedback on those decisions. We demonstrate a structure for providing suitable practice that can be applied in any instructional setting that involves the acquisition of data and relating that data to scientific models. This study reports the results of applying that structure in an introductory physics lab course. Students in an experimental condition were repeatedly instructed to make and act on quantitative comparisons between datasets, and between data and models, an approach that is common to all science disciplines. These instructions were slowly faded across the course. After the instructions had been removed, students in the experimental condition were 12 times more likely to spontaneously propose or make changes to improve their experimental methods than a control group, who performed traditional experimental activities. They were also four times more likely to identify and explain a limitation of a physical model using their data. Students in the experimental condition also showed much more sophisticated reasoning about their data. These differences between the groups were seen to persist into a subsequent course taken the following year.


title: Spectral evolution with doping of an antiferromagnetic Mott state

abstract: Since the discovery of half-filled cuprate to be a Mott insulator, the excitation spectra above the chemical potential for the unoccupied states has attracted many research attentions. There were many theoretical works using different numerical techniques to study this problem, but many have reached different conclusions. One of the reasons is the lack of very detailed high-resolution experimental results for the theories to be compared with. Recently, the scanning tunneling spectroscopy (STS)\cite{cai2015visualizing,ye2013visualizing} on lightly doped Mott insulator with an antiferromagnetic (AFM) order found the presence of in-gap states with energy of order half an eV above the chemical potential. The measured spectral properties with doping are not quite consistent with earlier theoretical works. In this paper we perform a diagonalization method on top of the variational Monte Carlo (VMC) calculation to study the evolution of AFM Mott state with doped hole concentration in the Hubbard model (HM). Our results found in-gap states that behave similarly with ones reported by STS. These in-gap states acquire a substantial amount of dynamical spectral weight transferred from the upper Hubbard band. The in-gap states move toward chemical potential with increasing spectral weight as doping increases. Our result also provides information about the energy scale of these in-gap states in relation with the coulomb coupling strength U.


title: Warehouse Layout Method Based on Ant Colony and Backtracking Algorithm

abstract: Warehouse is one of the important aspects of a company. Therefore, it is necessary to improve Warehouse Management System (WMS) to have a simple function that can determine the layout of the storage goods. In this paper we propose an improved warehouse layout method based on ant colony algorithm and backtracking algorithm. The method works on two steps. First, it generates a solutions parameter tree from backtracking algorithm. Then second, it deducts the solutions parameter by using a combination of ant colony algorithm and backtracking algorithm. This method was tested by measuring the time needed to build the tree and to fill up the space using two scenarios. The method needs 0.294 to 33.15 seconds to construct the tree and 3.23 seconds (best case) to 61.41 minutes (worst case) to fill up the warehouse. This method is proved to be an attractive alternative solution for warehouse layout system.


title: Origin of coda waves: earthquake source resonance

abstract: Coda in local earthquake exhibits resonance-like wave behaviour where the coda emerges as long-duration small-amplitude vibration with selective frequency, slow temporal decay, and uniform spatial energy distribution around the earthquake source. Coda is thought to be the incoherent waves scattered from random small-scale heterogeneity in the earth's lithosphere. Here I show that the coda is primarily attributed to the natural resonance in strong small-scale heterogeneity around the earthquake's hypocenter through seismic wave field modeling for 1D heterogeneity. The natural resonance is evolved from the low frequency resonance (LFR) in transient regime and is an emergent phenomenon that occurs in steady state regime. Its resonance frequency decreases with increasing heterogeneous scale, impedance contrast, or random heterogeneous scale and velocity fluctuations; its intensity diminishes with decreasing impedance contrast or increasing random heterogeneous scale and velocity fluctuations.


title: A Faster Cutting Plane Method and its Implications for Combinatorial and Convex Optimization

abstract: We improve upon the running time for finding a point in a convex set given a separation oracle. In particular, given a separation oracle for a convex set $K\subset \mathbb{R}^n$ contained in a box of radius $R$, we show how to either find a point in $K$ or prove that $K$ does not contain a ball of radius $\epsilon$ using an expected $O(n\log(nR/\epsilon))$ oracle evaluations and additional time $O(n^3\log^{O(1)}(nR/\epsilon))$. This matches the oracle complexity and improves upon the $O(n^{\omega+1}\log(nR/\epsilon))$ additional time of the previous fastest algorithm achieved over 25 years ago by Vaidya for the current matrix multiplication constant $\omega<2.373$ when $R/\epsilon=n^{O(1)}$. Using a mix of standard reductions and new techniques, our algorithm yields improved runtimes for solving classic problems in continuous and combinatorial optimization: Submodular Minimization: Our weakly and strongly polynomial time algorithms have runtimes of $O(n^2\log nM\cdot\text{EO}+n^3\log^{O(1)}nM)$ and $O(n^3\log^2 n\cdot\text{EO}+n^4\log^{O(1)}n)$, improving upon the previous best of $O((n^4\text{EO}+n^5)\log M)$ and $O(n^5\text{EO}+n^6)$. Matroid Intersection: Our runtimes are $O(nrT_{\text{rank}}\log n\log (nM) +n^3\log^{O(1)}(nM))$ and $O(n^2\log (nM) T_{\text{ind}}+n^3 \log^{O(1)} (nM))$, achieving the first quadratic bound on the query complexity for the independence and rank oracles. In the unweighted case, this is the first improvement since 1986 for independence oracle. Submodular Flow: Our runtime is $O(n^2\log nCU\cdot\text{EO}+n^3\log^{O(1)}nCU)$, improving upon the previous bests from 15 years ago roughly by a factor of $O(n^4)$. Semidefinite Programming: Our runtime is $\tilde{O}(n(n^2+m^{\omega}+S))$, improving upon the previous best of $\tilde{O}(n(n^{\omega}+m^{\omega}+S))$ for the regime where the number of nonzeros $S$ is small.


title: New Inequalities of the type of Hadamard's through $s-(\alpha,m)$ co-ordinated convex functions

abstract: This monograph is associated with the renowned Hermite-Hadamard's integral inequality of $2$-variables on the co-ordinates. In this article we established several inequalities of the type of Hadamard's for the mappings whose absolute values of second order partial derivatives are $s-(\alpha,m)$-convex mappings.


title: Parallel and Interacting Stochastic Approximation Annealing algorithms for global optimisation

abstract: We present the parallel and interacting stochastic approximation annealing (PISAA) algorithm, a stochastic simulation procedure for global optimisation, that extends and improves the stochastic approximation annealing (SAA) by using population Monte Carlo ideas. The standard SAA algorithm guarantees convergence to the global minimum when a square-root cooling schedule is used; however the efficiency of its performance depends crucially on its self-adjusting mechanism. Because its mechanism is based on information obtained from only a single chain, SAA may present slow convergence in complex optimisation problems. The proposed algorithm involves simulating a population of SAA chains that interact each other in a manner that ensures significant improvement of the self-adjusting mechanism and better exploration of the sampling space. Central to the proposed algorithm are the ideas of (i) recycling information from the whole population of Markov chains to design a more accurate/stable self-adjusting mechanism and (ii) incorporating more advanced proposals, such as crossover operations, for the exploration of the sampling space. PISAA presents a significantly improved performance in terms of convergence. PISAA can be implemented in parallel computing environments if available. We demonstrate the good performance of the proposed algorithm on challenging applications including Bayesian network learning and protein folding. Our numerical comparisons suggest that PISAA outperforms the simulated annealing, stochastic approximation annealing, and annealing evolutionary stochastic approximation Monte Carlo especially in high dimensional or rugged scenarios.


title: Multiple-stable anisotropic magnetoresistance memory in antiferromagnetic MnTe

abstract: A common perception assumes that magnetic memories require ferromagnetic materials with a non-zero net magnetic moment. However, it has been recently proposed that compensated antiferromagnets with a zero net moment may represent a viable alternative to ferromagnets. So far, experimental research has focused on bistable memories in antiferromagnetic metals. In the present work we demonstrate a multiple-stable memory device in epitaxial manganese telluride (MnTe) which is an antiferromagnetic counterpart of common II-VI semiconductors. Favorable micromagnetic characteristics of MnTe allow us to demonstrate a smoothly varying antiferromagnetic anisotropic magnetoresistance (AMR) with a harmonic angular dependence on the applied magnetic field, analogous to ferromagnets. The continuously varying AMR provides means for the electrical read-out of multiple-stable antiferromagnetic memory states which we set by heat-assisted magneto-recording and by changing the angle of the writing field. We explore the dependence of the magnitude of the zero-field read-out signal on the strength of the writing field and demonstrate the robustness of the antiferromagnetic memory states against strong magnetic field perturbations. We ascribe the multiple-stability in our antiferromagnetic memory to different distributions of domains with the N\'eel vector aligned along one of the three $c$-plane magnetic easy axes in the hexagonal MnTe film. The domain redistribution is controlled during the heat-assisted recording by the strength and angle of the writing field and freezes when sufficiently below the N\'eel temperature.


title: All-optical control of superradiance and matter waves using a dispersive cavity

abstract: Cavity quantum electrodynamics (CQED) plays an elegant role of studying strong coupling between light and matter. However, a non-mechanical, direct and dynamical control of the used mirrors is still unavailable. Here we theoretically investigate a novel type of dynamically controllable cavity composed of two atomic mirrors. Based on the electromagnetically induced transparency (EIT), the reflectance of atomic mirror is highly controllable through its dispersive properties by varying the intensity of applied coupling fields or the optical depth of atomic media. To demonstrate the uniqueness of the present cavity, we further show the possibility of manipulating vacuum-induced diffraction of a binary Bose-Einstein condensate (BEC) when loading it into a dispersive cavity and experiencing superradiant scatterings. Our results may provide a novel all-optical element for atom optics and shine new light on controlling light-matter interaction.


title: A method to search for bulk motions in the ICM with {\sl Chandra} CCD spectra: application to the Bullet cluster

abstract: We propose a strategy to search for bulk motions in the intracluster medium (ICM) of merging clusters based on {\sl Chandra} CCD data. Our goal is to derive robust measurements of the average redshift of projected ICM regions obtained from the centroid of the $K_\alpha$ line emission. We thoroughly explore the effect of the unknown temperature structure along the line of sight to accurately evaluate the systematic uncertainties on the ICM redshift. We apply our method to the "Bullet cluster" (1E~0657-56). We directly identify 23 independent regions on the basis of the surface brightness contours, and measure the redshift of the ICM averaged along the line of sight in each. We find that the redshift distribution across these regions is marginally inconsistent with the null hypothesis of a constant redshift or no bulk motion in the ICM, at a confidence level of about $2\, \sigma$. We tentatively identify the regions most likely affected by bulk motions and find a maximum velocity gradient of about $(46\pm 13)$ $\rm km~s^{-1}~kpc^{-1}$ along the line of sight on a scale of $\sim 260 $ kpc along the path of the "bullet." We interpret this as the possible signature of a significant mass of ICM pushed away along a direction perpendicular to the merging. This preliminary result is promising for a systematic search for bulk motions in bright, moderate-redshift clusters based on spatially resolved spectral analysis of {\sl Chandra} CCD data. This preliminary result is promising for a systematic search for bulk motions in bright, moderate-redshift clusters based on spatially resolved spectral analysis of {\sl Chandra} CCD data.


title: Source-independent quantum random number generation

abstract: Quantum random number generators can provide genuine randomness by appealing to the fundamental principles of quantum mechanics. In general, a physical generator contains two parts---a randomness source and its readout. The source is essential to the quality of the resulting random numbers; hence, it needs to be carefully calibrated and modeled to achieve information-theoretical provable randomness. However, in practice, the source is a complicated physical system, such as a light source or an atomic ensemble, and any deviations in the real-life implementation from the theoretical model may affect the randomness of the output. To close this gap, we propose a source-independent scheme for quantum random number generation in which output randomness can be certified, even when the source is uncharacterized and untrusted. In our randomness analysis, we make no assumptions about the dimension of the source. For instance, multiphoton emissions are allowed in optical implementations. Our analysis takes into account the finite-key effect with the composable security definition. In the limit of large data size, the length of the input random seed is exponentially small compared to that of the output random bit. In addition, by modifying a quantum key distribution system, we experimentally demonstrate our scheme and achieve a randomness generation rate of over $5\times 10^3$ bit/s.


title: Tweezers controlled resonator

abstract: We experimentally demonstrate trapping a microdroplet with an optical tweezer and then enabling it as a microresonator by bringing it close to a tapered fiber coupler. Our tweezers facilitated the tuning of the coupling from the under-coupled to the critically coupled regime with an optical Q of 12 million and microresonator size at the 85 mirons scale.


title: Weak decay of Lambda_c^+ for the study of Lambda(1405) and Lambda(1670)

abstract: We study the Lambda_c decay process to pi^+ and the meson-baryon final state for the analysis of Lambda resonances. Considering the Cabibbo-Kobayashi-Maskawa matrix, color suppression, diquark correlation and the kinematical condition, we show that the final meson-baryon state should be in a pure I=0 combination, when the meson-baryon invariant mass is small. Because the I=1 contamination usually makes it difficult to analyze Lambda resonances directly from experiments, the Lambda_c decay is an ideal process to study Lambda resonances. Calculating the final state interaction by chiral unitary approaches, we find that the piSigma invariant mass distributions have the same peak structure in the all charge combination of the piSigma states related to the higher pole of the two poles of the Lambda(1405). Furthermore, we obtain a clear the Lambda(1670) peak structure in the KbarN and etaLambda spectra.


title: Heterotic Risk Models

abstract: We give a complete algorithm and source code for constructing what we refer to as heterotic risk models (for equities), which combine: i) granularity of an industry classification; ii) diagonality of the principal component factor covariance matrix for any sub-cluster of stocks; and iii) dramatic reduction of the factor covariance matrix size in the Russian-doll risk model construction. This appears to prove a powerful approach for constructing out-of-sample stable short-lookback risk models. Thus, for intraday mean-reversion alphas based on overnight returns, Sharpe ratio optimization using our heterotic risk models sizably improves the performance characteristics compared to weighted regressions based on principal components or industry classification. We also give source code for: a) building statistical risk models; and ii) Sharpe ratio optimization with homogeneous linear constraints and position bounds.


title: A survey of FRB fields: Limits on repeatability

abstract: Several theories exist to explain the source of the bright, millisecond duration pulses known as fast radio bursts (FRBs). If the progenitors of FRBs are non-cataclysmic, such as giant pulses from pulsars, pulsar-planet binaries, or magnetar flares, FRB emission may be seen to repeat. We have undertaken a survey of the fields of eight known FRBs from the High Time Resolution Universe survey to search for repeating pulses. Although no repeat pulses were detected the survey yielded the detection of a new FRB, described in Petroff et al. (2015a). From our observations we rule out periodic repeating sources with periods P $\leq$ 8.6 hours and rule out sources with periods 8.6 < P < 21 hours at the 90% confidence level. At P $\geq$ 21 hours our limits fall off as ~1/P. Dedicated and persistent observations of FRB source fields are needed to rule out repetition on longer timescales, a task well-suited to next generation wide-field transient detectors.


title: Efficient Computation of Exact IRV Margins

abstract: The margin of victory is easy to compute for many election schemes but difficult for Instant Runoff Voting (IRV). This is important because arguments about the correctness of an election outcome usually rely on the size of the electoral margin. For example, risk-limiting audits require a knowledge of the margin of victory in order to determine how much auditing is necessary. This paper presents a practical branch-and-bound algorithm for exact IRV margin computation that substantially improves on the current best-known approach. Although exponential in the worst case, our algorithm runs efficiently in practice on all the real examples we could find. We can efficiently discover exact margins on election instances that cannot be solved by the current state-of-the-art.


title: Development of a Low-Cost Experimental Quadcopter Testbed Using an Arduino Controller and Software

abstract: This paper explains the integration process of an autonomous quadcopter platform and the design of Arduino based novel software architecture that enables the execution of advanced control laws on low-cost off-the-shelf products based frameworks. Here, quadcopter dynamics are explored through the classical nonlinear equations of motion. Next, quadcopter is designed, built and assembled using off-the-shelf, low-cost products to carry a camera payload which is mainly utilized for any type of surveillance missions. System identification of the quadcopter dynamics is accomplished through the use of sweep data and $CIFER^{\circledR}$ to obtain the dynamic model. The unstable, non-linear quadcopter dynamics are stabilized using a generic control algorithm through the novel Arduino based software architecture. Experimental results demonstrate the validation of the integration and the novel software package running on an Arduino board to control autonomous quadcopter flights.


title: Multi-criteria Similarity-based Anomaly Detection using Pareto Depth Analysis

abstract: We consider the problem of identifying patterns in a data set that exhibit anomalous behavior, often referred to as anomaly detection. Similarity-based anomaly detection algorithms detect abnormally large amounts of similarity or dissimilarity, e.g.~as measured by nearest neighbor Euclidean distances between a test sample and the training samples. In many application domains there may not exist a single dissimilarity measure that captures all possible anomalous patterns. In such cases, multiple dissimilarity measures can be defined, including non-metric measures, and one can test for anomalies by scalarizing using a non-negative linear combination of them. If the relative importance of the different dissimilarity measures are not known in advance, as in many anomaly detection applications, the anomaly detection algorithm may need to be executed multiple times with different choices of weights in the linear combination. In this paper, we propose a method for similarity-based anomaly detection using a novel multi-criteria dissimilarity measure, the Pareto depth. The proposed Pareto depth analysis (PDA) anomaly detection algorithm uses the concept of Pareto optimality to detect anomalies under multiple criteria without having to run an algorithm multiple times with different choices of weights. The proposed PDA approach is provably better than using linear combinations of the criteria and shows superior performance on experiments with synthetic and real data sets.


title: What do iris observations of Mg II k tell us about the solar plage chromosphere?

abstract: We analyze observations from the Interface Region Imaging Spectrograph of the Mg II k line, the Mg II UV subordinate lines, and the O I 135.6 nm line to better understand the solar plage chromosphere. We also make comparisons with observations from the Swedish 1 m Solar Telescope of the H{\alpha} line, the Ca II 8542 line, and Solar Dynamics Observatory/Atmospheric Imaging Assembly observations of the coronal 19.3 nm line. To understand the observed Mg II profiles, we compare these observations to the results of numerical experiments. The single-peaked or flat-topped Mg II k profiles found in plage imply a transition region at a high column mass and a hot and dense chromosphere of about 6500 K. This scenario is supported by the observed large-scale correlation between moss brightness and filled-in profiles with very little or absent self-reversal. The large wing width found in plage also implies a hot and dense chromosphere with a steep chromospheric temperature rise. The absence of emission in the Mg II subordinate lines constrain the chromospheric temperature and the height of the temperature rise while the width of the O I 135.6 nm line sets a limit to the non-thermal velocities to around 7 km/s.


title: Numerical studies of light-matter interaction driven by plasmonic fields: the velocity gauge

abstract: Theoretical approaches to strong field phenomena driven by plasmonic fields are based on the length gauge formulation of the laser-matter coupling. From the theoretical viewpoint it is known there exists no preferable gauge and consequently the predictions and outcomes should be independent of this choice. The use of the length gauge is mainly due to the fact that the quantity obtained from finite elements simulations of plasmonic fields is the plasmonic enhanced laser electric field rather than the laser vector potential. In this paper we develop, from first principles, the velocity gauge formulation of the problem and we apply it to the high-order harmonic generation (HHG) in atoms. A comparison to the results obtained with the length gauge is made. It is analytically and numerically demonstrated that both gauges give equivalent descriptions of the emitted HHG spectra resulting from the interaction of a spatially inhomogeneous field and the single active electron (SAE) model of the helium atom. We discuss, however, advantages and disadvantages of using different gauges in terms of numerical efficiency.


title: Light-Front Quark Model Phenomenology Consistent with Chiral Symmetry

abstract: We discuss the link between the chiral symmetry of QCD and the numerical results of the light-front quark model, analyzing both the twist-2 and twist-3 distribution amplitudes of a pion. In particular, we exhibit that the pion twist-3 distribution amplitude can flip the sign of curvature as the cutoff scale for the transverse momentum gets lower than a typical scale of around 1 GeV.


title: A minimax theorem in infinite-dimensional topological vector spaces

abstract: In this paper, we obtain a minimax theorem by means of which, in turn, we prove the following result: Let $E$ be an infinite-dimensional reflexive real Banach space, $T:E\to E$ a non-zero compact linear operator, $\varphi:E\to {\bf R}$ a lower semicontinuous, convex and coercive functional, $I\subset {\bf R}$ a compact interval, with $0\in I$, $\psi:I\to {\bf R}$ a lower semicontinuous convex function. Then, for each $r>\varphi(0)$, one has $$\sup_{x\in X}\inf_{\lambda\in I}(\varphi(T(x)-\lambda x)+\psi(\lambda))=r+\psi(0)\ ,$$ where $$X=\{x\in E : \varphi(T(x))\leq r\}\ .$$


title: Bounded Solutions to an Energy Subcritical Non-linear Wave Equation on R^3

abstract: In this work we consider an energy subcritical semi-linear wave equation ($3 < p < 5$) \[ \partial_t^2 u - \Delta u = \phi(x) |u|^{p-1} u, \qquad (x,t) \in {\mathbb R}^3 \times {\mathbb R} \] with initial data $(u,u_t)|_{t=0} = (u_0,u_1)\in \dot{H}^{s_p} \times \dot{H}^{s_p-1}({\mathbb R}^3)$, where $s_p = 3/2 - 2/(p-1)$ and the function $\phi: {\mathbb R}^3 \rightarrow [-1,1]$ is a radial continuous function with a limit at infinity. We prove that unless the elliptic equation $-\Delta W = \phi(x) |W|^{p-1} W$ has a nonzero radial solution $W \in C^2 ({\mathbb R}^3) \cap \dot{H}^{s_p} ({\mathbb R}^3)$, any radial solution $u$ with a finite uniform upper bound on the critical Sobolev norm $\|(u(\cdot,t), \partial_t u(\cdot,t))\|_{\dot{H}^{s_p}\times \dot{H}^{s_p}({\mathbb R}^3)}$ for all $t$ in the maximal lifespan must be a global solution in time and scatter.


title: Sub-Nyquist Sampling and Fourier Domain Beamforming in Volumetric Ultrasound Imaging

abstract: One of the key steps in ultrasound image formation is digital beamforming of signals sampled by several transducer elements placed upon an array. High-resolution digital beamforming introduces the demand for sampling rates significantly higher than the signals' Nyquist rate, which greatly increases the volume of data that must be transmitted from the system's front end. In 3D ultrasound imaging, 2D transducer arrays rather than 1D arrays are used, and more scan-lines are needed. This implies that the amount of sampled data is vastly increased with respect to 2D imaging. In this work we show that a considerable reduction in data rate can be achieved by applying the ideas of Xampling and frequency domain beamforming, leading to a sub-Nyquist sampling rate, which uses only a portion of the bandwidth of the ultrasound signals to reconstruct the image. We extend previous work on frequency domain beamforming for 2D ultrasound imaging to accommodate the geometry imposed by volumetric scanning and a 2D grid of transducer elements. We demonstrate high image quality from low-rate samples by simulation of a phantom image comprised of several small reflectors. We also apply our technique on raw data of a heart ventricle phantom obtained by a commercial 3D ultrasound system. We show that by performing 3D beamforming in the frequency domain, sub-Nyquist sampling and low processing rate are achievable, while maintaining adequate image quality.


title: The cluster ages experiment (CASE). VII. Analysis of two eclipsing binaries in the globular cluster NGC 6362

abstract: We use photometric and spectroscopic observations of the detached eclipsing binaries V40 and V41 in the globular cluster NGC 6362 to derive masses, radii, and luminosities of the component stars. The orbital periods of these systems are 5.30 and 17.89 d, respectively. The measured masses of the primary and secondary components ($M_p$, $M_s$) are (0.8337$\pm$0.0063, 0.7947$\pm$0.0048) M$_\odot$ for V40 and (0.8215$\pm$0.0058, 0.7280$\pm$0.0047) M$_\odot$ for V41. The measured radii ($R_p$, $R_s$) are (1.3253$\pm$0.0075, 0.997$\pm$0.013) R$_\odot$ for V40 and (1.0739$\pm$0.0048, 0.7307$\pm$0.0046) R$_\odot$ for V41. Based on the derived luminosities, we find that the distance modulus of the cluster is 14.74$\pm$0.04 mag -- in good agreement with 14.72 mag obtained from CMD fitting. We compare the absolute parameters of component stars with theoretical isochrones in mass-radius and mass-luminosity diagrams. For assumed abundances [Fe/H] = -1.07, [$\alpha$/Fe] = 0.4, and Y = 0.25 we find the most probable age of V40 to be 11.7$\pm$0.2 Gyr, compatible with the age of the cluster derived from CMD fitting (12.5$\pm$0.5 Gyr). V41 seems to be markedly younger than V40. If independently confirmed, this result will suggest that V41 belongs to the younger of the two stellar populations recently discovered in NGC 6362. The orbits of both systems are eccentric. Given the orbital period and age of V40, its orbit should have been tidally circularized some $\sim$7 Gyr ago. The observed eccentricity is most likely the result of a relatively recent close stellar encounter.


title: On-the-fly exact diagonalization solver for quantum electronic models

abstract: We propose a distinct numerical approach to effectively solve the problem of partial diagonalization of the super-large-scale quantum electronic Hamiltonian matrices. The key ingredients of our scheme are the new method for arranging the basis vectors in the computer's RAM and the algorithm allowing not to store a matrix in RAM, but to regenerate it on-the-fly during diagonalization procedure. This scheme was implemented in the program, solving the Anderson impurity model in the framework of dynamical mean-field theory (DMFT). The DMFT equations for electronic Hamiltonian with 18 effective orbitals that corresponds to the matrix with the dimension of 2.4 * 10^9 were solved on the distributed memory computational cluster.


title: Unidirectional Transport in Electronic and Photonic Weyl Materials by Dirac Mass Engineering

abstract: Unidirectional transports have been observed in two-dimensional systems, however, so far they have not been experimentally observed in three-dimensional bulk materials. In this theoretical work we show that the recently discovered Weyl materials provide a platform for unidirectional transports inside bulk materials. With high experimental feasibility, a complex Dirac mass can be generated and manipulated in the photonic Weyl crystals, creating unidirectionally propagating modes observable in transmission experiments. Possible realization in (electronic) Weyl semimetals is also studied. We show in a lattice model that, with a short-range interaction, the desired form of the Dirac mass can be spontaneously generated in a first-order transition.

categories: cond-mat.str-el cond-mat.mtrl-sci hep-ph hep-th physics.optics


title: Voronovskaja type asymptotic approximation by general gamma type operators

abstract: In the present paper, we studied the voronovskaja type theorem for general Gamma type operators. Also, we obtain an error estimate for general Gamma type operators.


title: A search for Galactic transients disguised as gamma-ray bursts

abstract: A significant fraction of cosmological gamma-ray bursts (GRBs) are characterised by a fast rise and exponential decay (FRED) temporal structure. This is not a distinctive feature of this class, since it is observed in many Galactic transients and is likely descriptive of a sudden release of energy followed by a diffusion process. Possible evidence has recently been reported by Tello et al. (2012) for a Galactic contamination in the sample of FRED GRBs discovered with Swift. We searched for possible Galactic intruders disguised as FRED GRBs in the Swift catalogue up to September 2014. We selected 181 FRED GRBs (2/3 with unknown redshift) and considered different subsamples. We tested the degree of isotropy through the dipole and the quadrupole moment distributions, both with reference to the Galaxy and in a coordinate-system-independent way, as well as with the two-point angular autocovariance function. In addition, we searched for possible indicators of a Galactic origin among the spectral and temporal properties of individual GRBs. We found marginal (~3 sigma) evidence for an excess of FREDs with unknown redshift towards the Galactic plane compared with what is expected for an isotropic distribution corrected for the non-uniform sky exposure. However, when we account for the observational bias against optical follow-up observations of low-Galactic latitude GRBs, the evidence for anisotropy decreases to ~2 sigma. In addition, we found no statistical evidence for different spectral or temporal properties from the bulk of cosmological GRBs. We found marginal evidence for the presence of a disguised Galactic population among Swift GRBs with unknown redshift. The estimated fraction is f=(19 +- 11)%, with an upper limit of 34% (90% confidence).


title: Sparse selection of bases in neural-network potential for crystalline and liquid Si

abstract: The neural-network interatomic potential for crystalline and liquid Si has been developed using the forward stepwise regression technique to reduce the number of bases with keeping the accuracy of the potential. This approach of making the neural-network potential enables us to construct the accurate interatomic potentials with less and important bases selected systematically and less heuristically. The evaluation of bulk crystalline properties, and dynamic properties of liquid Si show good agreements between the neural-network potential and ab-initio results.


title: Detecting intraday financial market states using temporal clustering

abstract: We propose the application of a high-speed maximum likelihood clustering algorithm to detect temporal financial market states, using correlation matrices estimated from intraday market microstructure features. We first determine the ex-ante intraday temporal cluster configurations to identify market states, and then study the identified temporal state features to extract state signature vectors which enable online state detection. The state signature vectors serve as low-dimensional state descriptors which can be used in learning algorithms for optimal planning in the high-frequency trading domain. We present a feasible scheme for real-time intraday state detection from streaming market data feeds. This study identifies an interesting hierarchy of system behaviour which motivates the need for time-scale-specific state space reduction for participating agents.


title: Galaxy clustering using photometric redshifts

abstract: We investigate the evolution of the galaxy two point correlation function (CF) over a wide redshift range, 0.2 < z < 3. For the first time the systematic analysis covers the redshifts above 1 - 1.5. The catalogue of ~250000 galaxies with i+ < 25 and known photometric redshifts in the Subaru Deep field is used. The galaxies are divided into three luminosity classes and several distance/redshift bins. First, the 2D CF is determined for each luminosity class and distance bin. Calculations are based on the quantitative differences between the surface distributions of galaxy pairs with comparable and distinctly different photometric redshifts. The power law approximation for the CF is used. A limited accuracy of photometric redshifts as compared to the spectroscopic ones has been examined and taken into account. Then, the 3D functions for all the selected luminosities and distances are calculated. The power-law parameters of the CF, the slope and the correlation length, are determined. Both parameters do not show strong variations over the whole investigated redshift range. The slope of the luminous galaxies appears to be consistently steeper than that for the fainter ones. The linear bias factor, b(z), grows systematically with redshift; assuming the local normalization b(0) = 1.1-1.2, the bias reaches 3 - 3.5 at the high redshift limit.


title: Very-high-energy {\gamma}-ray observations of novae and dwarf novae with the MAGIC telescopes

abstract: Context. In the last five years the Fermi Large Area Telescope (LAT) instrument detected GeV {\gamma}-ray emission from five novae. The GeV emission can be interpreted in terms of an inverse Compton process of electrons accelerated in a shock. In this case it is expected that protons in the same conditions can be accelerated to much higher energies. Consequently they may produce a second component in the {\gamma}-ray spectrum at TeV energies. Aims. We aim to explore the very-high-energy domain to search for {\gamma}-ray emission above 50 GeV and to shed light on the acceleration process of leptons and hadrons in nova explosions. Methods. We have performed observations with the MAGIC telescopes of the classical nova V339 Del shortly after the 2013 outburst, triggered by optical and subsequent GeV {\gamma}-ray detec- tions. We also briefly report on VHE observations of the symbiotic nova YY Her and the dwarf nova ASASSN-13ax. We complement the TeV MAGIC observations with the analysis of con- temporaneous Fermi-LAT data of the sources. The TeV and GeV observations are compared in order to evaluate the acceleration parameters for leptons and hadrons. Results. No significant TeV emission was found from the studied sources. We computed upper limits on the spectrum and night-by-night flux. The combined GeV and TeV observations of V339 Del limit the ratio of proton to electron luminosities to Lp<~0.15 Le.


title: Magidor cardinals

abstract: We define Magidor cardinals as J\'onsson cardinals upon replacing colorings of finite subsets by colorings of $\aleph_0$-bounded subsets. Unlike J\'onsson cardinals which appear at some low level of large cardinals, we prove the consistency of having quite large cardinals along with the fact that no Magidor cardinal exists.


title: Review and Perspective for Distance Based Trajectory Clustering

abstract: In this paper we tackle the issue of clustering trajectories of geolocalized observations. Using clustering technics based on the choice of a distance between the observations, we first provide a comprehensive review of the different distances used in the literature to compare trajectories. Then based on the limitations of these methods, we introduce a new distance : Symmetrized Segment-Path Distance (SSPD). We finally compare this new distance to the others according to their corresponding clustering results obtained using both hierarchical clustering and affinity propagation methods.


title: Theoretical analysis of cross-validation for estimating the risk of the k-Nearest Neighbor classifier

abstract: The present work aims at deriving theoretical guaranties on the behavior of some cross-validation procedures applied to the $k$-nearest neighbors ($k$NN) rule in the context of binary classification. Here we focus on the leave-$p$-out cross-validation (L$p$O) used to assess the performance of the $k$NN classifier. Remarkably this L$p$O estimator can be efficiently computed in this context using closed-form formulas derived by \cite{CelisseMaryHuard11}. We describe a general strategy to derive moment and exponential concentration inequalities for the L$p$O estimator applied to the $k$NN classifier. Such results are obtained first by exploiting the connection between the L$p$O estimator and U-statistics, and second by making an intensive use of the generalized Efron-Stein inequality applied to the L$1$O estimator. One other important contribution is made by deriving new quantifications of the discrepancy between the L$p$O estimator and the classification error/risk of the $k$NN classifier. The optimality of these bounds is discussed by means of several lower bounds as well as simulation experiments.


title: Semi-supervised Learning with Regularized Laplacian

abstract: We study a semi-supervised learning method based on the similarity graph and RegularizedLaplacian. We give convenient optimization formulation of the Regularized Laplacian method and establishits various properties. In particular, we show that the kernel of the methodcan be interpreted in terms of discrete and continuous time random walks and possesses several importantproperties of proximity measures. Both optimization and linear algebra methods can be used for efficientcomputation of the classification functions. We demonstrate on numerical examples that theRegularized Laplacian method is competitive with respect to the other state of the art semi-supervisedlearning methods.


title: Tolerating Correlated Failures in Massively Parallel Stream Processing Engines

abstract: Fault-tolerance techniques for stream processing engines can be categorized into passive and active approaches. A typical passive approach periodically checkpoints a processing task's runtime states and can recover a failed task by restoring its runtime state using its latest checkpoint. On the other hand, an active approach usually employs backup nodes to run replicated tasks. Upon failure, the active replica can take over the processing of the failed task with minimal latency. However, both approaches have their own inadequacies in Massively Parallel Stream Processing Engines (MPSPE). The passive approach incurs a long recovery latency especially when a number of correlated nodes fail simultaneously, while the active approach requires extra replication resources. In this paper, we propose a new fault-tolerance framework, which is Passive and Partially Active (PPA). In a PPA scheme, the passive approach is applied to all tasks while only a selected set of tasks will be actively replicated. The number of actively replicated tasks depends on the available resources. If tasks without active replicas fail, tentative outputs will be generated before the completion of the recovery process. We also propose effective and efficient algorithms to optimize a partially active replication plan to maximize the quality of tentative outputs. We implemented PPA on top of Storm, an open-source MPSPE and conducted extensive experiments using both real and synthetic datasets to verify the effectiveness of our approach.


title: Extracting the depolarization coefficient D_NN from data measured with a full acceptance detector

abstract: The spin transfer from vertically polarized beam protons to Lambda or Sigma hyperons of the associated strangeness production pp -> pK Lambda (Sigma) is described with the depolarization coefficient D_NN. As the polarization of the hyperons is determined by their weak decays, detectors, which have a large acceptance for the decay particles, are needed. In this paper a formula is derived, which describes the depolarization coefficient D_NN by count rates of a 4 pi detector. It is shown, that formulas, which are given in publications for detectors with restricted acceptance, are specific cases of this formula for a 4 pi detector.


title: Histogram of gradients of Time-Frequency Representations for Audio scene detection

abstract: This paper addresses the problem of audio scenes classification and contributes to the state of the art by proposing a novel feature. We build this feature by considering histogram of gradients (HOG) of time-frequency representation of an audio scene. Contrarily to classical audio features like MFCC, we make the hypothesis that histogram of gradients are able to encode some relevant informations in a time-frequency {representation:} namely, the local direction of variation (in time and frequency) of the signal spectral power. In addition, in order to gain more invariance and robustness, histogram of gradients are locally pooled. We have evaluated the relevance of {the novel feature} by comparing its performances with state-of-the-art competitors, on several datasets, including a novel one that we provide, as part of our contribution. This dataset, that we make publicly available, involves $19$ classes and contains about $900$ minutes of audio scene recording. We thus believe that it may be the next standard dataset for evaluating audio scene classification algorithms. Our comparison results clearly show that our HOG-based features outperform its competitors


title: Analysis of the acoustic cut-off frequency and HIPs in six Kepler stars with stochastically excited pulsations

abstract: Gravito-acoustic modes in the Sun and other stars propagate in resonant cavities with a frequency below a given limit known as the cut-off frequency. At higher frequencies, waves are no longer trapped in the stellar interior and become traveller waves. In this article we study six pulsating solar-like stars at different evolutionary stages observed by the NASA Kepler mission. These high signal-to-noise targets show a peak structure that extends at very high frequencies and are good candidates for studying the transition region between the modes and the interference peaks or pseudo-modes. Following the same methodology successfully applied on Sun-as-a-star measurements, we uncover the existence of pseudo-modes in these stars with one or two dominant interference patterns depending on the evolutionary stage of the star. We also infer their cut-off frequency as the midpoint between the last eigenmode and the first peak of the interference patterns. By using ray theory we show that, while the period of one of the interference pattern is very close to half the large separation the other, one depends on the time phase of mixed waves, thus carrying additional information on the stellar structure and evolution.


title: Linear MHD stability studies with the STARWALL code

abstract: The STARWALL/CAS3D/OPTIM code package is a powerful tool to study the linear MHD stability of 3D, ideal equilibria in the presence of multiply-connected ideal and/or resistive conducting structures, and their feedback stabilization by external currents. Robust feedback stabilization of resistive wall modes can be modelled with the OPTIM code. Resistive MHD studies are possible combining STARWALL with the linear, resistive 2D CASTOR code as well as nonlinear MHD simulations combining STARWALL with the JOREK code. In the present paper, a detailed description of the STARWALL code is given and some of its applications are presented to demonstrate the methods used. Conducting structures are treated in the thin wall approximation and depending on their complexity they are discretized by a spectral method or by triangular finite elements. As an example, a configuration is considered consisting of an ideal plasma surrounded by a vacuum domain containing a resistive wall and bounded by an external wall. Ideal linear MHD modes and resistive wall modes in the presence of multiply-connected walls are studied. In order to treat the vertical mode self-consistently the STARWALL code has been completed by adding the so-called Luest-Martensen term generated by a constant normal displacement of the plasma. The appendix contains the computation of the 2D Fourier transform of singular inductance integrals, and the derivation of an asymptotic expansion for large Fourier harmonics.


title: The ABACOC Algorithm: a Novel Approach for Nonparametric Classification of Data Streams

abstract: Stream mining poses unique challenges to machine learning: predictive models are required to be scalable, incrementally trainable, must remain bounded in size (even when the data stream is arbitrarily long), and be nonparametric in order to achieve high accuracy even in complex and dynamic environments. Moreover, the learning system must be parameterless ---traditional tuning methods are problematic in streaming settings--- and avoid requiring prior knowledge of the number of distinct class labels occurring in the stream. In this paper, we introduce a new algorithmic approach for nonparametric learning in data streams. Our approach addresses all above mentioned challenges by learning a model that covers the input space using simple local classifiers. The distribution of these classifiers dynamically adapts to the local (unknown) complexity of the classification problem, thus achieving a good balance between model complexity and predictive accuracy. We design four variants of our approach of increasing adaptivity. By means of an extensive empirical evaluation against standard nonparametric baselines, we show state-of-the-art results in terms of accuracy versus model size. For the variant that imposes a strict bound on the model size, we show better performance against all other methods measured at the same model size value. Our empirical analysis is complemented by a theoretical performance guarantee which does not rely on any stochastic assumption on the source generating the stream.


title: Invariant measures of modified LR and L+R systems

abstract: We introduce a class of dynamical systems having an invariant measure, the modifications of well known systems on Lie groups: LR and L+R systems. As an example, we study modified Veselova nonholonomic rigid body problem, considered as a dynamical system on the product of the Lie algebra $so(n)$ with the Stiefel variety $V_{n,r}$, as well as the associated $\epsilon$L+R system on $so(n)\times V_{n,r}$. In the 3--dimensional case, these systems model the nonholonomic problems of a motion of a ball and a rubber ball over a fixed sphere.


title: Extragradient algorithms for split equilibrium problem and nonexpansive mapping

abstract: In this paper, we propose new extragradient algorithms for solving a split equilibrium and nonexpansive mapping SEPNM($C, Q, A, f, g, S, T)$ where $C, Q$ are nonempty closed convex subsets in real Hilbert spaces $\mathcal{H}_1, \mathcal{H}_2 $ respectively, $A : \mathcal{H}_1 \to \mathcal{H}_2$ is a bounded linear operator, $f$ is a pseudomonotone bifunction on $C$ and $g$ is a monotone bifunction on $Q$, $S, T$ are nonexpansive mappings on $C$ and $Q$ respectively. By using extragradient method combining with cutting techniques, we obtain algorithms for the problem. Under certain conditions on parameters, the iteration sequences generated by the algorithms are proved to be weakly and strongly convergent to a solution of this problem.


title: Exact regularity of $\bar{\partial}$ on pseudoconvex domains in $\mathbb{C}^2$

abstract: We show there is a solution operator to $\bar{\partial}$ which is bounded as a map $W^{s}_{(0,1)}(\Omega)\cap\mbox{ker }\bar{\partial}\rightarrow W^{s}(\Omega)$ for all $s\ge 0$.


title: Unique positive solution for an alternative discrete Painlev\'e I equation

abstract: We show that the alternative discrete Painlev\'e I equation (alt-dP$_{\rm I}$) has a unique solution which remains positive for all $n \geq 0$. Furthermore, we identify this positive solution in terms of a special solution of the second Painlev\'e equation (P$_{\rm II}$) involving the Airy function $\mathop{\rm Ai}(t)$. The special-function solutions of P$_{\rm II}$ involving only the Airy function $\mathop{\rm Ai}(t)$ therefore have the property that they remain positive for all $n\geq 0$ and all $t \geq 0$, which is a new characterization of these special solutions of P$_{\rm II}$ and alt-dP$_{\rm I}$.


title: Perspectives on Einstein's scientific works in Milan

abstract: The Milanese period in Albert Einstein's life is a key one for the understanding of the development of his scientific questioning. While being a student in Z\"urich from 1896, Einstein returned regularly to Milan to meet his family for the holidays. There, he could work on the most recent articles in physics at the rich library of the Lombardo Institute, Academy of Sciences and Letters. Hopefully, this new perspective will help to trace back more accurately a few of Einstein's scientific ideas, such as the need to expand his first doctoral work on molecular forces to weakly compressed gases or as to conceive a first idea of light quanta.


title: Duality and stationary distributions of the "Immediate Exchange Model" and its generalizations

abstract: We prove that the "Immediate Exchange Model" of econophysics has a discrete dual, where the duality functions are those connecting the Brownian Energy Process and the Symmetric Inclusion Process. As a consequence, we recover invariance of products of Gamma distributions with shape parameter 2, and obtain ergodicity results. Next we show similar properties of a generalized model, where the exchange fraction is $Beta(s,t)$ distributed (instead of uniform), and product measures with $\mbox{Gamma}(s+t)$ marginals are invariant. We prove that the discrete dual has the self-duality property, and prove full SU(1,1) for both the continuous and discrete model.


title: Semiclassical Green's functions and an instanton formulation of electron-transfer rates in the nonadiabatic limit

abstract: We present semiclassical approximations to Green's functions of multidimensional systems, extending Gutzwiller's work to the classically forbidden region. Based on steepest-descent integrals over these functions, we derive an instanton method for computing the rate of nonadiabatic reactions, such as electron transfer, in the weak-coupling limit, where Fermi's golden-rule can be employed. This generalizes Marcus theory to systems for which the environment free-energy curves are not harmonic and where nuclear tunnelling plays a role. The derivation avoids using the Im F method or short-time approximations to real-time correlation functions. A clear physical interpretation of the nuclear tunnelling processes involved in an electron-transfer reaction is thus provided. In the following paper, we discuss numerical evaluation of the formulae.


title: Sputtering based epitaxial growth and modeling of Cu/Si thin films

abstract: Epitaxial copper thin films were deposited by magnetron sputtering. The adatoms during deposition are influenced by deposition parameters which cause variations in thin film properties. XRD and FESEM studies were done to get an insight into the growth mechanisms of the films. A modeling has been done on the epitaxial thin film growth with sputtering process. The parameters during sputtering like, sputtering yield, pressure, temperature, current density, deposition time were related and an attempt has been made to analyze the sputtering process.


title: Robust Node Estimation and Topology Discovery Algorithm in Large-Scale Wireless Sensor Networks

abstract: This paper introduces a novel algorithm for cardinality, i.e., the number of nodes, estimation in large scale anonymous graphs using statistical inference methods. Applications of this work include estimating the number of sensor devices, online social users, active protein cells, etc. In anonymous graphs, each node possesses little or non-existing information on the network topology. In particular, this paper assumes that each node only knows its unique identifier. The aim is to estimate the cardinality of the graph and the neighbours of each node by querying a small portion of them. While the former allows the design of more efficient coding schemes for the network, the second provides a reliable way for routing packets. As a reference for comparison, this work considers the Best Linear Unbiased Estimators (BLUE). For dense graphs and specific running times, the proposed algorithm produces a cardinality estimate proportional to the BLUE. Furthermore, for an arbitrary number of iterations, the estimate converges to the BLUE as the number of queried nodes tends to the total number of nodes in the network. Simulation results confirm the theoretical results by revealing that, for a moderate running time, asking a small group of nodes is sufficient to perform an estimation of 95% of the whole network.


title: Quantum-mechanical machinery for rational decision-making in classical guessing game

abstract: In quantum game theory, one of the most intriguing and important questions is, "Is it possible to get quantum advantages without any modification of the classical game?" The answer to this question so far has largely been negative. So far, it has usually been thought that a change of the classical game setting appears to be unavoidable for getting the quantum advantages. However, we give an affirmative answer here, focusing on the decision-making process (we call 'reasoning') to generate the best strategy, which may occur internally, e.g., in the player's brain. To show this, we consider a classical guessing game. We then define a one-player reasoning problem in the context of the decision-making theory, where the machinery processes are designed to simulate classical and quantum reasoning. In such settings, we present a scenario where a rational player is able to make better use of his/her weak preferences due to quantum reasoning, without any altering or resetting of the classically defined game. We also argue in further analysis that the quantum reasoning may make the player fail, and even make the situation worse, due to any inappropriate preferences.


title: Simultaneous Observation of Solar Neutrons from the ISS and High Mountain Observatories in association with a flare on July 8, 2014

abstract: An M6.5-class flare was observed at N12E56 of the solar surface at 16:06 UT on July 8, 2014. In association with this flare, solar neutron detectors located on two high mountains, Mt. Sierra Negra and Chacaltaya and at the space station observed enhancements in the neutral channel. The authors analysed these data and a possible scenario of enhancements produced by high-energy protons and neutrons is proposed, using the data from continuous observation of a solar surface by the ultraviolet telescope onboard the Solar Dynamical Observatory (SDO).


title: Distributed Compressive Sensing: A Deep Learning Approach

abstract: Various studies that address the compressed sensing problem with Multiple Measurement Vectors (MMVs) have been recently carried. These studies assume the vectors of the different channels to be jointly sparse. In this paper, we relax this condition. Instead we assume that these sparse vectors depend on each other but that this dependency is unknown. We capture this dependency by computing the conditional probability of each entry in each vector being non-zero, given the "residuals" of all previous vectors. To estimate these probabilities, we propose the use of the Long Short-Term Memory (LSTM)[1], a data driven model for sequence modelling that is deep in time. To calculate the model parameters, we minimize a cross entropy cost function. To reconstruct the sparse vectors at the decoder, we propose a greedy solver that uses the above model to estimate the conditional probabilities. By performing extensive experiments on two real world datasets, we show that the proposed method significantly outperforms the general MMV solver (the Simultaneous Orthogonal Matching Pursuit (SOMP)) and a number of the model-based Bayesian methods. The proposed method does not add any complexity to the general compressive sensing encoder. The trained model is used just at the decoder. As the proposed method is a data driven method, it is only applicable when training data is available. In many applications however, training data is indeed available, e.g. in recorded images and videos.


title: The tetrahexahedric angular Calogero model

abstract: The spherical reduction of the rational Calogero model (of type $A_{n-1}$ and after removing the center of mass) is considered as a maximally superintegrable quantum system, which describes a particle on the $(n{-}2)$-sphere subject to a very particular potential. We present a detailed analysis of the simplest non-separable case, $n{=}4$, whose potential is singular at the edges of a spherical tetrahexahedron. A complete set of independent conserved charges and of Hamiltonian intertwiners is constructed, and their algebra is elucidated. They arise from the ring of polynomials in Dunkl-deformed angular momenta, by classifying the subspaces invariant and antiinvariant under all Weyl reflections, respectively.


title: Polarimetric and Spectroscopic Observations of a Dynamically New Comet C/2012 J1 (Catalina)

abstract: We present the analysis of the polarimetric and spectral data obtained for the dynamically new comet C/2012\,J1 (Catalina) when it was at a distance of 3.17~AU from the Sun. The observations were made at the prime focus of the 6-m BTA telescope using the SCORPIO-2 focal reducer. The map of the distribution of linear polarization in the cometary coma was constructed. The calculated value of linear polarization was on average about $-2\%$. Spectral analysis of the cometary coma allowed us to detect the emission of the CN molecule in the (0--0) band. The gas production rate was derived using the Haser model and amounted to $3.7\times10^{23}$~molecules per second.


title: Results of a Measurement of Solar Neutrons Emitted on March 5, 2012 using a Fiber-type neutron monitor onboard the SEDA-AP attached to the ISS

abstract: The solar neutron detector SEDA-FIB onboard the International Space Station (ISS) has detected several events from the solar direction associated with three large solar flares observed on March 5th (X1.1), 7th (X5.4), and 9th (M6.3) of 2012. In this study, we present the time profiles of those neutrons and discuss the physics that may be related to a possible acceleration scenario for ions over the solar surface. We compare our data with the dynamical pictures of the flares obtained by the ultra-violet telescope of the space-based Solar Dynamics Observatory.