title: Learning deep structured network for weakly supervised change detection

abstract: Conventional change detection methods require a large number of images to learn background models or depend on tedious pixel-level labeling by humans. In this paper, we present a weakly supervised approach that needs only image-level labels to simultaneously detect and localize changes in a pair of images. To this end, we employ a deep neural network with DAG topology to learn patterns of change from image-level labeled training data. On top of the initial CNN activations, we define a CRF model to incorporate the local differences and context with the dense connections between individual pixels. We apply a constrained mean-field algorithm to estimate the pixel-level labels, and use the estimated labels to update the parameters of the CNN in an iterative EM framework. This enables imposing global constraints on the observed foreground probability mass function. Our evaluations on four benchmark datasets demonstrate superior detection and localization performance.


title: Heat switch effect in an antiferromagnetic insulator Co$_3$V$_2$O$_8$

abstract: We report a heat switch effect in single crystals of an antiferromagnet Co$_3$V$_2$O$_8$, that is, the thermal conductivity ($\kappa$) can be changed with magnetic field in an extremely large scale. Due to successive magnetic phase transitions at 12--6 K, the zero-field $\kappa(T)$ displays a deep minimum at 6.7 K and rather small magnitude at low temperatures. Both the temperature and field dependencies of $\kappa$ demonstrate that the phonons are strongly scattered at the regime of magnetic phase transitions. Magnetic field can suppress magnetic scattering effect and significantly recover the phonon thermal conductivity. In particular, a 14 T field along the $a$ axis increases the $\kappa$ at 7.5 K up to 100 times. For $H \parallel c$, the magnitude of $\kappa$ can be suppressed down to $\sim$ 8% at some field-induced transition and can be enhanced up to 20 times at 14 T. The present results demonstrate that it is possible to design a kind of heat switch in the family of magnetic materials.


title: Approximate nonparametric maximum likelihood inference for mixture models via convex optimization

abstract: Nonparametric maximum likelihood (NPML) for mixture models is a technique for estimating mixing distributions that has a long and rich history in statistics going back to the 1950s, and is closely related to empirical Bayes methods. Historically, NPML-based methods have been considered to be relatively impractical because of computational and theoretical obstacles. However, recent work focusing on approximate NPML methods suggests that these methods may have great promise for a variety of modern applications. Building on this recent work, a class of flexible, scalable, and easy to implement approximate NPML methods is studied for problems with multivariate mixing distributions. Concrete guidance on implementing these methods is provided, with theoretical and empirical support; topics covered include identifying the support set of the mixing distribution, and comparing algorithms (across a variety of metrics) for solving the simple convex optimization problem at the core of the approximate NPML problem. Additionally, three diverse real data applications are studied to illustrate the methods' performance: (i) A baseball data analysis (a classical example for empirical Bayes methods), (ii) high-dimensional microarray classification, and (iii) online prediction of blood-glucose density for diabetes patients. Among other things, the empirical results demonstrate the relative effectiveness of using multivariate (as opposed to univariate) mixing distributions for NPML-based approaches.


title: Can neural machine translation do simultaneous translation?

abstract: We investigate the potential of attention-based neural machine translation in simultaneous translation. We introduce a novel decoding algorithm, called simultaneous greedy decoding, that allows an existing neural machine translation model to begin translating before a full source sentence is received. This approach is unique from previous works on simultaneous translation in that segmentation and translation are done jointly to maximize the translation quality and that translating each segment is strongly conditioned on all the previous segments. This paper presents a first step toward building a full simultaneous translation system based on neural machine translation.


title: Riemann surface and quantization

abstract: This paper proposes an approach of the unified consideration of classical and quantum mechanics from the standpoint of the complex analysis effects. It turns out that quantization can be interpreted in terms of the Riemann surface corresponding to the multivalent $\operatorname{Ln}\Psi $ function. A visual interpretation of "trajectories" of the quantum system and of the Feynman's path integral is presented. A magnetic dipole having a magnetic charge that satisfies the Dirac quantization rule was obtained.


title: Mean-field backward stochastic differential equations driven by fractional Brownian motion

abstract: In this paper, we focus on the mean-field backward stochastic differential equations (BSDEs) driven by a fractional Brownian motion with Hurst parameter H greater then 1/2. First, the existence and uniqueness of these equations are established under Lipschitz condition. Then, a comparison theorem for such mean-field BSDEs is obtained. Finally, as an application, we connect this mean-field BSDE with a nonlocal partial differential equation (PDE).


title: Re-enabling high-speed caching for LSM-trees

abstract: LSM-tree has been widely used in cloud computing systems by Google, Facebook, and Amazon, to achieve high performance for write-intensive workloads. However, in LSM-tree, random key-value queries can experience long latency and low throughput due to the interference from the compaction, a basic operation in the algorithm, to caching. LSM-tree relies on frequent compaction operations to merge data into a sorted structure. After a compaction, the original data are reorganized and written to other locations on the disk. As a result, the cached data are invalidated since their referencing addresses are changed, causing serious performance degradations. We propose dLSM in order to re-enable high-speed caching during intensive writes. dLSM is an LSM-tree with a compaction buffer on the disk, working as a cushion to minimize the cache invalidation caused by compactions. The compaction buffer maintains a series of snapshots of the frequently compacted data, which represent a consistent view of the corresponding data in the underlying LSM-tree. Being updated in a much lower rate than that of compactions, data in the compaction buffer are almost stationary. In dLSM, an object is referenced by the disk address of the corresponding block either in the compaction buffer for frequently compacted data, or in the underlying LSM-tree for infrequently compacted data. Thus, hot objects can be effectively kept in the cache without harmful invalidations. With the help of a small on-disk compaction buffer, dLSM achieves a high query performance by enabling effective caching, while retaining all merits of LSM-tree for write-intensive data processing. We have implemented dLSM based on LevelDB. Our evaluations show that with a standard DRAM cache, dLSM can achieve 5--8x performance improvement over LSM with the same cache on HDD storage.


title: Formal refinement of extended state machines

abstract: In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This translation is especially difficult to achieve. The Event-B method was developed to incrementally and formally construct such a specification using stepwise refinement. Each increment takes into account new properties and system aspects. In this paper, we propose to couple a graphical notation called Algebraic State-Transition Diagrams (ASTD) with an Event-B specification in order to provide a better understanding of the software behaviour. The dynamic behaviour is captured by the ASTD, which is based on automata and process algebra operators, while the data model is described by means of an Event-B specification. We propose a methodology to incrementally refine such specification couplings, taking into account new refinement relations and consistency conditions between the control specification and the data specification. We compare the specifications obtained using each approach for readability and proof complexity. The advantages and drawbacks of the traditional approach and of our methodology are discussed. The whole process is illustrated by a railway CBTC-like case study. Our approach is supported by tools for translating ASTD's into B and Event-B into B.


title: Big Data Refinement

abstract: "Big data" has become a major area of research and associated funding, as well as a focus of utopian thinking. In the still growing research community, one of the favourite optimistic analogies for data processing is that of the oil refinery, extracting the essence out of the raw data. Pessimists look for their imagery to the other end of the petrol cycle, and talk about the "data exhausts" of our society. Obviously, the refinement community knows how to do "refining". This paper explores the extent to which notions of refinement and data in the formal methods community relate to the core concepts in "big data". In particular, can the data refinement paradigm can be used to explain aspects of big data processing?


title: Unifying Theories of Mobile Channels

abstract: In this paper we present the denotational semantics for channel mobility in the Unifying Theories of Programming (UTP) semantics framework. The basis for the model is the UTP theory of reactive processes (precisely, the UTP semantics for Communicating Sequential Processes (CSP)), which is slightly extended to allow the mobility of channels: the set of actions in which a process is authorised to participate, originally static or constant (set during the process's definition), is now made dynamic or variable: it can change during the process's execution. A channel is thus moved around by communicating it via other channels and then allowing the receiving process to extend its alphabet with the received channel. New healthiness conditions are stated to ensure an appropriate use of mobile channels.


title: A logic for n-dimensional hierarchical refinement

abstract: Hierarchical transition systems provide a popular mathematical structure to represent state-based software applications in which different layers of abstraction are represented by inter-related state machines. The decomposition of high level states into inner sub-states, and of their transitions into inner sub-transitions is common refinement procedure adopted in a number of specification formalisms. This paper introduces a hybrid modal logic for k-layered transition systems, its first-order standard translation, a notion of bisimulation, and a modal invariance result. Layered and hierarchical notions of refinement are also discussed in this setting.


title: Program Derivation by Correctness Enhacements

abstract: Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness, that which we found most intriguing is the property that program P' refines program P if and only if P' is more-correct than P with respect to any specification. This inspires us to reconsider program derivation by successive refinements: each step of this process mandates that we transform a program P into a program P' that refines P, i.e. P' is more-correct than P with respect to any specification. This raises the question: why should we want to make P' more-correct than P with respect to any specification, when we only have to satisfy specification R? In this paper, we discuss a process of program derivation that replaces traditional sequence of refinement-based correctness-preserving transformations starting from specification R by a sequence of relative correctness-based correctness-enhancing transformations starting from abort.


title: SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java

abstract: Safety-Critical Java (SCJ) is a version of Java whose goal is to support the development of real-time, embedded, safety-critical software. In particular, SCJ supports certification of such software by introducing abstractions that enforce a simpler architecture, and simpler concurrency and memory models. In this paper, we present SCJ-Circus, a refinement-oriented formal notation that supports the specification and verification of low-level programming models that include the new abstractions introduced by SCJ. SCJ-Circus is part of the family of state-rich process algebra Circus, as such, SCJ-Circus includes the Circus constructs for modelling sequential and concurrent behaviour, real-time and object orientation. We present here the syntax and semantics of SCJ-Circus, which is defined by mapping SCJ-Circus constructs to those of standard Circus. This is based on an existing approach for modelling SCJ programs. We also extend an existing Circus-based refinement strategy that targets SCJ programs to account for the generation of SCJ-Circus models close to implementations in SCJ.


title: Programming Language Features for Refinement

abstract: Algorithmic and data refinement are well studied topics that provide a mathematically rigorous approach to gradually introducing details in the implementation of software. Program refinements are performed in the context of some programming language, but mainstream languages lack features for recording the sequence of refinement steps in the program text. To experiment with the combination of refinement, automated verification, and language design, refinement features have been added to the verification-aware programming language Dafny. This paper describes those features and reflects on some initial usage thereof.


title: Towards linking correctness conditions for concurrent objects and contextual trace refinement

abstract: Correctness conditions for concurrent objects describe how atomicity of an abstract sequential object may be decomposed. Many different concurrent objects and proof methods for them have been developed. However, arguments about correctness are conducted with respect to an object in isolation. This is in contrast to real-world practice, where concurrent objects are often implemented as part of a programming language library (e.g., java.util.concurrent) and are instantiated within a client program. A natural question to ask, then is: How does a correctness condition for a concurrent object ensure correctness of a client program that uses the concurrent object? This paper presents the main issues that surround this question and provides some answers by linking different correctness conditions with a form of trace refinement.


title: A Theory of Service Dependency

abstract: Service composition has become commonplace nowadays, in large part due to the increased complexity of software and supporting networks. Composition can be of many types, for instance sequential, prioritising, non-deterministic. However, a fundamental feature of the services to be composed consists in their dependencies with respect to each other. In this paper we propose a theory of service dependency, modelled around a dependency operator in the Action Systems formalism. We analyze its properties, composition behaviour, and refinement conditions with accompanying examples.


title: Evidences of the mismatch between industry and academy on modelling language quality evaluation

abstract: Quality is an implicit property of models and modelling languages by their condition of engineering artifacts. However, the quality property is affected by the diversity of conceptions around the model-driven paradigm. In this document is presented a report of quality issues on modelling languages and models. These issues result from an analysis about quality evidences obtained from industrial and academic/scientific contexts.


title: Minimal curvature-constrained networks

abstract: This paper introduces an exact algorithm for the construction of a shortest curvature-constrained network interconnecting a given set of directed points in the plane and an iterative method for doing so in 3D space. Such a network will be referred to as a minimum Dubins network, since its edges are Dubins paths (or slight variants thereof). The problem of constructing a minimum Dubins network appears in the context of underground mining optimisation, where the aim is to construct a least-cost network of tunnels navigable by trucks with a minimum turning radius. The Dubins network problem is similar to the Steiner tree problem, except that the terminals are directed and there is a curvature constraint. We propose the minimum curvature-constrained Steiner point algorithm for determining the optimal location of the Steiner point in a 3-terminal network. We show that when two terminals are fixed and the third varied, the Steiner point traces out a lima\c{c}on.


title: The Effect of Perturbations of Frames and Fusion Frames on Their Redundancies

abstract: An interesting question about the perturbed sequences is: when do they inherit the properties of the original one? An elegant relation between frames (fusion frames) and their perturbations is the relation of their redundancies. In this paper, we investigate these relationships. Also, we express the redundancy of frames (fusion frames) in terms of the cosine angle between some subspaces.


title: Lefschetz properties of balanced 3-polytopes

abstract: In this paper, we study Lefschetz properties of Artinian reductions of Stanley-Reisner rings of balanced simplicial $3$-polytopes. A $(d-1)$-dimensional simplicial complex is said to be balanced if its graph is $d$-colorable. If a simplicial complex is balanced, then its Stanley-Reisner ring has a special system of parameters induced by the coloring. We prove that the Artinian reduction of the Stanley-Reisner ring of a balanced simplicial $3$-polytope with respect to this special system of parameters has the strong Lefschetz property if the characteristic of the base field is not two or three. Moreover, we characterize $(2,1)$-balanced simplicial polytopes, i.e., polytopes with exactly one red vertex and two blue vertices in each facet, such that an analogous property holds. In fact, we show that this is the case if and only if the induced graph on the blue vertices satisfies a Laman-type combinatorial condition.


title: The bulk, surface and corner free energies of the square lattice Ising model

abstract: We use Kaufman's spinor method to calculate the bulk, surface and corner free energies $f_b, f_s, f_s', f_c$ of the anisotropic square lattice zero-field Ising model for the ordered ferromagnetic case. For $f_b, f_s, f'_s$ our results of course agree with the early work of Onsager, McCoy and Wu. We also find agreement with the conjectures made by Vernier and Jacobsen (VJ) for the isotropic case. We note that the corner free energy $f_c$ depends only on the elliptic modulus $k$ that enters the working, and not on the argument $v$, which means that VJ's conjecture applies for the full anisotropic model. The only aspect of this paper that is new is the actual derivation of $f_c$, but by reporting all four free energies together we can see interesting structures linking them.


title: Radiative Transfer Model of Dust Attenuation Curves in Clumpy, Galactic Environments

abstract: The attenuation of starlight by dust in galactic environments is investigated through models of radiative transfer in a spherical, clumpy ISM. Extinction properties for MW, LMC, and SMC dust types are considered. It is illustrated that the attenuation curves are primarily determined by the wavelength dependence of absorption rather than by the underlying extinction (absorption+scattering) curve. Attenuation curves consistent with the "Calzetti attenuation curve" are found by assuming the silicate-carbonaceous dust model for the MW, but with the 2175A absorption bump suppressed or absent. The discrepancy between our results and previous work that claimed the SMC-type dust to be the most likely origin of the Calzetti curve is ascribed to the difference in adopted albedos; this study uses the theoretically calculated albedos whereas the previous ones adopted empirically derived albedos from observations of reflection nebulae. It is also found that the model attenuation curves calculated with the MW dust are well represented by a modified Calzetti curve with a varying slope and UV bump strength. The strong correlation between the slope and UV bump strength, with steeper curves having stronger bumps, as found in star-forming galaxies at 0.5<z<2.0, is well reproduced by our models if the abundance of the UV bump carriers or PAHs is assumed to be 30% or 40% of that of the MW-dust. The trend is explained by radiative transfer effects which lead to shallower attenuation curves with weaker UV bumps as the ISM is more clumpy and dustier. We also argue that at least some of the IUE local starburst galaxies may have a UV bump feature in their attenuation curves, albeit much weaker than that of the MW extinction curve.


title: Hand Action Detection from Ego-centric Depth Sequences with Error-correcting Hough Transform

abstract: Detecting hand actions from ego-centric depth sequences is a practically challenging problem, owing mostly to the complex and dexterous nature of hand articulations as well as non-stationary camera motion. We address this problem via a Hough transform based approach coupled with a discriminatively learned error-correcting component to tackle the well known issue of incorrect votes from the Hough transform. In this framework, local parts vote collectively for the start $\&$ end positions of each action over time. We also construct an in-house annotated dataset of 300 long videos, containing 3,177 single-action subsequences over 16 action classes collected from 26 individuals. Our system is empirically evaluated on this real-life dataset for both the action recognition and detection tasks, and is shown to produce satisfactory results. To facilitate reproduction, the new dataset and our implementation are also provided online.


title: Human vs. Computer Go: Review and Prospect

abstract: The Google DeepMind challenge match in March 2016 was a historic achievement for computer Go development. This article discusses the development of computational intelligence (CI) and its relative strength in comparison with human intelligence for the game of Go. We first summarize the milestones achieved for computer Go from 1998 to 2016. Then, the computer Go programs that have participated in previous IEEE CIS competitions as well as methods and techniques used in AlphaGo are briefly introduced. Commentaries from three high-level professional Go players on the five AlphaGo versus Lee Sedol games are also included. We conclude that AlphaGo beating Lee Sedol is a huge achievement in artificial intelligence (AI) based largely on CI methods. In the future, powerful computer Go programs such as AlphaGo are expected to be instrumental in promoting Go education and AI real-world applications.


title: User Cooperation for Enhanced Throughput Fairness in Wireless Powered Communication Networks

abstract: This paper studies a novel user cooperation method in a wireless powered communication network (WPCN), where a pair of distributed terminal users first harvest wireless energy broadcasted by one energy node (EN) and then use the harvested energy to transmit information cooperatively to a destination node (DN). In particular, the two cooperating users exchange their independent information with each other to form a virtual antenna array and transmit jointly to the DN. By allowing each user to allocate part of its harvested energy to transmit the other's information, the proposed cooperation can effectively mitigate the user unfairness problem in WPCNs, where a user may suffer from very low data rate due to the poor energy harvesting performance and high data transmission consumptions. We derive the maximum common throughput achieved by the cooperation scheme through optimizing the time allocation on wireless energy transfer, user message exchange, and joint information transmissions. Through comparing with some representative benchmark schemes, our results demonstrate the effectiveness of the proposed user cooperation in enhancing the throughput performance under different setups.


title: Galois sets of connected components and Weil restriction

abstract: Let $k$ be a field, $A$ a finite $k$-algebra and $X$ a smooth $A$-scheme. We describe the Galois set of connected components of the Weil restriction $\Re_{A/k}(X)$ in terms of the sets of connected components of the geometric fibers of $X$.


title: Optimal targeting of nonlinear chaotic systems using a novel evolutionary computing strategy

abstract: Control of chaotic systems to given targets is a subject of substantial and well-developed research issue in nonlinear science, which can be formulated as a class of multi-modal constrained numerical optimization problem with multi-dimensional decision variables. This investigation elucidates the feasibility of applying a novel population-based metaheuristics labelled here as Teaching-learning-based optimization to direct the orbits of discrete chaotic dynamical systems towards the desired target region. Several consecutive control steps of small bounded perturbations are made in the Teaching-learning-based optimization strategy to direct the chaotic series towards the optimal neighborhood of the desired target rapidly, where a conventional controller is effective for chaos control. Working with the dynamics of the well-known Henon as well as Ushio discrete chaotic systems, we assess the effectiveness and efficiency of the Teaching-learning-based optimization based optimal control technique, meanwhile the impacts of the core parameters on performances are also discussed. Furthermore, possible engineering applications of directing chaotic orbits are discussed.


title: Einstein-Podolsky-Rosen Entanglement of Narrowband Photons from Cold Atoms

abstract: Einstein-Podolsky-Rosen (EPR) entanglement introduced in 1935 deals with two particles that are entangled in their positions and momenta. Here we report the first experimental demonstration of EPR position-momentum entanglement of narrowband photon pairs generated from cold atoms. By using two-photon quantum ghost imaging and ghost interference, we demonstrate explicitly that the narrowband photon pairs violate the separability criterion, confirming EPR entanglement. We further demonstrate continuous variable EPR steering for positions and momenta of the two photons. Our new source of EPR-entangled narrowband photons is expected to play an essential role in spatially-multiplexed quantum information processing, such as, storage of quantum correlated images, quantum interface involving hyper-entangled photons, etc.


title: Solving the Dynamic Correlation Problem of the Susceptible-Infected-Susceptible Model on Networks

abstract: The Susceptible-Infected-Susceptible model is a canonical model for emerging disease outbreaks. Such outbreaks are naturally modeled as taking place on networks. A theoretical challenge in network epidemiology is the dynamic correlations coming from that if one node is occupied, or infected (for disease spreading models), then its neighbors are likely to be occupied. By combining two theoretical approaches---the heterogeneous mean-field theory and the effective degree method---we are able to include these correlations in an analytical solution of the SIS model. We derive accurate expressions for the average prevalence (fraction of infected) and epidemic threshold. We also discuss how to generalize the approach to a larger class of stochastic population models.


title: Spurious Small-Scale Structure & Discreteness-Driven Relaxation in Cosmological Simulations

abstract: There is strong evidence that cosmological N-body simulations dominated by Warm Dark Matter (WDM) contain spurious or unphysical haloes, most readily apparent as regularly spaced low-mass haloes strung along filaments. We show that spurious haloes are a feature of traditional N-body simulations of cosmological structure formation models, including WDM and Cold Dark Matter (CDM) models, in which gravitational collapse proceeds in an initially anisotropic fashion, and arises naturally as a consequence of discreteness-driven relaxation. We demonstrate this using controlled N-body simulations of plane-symmetric collapse and show that spurious haloes are seeded at shell crossing by localised velocity perturbations induced by the discrete nature of the density field, and that their characteristic separation should be approximately the mean inter-particle separation of the N-body simulation, which is fixed by the mass resolution within the volume. Using cosmological N-body simulations in which particles are split into two collisionless components of fixed mass ratio, we find that the spatial distribution of the two components show signatures of discreteness-driven relaxation in their spatial distribution on both large and small scales. Adopting a spline kernel gravitational softening that is of order the comoving mean inter-particle separation helps to suppress the effect of discreteness-driven relaxation, but cannot eliminate it completely. These results provide further motivation for recent developments of new algorithms, which include, for example, revisions of the traditional N-body approach by means of spatially adaptive anistropric gravitational softenings or explicit solutions for the evolution of dark matter in phase space.


title: Emergence of F(R) gravity-analogue due to defects in graphene

abstract: We show that the defects of graphene, which lead to the non-equality between positive curvature of fermions with anti-parallel spins and negative curvature of fermions with parallel spins, imply an emergence of F(R) gravity. By increasing the number of atoms at each defect, the order of scalar curvature increases and the shape of F(R) gravity changes. This gravity has a direct relation with energy-momentum tensor and leads to motion of electrons in a special path and hence producing superconductivity. Also, for some special angles, parallel spins become close to each other and repel to each other. In that condition, the shape of F(R) gravity changes and electrons can't continue to move in an initial path and return. Consequently, superconductivity disappears and one new conductivity appears in opposite direction.


title: Coarse Lipschitz embeddings of James spaces

abstract: We prove that, for $1 < p \neq q < \infty$, there does not exist any coarse Lipschitz embedding between the two James spaces $J_p$ and $J_q$, and that, for $1 < p < q < \infty$ and $1 < r < \infty$ such that $r \notin \{p,q\}$, $J_r$ does not coarse Lipschitz embed into $J_p \oplus J_q$.


title: Sorting out symptoms: design and evaluation of the 'babylon check' automated triage system

abstract: Prior to seeking professional medical care it is increasingly common for patients to use online resources such as automated symptom checkers. Many such systems attempt to provide a differential diagnosis based on the symptoms elucidated from the user, which may lead to anxiety if life or limb-threatening conditions are part of the list, a phenomenon termed 'cyberchondria' [1]. Systems that provide advice on where to seek help, rather than a diagnosis, are equally popular, and in our view provide the most useful information. In this technical report we describe how such a triage system can be modelled computationally, how medical insights can be translated into triage flows, and how such systems can be validated and tested. We present babylon check, our commercially deployed automated triage system, as a case study, and illustrate its performance in a large, semi-naturalistic deployment study.


title: Adaptive Quantization Matrices for HD and UHD Display Resolutions in Scalable HEVC

abstract: HEVC contains an option to enable custom quantization matrices, which are designed based on the Human Visual System and a 2D Contrast Sensitivity Function. Visual Display Units, capable of displaying video data at High Definition and Ultra HD display resolutions, are frequently utilized on a global scale. Video compression artifacts that are present due to high levels of quantization, which are typically inconspicuous in low display resolution environments, are clearly visible on HD and UHD video data and VDUs. The default QM technique in HEVC does not take into account the video data resolution, nor does it take into consideration the associated display resolution of a VDU to determine the appropriate levels of quantization required to reduce unwanted video compression artifacts. Based on this fact, we propose a novel, adaptive quantization matrix technique for the HEVC standard, including Scalable HEVC. Our technique, which is based on a refinement of the current HVS-CSF QM approach in HEVC, takes into consideration the display resolution of the target VDU for the purpose of minimizing video compression artifacts. In SHVC SHM 9.0, and compared with anchors, the proposed technique yields important quality and coding improvements for the Random Access configuration, with a maximum of 56.5% luma BD-Rate reductions in the enhancement layer. Furthermore, compared with the default QMs and the Sony QMs, our method yields encoding time reductions of 0.75% and 1.19%, respectively.


title: Spin polarisation by current

abstract: This is an overview of current-induced spin polarization in gyrotropic semiconductor nanostructures. Such a spin polarization as response to a charge current may be classified as the inverse of the spin-galvanic effect, and sometimes is called as magneto-electrical effect or Edelstein (Rashba-Edelstein) effect. Apart from reviewing the experimental status of affairs, we have provided a detailed theoretical description of both effects in terms of a phenomenological model of spin-dependent relaxation processes, and an alternative theoretical approach based on the quasi-classical Boltzmann equation.


title: Three notes on Ser's and Hasse's representations for the zeta-functions

abstract: This paper is devoted to Ser's and Hasse's series representations for the zeta-functions, as well as to several closely related results. The notes concerning Ser's and Hasse's representations are given as theorems, while the related expansions are given either as separate theorems or as formulae inside the remarks and corollaries. In the first theorem, we show that the famous Hasse's series for the zeta-function, obtained in 1930 and named after the German mathematician Helmut Hasse, is equivalent to an earlier expression given by a little-known French mathematician Joseph Ser in 1926. In the second theorem, we derive a similar series representation for the zeta-function involving the Cauchy numbers of the second kind. In the third theorem, with the aid of some special polynomials, we generalize the previous results to the Hurwitz zeta-function. In the fourth theorem, we obtain a similar series with Gregory's coefficients of higher order. In the fifth theorem, we extend the results of the third theorem to a class of Dirichlet series. As a consequence, we obtain several globally convergent series for the zeta-functions. We also show that Hasse's series may be obtained much more easily by using the theory of finite differences, and we demonstrate that there exist numerous series of the same nature. In the sixth theorem, we show that Hasse's series is a simple particular case of a more general class of series involving the Stirling numbers of the first kind. All the expansions derived in the paper lead, in turn, to the series expansions for the Stieltjes constants, including new series with rational terms for Euler's constant, for the logarithm of the gamma-function, for the digamma and trigamma functions. Finally, in the Appendix, we prove an interesting integral representation for the Bernoulli polynomials of the second kind, formerly known as the Fontana-Bessel polynomials.


title: On the "usual" misunderstandings between econophysics and finance: some clarifications on modelling approaches and efficient market hypothesis

abstract: In line with the recent research and debates about econophysics and financial economics, this article discusses on usual misunderstandings between the two disciplines in terms of modelling and basic hypotheses. In the literature devoted to econophysics, the methodology used by financial economists is frequently considered as a top-down approach (starting from a priori "first principles") while econophysicists rather present themselves as scholars working with a (empirical data prone) bottom-up approach. Although this dualist perspective is very common in the econophysics literature, this paper claims that the distinction is very confusing and does not permit to reveal the essence of the differences between finance and econophysics. The distinction between these two fields is mainly investigated here through the lens of the Efficient Market Hypothesis in order to show that, in substance, econophysics and financial economics tend to have a similar approach implying that the misunderstanding between these two fields at the modelling level can therefore be overstepped.


title: Global generation and very ampleness for adjoint linear series

abstract: Let $X$ be a smooth projective variety over an algebraically closed field $\mathbb{K}$ with arbitrary characteristic. Suppose $L$ is an ample and globally generated line bundle. By Castelnuovo--Mumford regularity, we show that $K_X \otimes L^{\otimes \dim X} \otimes A$ is globally generated and $K_X \otimes L^{\otimes (\dim X+1)} \otimes A$ is very ample, provided the line bundle $A$ is nef but not numerically trivial. On complex projective varieties, by investigating Kawamata-Viehweg-Nadel type vanishing theorems for vector bundles, we also obtain the global generation for adjoint vector bundles. In particular, for a holomorphic submersion $f:X\longrightarrow Y$ with $L$ ample and globally generated, and $A$ nef but not numerically trivial, we prove the global generation of $ f_*(K_{X/Y})^{\otimes s}\otimes K_Y \otimes L^{\otimes \dim Y} \otimes A$ for any positive integer $s$.


title: Fermi level position, Coulomb gap, and Dresselhaus splitting in (Ga,Mn)As

abstract: Carrier-induced nature of ferromagnetism in a ferromagnetic semiconductor, (Ga,Mn)As, offers a great opportunity to observe novel spin-related phenomena as well as to demonstrate new functionalities of spintronic devices. Here, we report on low-temperature angle-resolved photoemission studies of the valence band in this model compound. By a direct determination of the distance of the split-off band to the Fermi energy EF, we conclude that EF is located within the heavy/light hole band. However, the bands are strongly perturbed by disorder and disorder-induced carrier correlations that lead to the Coulomb gap at EF, which we resolve experimentally in a series of samples, and show that its depth and width enlarge when the Curie temperature decreases. Furthermore, we have detected surprising linear magnetic dichroism in photoemission spectra of the split-off band. By a quantitative theoretical analysis we demonstrate that it arises from the Dresselhaus-type spin-orbit term in zinc-blende crystals. The spectroscopic access to the magnitude of such asymmetric part of spin-orbit coupling is worthwhile, as they account for spin-orbit torque in spintronic devices of ferromagnets without inversion symmetry.


title: Einstein-Maxwell-Dilatonic phantom black holes: Thermodynamics and geometrothermodynamics

abstract: We use the Legendre invariant formalism of geometrothermodynamics to investigate the geometric properties of the equilibrium space of a spherically symmetric phantom black hole with electric charge and dilaton. We find that at certain points of the equilibrium space, the thermodynamic curvature is characterized by the presence of singularities that are interpreted as phase transitions. We also investigate the phase transition structure by using the standard approach of black hole thermodynamics based upon the analysis of the heat capacity and response functions. We show compatibility between the two approaches. In addition, a new type of phase transition is found which is due to the presence of phantom energy and corresponds to a transition between black hole states with different stability properties.


title: Departure of high temperature iron lines from the equilibrium state in flaring solar plasmas

abstract: The aim of this study is to clarify if the assumption of ionization equilibrium and a Maxwellian electron energy distribution is valid in flaring solar plasmas. We analyze the 2014 December 20 X1.8 flare, in which the \ion{Fe}{xxi} 187~\AA, \ion{Fe}{xxii} 253~\AA, \ion{Fe}{xxiii} 263~\AA\ and \ion{Fe}{xxiv} 255~\AA\ emission lines were simultaneously observed by the EUV Imaging Spectrometer onboard the Hinode satellite. Intensity ratios among these high temperature Fe lines are compared and departures from isothermal conditions and ionization equilibrium examined. Temperatures derived from intensity ratios involving these four lines show significant discrepancies at the flare footpoints in the impulsive phase, and at the looptop in the gradual phase. Among these, the temperature derived from the \ion{Fe}{xxii}/\ion{Fe}{xxiv} intensity ratio is the lowest, which cannot be explained if we assume a Maxwellian electron distribution and ionization equilibrium, even in the case of a multi-thermal structure. This result suggests that the assumption of ionization equilibrium and/or a Maxwellian electron energy distribution can be violated in evaporating solar plasma around 10~MK.


title: Microbubbles and microparticles are not faithful tracers of turbulent acceleration

abstract: We report on the Lagrangian statistics of acceleration of small (sub-Kolmogorov) bubbles and tracer particles with Stokes number St << 1 in turbulent flow. At decreasing Reynolds number, the bubble accelerations show deviations from that of tracer particles, i.e. they deviate from the Heisenberg-Yaglom prediction and show a quicker decorrelation despite their small size and minute St. Using direct numerical simulations, we show that these effects arise due the drift of these particles through the turbulent flow. We theoretically predict this gravity-driven effect for developed isotropic turbulence, with the ratio of Stokes to Froude number or equivalently the particle drift-velocity governing the enhancement of acceleration variance and the reductions in correlation time and intermittency. Our predictions are in good agreement with experimental and numerical results. The present findings are relevant to a range of scenarios encompassing tiny bubbles and droplets that drift through the turbulent oceans and the atmosphere. They also question the common usage of micro-bubbles and micro-droplets as tracers in turbulence research.


title: Control of Exciton Valley Coherence in Transition Metal Dichalcogenide Monolayers

abstract: The direct gap interband transitions in transition metal dichalcogenides monolayers are governed by chiral optical selection rules. Determined by laser helicity, optical transitions in either the $K^+$ or $K^-$ valley in momentum space are induced. Linearly polarized laser excitation prepares a coherent superposition of valley states. Here we demonstrate the control of the exciton valley coherence in monolayer WSe2 by tuning the applied magnetic field perpendicular to the monolayer plane. We show rotation of this coherent superposition of valley states by angles as large as 30 degrees in applied fields up to 9 T. This exciton valley coherence control on ps time scale could be an important step towards complete control of qubits based on the valley degree of freedom.


title: Bolidozor - Distributed radio meteor detection system

abstract: Most of the meteor radioastronomical radars are backscatter radars which cover only a small area of the atmosphere. Therefore a daytime meteor flux models are based on sparse data collected by only a few radar systems. To solve this issue, a radar system with a wide coverage is required. We present a new approach of open-source multi-static radio meteor detection system which could be distributed over a large area. This feature allows us to detect meteor events taking place over a larger area as well and gather more uniform data about meteor flux and possibly about meteor trajectories.


title: All-stages-implicit and strong-stability-preserving implicit-explicit Runge-Kutta time discretization schemes for hyperbolic systems with stiff relaxation terms

abstract: We construct eight implicit-explicit (IMEX) Runge-Kutta (RK) schemes up to third order of the type in which all stages are implicit so that they can be used in the zero relaxation limit in a unified and convenient manner. These all-stages-implicit (ASI) schemes attain the strong-stability-preserving (SSP) property in the limiting case, and two are SSP for not only the explicit part but also the implicit part and the entire IMEX scheme. Three schemes can completely recover to the designed accuracy order in two sides of the relaxation parameter for both equilibrium and non-equilibrium initial conditions. Two schemes converge nearly uniformly for equilibrium cases. These ASI schemes can be used for hyperbolic systems with stiff relaxation terms or differential equations with some type constraints.


title: A simple multithreaded implementation of the EM algorithm for mixture models

abstract: Finite mixture models have been widely used for the modelling and analysis of data from heterogeneous populations. Maximum likelihood estimation of the parameters is typically carried out via the Expectation-Maximization (EM) algorithm. The complexity of the implementation of the algorithm depends on the parametric distribution that is adopted as the component densities of the mixture model. In the case of the skew normal and skew t-distributions, for example, the E-step would involve complicated expressions that are computationally expensive to evaluate. This can become quite time-consuming for large and/or high-dimensional datasets. In this paper, we develop a multithreaded version of the EM algorithm for the fitting of finite mixture models. Due to the structure of the algorithm for these models, the E- and M-steps can be easily reformulated to be executed in parallel across multiple threads to take advantage of the processing power available in modern-day multicore machines. Our approach is simple and easy to implement, requiring only small changes to standard code. To illustrate the approach, we focus on a fairly general mixture model that includes as special or limiting cases some of the most commonly used mixture models including the normal, t-, skew normal, and skew t-mixture models.


title: From Constrained Delaunay Triangulations to Roadmap Graphs with Arbitrary Clearance

abstract: This work studies path planning in two-dimensional space, in the presence of polygonal obstacles. We specifically address the problem of building a roadmap graph, that is, an abstract representation of all the paths that can potentially be followed around a given set of obstacles. Our solution consists in an original refinement algorithm for constrained Delaunay triangulations, aimed at generating a roadmap graph suited for planning paths with arbitrary clearance. In other words, a minimum distance to the obstacles can be specified, and the graph does not have to be recomputed if this distance is modified. Compared to other solutions, our approach has the advantage of being simpler, as well as significantly more efficient.


title: Ramsey properties of nonlinear Diophantine equations

abstract: We prove general sufficient and necessary conditions for the partition regularity of Diophantine equations, which extend the classic Rado's Theorem by covering large classes of nonlinear equations. Sufficient conditions are obtained by exploiting algebraic properties in the space of ultrafilters betaN, grounding on combinatorial properties of positive density sets and IP sets. Necessary conditions are proved by a new technique in nonstandard analysis, based on the use of the relation of u-equivalence for the hypernatural numbers *N.


title: Applications of small scale quantum ergodicity in nodal sets

abstract: The goal of this article is to draw new applications of small scale quantum ergodicity in nodal sets of eigenfunctions. We show that if quantum ergodicity holds on balls of shrinking radius $r(\lambda) \to 0$, then one can achieve improvements on the recent upper bounds of Logunov and Logunov-Malinnikova on the size of nodal sets, according to a certain power of $r(\lambda)$. We also show that the order of vanishing results of Donnelly-Fefferman and Dong can be improved. Since by the results of Han and Hezari-Rivi\`ere small scale QE holds on negatively curved manifolds at logarithmically shrinking rates, we get logarithmic improvements on such manifolds for the above measurements of eigenfunctions. We also get $o(1)$ improvements for manifolds with ergodic geodesic flows. Our results work for a full density subsequence of any given orthonormal basis of eigenfunctions.


title: A note on the Neumann eigenvalues of the biharmonic operator

abstract: We study the dependence of the eigenvalues of the biharmonic operator subject to Neumann boundary conditions on the Poisson's ratio. In particular, we prove that the Neumann eigenvalues are Lipschitz continuous with respect to $\sigma\in [0,1[$ and that all the Neumann eigenvalues tend to zero as $\sigma\rightarrow 1^-$. Moreover, we show that the Neumann problem defined by setting $\sigma=1$ admits a sequence of positive eigenvalues of finite multiplicity which are not limiting points for the Neumann eigenvalues with $\sigma\in[0,1[$ as $\sigma\rightarrow 1^-$, and which coincide with the Dirichlet eigenvalues of the biharmonic operator.


title: Frobenius actions on local cohomology modules and deformation

abstract: Let $(R,m)$ be a Noetherian local ring of characteristic $p>0$. We introduce and study $F$-full and $F$-anti-nilpotent singularities, both are defined in terms of the Frobenius actions on the local cohomology modules of $R$ supported at the maximal ideal. We prove that if $R/(x)$ is $F$-full or $F$-anti-nilpotent for a nonzerodivisor $x\in R$, then so is $R$. We use these results to obtain new cases on the deformation of $F$-injectivity.


title: Domination of the rectangular queen's graph

abstract: The queen's graph $Q_{m \times n}$ has the squares of the $m \times n$ chessboard as its vertices; two squares are adjacent if they are in the same row, column, or diagonal of the board. A set $D$ of squares of $Q_{m \times n}$ is a dominating set for $Q_{m \times n}$ if every square of $Q_{m \times n}$ is either in $D$ or adjacent to a square in $D$. The minimum size of a dominating set of $Q_{m \times n}$ is the domination number, denoted by $\gamma(Q_{m \times n})$. Values of $\gamma(Q_{m \times n}), \, 4 \leq m \leq n \leq 18, \,$ are given here, in each case with a file of minimum dominating sets (often all of them, up to symmetry) in an online appendix at https://www.combinatorics.org/ojs/index.php/eljc/article/view/v26i4p45/HTML. In these ranges for $m$ and $n$, monotonicity fails once: $\gamma(Q_{8 \times 11}) = 6 > 5 = \gamma(Q_{9 \times 11}) = \gamma(Q_{10 \times 11}) = \gamma(Q_{11 \times 11})$. Lower bounds on $\gamma(Q_{m \times n})$ are given. In particular, if $m \leq n$ then $\gamma(Q_{m \times n}) \geq \min \{ m, \lceil (m+n-2)/4 \rceil \}$. A set of squares is independent if no two of its squares are adjacent. The minimum size of an independent dominating set of $Q_{m \times n}$ is the independent domination number, denoted by $i(Q_{m \times n})$. Values of $i(Q_{m \times n}), \, 4 \leq m \leq n \leq 18, \,$ are given here, in each case with some minimum dominating sets. In these ranges for $m$ and $n$, monotonicity fails twice: $i(Q_{8 \times 11}) = 6 > 5 = i(Q_{9 \times 11}) = i(Q_{10 \times 11}) = i(Q_{11 \times 11})$, and $i(Q_{11 \times 18}) = 9 > 8 = i(Q_{12 \times 18})$.


title: Tree-hierarchy of DNA and distribution of Holliday junctions

abstract: We define a DNA as a sequence of $\pm 1$'s and embed it on a path of Cayley tree. Using group representation of the Cayley tree, we give a hierarchy of a countable set of DNAs each of which 'lives' on the same Cayley tree. This hierarchy has property that each vertex of the Cayley tree belongs only to one of DNA. Then we give a model (energy, Hamiltonian) of this set of DNAs by an analogue of Ising model with three spin values (considered as DNA base pairs) on a set of admissible configurations. To study thermodynamic properties of the model of DNAs we describe corresponding translation invariant Gibbs measures (TIGM) of the model on the Cayley tree of order two. We show that there is a critical temperature $T_{\rm c}$ such that (i) if temperature $T>T_{\rm c}$ then there exists unique TIGM; (ii) if $T=T_{\rm c}$ then there are two TIGMs; (iii) if $T<T_{\rm c}$ then there are three TIGMs. Each such measure describes a phase of the set of DNAs. We use these results to study distributions of Holliday junctions and branches of DNAs. In case of very high and very low temperatures we give stationary distributions and typical configurations of the Holliday junctions.


title: Parallax and orbital effects in astrometric microlensing with binary sources

abstract: In gravitational microlensing, binary systems may act as lenses or sources. Identifying lens binarity is generally easy especially in events characterized by caustic crossing since the resulting light curve exhibits strong deviations from smooth single-lensing light curve. On the contrary, light curves with minor deviations from a Paczy\'nski behaviour do not allow one to identify the source binarity. A consequence of the gravitational microlensing is the shift of the position of the multiple image centroid with respect to the source star location - the so called astrometric microlensing signal. When the astrometric signal is considered, the presence of a binary source manifests with a path that largely differs from that expected for single-source events. Here, we investigate the astrometric signatures of binary sources taking into account their orbital motion and the parallax effect due to the Earth motion, which turn out not to be negligible in most cases. We also show that considering the above-mentioned effects is important in the analysis of astrometric data in order to correctly estimate the lens-event parameters.


title: Unlikely intersections in products of families of elliptic curves and the multiplicative group

abstract: Let $E_\lambda$ be the Legendre elliptic curve of equation $Y^2=X(X-1)(X-\lambda)$. We recently proved that, given $n$ linearly independent points $P_1(\lambda), \dots,P_n(\lambda)$ on $E_\lambda$ with coordinates in $\bar{\mathbb{Q}(\lambda)}$, there are at most finitely many complex numbers $\lambda_0$ such that the points $P_1(\lambda_0), \dots,P_n(\lambda_0)$ satisfy two independent relations on $E_{\lambda_0}$. In this article we continue our investigations on Unlikely Intersections in families of abelian varieties and consider the case of a curve in a product of two non-isogenous families of elliptic curves and in a family of split semi-abelian varieties.


title: A nonlinear structural subgrid-scale closure for compressible MHD Part I: derivation and energy dissipation properties

abstract: Compressible magnetohydrodynamic (MHD) turbulence is ubiquitous in astrophysical phenomena ranging from the intergalactic to the stellar scales. In studying them, numerical simulations are nearly inescapable, due to the large degree of nonlinearity involved. However the dynamical ranges of these phenomena are much larger than what is computationally accessible. In large eddy simulations (LES), the resulting limited resolution effects are addressed explicitly by introducing to the equations of motion additional terms associated with the unresolved, subgrid-scale (SGS) dynamics. This renders the system unclosed. We derive a set of nonlinear structural closures for the ideal MHD LES equations with particular emphasis on the effects of compressibility. The closures are based on a gradient expansion of the finite-resolution operator (W.K. Yeo CUP 1993, ed. Galperin & Orszag) and require no assumptions about the nature of the flow or magnetic field. Thus the scope of their applicability ranges from the sub- to the hyper-sonic and -Alfvenic regimes. The closures support spectral energy cascades both up and down-scale, as well as direct transfer between kinetic and magnetic resolved and unresolved energy budgets. They implicitly take into account the local geometry, and in particular the anisotropy, of the flow. Their properties are $\textit{a priori}$ validated in an accompanying article (Grete et al. Phys. Plasmas, 2016) against alternative closures available in the literature with respect to a wide range of simulation data of homogeneous and isotropic turbulence.

categories: physics.flu-dyn astro-ph.GA astro-ph.SR physics.comp-ph physics.plasm-ph


title: Intra pseudogap- and superconductivity-pair spin and charge fluctuations and underdome metal-insulator (fermion-boson)-crossover phenomena as keystones of cuprate physics

abstract: The most intriguing observation of cuprate experiments is most likely the metal-insulator-crossover (MIC), seen in the underdome region of the temperature-doping phase diagram of copper-oxides under a strong magnetic field, when the superconductivity is suppressed. This MIC, which results in such phenomena as heat conductivity downturn, anomalous Lorentz ratio, nonlinear entropy, insulating ground state, nematicity- and stripe-phases and Fermi pockets, reveals the nonconventional dielectric property of the pseudogap-normal phase. Since conventional superconductivity appears from a conducting normal phase, the understanding of how superconductivity arises from an insulating state becomes a fundamental problem and thus the keystone for all of cuprate physics. Recently, in interpreting the physics of visualization in scanning tunneling microscopy (STM) real space nanoregions (NRs), which exhibit an energy gap, we have succeeded in understanding that the minimum size for these NRs provides pseudogap and superconductivity pairs, which are single bosons. In this work, we discuss the intra-particle magnetic spin and charge fluctuations of these bosons, observed recently in hidden magnetic order and STM experiments. We find that all the mentioned MIC phenomena can be obtained in the Coulomb single boson and single fermion two liquid model, which we recently developed, and the MIC is a crossover of sample percolating NRs of single fermions into those of single bosons.


title: Performance Analysis of Sparse Recovery Models for Bad Data Detection and State Esti-mation in Electric Power Networks

abstract: This paper investigates the sparse recovery models for bad data detection and state estimation in power networks. Two sparse models, the sparse L1-relaxation model (L1-R) and the multi-stage convex relaxation model (Capped-L1), are compared with the weighted least absolute value (WLAV) in the aspects of the bad data processing capacity and the computational efficiency. Numerical tests are conducted on power systems with linear and nonlinear measurements. Based on numerical tests, the paper evaluates the performance of these robust state estimation mod-els. Furthermore, suggestion on how to select parameter of sparse recovery models is also given when they are used in elec-tric power networks.


title: Characterization of crystal structure and precipitation crystallography of a new MgxAl2-xGd phase in Mg97Al1Gd2 alloy

abstract: The composition, crystal structure and precipitation crystallography of a newly found precipitate are characterized by a Cs-corrected scanning transmission electron microscopy (STEM). The composition of the plate-like precipitate could be expressed as MgxAl2-xGd (x = 0.38), and its crystal structure is the same as the fcc type Laves phases Mg2Gd and Al2Gd with the lattice parameter of 7.92 Angstrom (space group No. 227, Fd-3m). The orientation relationship between the matrix and precipitate is found to be (0001)m // (111)p and [10-10]m // [1-10]p, and the habit plane is parallel to (0001)m // (111)p plane. In addition, this preferred crystallography of phase transformation is well explained based on the atomic matching in the interface.


title: A non-perturbative study of the correlation functions of three-dimensional Yang-Mills theory

abstract: Yang-Mills theory is studied in three dimensions using the equations of motion of the $1$PI and $3$PI effective actions. The employed self-contained truncation includes the propagators, the three-point functions and the four-gluon vertex dynamically. In the gluon propagator also two-loop diagrams are taken into account. The higher gluonic correlation functions show sizable deviations from the tree-level only at low momenta. Also the couplings derived from the vertices agree well down to a few GeV. In addition, different methods to subtract spurious divergences are explored.


title: Quantum phase transition, universality and scaling behaviors in the spin-1/2 Heisenberg model with ferromagnetic and antiferromagnetic competing interactions on honeycomb lattice

abstract: The quantum phase transition, scaling behaviors, and thermodynamics in the spin-1/2 quantum Heisenberg model with antiferromagnetic coupling $J>0$ in armchair direction and ferromagnetic interaction $J'<0$ in zigzag direction on a honeycomb lattice are systematically studied using the continuous-time quantum Monte Carlo method. By calculating the Binder ratio $Q_{2}$ and spin stiffness $\rho$ in two directions for various coupling ratio $\alpha=J'/J$ under different lattice sizes, we found that a quantum phase transition from the dimerized phase to the stripe phase occurs at the quantum critical point $\alpha_c=-0.93$. Through the finite-size scaling analysis on $Q_{2}$, $\rho_{x}$ and $\rho_{y}$, we determined the critical exponent related to the correlation length $\nu$ to be 0.7212(8), implying that this transition falls into a classical Heisenberg O(3) universality. A zero magnetization plateau is observed in the dimerized phase, whose width decreases with increasing $\alpha$. A phase diagram in the coupling ratio $\alpha$-magnetic field $h$ plane is obtained, where four phases, including dimerized, stripe, canted stripe and polarized phases are identified. It is also unveiled that the temperature dependence of the specific heat $C(T)$ for different $\alpha$'s intersects precisely at one point, similar to that of liquid $^{3}$He under different pressures and several magnetic compounds under various magnetic fields. The scaling behaviors of $Q_{2}$, $\rho$ and $C(T)$ are carefully analyzed. The susceptibility is well compared with the experimental data to give the magnetic parameters of both compounds.


title: On Isospectral compactness in conformal class for 4-manifolds

abstract: Let $(M, g_0)$ be a closed 4-manifold with positive Yamabe invariant and with $L^2$-small Weyl curvature tensor. Let $g_1 \in [g_0]$ be any metric in the conformal class of $g_0$ whose scalar curvature is $L^2$-close to a constant. We prove that the set of Riemannian metrics in the conformal class $[g_0]$ that are isospectral to $g_1$ is compact in the $C^\infty$ topology.


title: Monoidal category of C*-algebras

abstract: We consider the category of C*-algebras equipped with actions of a locally compact quantum group. We show that this category admits a monoidal structure satisfying certain natural conditions if and only if the group is quasitriangular. The monoidal structures are in bijective correspondence with unitary R-matrices. To prove this result we use only very natural properties imposed on considered monoidal structures. We assume that monoidal product is a crossed product, monoidal product of injective morphisms is injective and that monoidal product reduces to the minimal tensor product when one of the involved C*-algebras is equipped with a trivial action of the group. No a priori form of monoidal product is used.


title: The temperature dependence of FeRh's transport properties

abstract: The finite-temperature transport properties of FeRh compounds are investigated by first-principles Density Functional Theory-based calculations. The focus is on the behavior of the longitudinal resistivity with rising temperature, which exhibits an abrupt decrease at the metamagnetic transition point, $T = T_m$ between ferro- and antiferromagnetic phases. A detailed electronic structure investigation for $T \geq 0$ K explains this feature and demonstrates the important role of (i) the difference of the electronic structure at the Fermi level between the two magnetically ordered states and (ii) the different degree of thermally induced magnetic disorder in the vicinity of $T_m$, giving different contributions to the resistivity. To support these conclusions, we also describe the temperature dependence of the spin-orbit induced anomalous Hall resistivity and Gilbert damping parameter. For the various response quantities considered the impact of thermal lattice vibrations and spin fluctuations on their temperature dependence is investigated in detail. Comparison with corresponding experimental data finds in general a very good agreement.


title: A fresh look at linear cosmological constraints on a decaying dark matter component

abstract: We consider a cosmological model in which a fraction $f$ of the Dark Matter (DM) is allowed to decay in an invisible relativistic component, and compute the resulting constraints on both the decay width (or inverse lifetime) $\Gamma$ and $f$ from purely gravitational arguments. We report a full derivation of the Boltzmann hierarchy, correcting a mistake in previous literature, and compute the impact of the decay --as a function of the lifetime-- on the CMB and matter power spectra. From CMB only, we obtain that no more than 3.8 % of the DM could have decayed in the time between recombination and today (all bounds quoted at 95 % CL). We also comment on the important application of this bound to the case where primordial black holes constitute DM, a scenario notoriously difficult to constrain. For lifetimes longer than the age of the Universe, the bounds can be cast as $f\Gamma < 6.3\times10^{-3}$ Gyr$^{-1}$. For the first time, we also checked that degeneracies with massive neutrinos are broken when information from the large scale structure is used. Even secondary effects like CMB lensing suffice to this purpose. Decaying DM models have been invoked to solve a possible tension between low redshift astronomical measurements of $\sigma_8$ and $\Omega_{\rm m}$ and the ones inferred by Planck. We reassess this claim finding that with the most recent BAO, HST and $\sigma_8$ data extracted from the CFHT survey, the tension is only slightly reduced despite the two additional free parameters, loosening the bound to $f\Gamma < 15.9\times10^{-3}$ Gyr$^{-1}$. The bound however improves to $f\Gamma < 5.9\times10^{-3}$ Gyr$^{-1}$ if only data consistent with the CMB are included. This highlights the importance of establishing whether the tension is due to real physical effects or unaccounted systematics, for settling the reach of achievable constraints on decaying DM.


title: Application of the Signature Method to Pattern Recognition in the CEQUEL Clinical Trial

abstract: The classification procedure of streaming data usually requires various ad hoc methods or particular heuristic models. We explore a novel non-parametric and systematic approach to analysis of heterogeneous sequential data. We demonstrate an application of this method to classification of the delays in responding to the prompts, from subjects with bipolar disorder collected during a clinical trial, using both synthetic and real examples. We show how this method can provide a natural and systematic way to extract characteristic features from sequential data.


title: Quark deconfinement in the proto-magnetar model of Long Gamma-Ray Bursts

abstract: We investigate the possible implications of quark deconfinement on the phenomenology of Long Gamma-Ray Bursts focusing, in particular, on the possibility to describe multiple prompt emission phases in the context of the proto-magnetar model. Starting from numerical models of rotating Hadron Stars and Quark Stars in full general relativity we track the electromagnetic spin-down evolution in both the hadronic and quark phase, linking the two families through conservation of baryon number and angular momentum. We give estimates of the timescales and the energetics involved in the spin-down process deriving, in the relevant spin range, the relation between the initial and the final masses and rotational energies, whenever hadron-quark conversion is possible. We show how the results can be used in relevant astrophysical cases such as the double burst GRB 110709B.


title: Analysis of four-zero textures in $3+1$ framework

abstract: The presence of a zero texture in the neutrino mass matrix can indicate the presence of an underlying symmetry which can generate neutrino mass and mixing. In this paper, for the first time we study the four-zero textures of the low energy neutrino mass matrix in the presence of an extra light-sterile neutrino i.e., the 3+1 neutrino scheme. In our analysis we find that out of the 210 possible four-zero textures only 15 textures are allowed. We divide the allowed four-zero textures into two classes -- class $A$ in which the value of mass matrix element $M_{ee}$ is zero and class $B$ in which $M_{ee}$ is non-zero. In this way we obtain ten possible four-zero textures in class $A$ and five possible four-zero textures in class $B$. In our analysis we find that, for normal hierarchy the allowed number of textures in class $A$ ($B$) is nine (three). For the case of inverted hierarchy we find that, two textures in class $A$ are disallowed and these textures are different from the disallowed textures for normal hierarchy in class $A$. However, we find that all the five textures in class $B$ are allowed for the inverted hierarchy. Based on analytic expressions for the elements $M_{\alpha\beta}$, we discuss the reasons for certain textures being disallowed. We also discuss the correlations between the different parameters of the allowed textures. Finally, we present the implications of our study on experimental searches for neutrinoless double beta decay.


title: Regret Bounds for Non-decomposable Metrics with Missing Labels

abstract: We consider the problem of recommending relevant labels (items) for a given data point (user). In particular, we are interested in the practically important setting where the evaluation is with respect to non-decomposable (over labels) performance metrics like the $F_1$ measure, and the training data has missing labels. To this end, we propose a generic framework that given a performance metric $\Psi$, can devise a regularized objective function and a threshold such that all the values in the predicted score vector above and only above the threshold are selected to be positive. We show that the regret or generalization error in the given metric $\Psi$ is bounded ultimately by estimation error of certain underlying parameters. In particular, we derive regret bounds under three popular settings: a) collaborative filtering, b) multilabel classification, and c) PU (positive-unlabeled) learning. For each of the above problems, we can obtain precise non-asymptotic regret bound which is small even when a large fraction of labels is missing. Our empirical results on synthetic and benchmark datasets demonstrate that by explicitly modeling for missing labels and optimizing the desired performance metric, our algorithm indeed achieves significantly better performance (like $F_1$ score) when compared to methods that do not model missing label information carefully.


title: A numerical model of parsec scale SSC morphologies and their radio emission

abstract: In current models for jets of AGNs and their emission a shortcoming in the description and understanding of the connection between the largest and smallest scales exists. In this work we present a spatially resolved SSC model extended to parsec scales, which opens the possibility of probing the connections between the radio and high energy properties. We simulate an environment that leads to Fermi-I acceleration of leptonic particles and includes the full time dependence of this process. Omitting the restriction of a finite downstream region, we find that the spectral energy distribution (SED) produced by the accelerated particles strongly depends on their radial confinement behind the shock. The requirement, for both the restriction of high energy emission to a small region around the shock and the production of a flat radio spectrum, is an initial linear increase of the radius immediately behind the shock, which then slows down with increasing distance from the shock. A good representation of the data for the Blazar \textit{Mkn501} is achieved by a parameterized log-function. The prediction for the shape of the radio blob is given by the flux distribution with respect to shock distance.


title: Black holes and quantum theory on manifolds with singular potentials

abstract: Quantum theory on manifolds with boundaries have been studied extensively through von Neumann analysis of self adjoint operators. We approach the issues through introduction of singular $\delta$ and $\delta'$ potentials. The advantages of this are pointed out as a model for black hole and in several other examples.


title: Random Access Protocols for Massive MIMO

abstract: 5G wireless networks are expected to support new services with stringent requirements on data rates, latency and reliability. One novel feature is the ability to serve a dense crowd of devices, calling for radically new ways of accessing the network. This is the case in machine-type communications, but also in urban environments and hotspots. In those use cases, the high number of devices and the relatively short channel coherence interval do not allow per-device allocation of orthogonal pilot sequences. This article motivates the need for random access by the devices to pilot sequences used for channel estimation, and shows that Massive MIMO is a main enabler to achieve fast access with high data rates, and delay-tolerant access with different data rate levels. Three pilot access protocols along with data transmission protocols are described, fulfilling different requirements of 5G services.


title: Eplett's theorem for self-converse generalised tournaments

abstract: The converse of a tournament is obtained by reversing all arcs. If a tournament is isomorphic to its converse, it is called self--converse. Eplett provided a necessary and sufficient condition for a sequence of integers to be realisable as the score sequence of a self--converse tournament. In this paper we extend this result to generalised tournaments.


title: Higher derivative corrections to WZ action: One RR, one NSNS and one NS couplings

abstract: In the first part of this paper, we calculate the disk-level S-matrix elements of one RR, one NSNS and one NS vertex operators, and show that they are consistent with the amplitudes that have been recently found by applying various Ward identities. We show that the massless poles of the amplitude at low energy are fully consistent with the known D-brane couplings at order $\alpha'^2$ which involve one RR or NSNS and two NS fields. Subtracting the massless poles, we then find the contact terms of one RR, one NSNS and one NS fields at order $\alpha'^2$. Some of these terms are reproduced by the Taylor expansion and the pull-back of two closed string couplings, some other couplings are reproduced by linear graviton in the second fundamental form and by the B-field in the gauge field extension $F\rightarrow F+B$, in one closed and two open string couplings. In the second part, we write all independent covariant contractions of one RR, one NSNS and one NS fields with unknown coefficients. We then constrain the couplings to be consistent with the linear T-duality and with the above contact terms. Interestingly, we have found that up to total derivative terms and Bianchi identities, these constraints uniquely fix all the unknown coefficients.


title: The poset of rational cones

abstract: We introduce a natural partial order on the set Cones(d) of rational cones in R^d. The poset NPol(d-1) of normal polytopes in R^{d-1} embeds into Cones(d) via the homogenization map. The order in Cones(d) is conjecturally the inclusion order. We prove this for d=3 and show a stronger version of the connectivity of Cones(d) for all d. Topological aspects of the conjecture are also discussed.


title: Small-volume effect enables the spine robust, sensitive and efficient information transfer

abstract: Why is the spine of a neuron so small that only small numbers of molecules can exist and reactions inevitably become stochastic? Despite such noisy conditions, we previously showed that the spine exhibits robust, sensitive and efficient features of information transfer using probability of Ca$^{2+}$ increase; however, their mechanisms remains unknown. Here we show that the small-volume effect enables robust, sensitive and efficient information transfer in the spine volume, but not in the cell volume. In the spine volume, intrinsic noise in reactions becomes larger than extrinsic noise of input, making robust information transfer against input fluctuation. Stochastic facilitation of Ca$^{2+}$ increase occurs in the spine volume, making higher sensitivity to lower intensity of input. Volume-dependency of information transfer enables efficient information transfer per input in the spine volume. Thus, we propose that the small-volume effect is the functional reasons why the spine has to be so small.


title: The Ziegler spectrum and Ringel's quilt of the A-infinity plane singularity

abstract: We describe the Cohen-Macaulay part of the Ziegler spectrum and calculate Ringel's quilt of the category of finitely generated Cohen--Macaulay modules over the A-infinity plane singularity.


title: The Stefan outflow in a multicomponent vapor-gas atmosphere around a droplet and its role for cloud expansion

abstract: A new comprehensive analysis of Stefan's flow caused by a free growing droplet in vapor-gas atmosphere with several condensing components is presented. This analysis, based on the nonstationary heat and material balance and diffusion transport equations, shows the appearance of the Stefan inflow in the vicinity of the growing droplet and the outflow at large distances from the droplet as a consequence of nonisothermal condensation. For an ensemble of droplets in the atmospheric cloud, this flow provides an increase of the total volume of the cloud, which can be treated as cloud thermal expansion and leads to floating the cloud as a whole due to buoyancy. We have formulated the self-similar solutions of the nonstationary diffusion and heat conduction equations for a growing multicomponent droplet and have derived analytical expressions for the nonstationary velocity profile of Stefan's flow and the expansion volume of the vapor-gas mixture around the growing droplet. To illustrate the approach, we computed these quantities in the case of droplet of stationary composition in air with several specific vapors (${\mathrm{C_2H_5OH/H_2O}}$; ${\mathrm{H_2SO_4/H_2O}}$; ${\mathrm{H_2O}}$).


title: Continuous Transmission of Spatially-Coupled LDPC Code Chains

abstract: We propose a novel encoding/transmission scheme called continuous chain (CC) transmission that is able to improve the finite-length performance of a system using spatially-coupled low-density parity-check (SC-LDPC) codes. In CC transmission, instead of transmitting a sequence of independent codewords from a terminated SC-LDPC code chain, we connect multiple chains in a layered format, where encoding, transmission, and decoding are now performed in a continuous fashion. The connections between chains are created at specific points, chosen to improve the finite-length performance of the code structure under iterative decoding. We describe the design of CC schemes for different SC-LDPC code ensembles constructed from protographs: a (J,K)-regular SC-LDPC code chain, a spatially-coupled repeat-accumulate (SC-RA) code, and a spatially-coupled accumulate-repeat-jagged-accumulate (SC- ARJA) code. In all cases, significant performance improvements are reported and, in addition, it is shown that using CC transmission only requires a small increase in decoding complexity and decoding delay with respect to a system employing a single SC-LDPC code chain for transmission.


title: Observation of four-photon absorption and determination of corresponding nonlinearities in CdS quantum dots

abstract: Bound- and excited-state electronic nonlinearities in CdS quantum dots have been investigated by Degenerate Four-Wave Mixing (DFWM) and Z-scan techniques in the femtosecond time regime. This QD sample shows Kerr-type nonlinearity for incident beam intensity below 0.18 TW/cm$^2$. However, further increment in intensity results in four-photon absorption (4PA) indicated by open- and closed-aperture Z-scan experiments. Comparing open-aperture Z-scan experimental results with theoretical models, the 4PA coefficient $\alpha_4$ has been deduced. Furthermore, third-order nonlinear index $\gamma$ and refractive-index change coefficient $\sigma_r$ corresponding to excited-state electrons due to 4PA have been calculated from the closed-aperture Z-scan results. UV-visible absorption and photoluminescence experimental results are analyzed towards estimating band gap energy and defect state energy. Time Correlated Single Photon Counting (TCSPC) was employed to determine the decay time corresponding to band-edge and defect states. The linear and nonlinear optical techniques have allowed the direct observation of lower and higher-order electronic states in CdS quantum dots.


title: Photo-modulation of the spin Hall conductivity of mono-layer transition metal dichalcogenides

abstract: We report on a possible optical tuning of the spin Hall conductivity in mono-layer transition metal dichalcogenides. Light beams of frequencies much higher than the energy scale of the system (the \textit{off-resonant} condition) does not excite electrons but rearranges the band structure. The rearrangement is quantitatively established using the Floquet formalism. For such a system of mono-layer transition metal dichalcogenides, the spin Hall conductivity (calculated with the Kubo expression in presence of disorder) exhibits a drop at higher frequencies and lower intensities. Finally, we compare the spin Hall conductivity of the higher spin-orbit coupled WSe$_{2} $ to MoS$_{2} $; the spin Hall conductivity of WSe$_{2}$ was found to be larger.


title: Fitting tails affected by truncation

abstract: In several applications, ultimately at the largest data, truncation effects can be observed when analysing tail characteristics of statistical distributions. In some cases truncation effects are forecasted through physical models such as the Gutenberg-Richter relation in geophysics, while at other instances the nature of the measurement process itself may cause under recovery of large values, for instance due to flooding in river discharge readings. Recently Beirlant et al. (2016) discussed tail fitting for truncated Pareto-type distributions. Using examples from earthquake analysis, hydrology and diamond valuation we demonstrate the need for a unified treatment of extreme value analysis for truncated heavy and light tails. We generalise the classical Peaks over Threshold approach for the different max-domains of attraction with shape parameter $\xi>-1/2$ to allow for truncation effects. We use a pseudo-maximum likelihood approach to estimate the model parameters and consider extreme quantile estimation and reconstruction of quantile levels before truncation whenever appropriate. We report on some simulation experiments and provide some basic asymptotic results.


title: Comparative study of Weyl semimetal, topological and Chern insulators: thin-film point of view

abstract: Regarding three-dimensional (3D) topological insulators and semimetals as a stack of constituent 2D topological (or sometimes non-topological) layers is a useful viewpoint. Primarily, concrete theoretical models of the paradigmatic 3D topological phases such as Weyl semimetal (WSM), strong and weak topological insulators (STI/WTI), and Chern insulator (CI), are often constructed in that way. Secondarily, fabrication of the corresponding 3D topological material is also done in the same spirit; epitaxial growth technique is employed, making the resulting sample in the form of a thin film. Here, in this paper we calculate $\mathbb{Z}$- and $\mathbb{Z}_2$-indices and study evolution of the topological properties of such thin films of 3D topological systems, making also a comparative study of CI- vs. TI-type models belonging to different symmetry classes in this respect. Through this comparative study we suggest that WSM is to CI as STI is to WTI. Finally, to test the robustness of our scenario against disorder and relevance to experiments we have also studied numerically the two-terminal conductance of the system using transfer matrix method.


title: Joint Recursive Monocular Filtering of Camera Motion and Disparity Map

abstract: Monocular scene reconstruction is essential for modern applications such as robotics or autonomous driving. Although stereo methods usually result in better accuracy than monocular methods, they are more expensive and more difficult to calibrate. In this work, we present a novel second order optimal minimum energy filter that jointly estimates the camera motion, the disparity map and also higher order kinematics recursively on a product Lie group containing a novel disparity group. This mathematical framework enables to cope with non-Euclidean state spaces, non-linear observations and high dimensions which is infeasible for most classical filters. To be robust against outliers, we use a generalized Charbonnier energy function in this framework rather than a quadratic energy function as proposed in related work. Experiments confirm that our method enables accurate reconstructions on-par with state-of-the-art.


title: Measuring the trilinear neutral Higgs boson couplings in the minimal supersymmetric standard model at $e^+ e^-$ colliders in the light of the discovery of a Higgs boson

abstract: We consider the measurement of the trilinear couplings of the neutral Higgs bosons in the Minimal Supersymmetric Standard Model~(MSSM) at a high energy $e^+ e^-$ linear collider in the light of the discovery of a Higgs boson at the CERN Large Hadron Collider~(LHC). We identify the state observed at the LHC with the lightest Higgs boson~($h^0$) of the MSSM, and impose the constraints following from this identification, as well as other experimental constraints on the MSSM parameter space. In order to measure trilinear neutral Higgs couplings, we consider different processes where the heavier Higgs boson ($H^0$) of the MSSM is produced in electron-positron collisions, which subsequently decays into a pair of lighter Higgs bosons. We identify the regions of the MSSM parameter space where it may be possible to measure the trilinear couplings of the Higgs boson at a future electron-positron collider. A measurement of the trilinear Higgs couplings is a crucial step in the construction of the Higgs potential, and hence in establishing the phenomena of spontaneous symmetry breaking in gauge theories.


title: Derived equivalences of canonical covers of hyperelliptic and Enriques surfaces in positive characteristic

abstract: We prove that any Fourier--Mukai partner of an abelian surface over an algebraically closed field of positive characteristic is isomorphic to a moduli space of Gieseker-stable sheaves. We apply this fact to show that the Fourier--Mukai set of canonical covers of hyperelliptic and Enriques surfaces over an algebraically closed field of characteristic greater than three is trivial. These results extend to positive characteristic earlier results of Bridgeland--Maciocia and Sosna.


title: Mechanism of chain collapse of strongly charged polyelectrolytes

abstract: We perform extensive molecular dynamics simulations of a charged polymer in a good solvent in the regime where the chain is collapsed. We analyze the dependence of the gyration radius $R_g $ on the reduced Bjerrum length $\ell_B$ and find two different regimes. In the first one, called as a weak electrostatic regime, $R_g \sim \ell_B^{-1/2}$, which is consistent only with the predictions of the counterion-fluctuation theory. In the second one, called a strong electrostatic regime, we find $R_g \sim \ell_B^{-1/5}$. To explain the novel regime we modify the counterion-fluctuation theory.


title: Towards Playlist Generation Algorithms Using RNNs Trained on Within-Track Transitions

abstract: We introduce a novel playlist generation algorithm that focuses on the quality of transitions using a recurrent neural network (RNN). The proposed model assumes that optimal transitions between tracks can be modelled and predicted by internal transitions within music tracks. We introduce modelling sequences of high-level music descriptors using RNNs and discuss an experiment involving different similarity functions, where the sequences are provided by a musical structural analysis algorithm. Qualitative observations show that the proposed approach can effectively model transitions of music tracks in playlists.


title: Primitive permutation groups with a suborbit of length 5 and vertex-primitive graphs of valency 5

abstract: We classify finite primitive permutation groups having a suborbit of length 5. As a corollary, we obtain a classification of finite vertex-primitive graphs of valency 5. In the process, we also classify finite almost simple groups that have a maximal subgroup isomorphic to $\mathrm{Alt}(5)$ or $\mathrm{Sym}(5)$.


title: On implementation of the minimal perimeter triangle enclosing a convex polygon algorithm

abstract: A high-level description of an algorithm which computes the minimum perimeter triangle enclosing a convex polygon in linear time exists in the literature. Besides that an implementation of the algorithm is given in the subsequent work. However, that implementation is incomplete and omits certain common cases. This note's contribution consist of a modern treatment of the algorithm and its consequent simple and robust implementation.


title: Well-posedness of a model of nonhomogeneous compressible-incompressible fluids

abstract: We propose a model of a density-dependent compressible-incompressible fluid, which is intended as a simplified version of models based on mixture theory as, for instance, those arising in the study of biofilms, tumor growth and vasculogenesis. Though our model is, in some sense, close to the density-dependent incompressible Euler equations, it presents some differences that require a different approach from an analytical point of view. In this paper, we establish a result of local existence and uniqueness of solutions in Sobolev spaces to our model, using paradifferential techniques. Besides, we show the convergence of both a continuous version of the Chorin-Temam projection method, viewed as a singular perturbation type approximation, and the 'artificial compressibility method'.


title: Radially symmetric shadow wave solutions to the system of pressureless gas dynamics in arbitrary dimensions

abstract: Radially symmetric shadow wave solutions to the system of multidimensional pressureless gas dynamics are introduced, which allow one to capture concentration of mass. The transformation to a one-dimensional system with source terms is performed and physically meaningful boundary conditions at the origin are determined. Entropy conditions are derived and applied to single out physical (nonnegative mass) and dissipative (entropic) solutions. A complete solution to the pseudo-Riemann problem with initial data exhibiting a single shock on a sphere is obtained.


title: A multistate dynamic site occupancy model for spatially aggregated sessile communities

abstract: Markov community models have been applied to sessile organisms because such models facilitate estimation of transition probabilities by tracking species occupancy at many fixed observation points over multiple periods of time. Estimation of transition probabilities of sessile communities seems easy in principle but may still be difficult in practice because resampling error (i.e., a failure to resample exactly the same location at fixed points) may cause significant estimation bias. Previous studies have developed novel analytical methods to correct for this estimation bias. However, they did not consider the local structure of community composition induced by the aggregated distribution of organisms that is typically observed in sessile assemblages and is very likely to affect observations. In this study, we developed a multistate dynamic site occupancy model to estimate transition probabilities that accounts for resampling errors associated with local community structure. The model applies a nonparametric multivariate kernel smoothing methodology to the latent occupancy component to estimate the local state composition near each observation point, which is assumed to determine the probability distribution of data conditional on the occurrence of resampling error. By using computer simulations, we confirmed that an observation process that depends on local community structure may bias inferences about transition probabilities. By applying the proposed model to a real dataset of intertidal sessile communities, we also showed that estimates of transition probabilities and of the properties of community dynamics may differ considerably when spatial dependence is taken into account. Our approach can even accommodate an anisotropic spatial correlation of species composition, and may serve as a basis for inferring complex nonlinear ecological dynamics.


title: Ergodicity for the stochastic quantization problems on the 2D-torus

abstract: In this paper we study the stochastic quantization problem on the two dimensional torus and establish ergodicity for the solutions. Furthermore, we prove a characterization of the $\Phi^4_2$ quantum field on the torus in terms of its density under translation. We also deduce that the $\Phi^4_2$ quantum field on the torus is an extreme point in the set of all $L$-symmetrizing measures, where $L$ is the corresponding generator.


title: Spontaneous emergence of van der Waals interaction in piezo-resonators - a road to phase coherence at mK temperatures

abstract: We present the experimental results on the spontaneous emergence of the phase coherence in the system of oscillating electric dipoles in quartz piezo-resonators caused by the van der Waals interaction. Spontaneous emergence of the phase coherence in these systems is manifested via temperature-dependent, extremely accurate tune-up of their resonance frequencies in 9th order with relative spectral line-width $\delta f_0/f_0$ less than 3.10$^{-8}$ (this number is comparable with that in lasers) along with the very high frequency stability characterized by the low values of the Allan deviations. We also show that the application of an incoherent (noise) excitation signal leads to a spontaneous formation of the phase coherent state, and that the dissipation processes do not affect this phase coherent state (i.e. the resonance frequency of the system). All above-mentioned signatures are typical characteristics for a Bose-Einstein condensate of excitations. Smallness of the relative spectral lime-width in quartz piezo-resonators opens their potential application as alternative time etalons.


title: Hua's Theorem with the Primes in Piatetski-Shapiro Prime Sets

abstract: In this paper, we study the hybrid problem of Hua's theorem and the Piatetski-Shapiro prime number theorem, and obtain results in this direction of the nonhomogeneous case $k=3$, which deepen the classical result of Hua.


title: Hierarchical self-assembly of nanoparticles for optical metamaterials

abstract: Hierarchical self-assembly arranges nanostructures at different length scales. It gradually becomes an effective method of fabricating artificial metamaterials from composite nanostructures tailored for a particular response. Hierarchical self-assembly overcomes shortcomings of "top-down" methods by significantly reducing fabrication time and making it possible to form bulk materials. Here we report an application of hierarchical self-assembly of metal nanoparticles for the creation of the first isotropic optical metamaterial with strong artificial magnetism in blue light. We have used colloidal self-assembly to create artificial "nanomolecules" that generate the desired magnetic response and microfluidic self-assembly to produce a bulk metastructure. We demonstrate that the magnetic response of the final material is accurately described by an isotropic magnetic permeability that satisfies the principle of locality. Our approach unlocks the fabrication of large volumes of composite nanomaterials. Moreover, the spatial disorder inherent to this "bottom-up" method holds the key to solving the non-locality problem. The technique can be readily extended to the future generations of low-loss optical metamaterials made of dielectric nano-blocks to bypass the limitations of optical losses associated with plasmonic resonances in noble metals.


title: A quantitative Riemann-Lebesgue lemma with application to equations with memory

abstract: An elementary proof of a quantitative version of the Riemann-Lebesgue lemma for functions supported on the half line is given. Applications to differential models with memory are discussed.