title: Weyl symmetric Effective Action and Monopole Condensation in SU(3) QCD

abstract: We show how to generalize the previous result of the monopole condensation in SU(2) QCD to SU(3) QCD. We present the gauge independent Weyl symmetric Abelian decomposition of the SU(3) QCD which decomposes the gluons to the color neutral neurons and the colored chromons. The decomposition allows us to separate the gauge invariant and parity conserving monopole background gauge independently, and reduces the non-Abelian gauge symmetry to a discrete color reflection symmetry which is easier to handle. With this we obtain the infra-red finite and gauge invariant integral expression of the one-loop effective action which is Weyl symmetric in three SU(2) subgroups. Integrating it gauge invariantly imposing the color reflection invariance we obtain the SU(3) QCD effective potential which generates the stable monopole condensation and the mass gap. We discuss the physical implications of our result.


title: On perturbed proximal gradient algorithms

abstract: We study a version of the proximal gradient algorithm for which the gradient is intractable and is approximated by Monte Carlo methods (and in particular Markov Chain Monte Carlo). We derive conditions on the step size and the Monte Carlo batch size under which convergence is guaranteed: both increasing batch size and constant batch size are considered. We also derive non-asymptotic bounds for an averaged version. Our results cover both the cases of biased and unbiased Monte Carlo approximation. To support our findings, we discuss the inference of a sparse generalized linear model with random effect and the problem of learning the edge structure and parameters of sparse undirected graphical models.


title: A Novel Approach for Parameter and Differentiation Order Estimation for a Space Fractional Advection Dispersion Equation

abstract: In this paper, we propose a new approach, based on the so-called modulating functions to estimate the average velocity, the dispersion coefficient and the differentiation order in a space fractional advection dispersion equation. First, the average velocity and the dispersion coefficient are estimated by applying the modulating functions method, where the problem is transferred into solving a system of algebraic equations. Then, the modulating functions method combined with Newton's method is applied to estimate all three parameters simultaneously. Numerical results are presented with noisy measurements to show the effectiveness and the robustness of the proposed method.


title: Some integral representations and properties of Lah numbers

abstract: In the paper, the authors find some integral representations and discover some properties of Lah numbers.


title: Gate-tunable coherent perfect absorption of terahertz radiation in graphene

abstract: Perfect absorption of radiation in a graphene sheet may play a pivotal role in the realization of technologically relevant optoelectronic devices. In particular, perfect absorption of radiation in the terahertz (THz) spectral range would tremendously boost the utility of graphene in this difficult range of photon energies, which still lacks cheap and robust devices operating at room temperature. In this work we show that unpatterned graphene flakes deposited on appropriate substrates can display gate-tunable coherent perfect absorption (CPA) in the THz spectral range. We present theoretical estimates for the CPA operating frequency as a function of doping, which take into account the presence of common sources of disorder in graphene samples.


title: Discovery of new low-excitation planetary nebulae

abstract: We report a multi-wavelength study of four new planetary nebula (PN) candidates selected from the INT/WFC Photometric Ha Survey of the Northern Galactic Plane (IPHAS) and Deep Sky Hunter (DSH) catalogues. We present mid-resolution optical spectra of these PNs. The PN status of our sample was confirmed by optical narrow-band images and mid-resolution spectra. Based on the locations of these objects in the log (Ha/[N II]) versus log (Ha/[S II]) diagnostic diagram, we conclude that these sources are evolved lowexcitation PNs. The optical and infrared appearances of these newly discovered PNs are discussed. Three of the new nebulae studied here are detected in infrared and have low infrared-to-radio flux ratios, probably suggesting that they are evolved. Furthermore, we derive the dynamical ages and distances of these nebulae and study the spectral energy distribution for one of them with extensive infrared archival data.


title: Spatial Growth of the Current-Driven Instability in Relativistic Jets

abstract: We have investigated the influence of velocity shear and a radial density profile on the spatial development of the current driven kink instability along helically magnetized relativistic jets via three-dimensional relativistic magnetohydrodynamic simulations. In this study, we use a non-periodic computational box, the jet flow is initially established across the computational grid, and a precessional perturbation at the inlet triggers growth of the kink instability. If the velocity shear radius is located inside the characteristic radius of the helical magnetic field, a static non-propagating current driven kink is excited as the perturbation propagates down the jet. Temporal growth disrupts the initial flow across the computational grid not too far from the inlet. On the other hand, if the velocity shear radius is outside the characteristic radius of the helical magnetic field, the kink is advected with the flow and grows spatially down the jet. In this case flow is maintained to much larger distances from the inlet. The effect of different radial density profiles is more subtle. When the density increases with radius, the kink appears to saturate by the end of the simulation without apparent disruption of the helical twist. This behavior suggests that relativistic jets consisting of a tenuous spine surrounded by a denser medium with a velocity shear radius outside the radius of maximum toroidal magnetic field have a relatively stable configuration.


title: On Maximum, Typical and Generic Ranks

abstract: We show that for several notions of rank including tensor rank, Waring rank, and generalized rank with respect to a projective variety, the maximum value of rank is at most twice the generic rank. We show that over the real numbers, the maximum value of the real rank is at most twice the smallest typical rank, which is equal to the (complex) generic rank.


title: Design Patterns as Quality Influencing Factor in Object Oriented Design Approach

abstract: Object Oriented Design methodology is an emerging software development approach for complex systems with huge set of requirements. Unlike procedural approach, it captures the requirements as a set of data rather than services, encapsulated as a single entity. The success such a project relies on major factors like design patterns framework, key principles, metric standards and best practices adapted by the industry. The patterns are key structures for recursive problem bits in the problem domain. The combination of design patterns forms a framework which suits the problem statement in hand. The pattern includes static design and dynamic behavior of different types of entities which can be mapped as a functional diagram with cardinalities between them. The degree of cardinality represents the coupling factor which the industry perceives and measures for software design quality. The organization specific design principles and rich repository of on-the-shelf patterns are the major design-quality-influencing-factor contribute to software success. These are the asset of an industry to deliver a quality product to sustain itself in the competitive market.


title: Visualization of Object Oriented Modeling from the Perspective of Set theory

abstract: Language is a medium for communication of our thoughts. Natural language is too wide to conceive and formulate the thoughts and ideas in a precise way. As science and technology grows, the necessity of languages arouses through which the thoughts are expressed in a better manner. Set Theory is such a mathematical language for expressing the thought of interest in a realistic way. It is well suited for presenting object oriented solution model, since this implementation methodology analyzes and modulates the requirements in a realistic way. Since the design flaws are one of the factors for software failure, industries are focusing on minimizing the design defects through better solution modeling techniques and quality assessment practices. The Object Oriented (OO) solution space can be visualized using the language of Set theory with which the design architecture of modules can be well defined. It provides a strong base to quantify the relationships within and between the modules, which is a mode for measuring the complexity of solution design of any software projects. This paper provides a visualization of OO modeling from the perspective of Set theory. Thereby, it paves the path for the designers to effectively design the application which is one of the challenges of a project development. Further, this mode of visualization enables one to effectively measure and controls the design complexity leading towards reducing the design flaws and enhanced software quality.


title: Factors Modulating Software Design Quality

abstract: Object oriented approach is one of the popular software development approach for managing complex systems with massive set of requirements. Unlike procedural approach, this approach captures the requirements as set of data rather than services. Further, class is considered as a key unit of the solution-domain with data and services wrapped together, representing architectural design of a basic module. Thus, system complexity is directly related to the number of modules and the degree of interaction between them. This could be mapped as a functional diagram with cardinalities between the modules. However, complexity is always a threat to quality at each stage of software development. Design phase is therefore one of the core influencing phases during development that selects the right architecture based on the problem statement which is bound to be measured for quality. Hence, software industries adapts several organization- specific principles, domain-specific patterns, metric standards and best practices to improve and measure the quality of both process and product. The paper highlights the factors which influence the overall design quality and metrics implication in improving the quality of final product. It also presents the solution domain as an interdependent layered architecture which has a greater impact on concluding the quality of the end product. This approach of design is a unique contribution to the domain of Object Oriented approach of software development. It also focuses on design metrics which ensures the implementation of right choice of design towards the retention of quality of the product.


title: Significance of Coupling and Cohesion on Design Quality

abstract: In recent years, the complexity of the software is increasing due to automation of every segment of application. Software is nowhere remained as one-time development product since its architectural dimension is increasing with addition of new requirements over a short duration. Object Oriented Development (OOD) methodology is a popular development approach for such systems which perceives and models the requirements as real world entities. Classes and Objects logically represent the entities in the solution space and quality of the software is directly depending on the design quality of these logical entities. Cohesion and Coupling (C&C) are two major design decisive factors in OOD which impacts the design of a class and dependency between them in complex software. It is also most significant to measure C&C for software to control the complexity level as requirements increases. Several metrics are in practice to quantify C&C which plays a major role in measuring the design quality. The software industries are focusing on increasing and measuring the quality of the product through quality design to continue their market image in the competitive world. As a part of our research, this paper highlights on the impact of C&C on design quality of a complex system and its measures to quantify the overall quality of software.


title: Prediction of Human Performance Capability during Software Development using Classification

abstract: The quality of human capital is crucial for software companies to maintain competitive advantages in knowledge economy era. Software companies recognize superior talent as a business advantage. They increasingly recognize the critical linkage between effective talent and business success. However, software companies suffering from high turnover rates often find it hard to recruit the right talents. There is an urgent need to develop a personnel selection mechanism to find the talents who are the most suitable for their software projects. Data mining techniques assures exploring the information from the historical projects depending on which the project manager can make decisions for producing high quality software. This study aims to fill the gap by developing a data mining framework based on decision tree and association rules to refocus on criteria for personnel selection. An empirical study was conducted in a software company to support their hiring decision for project members. The results demonstrated that there is a need to refocus on selection criteria for quality objectives. Better selection criteria was identified by patterns obtained from data mining models by integrating knowledge from software project database and authors research techniques.


title: Empirical Study on Selection of Team Members for Software Projects - Data Mining Approach

abstract: One of the essential requisites of any software industry is the development of customer satisfied products. However, accomplishing the aforesaid business objective depends upon the depth of quality of product that is engineered in the organization. Thus, generation of high quality depends upon process, which is in turn depends upon the people. Existing scenario in IT industries demands a requirement for deploying the right personnel for achieving desirable quality in the product through the existing process. The goal of this paper is to identify the criteria which will be used in industrial practice to select members of a software project team, and to look for relationships between these criteria and project success. Using semi-structured interviews and qualitative methods for data analysis and synthesis, a set of team building criteria was identified from project managers in industry. The findings show that the consistent use of the set of criteria correlated significantly with project success, and the criteria related to human factors present strong correlations with software quality and thereby project success. This knowledge enables decision making for project managers in allocation of right personnel to realize desired level.


title: Thermal-orbital coupled tidal heating and habitability of Martian-sized extrasolar planets around M stars

abstract: M type stars are good targets in the search for habitable extrasolar planets. Because of their low effective temperatures, the habitable zone of M stars is very close to the star itself. For planets close to their stars, tidal heating plays an important role in thermal and orbital evolutions, especially when the planet orbit has a relatively large eccentricity. Although tidal heating interacts with the thermal state and orbit of the planet, such coupled calculations for extrasolar planets around M star have not been conducted. We perform coupled calculations using simple structural and orbital models, and analyze the thermal state and habitability of a terrestrial planet. Considering this planet to be Martian sized, the tide heats up and partially melts the mantle, maintaining an equilibrium state if the mass of the star is less than 0.2 times the mass of the Sun and the initial eccentricity of the orbit is more than 0.2. The reduction of heat dissipation due to the melted mantle allows the planet to stay in the habitable zone for more than 10 Gyr even though the orbital distance is small. The surface heat flux at the equilibrium state is between that of Mars and Io. The thermal state of the planet mainly depends on the initial value of the eccentricity and the mass of the star.


title: Enhancing Human Aspect of Software Engineering using Bayesian Classifier

abstract: IT industries in current scenario have to struggle effectively in terms of cost, quality, service or innovation for their subsistence in the global market. Due to the swift transformation of technology, software industries owe to manage a large set of data having precious information hidden. Data mining technique enables one to effectively cope with this hidden information where it can be applied to code optimization, fault prediction and other domains which modulates the success nature of software projects. Additionally, the efficiency of the product developed further depends upon the quality of the project personnel. The position of the paper therefore is to explore potentials of project personnel in terms of their competency and skill set and its influence on quality of project. The above mentioned objective is accomplished using a Bayesian classifier in order to capture the pattern of human performance. By this means, the hidden and valuable knowledge discovered in the related databases will be summarized in the statistical structure. This mode of predictive study enables the project managers to reduce the failure ratio to a significant level and improve the performance of the project using the right choice of project personnel.


title: Very Long Baseline Interferometry Measured Proper Motion and Parallax of the $\gamma$-ray Millisecond Pulsar PSR J0218+4232

abstract: PSR J0218$+$4232 is a millisecond pulsar (MSP) with a flux density $\sim$ 0.9 mJy at 1.4 GHz. It is very bright in the high-energy X-ray and $\gamma$-ray domains. We conducted an astrometric program using the European VLBI Network (EVN) at 1.6 GHz to measure its proper motion and parallax. A model-independent distance would also help constrain its $\gamma$-ray luminosity. We achieved a detection of signal-to-noise ratio S/N > 37 for the weak pulsar in all five epochs. Using an extragalactic radio source lying 20 arcmin away from the pulsar, we estimate the pulsar's proper motion to be $\mu_{\alpha}\cos\delta=5.35\pm0.05$ mas yr$^{-1}$ and $\mu_{\delta}=-3.74\pm 0.12$ mas yr$^{-1}$, and a parallax of $\pi=0.16\pm0.09$ mas. The very long baseline interferometry (VLBI) proper motion has significantly improved upon the estimates from long-term pulsar timing observations. The VLBI parallax provides the first model-independent distance constraints: $d=6.3^{+8.0}_{-2.3}$ kpc, with a corresponding $3\sigma$ lower-limit of $d=2.3$ kpc. This is the first pulsar trigonometric parallax measurement based solely on EVN observations. Using the derived distance, we believe that PSR J0218$+$4232 is the most energetic $\gamma$-ray MSP known to date. The luminosity based on even our 3$\sigma$ lower-limit distance is high enough to pose challenges to the conventional outer gap and slot gap models.


title: Sussing Merger Trees: the influence of the halo finder

abstract: Merger tree codes are routinely used to follow the growth and merger of dark matter haloes in simulations of cosmic structure formation. Whereas in Srisawat et. al. we compared the trees built using a wide variety of such codes here we study the influence of the underlying halo catalogue upon the resulting trees. We observe that the specifics of halo finding itself greatly influences the constructed merger trees. We find that the choices made to define the halo mass are of prime importance. For instance, amongst many potential options different finders select self-bound objects or spherical regions of defined overdensity, decide whether or not to include substructures within the mass returned and vary in their initial particle selection. The impact of these decisions is seen in tree length (the period of time a particularly halo can be traced back through the simulation), branching ratio (essentially the merger rate of \subhalos) and mass evolution. We therefore conclude that the choice of the underlying halo finder is more relevant to the process of building merger trees than the tree builder itself. We also report on some built-in features of specific merger tree codes that (sometimes) help to improve the quality of the merger trees produced.


title: Scaling for level statistics from self-consistent theory of localization

abstract: Accepting validity of self-consistent theory of localization by Vollhardt and Woelfle, we derive the relations of finite-size scaling for different parameters characterizing the level statistics. The obtained results are compared with the extensive numerical material for space dimensions d=2,3,4. On the level of raw data, the results of numerical experiments are compatible with the self-consistent theory, while the opposite statements of the original papers are related with ambiguity of interpretation and existence of small parameters of the Ginzburg number type.


title: Sequential Quantum Secret Sharing in a Noisy Environment aided with Weak Measurements

abstract: In this work we give a $(n,n)$-threshold protocol for sequential secret sharing of quantum information for the first time. By sequential secret sharing we refer to a situation where the dealer is not having all the secrets at the same time, at the beginning of the protocol; however if the dealer wishes to share secrets at subsequent phases she/he can realize it with the help of our protocol. First of all we present our protocol for three parties and later we generalize it for the situation where we have $(n>3)$ parties. Further in a much more realistic situation, we consider the sharing of qubits through two kinds of noisy channels, namely the phase damping channel (PDC) and the amplitude damping channel (ADC). When we carry out the sequential secret sharing in the presence of noise we observe that the fidelity of secret sharing at the $k^{th}$ iteration is independent of the effect of noise at the $(k-1)^{th}$ iteration. In case of ADC we have seen that the average fidelity of secret sharing drops down to $\frac{1}{2}$ which is equivalent to a random guess of the quantum secret. Interestingly, we find that by applying weak measurements one can enhance the average fidelity. This increase of the average fidelity can be achieved with certain trade off with the success probability of the weak measurements.


title: Turaev-Viro amplitudes from 2+1 Loop Quantum Gravity

abstract: The Turaev-Viro state sum model provides a covariant spin foam quantization of three-dimensional Riemannian gravity with a positive cosmological constant {\Lambda}. We complete the program to canonically quantize the theory in the BF formulation using the formalism of Loop Quantum Gravity. In particular, we show first how quantum group structures arise from the requirement of the constraint algebra to be anomaly free. This allows us to generalize the construction of the physical scalar product, from the {\Lambda} = 0 case, in presence of a positive {\Lambda}. We prove the equivalence between the covariant and canonical quantizations by recovering the spin foam amplitudes.


title: Interacting Quintessence Models of Dark Energy

abstract: In this paper we consider two models of quintessence scalar fields with different potentials. Interaction with generalized cosmic Chaplygin gas is also investigated. Cosmological parameters are studied and graphical behavior is analyzed. We find that our model is agree with observational data specially $\Lambda$CDM model.


title: Magnetic helicity of global field in cycles 23 and 24

abstract: For the first time we reconstruct the magnetic helicity density of global axisymmetric field of the Sun using method proposed by Brandenburg et al. (2003) and Pipin et al. (2013). To determine the components of the vector potential, we apply the gauge which is typically employed in mean-field dynamo models. This allows for a direct comparison of reconstructed helicity with the predictions from the mean-field dynamo models. We apply the method to two different data sets: the synoptic maps of line-of-sight (LOS) magnetic field from the Michelson Doppler Imager (MDI) on board of Solar and Heliospheric Observatory (SOHO) and vector magnetic field measurements from Vector Spectromagnetograph (VSM) on Synoptic Optical Long-term Investigations of the Sun (SOLIS) system. Based on the analysis of MDI/SOHO data, we find that in solar cycle 23 the global magnetic field had positive (negative) magnetic helicity in the northern (southern) hemisphere. This hemispheric sign asymmetry is opposite to helicity of solar active regions, but it is in agreement with the predictions of mean-field dynamo models. The data also suggest that the hemispheric helicity rule may have reversed its sign in early and late phases of cycle 23. Furthermore, the data indicate an imbalance in magnetic helicity between the northern and southern hemispheres. This imbalance seem to correlate with the total level of activity in each hemisphere in cycle 23. Magnetic helicity for rising phase of cycle 24 is derived from SOLIS/VSM data, and qualitatively, its latitudinal pattern is similar to the pattern derived from SOHO/MDI data for cycle 23.


title: A New 2+1 Dimensional Einstein Gravity Solution Coupled to Born-Infeld Electromagnetic Theory without Cosmological Constan

abstract: A new solution of the Einstein-Born-Infeld theory in 2+1 space-time is derived. A new solution has no horizon there are two singularity. This space-time has two singular points, however, one of the point at the origin is not in the physical region. We also investigate the energycondition. Then, weak energy condition is satisfied. However, causal energy condition is violated.


title: Compactness of Alexandrov-Nirenberg Surfaces

abstract: We study a class of compact surfaces in $\mathbb R^3$ introduced by Alexandrov and generalized by Nirenberg and prove a compactness result under suitable assumptions on induced metrics and Gauss curvatures.


title: Supporting Process Maturation with the Enhanced CoBRA Method

abstract: Cost estimation is a very crucial field for software developing companies. In the context of learning organizations, estimation applicability and accuracy are not the only acceptance criteria. The contribution of an estimation technique to the understanding and maturing of related organizational processes (such as identification of cost and productivity factors, measurement, data validation, model validation, model maintenance) has recently been gaining increasing importance. Yet, most of the proposed cost modeling approaches provide software engineers with hardly any assistance in supporting related processes. Insufficient support is provided for validating created cost models (including underlying data collection processes) or, if valid models are obtained, for applying them to achieve an organization's objectives such as improved productivity or reduced schedule. This paper presents an enhancement of the CoBRA(R) cost modeling method by systematically including additional quantitative methods into iterative analysis-feedback cycles. Applied at Oki Electric Industry Co., Ltd., Japan, the CoBRA(R) method contributed to the achievement of the following objectives, including: (1) maturation of existing measurement processes, (2) increased expertise of Oki software project decision makers regarding cost-related software processes, and, finally, (3) reduction of initial estimation error from an initial 120% down to 14%.


title: A Distributed Optimization Framework For Multi-channel Multi-user Small Cell Networks

abstract: Small cell enchantment is emerging as the key technique for wireless network evolution. One challenging problem for small cell enhancement is how to achieve high data rate with as-low-as-possible control and computation overheads. As a solution, we propose a low-complexity distributed optimization framework in this paper. Our solution includes two parts. One is a novel implicit information exchange mechanism that enables channel-aware opportunistic scheduling and resource allocation among links. The other is the sub-gradient based algorithm with a polynomial-time complexity. What is more, for large scale systems, we design an improved distributed algorithm based on insights obtained from the problem structure. This algorithm achieves a close-to-optimal performance with a much lower complexity. Our numerical evaluations validate the analytical results and show the advantage of our algorithms.


title: Coincidence Landscapes for Three-Channel Linear Optical Networks

abstract: We use permutation-group methods plus SU(3) group-theoretic methods to determine the action of a three-channel passive optical interferometer on controllably delayed single-photon pulse inputs to each channel. Permutation-group techniques allow us to relate directly expressions for rates and, in particular, investigate symmetries in the coincidence landscape. These techniques extend the traditional Hong-Ou-Mandel effect analysis for two-channel interferometry to valleys and plateaus in three-channel interferometry. Our group-theoretic approach is intuitively appealing because the calculus of Wigner $D$ functions partially accounts for permutational symmetries and directly reveals the connections among $D$ functions, partial distinguishability, and immanants.


title: General relationships between consumer dispersal, resource dispersal and metacommunity diversity

abstract: One of the central questions of metacommunity theory is how dispersal of organisms affects species diversity. Here we show that the diversity-dispersal relationship should not be studied in isolation of other abiotic and biotic flows in the metacommunity. We study a mechanistic metacommunity model in which consumer species compete for an abiotic or biotic resource. We consider both consumer species specialized to a habitat patch, and generalist species capable of using the resource throughout the metacommunity. We present analytical results for different limiting values of consumer dispersal and resource dispersal, and complement these results with simulations for intermediate dispersal values. Our analysis reveals generic patterns for the combined effects of consumer and resource dispersal on the metacommunity diversity of consumer species, and shows that hump-shaped relationships between local diversity and dispersal are not universal. Diversity-dispersal relationships can also be monotonically increasing or multimodal. Our work is a new step towards a general theory of metacommunity diversity integrating dispersal at multiple trophic levels.


title: Stochastic quantum dynamics beyond mean-field

abstract: Mean-field approaches where a complex fermionic many-body problem is replaced by an ensemble of independent particles in a self-consistent mean-field can describe many static and dynamical aspects. It generally provides a rather good approximation for the average properties of one-body degrees of freedom. However, the mean-field approximation generally fails to produce quantum fluctuations of collective motion. To overcome this difficulty, noise can be added to the mean-field theory leading to a stochastic description of the many-body problem. In the present work, we summarize recent progress in this field and discuss approaches where fluctuations have been added either to the initial time, like in the Stochastic Mean-Field theory or continuously in time as in the Stochastic Time-Dependent Hartree-Fock. In some cases, the initial problem can even be re-formulated exactly by introducing Quantum Monte-Carlo methods in real-time. The possibility to describe superfluid systems is also invoked. Successes and shortcomings of the different beyond mean-field theories are discussed and illustrated.


title: GraphX: Unifying Data-Parallel and Graph-Parallel Analytics

abstract: From social networks to language modeling, the growing scale and importance of graph data has driven the development of numerous new graph-parallel systems (e.g., Pregel, GraphLab). By restricting the computation that can be expressed and introducing new techniques to partition and distribute the graph, these systems can efficiently execute iterative graph algorithms orders of magnitude faster than more general data-parallel systems. However, the same restrictions that enable the performance gains also make it difficult to express many of the important stages in a typical graph-analytics pipeline: constructing the graph, modifying its structure, or expressing computation that spans multiple graphs. As a consequence, existing graph analytics pipelines compose graph-parallel and data-parallel systems using external storage systems, leading to extensive data movement and complicated programming model. To address these challenges we introduce GraphX, a distributed graph computation framework that unifies graph-parallel and data-parallel computation. GraphX provides a small, core set of graph-parallel operators expressive enough to implement the Pregel and PowerGraph abstractions, yet simple enough to be cast in relational algebra. GraphX uses a collection of query optimization techniques such as automatic join rewrites to efficiently implement these graph-parallel operators. We evaluate GraphX on real-world graphs and workloads and demonstrate that GraphX achieves comparable performance as specialized graph computation systems, while outperforming them in end-to-end graph pipelines. Moreover, GraphX achieves a balance between expressiveness, performance, and ease of use.


title: Lineshapes in coherent anti-Stokes Raman spectra of gases

abstract: We introduce new lineshapes of coherent anti-Stokes Raman spectra of gases by considering realistic nanosecond laser pulses that deviate from the Gaussian representations of their time and spectral envelopes. The analysis suggests that the contribution to the linewidth caused by the interaction with such laser pulses could be erroneously attributed to the intrinsic Raman width if the customary CARS approach, based primarily on the Voigt lineshape, is assumed.


title: Spectroscopy of the D1-transition of cesium by dressed-state resonance fluorescence from a single (In,Ga)As/GaAs quantum dot

abstract: We use a laser-driven single (In,Ga)As quantum dot (QD) in the dressed state regime of resonance fluorescence ($T = 4$ K) to observe the four $D_1$-transition lines of alkali atomic cesium ($Cs$) vapor at room temperature. We tune the frequency of the dressing continuous-wave laser in the vicinity of the bare QD resonance $\sim 335.116$ THz ($\sim 894.592$ nm) at constant excitation power and thereby controllably tune the center and side channel frequencies of the probe light, i.e. the Mollow triplet. Resonances between individual QD Mollow triplet lines and the atomic hyperfine-split transitions are clearly identified in the $Cs$ absorption spectrum. Our results show that narrow-band (In,Ga)As QD resonance fluorescence (RF) is suitable to optically address individual transitions of the $D_1$ quadruplet without applying magnetic field or electric field tuning.


title: Positively curved GKM-manifolds

abstract: Let T be a torus of dimension at least k and M a T-manifold. M is a GKM_k-manifold if the action is equivariantly formal, has only isolated fixed points, and any k weights of the isotropy representation in the fixed points are linearly independent. In this paper we compute the cohomology rings with real and integer coefficients of GKM_3- and GKM_4-manifolds which admit invariant metrics of positive sectional curvature.


title: Reproduction of Experimental Gap Structure in LiFeAs based on the Orbital-Spin Fluctuation Theory: $s_{++}$-wave, $s_\pm$-wave, and hole-$s_\pm$-wave states

abstract: The absence of nesting between electron and hole-pockets in LiFeAs with $T_c = 18$K attracts great attention, as an important hint to understand the pairing mechanism of Fe-based superconductors. Here, we study the five-orbital model of LiFeAs based on the recently-developed orbital-spin fluctuation theories. It is found that the experimentally observed gap structure of LiFeAs, which is a "fingerprint" of the pairing mechanism, is quantitatively reproduced in terms of the orbital-fluctuation-mediated $s_{++}$-wave state. Especially, the largest gap observed on the small two hole-pockets composed of ($d_{xz}, d_{yz}$) orbitals can be explained, and this is a hallmark of the orbital-fluctuation-mediated superconductivity. The $s_{++}$-wave gap structure becomes more anisotropic in the presence of weak spin fluctuations. As the spin fluctuations increase, we obtain the "hole-$s_\pm$-wave state", in which only the gap of the large hole-pocket made of $d_{xy}$-orbital is sign-reversed, due to the cooperation of orbital and spin fluctuations. %out of the five pockets. This gap structure with "sign-reversal between hole-pockets" is similar to that recently reported in (Ba,K)Fe$_2$As$_2$.


title: Quantum spin Hall insulators and quantum valley Hall insulators of BiX/SbX (X = H, F, Cl, and Br) monolayers with a record bulk band gap

abstract: Large bulk band gap is critical for application of the quantum spin Hall (QSH) insulator or two dimensional (2D) topological insulator (TI) in spintronic device operating at room temperature (RT). Based on the first-principles calculations, here we predict a group of 2D topological insulators BiX/SbX (X = H, F, Cl, and Br) monolayers with extraordinarily large bulk gaps from 0.32 to a record value of 1.08 eV. These giant-gaps are entirely due to the result of strong spin-orbit interaction related to px and py orbitals of Bi/Sb atoms around the two valley K and K' of honeycomb lattice, which is different significantly from the one consisted of pz orbital just like in graphene/silicene. The topological characteristic of BiX/SbX monolayers is confirmed by the calculated nontrivial Z2 index and an explicit construction of the low energy effective Hamiltonian in these systems. We show that the honeycomb structures of BiX monolayers remain stable even at a temperature of 600 K. These features make the giant-gap TIs BiX/SbX monolayers an ideal platform to realize many exotic phenomena and fabricate new quantum devices operating at RT. Furthermore, biased BiX/SbX monolayers become a quantum valley Hall insulator, showing valley-selective circular dichroism.


title: Density dependence of the Ionization Avalanche in ultracold Rydberg gases

abstract: We report on the behaviour of the ionization avalanche in an ensemble of ultracold 87Rb atoms coupled to a high lying Rydberg state and investigate extensions to the current model by including the effects of three-body recombination and plasma expansion. To separate the two effects we study the time dependence of the plasma formation at various densities as well as for different nS and nD states. At medium densities and low n we observe the onset of the avalanche as has been reported in other experiments, as well as a subsequent turn-off of the avalanche for longer excitation times, which we associate with plasma expansion. At higher densities and for higher lying Rydberg states we observe a disappearance of the avalanche signature, which we attribute to three-body recombination.


title: Kinetic description of mixtures of anisotropic fluids

abstract: A simple system of coupled kinetic equations for quark and gluon anisotropic systems is solved numerically. The solutions are compared with the predictions of the anisotropic hydrodynamics describing a mixture of anisotropic fluids. We find that the solutions of the kinetic equations can be well reproduced by anisotropic hydrodynamics if the initial distribution are oblate for both quarks and gluons. On the other hand, the solutions of the kinetic equations have a different qualitative behavior from those obtained in anisotropic hydrodynamics if the initial configurations are oblate-prolate or prolate-prolate. This suggests that an extension of the anisotropic hydrodynamics scheme for the mixture of anisotropic fluids is needed, where higher moments of the kinetic equations are used and present simplifications are avoided.


title: Local asymptotics for controlled martingales

abstract: We consider controlled martingales with bounded steps where the controller is allowed at each step to choose the distribution of the next step, and where the goal is to hit a fixed ball at the origin at time $n$. We show that the algebraic rate of decay (as $n$ increases to infinity) of the value function in the discrete setup coincides with its continuous counterpart, provided a reachability assumption is satisfied. We also study in some detail the uniformly elliptic case and obtain explicit bounds on the rate of decay. This generalizes and improves upon several recent studies of the one dimensional case, and is a discrete analogue of a stochastic control problem recently investigated in Armstrong and Trokhimtchouck [Calc. Var. Partial Differential Equations 38 (2010) 521-540].


title: Lower bounds for the approximation with variation-diminishing splines

abstract: We prove lower bounds for the approximation error of the variation-diminishing Schoenberg operator on the interval $[0,1]$ in terms of classical moduli of smoothness depending on the degree of the spline basis using a functional analysis based framework. Thereby, we characterize the spectrum of the Schoenberg operator and investigate the asymptotic behavior of its iterates. Finally, we prove the equivalence between the approximation error and the classical second order modulus of smoothness as an improved version of an open conjecture from 2002.


title: Virtual Learning Environments-A Survey

abstract: This paper is based on the study of existing literature, highlights the current state of the work proposed to implement technically enhanced learning. Technology developments and network infrastructure improvements, specifically the world wide web) are providing exciting opportunities for the use of computers in all areas. These developments have fit together with an evolving role for education as more students wish to study at a distance, part time, or wish to integrate their education with their professional career. With the market becoming increasingly mature, e learning has almost become a major plank in both national and institutional strategies. At the same time, virtual learning system is also gaining its popularity among its users. It has brought in a great revolution in itself. In the advanced learning strategy, virtual learning systems depends on level and sector of working, usage of functions, purpose of usage, required online resources to perform computationally intensive operations such as information sharing and collaborative work. Often the institutions prefer the latest and the best technology which is cost effective and provide the best features which meet up all requirements. Virtual learning environment enables operator professional to bring together in one place a variety of prevailing resources, suchlike tasks and formative feedback, and links to law reports, statutes and journal articles, all intended at summing up value to student learning managing learning experience without the burden of communication and providing successful delivery of education and training with flexibility. In spite of the hype achieved by organizations in technically enhanced learning, the growth of the virtual learning systems users is still below expectations due to the risks associated with the implementation strategy and provision of technical support.


title: The influence of primordial magnetic fields on the spherical collapse model in cosmology

abstract: Despite the ever growing observational evidence for the existence of the large scale magnetic fields, their origin and the evolution are not fully understood. If the magnetic fields are of primordial origin, they result in the generation of the secondary matter density perturbations and the previous studies show that such density perturbations enhance the number of dark matter halos. We extend the conventional spherical collapse model by including the Lorentz force which has not been implemented in the previous analysis to study the evolution of density perturbations produced by primordial magnetic fields. The critical over-density $\delta_{\rm c}$ characterizing the halo mass function turns out to be a bigger value, $\delta_{\rm c}\simeq 1.78$, than the conventional one $\delta_{\rm c}\simeq 1.69$ for the perturbations evolved only by the gravitational force. The difference in $\delta_{\rm c}$ between our model and the fully matter dominated cosmological model is small at a low redshift and, hence, only the high mass tail of the mass function is affected by the magnetic fields. At a high redshift, on the other hand, the difference in $\delta_{\rm c}$ becomes large enough to suppress the halo abundance over a wide range of mass scales. The halo abundance is reduced for instance by as large a factor as $\sim10^5$ at $z=9$.


title: Design, fabrication and characterization of the first AC-coupled silicon microstrip sensors in India

abstract: This paper reports the design, fabrication and characterization of single-sided silicon microstrip sensors with integrated biasing resistors and coupling capacitors, produced for the first time in India. We have first developed a prototype sensor on a four-inch wafer. After finding suitable test procedures for characterizing these AC coupled sensors, we have fine-tuned various process parameters in order to produce sensors with the desired specifications.


title: Stability of a superposition of shock waves with contact discontinuities for the Jin-Xin relaxation system

abstract: In this paper, we consider the large time asymptotic nonlinear stability of a superposition of shock waves with contact discontinuities for the one dimensional Jin-Xin relaxation system with small initial perturbations, provided that the strengths of waves are small with the same order. The results are obtained by elementary weighted energy estimates based on the underlying wave structure and an estimate on the heat equation.


title: On Bott-Chern cohomology of compact complex surfaces

abstract: We study Bott-Chern cohomology on compact complex non-K\"ahler surfaces. In particular, we compute such a cohomology for compact complex surfaces in class $\text{VII}$ and for compact complex surfaces diffeomorphic to solvmanifolds.


title: A Generalized Apagodu-Zeilberger Algorithm

abstract: The Apagodu-Zeilberger algorithm can be used for computing annihilating operators for definite sums over hypergeometric terms, or for definite integrals over hyperexponential functions. In this paper, we propose a generalization of this algorithm which is applicable to arbitrary $\partial$-finite functions. In analogy to the hypergeometric case, we introduce the notion of proper $\partial$-finite functions. We show that the algorithm always succeeds for these functions, and we give a tight a priori bound for the order of the output operator.


title: Incremental QBF Solving

abstract: We consider the problem of incrementally solving a sequence of quantified Boolean formulae (QBF). Incremental solving aims at using information learned from one formula in the process of solving the next formulae in the sequence. Based on a general overview of the problem and related challenges, we present an approach to incremental QBF solving which is application-independent and hence applicable to QBF encodings of arbitrary problems. We implemented this approach in our incremental search-based QBF solver DepQBF and report on implementation details. Experimental results illustrate the potential benefits of incremental solving in QBF-based workflows.


title: Information transmission and control in a chaotically kicked spin chain

abstract: We study spin chains submitted to disturbed kick trains described by classical dynamical processes. The spin chains are coupled by Heisenberg and Ising-Z models. We consider chaotic processes by using the kick irregularity in the multipartite system (the spin chain). We show that the both couplings transmit differently the chaos disorder along the spin chain but conserve the horizon of coherence (when the disorder into the kick bath is transmitted to the spin chain). An example of information transmission between the spins of the chain coupled by a Heisenberg interaction shows the interest of the horizon of coherence. The use of some chosen stationary kicks disturbed by a chaotic environment allows to modify the information transmission between the spins and to perform a free control during the horizon of coherence.


title: Quantum Oscillations in EuFe2As2 single crystals

abstract: Quantum oscillation measurements can provide important information about the Fermi surface (FS) properties of strongly correlated metals. Here, we report a Shubnikov-de Haas (SdH) effect study on the pnictide parent compounds EuFe$_{2}$As$_{2}$ (Eu122) and BaFe$_{2}$As$_{2}$ (Ba122) grown by In-flux. Although both members are isovalent compounds with approximately the same density of states at the Fermi level, our results reveal subtle changes in their fermiology. Eu122 displays a complex pattern in the Fourier spectrum, with band splitting, magnetic breakdown orbits, and effective masses sistematically larger when compared to Ba122, indicating that the former is a more correlated metal. Moreover, the observed pockets in Eu122 are more isotropic and 3D-like, suggesting an equal contribution from the Fe $3d$ orbitals to the FS. We speculate that these FS changes may be responsible for the higher spin-density wave ordering temperature in Eu122.


title: Entanglement witnesses: construction, analysis and classification

abstract: From the physical point of view entanglement witnesses define a universal tool for analysis and classification of quantum entangled states. From the mathematical point of view they provide highly nontrivial generalization of positive operators and they find elegant correspondence with the theory of positive maps in matrix algebras. We concentrate on theoretical analysis of various important notions like (in)decomposability, atomicity, optimality, extremality and exposedness. Several methods of construction are provided as well. Our discussion is illustrated by many examples enabling the reader to see the intricate structure of these objects. It is shown that the theory of entanglement witnesses finds elegant geometric formulation in terms of convex cones and related geometric structures.


title: Information is not physical

abstract: The standard relations between information theory and thermodynamics are challenged. The Szilard engine is revisited and the bound proposed by Landauer is replaced by a different one which includes errors in information processing. Instead of equivalence, complementarity of information and thermodynamical entropy is advocated. Finally, the relations between error correction and self-replication of states which can carry information are discussed.


title: Reversible Squaring Circuit For Low Power Digital Signal Processing

abstract: With the high demand of low power digital systems, energy dissipation in the digital system is one of the limiting factors. Reversible logic is one of the alternate to reduce heat/energy dissipation in the digital circuits and have a very significant importance in bioinformatics, optical information processing, CMOS design etc. In this paper the authors propose the design of new 2- bit binary Squaring circuit used in most of the digital signal processing hardware using Feynman & MUX gate. The proposed squaring circuit having less garbage outputs, constant inputs, Quantum cost and Total logical calculation i.e. less delay as compared to the traditional method of squaring operation by reversible multiplier. The simulating results and quantized results are also shown in the paper which shows the greatest improvement in the design against the previous methodology.


title: Resonant and antiresonant bouncing droplets

abstract: When placed onto a vibrating liquid bath, a droplet may adopt a permanent bouncing behavior, depending on both the forcing frequency and the forcing amplitude. The relationship between the droplet deformations and the bouncing mechanism is studied experimentally and theoretically through an asymmetric and dissipative bouncing spring model. Antiresonance effects are evidenced. Experiments and theoretical predictions show that both resonance at specific frequencies and antiresonance at Rayleigh frequencies play crucial roles in the bouncing mechanism. In particular, we show that they can be exploited for droplet size selection.


title: Reciprocal NUT spacetimes

abstract: In this paper, we study the \texttt{Ehlers' transformation} (sometimes called gravitational duality rotation) for \texttt{reciprocal} static metrics. First we introduce the concept of reciprocal metric. We prove a theorem which shows how we can construct a certain new static solution of Einstein field equations using a seed metric. Later we investigate the family of stationary spacetimes of such reciprocal metrics. The key here is a theorem from Ehlers', which relates any static vacuum solution to a unique stationary metric. The stationary metric has a magnetic charge. The spacetime represents Newman -Unti-Tamburino (NUT) solutions. Since any stationary spacetime can be decomposed into a $1+3$ time-space decomposition, Einstein field equations for any stationary spacetime can be written in the form of Maxwell's equations for gravitoelectromagnetic fields. Further we show that this set of equations is invariant under reciprocal transformations. An additional point is that the NUT charge changes the sign. As an instructive example, by starting from the reciprocal Schwarzschild as a spherically symmetric solution and reciprocal Morgan-Morgan disk model as seed metrics we find their corresponding stationary space-times. Starting from any static seed metric, performing the reciprocal transformation and by applying an additional Ehlers' transforation we obtain a family of NUT spaces with negative NUT factor (reciprocal NUT factors).


title: Muon cooling: longitudinal compression

abstract: A 10 MeV/c $\mu^+$ beam was stopped in helium gas of a few mbar in a magnetic field of 5 T. The muon 'swarm' has been efficiently compressed from a length of 16 cm down to a few mm along the magnetic field axis (longitudinal compression) using electrostatic fields. The simulation reproduces the low energy interactions of slow muons in helium gas. Phase space compression occurs on the order of microseconds, compatible with the muon lifetime of 2 $\mu$s. This paves the way for preparation of a high quality muon beam.


title: Soft modes and non-affine rearrangements in the inherent structures of supercooled liquids

abstract: We find that the hierarchical organization of the potential energy landscape in a model supercooled liquid can be related to a change in the spatial distribution of soft normal modes. For groups of nearby minima, between which fast relaxation processes typically occur, the localization of the soft modes is very similar. The spatial distribution of soft regions changes, instead, for minima between which transitions relevant to structural relaxation occur. This may be the reason why the soft modes are able to predict spatial heterogeneities in the dynamics. Nevertheless, the very softest modes are only weakly correlated with dynamical heterogeneities, and instead show higher statistical overlap with regions in the local minima that would undergo non-affine rearrangements if subjected to a shear deformation. This feature of the supercooled liquid is reminiscent of the behavior of non-affine deformations in amorphous solids, where the very softest modes identify the {\it loci} of plastic instabilities.


title: L-Shape based Layout Fracturing for E-Beam Lithography

abstract: Layout fracturing is a fundamental step in mask data preparation and e-beam lithography (EBL) writing. To increase EBL throughput, recently a new L-shape writing strategy is proposed, which calls for new L-shape fracturing, versus the conventional rectangular fracturing. Meanwhile, during layout fracturing, one must minimize very small/narrow features, also called slivers, due to manufacturability concern. This paper addresses this new research problem of how to perform L-shaped fracturing with sliver minimization. We propose two novel algorithms. The first one, rectangular merging (RM), starts from a set of rectangular fractures and merges them optimally to form L-shape fracturing. The second algorithm, direct L-shape fracturing (DLF), directly and effectively fractures the input layouts into L-shapes with sliver minimization. The experimental results show that our algorithms are very effective.


title: Meridional trapping and zonal propagation of inertial waves in a rotating fluid shell

abstract: Inertial waves propagate in homogeneous rotating fluids, and constitute a challenging and simplified case study for the broader class of inertio-gravity waves, present in all geophysical and astrophysical media, and responsible for energetically costly processes as diapycnal and angular momentum mixing. However, a complete analytical description and understanding of internal waves in arbitrarily shaped enclosed domains, such as the ocean, or a planet liquid core, is still missing. In this work, the inviscid, linear inertial wave field is investigated by means of three dimensional ray tracing in spherical shell domains, having in mind possible oceanographic applications. Rays are here classically interpreted as representative of energy paths. But in contrast with previous studies, they are now launched with a non-zero initial zonal component allowing for a more realistic, localized forcing, and the development of azimuthal inhomogeneities. We find that meridional planes generally act in the shell geometry as attractors for ray trajectories. In addition, the existence of trajectories that are not subject to meridional trapping is here observed for the first time. Their dynamics was not captured by the previous purely meridional studies and unveils a new class of possible solutions for inertial motion in the spherical shell. Both observed behaviours shed some new light on possible mechanisms of energy localization, a key process that still deserves further investigation in our ocean, as well as in other stratified, rotating media.


title: Affinity and Fluctuations in a Mesoscopic Noria

abstract: We exhibit the invariance of cycle affinities in finite state Markov processes under various natural probabilistic constructions, for instance under conditioning and under a new combinatorial construction that we call ``drag and drop''. We show that cycle affinities have a natural probabilistic meaning related to first passage non-equilibrium fluctuation relations that we establish.


title: Interface between path and OAM entanglement for high-dimensional photonic quantum information

abstract: Photonics has become a mature field of quantum information science, where integrated optical circuits offer a way to scale the complexity of the setup as well as the dimensionality of the quantum state. On photonic chips, paths are the natural way to encode information. To distribute those high-dimensional quantum states over large distances, transverse spatial modes, like orbital angular momentum (OAM) possessing Laguerre Gauss modes, are favourable as flying information carriers. Here we demonstrate a quantum interface between these two vibrant photonic fields. We create three-dimensional path entanglement between two photons in a non-linear crystal and use a mode sorter as the quantum interface to transfer the entanglement to the OAM degree of freedom. Thus our results show a novel, flexible way to create high-dimensional spatial mode entanglement. Moreover, they pave the way to implement broad complex quantum networks where high-dimensionally entangled states could be distributed over distant photonic chips.


title: Can one hear the shape of a population history?

abstract: Reconstructing past population size from present day genetic data is a major goal of population genetics. Recent empirical studies infer population size history using coalescent-based models applied to a small number of individuals. Here we provide tight bounds on the amount of exact coalescence time data needed to recover the population size history of a single, panmictic population at a certain level of accuracy. In practice, coalescence times are estimated from sequence data and so our lower bounds should be taken as rather conservative.


title: Triple Patterning Lithography (TPL) Layout Decomposition using End-Cutting

abstract: Triple patterning lithography (TPL) is one of the most promising techniques in the 14nm logic node and beyond. However, traditional LELELE type TPL technology suffers from native conflict and overlapping problems. Recently LELEEC process was proposed to overcome the limitations, where the third mask is used to generate the end-cuts. In this paper we propose the first study for LELEEC layout decomposition. Conflict graphs and end-cut graphs are constructed to extract all the geometrical relationships of input layout and end-cut candidates. Based on these graphs, integer linear programming (ILP) is formulated to minimize the conflict number and the stitch number.


title: Imaging with Rays: Microscopy, Medical Imaging, and Computer Vision

abstract: In this paper we broadly consider techniques which utilize projections on rays for data collection, with particular emphasis on optical techniques. We formulate a variety of imaging techniques as either special cases or extensions of tomographic reconstruction. We then consider how the techniques must be extended to describe objects containing occlusion, as with a self-occluding opaque object. We formulate the reconstruction problem as a regularized nonlinear optimization problem to simultaneously solve for object brightness and attenuation, where the attenuation can become infinite. We demonstrate various simulated examples for imaging opaque objects, including sparse point sources, a conventional multiview reconstruction technique, and a super-resolving technique which exploits occlusion to resolve an image.


title: An evaluation of keyword extraction from online communication for the characterisation of social relations

abstract: The set of interpersonal relationships on a social network service or a similar online community is usually highly heterogenous. The concept of tie strength captures only one aspect of this heterogeneity. Since the unstructured text content of online communication artefacts is a salient source of information about a social relationship, we investigate the utility of keywords extracted from the message body as a representation of the relationship's characteristics as reflected by the conversation topics. Keyword extraction is performed using standard natural language processing methods. Communication data and human assessments of the extracted keywords are obtained from Facebook users via a custom application. The overall positive quality assessment provides evidence that the keywords indeed convey relevant information about the relationship.


title: Topological Amplitudes and the String Effective Action

abstract: In this work, we study a class of higher derivative couplings in the string effective action arising at the junction of topological string theory and supersymmetric gauge theories in the $\Omega$-background. They generalise a series of gravitational couplings involving gravitons and graviphotons, which reproduces the topological string theory partition function. The latter reduces, in the field theory limit, to the partition function of the gauge theory in the $\Omega$-background when one if its parameters, say $\epsilon_+$, is set to zero. This suggests the existence of a one-parameter extension called the refined topological string. The couplings considered in this work involve an additional vector multiplet and are evaluated, perturbatively and non-perturbatively, at the string level. In the field theory limit, they correctly reproduce the partition function of the gauge theory in a general $\Omega$-background. Hence, these couplings provide new perspectives toward a worldsheet definition of the refined topological string.


title: Algorithmic aspects of Lipschitz functions

abstract: We characterize the variation functions of computable Lipschitz functions. We show that a real z is computably random if and only if every computable Lipschitz function is differentiable at z. Beyond these principal results, we show that a real z is Schnorr random if and only if every Lipschitz function with $L_1$-computable derivative is differentiable at z.


title: Photon localization versus population trapping in a coupled-cavity array

abstract: We consider a coupled-cavity array (CCA), where one cavity interacts with a two-level atom under the rotating-wave approximation. We investigate the excitation transport dynamics across the array, which arises in the atom's emission process into the CCA vacuum. Due to the known formation of atom-photon bound states, partial field localization and atomic population trapping in general take place. We study the functional dependance on the coupling strength of these two phenomena and show that the threshold values beyond which they become significant are different. As the coupling strength grows from zero, field localization is exhibited first.


title: RG limit cycles

abstract: In this review we consider the concept of limit cycles in the renormalization group flows. The examples of this phenomena in the quantum mechanics and field theory will be presented.


title: Random loops and conformal field theory

abstract: This is a review of results obtained by the author concerning the relation between conformally invariant random loops and conformal field theory. This review also attempts to provide a physical context in which to interpret these results by making connections with aspects of the nucleation theory of phase transitions and with general properties of criticality.


title: The nested simple conformal loop ensembles in the Riemann sphere

abstract: Simple conformal loop ensembles (CLE) are a class of random collection of simple non-intersecting loops that are of particular interest in the study of conformally invariant systems. Among other things related to these CLEs, we prove the invariance in distribution of their nested "full-plane" versions under the inversion $z \mapsto 1/z$.


title: Measuring Z2 topological invariants in optical lattices using interferometry

abstract: We propose an interferometric method to measure Z2 topological invariants of time-reversal invariant topological insulators realized with optical lattices in two and three dimensions. We suggest two schemes which both rely on a combination of Bloch oscillations with Ramsey interferometry and can be implemented using standard tools of atomic physics. In contrast to topological Zak phase and Chern number, defined for individual 1D and 2D Bloch bands, the formulation of the Z2 invariant involves at least two Bloch bands related by time- reversal symmetry which one has keep track of in measurements. In one of our schemes this can be achieved by the measurement of Wilson loops, which are non-Abelian generalizations of Zak phases. The winding of their eigenvalues is related to the Z2 invariant. We thereby demonstrate that Wilson loops are not just theoretical concepts but can be measured experimentally. For the second scheme we introduce a generalization of time-reversal polarization which is continuous throughout the Brillouin zone. We show that its winding over half the Brillouin zone yields the Z2 invariant. To measure this winding, our protocol only requires Bloch oscillations within a single band, supplemented by coherent transitions to a second band which can be realized by lattice-shaking.


title: E-BLOW: E-Beam Lithography Overlapping aware Stencil Planning for MCC System

abstract: Electron beam lithography (EBL) is a promising maskless solution for the technology beyond 14nm logic node. To overcome its throughput limitation, recently the traditional EBL system is extended into MCC system. %to further improve the throughput. In this paper, we present E-BLOW, a tool to solve the overlapping aware stencil planning (OSP) problems in MCC system. E-BLOW is integrated with several novel speedup techniques, i.e., successive relaxation, dynamic programming and KD-Tree based clustering, to achieve a good performance in terms of runtime and solution quality. Experimental results show that, compared with previous works, E-BLOW demonstrates better performance for both conventional EBL system and MCC system.


title: Locally covariant quantum field theory with external sources

abstract: We provide a detailed analysis of the classical and quantized theory of a multiplet of inhomogeneous Klein-Gordon fields, which couple to the spacetime metric and also to an external source term; thus the solutions form an affine space. Following the formulation of affine field theories in terms of presymplectic vector spaces as proposed in [Annales Henri Poincare 15, 171 (2014)], we determine the relative Cauchy evolution induced by metric as well as source term perturbations and compute the automorphism group of natural isomorphisms of the presymplectic vector space functor. Two pathological features of this formulation are revealed: the automorphism group contains elements that cannot be interpreted as global gauge transformations of the theory; moreover, the presymplectic formulation does not respect a natural requirement on composition of subsystems. We therefore propose a systematic strategy to improve the original description of affine field theories at the classical and quantized level, first passing to a Poisson algebra description in the classical case. The idea is to consider state spaces on the classical and quantum algebras suggested by the physics of the theory (in the classical case, we use the affine solution space). The state spaces are not separating for the algebras, indicating a redundancy in the description. Removing this redundancy by a quotient, a functorial theory is obtained that is free of the above mentioned pathologies. These techniques are applicable to general affine field theories and Abelian gauge theories. The resulting quantized theory is shown to be dynamically local.


title: On-line approach to off-line coloring problems on graphs with geometric representations

abstract: The main goal of this paper is to formalize and explore a connection between chromatic properties of graphs with geometric representations and competitive analysis of on-line algorithms, which became apparent after the recent construction of triangle-free geometric intersection graphs with arbitrarily large chromatic number due to Pawlik et al. We show that on-line graph coloring problems give rise to classes of game graphs with a natural geometric interpretation. We use this concept to estimate the chromatic number of graphs with geometric representations by finding, for appropriate simpler graphs, on-line coloring algorithms using few colors or proving that no such algorithms exist. We derive upper and lower bounds on the maximum chromatic number that rectangle overlap graphs, subtree overlap graphs, and interval filament graphs (all of which generalize interval overlap graphs) can have when their clique number is bounded. The bounds are absolute for interval filament graphs and asymptotic of the form $(\log\log n)^{f(\omega)}$ for rectangle and subtree overlap graphs, where $f(\omega)$ is a polynomial function of the clique number and $n$ is the number of vertices. In particular, we provide the first construction of geometric intersection graphs with bounded clique number and with chromatic number asymptotically greater than $\log\log n$. We also introduce a concept of $K_k$-free colorings and show that for some geometric representations, $K_3$-free chromatic number can be bounded in terms of clique number although the ordinary ($K_2$-free) chromatic number cannot. Such a result for segment intersection graphs would imply a well-known conjecture that $k$-quasi-planar geometric graphs have linearly many edges.


title: Absorption enhancement in photonic crystal thin films by pseudo disordered perturbations

abstract: The effects resulting from the introduction of a controlled perturbation in a single pattern membrane on its absorption are first studied and then analyzed on the basis of band folding considerations. The interest of this approach for photovoltaic applications is finally demonstrated by overcoming the integrated absorption of an optimized single pattern membrane through the introduction of a proper pseudo disordered perturbation.


title: Boundary Element and Finite Element Coupling for Aeroacoustics Simulations

abstract: We consider the scattering of acoustic perturbations in a presence of a flow. We suppose that the space can be split into a zone where the flow is uniform and a zone where the flow is potential. In the first zone, we apply a Prandtl-Glauert transformation to recover the Helmholtz equation. The well-known setting of boundary element method for the Helmholtz equation is available. In the second zone, the flow quantities are space dependent, we have to consider a local resolution, namely the finite element method. Herein, we carry out the coupling of these two methods and present various applications and validation test cases. The source term is given through the decomposition of an incident acoustic field on a section of the computational domain's boundary.


title: Validation Experiments for LBM Simulations of Electron Beam Melting

abstract: This paper validates 3D simulation results of electron beam melting (EBM) processes comparing experimental and numerical data. The physical setup is presented which is discretized by a three dimensional (3D) thermal lattice Boltzmann method (LBM). An experimental process window is used for the validation depending on the line energy injected into the metal powder bed and the scan velocity of the electron beam. In the process window the EBM products are classified into the categories, porous, good and swelling, depending on the quality of the surface. The same parameter sets are used to generate a numerical process window. A comparison of numerical and experimental process windows shows a good agreement. This validates the EBM model and justifies simulations for future improvements of EBM processes. In particular numerical simulations can be used to explain future process window scenarios and find the best parameter set for a good surface quality and dense products.


title: Logarithmic Corrections to Extremal Black Hole Entropy in N = 2, 4 and 8 Supergravity

abstract: We compute the logarithmic correction to black hole entropy about exponentially suppressed saddle points of the Quantum Entropy Function corresponding to Z(N) orbifolds of the near horizon geometry of the extremal black hole under study. By carefully accounting for zero mode contributions we show that the logarithmic contributions for quarter--BPS black holes in N=4 supergravity and one--eighth BPS black holes in N=8 supergravity perfectly match with the prediction from the microstate counting. We also find that the logarithmic contribution for half--BPS black holes in N = 2 supergravity depends non-trivially on the Z(N) orbifold. Our analysis draws heavily on the results we had previously obtained for heat kernel coefficients on Z(N) orbifolds of spheres and hyperboloids in arXiv:1311.6286 and we also propose a generalization of the Plancherel formula to Z(N) orbifolds of hyperboloids to an expression involving the Harish-Chandra character of SL(2,R), a result which is of possible mathematical interest.


title: Self-Aligned Double Patterning Friendly Configuration for Standard Cell Library Considering Placement

abstract: Self-aligned double patterning (SADP) has become a promising technique to push pattern resolution limit to sub-22nm technology node. Although SADP provides good overlay controllability, it encounters many challenges in physical design stages to obtain conflict-free layout decomposition. In this paper, we study the impact on placement by different standard cell layout decomposition strategies. We propose a SADP friendly standard cell configuration which provides pre-coloring results for standard cells. These configurations are brought into the placement stage to help ensure layout decomposability and save the extra effort for solving conflicts in later stages.


title: Time Dependent Couplings as Observables in de Sitter Space

abstract: We summarize and expand our investigations concerning the soft graviton effects on microscopic matter dynamics in de Sitter space. The physical couplings receive IR logarithmic corrections which are sensitive to the IR cut-off at the one-loop level. The scale invariant spectrum in the gravitational propagator at the super-horizon scale is the source of the de Sitter symmetry breaking. The quartic scalar, Yukawa and gauge couplings become time dependent and diminish with time. In contrast, the Newton's constant increases with time. We clarify the physical mechanism behind these effects in terms of the conformal mode dynamics in analogy with 2d quantum gravity. We show that they are the inevitable consequence of the general covariance and lead to gauge invariant predictions. We construct a simple model in which the cosmological constant is self-tuned to vanish due to UV-IR mixing effect. We also discuss phenomenological implications such as decaying Dark Energy and SUSY breaking at the Inflation era. The quantum effect alters the classical slow roll picture in general if the tensor-to-scalar ratio $r$ is as small as $0.01$.


title: A Complete Spectral Analysis of the Jackiw-Rebbi Model, Including its Zero Mode

abstract: In this paper we present a complete and exact spectral analysis of the $(1+1)$-dimensional model that Jackiw and Rebbi considered to show that the half-integral fermion numbers are possible due to the presence of an isolated self charge conjugate zero mode. The model possesses the charge and particle conjugation symmetries. These symmetries mandate the reflection symmetry of the spectrum about the line $E=0$. We obtain the bound state energies and wave functions of the fermion in this model using two different methods, analytically and exactly, for every arbitrary choice of the parameters of the kink, i.e. its value at spatial infinity ($\theta_0$) and its scale of variations ($\mu$). Then, we plot the bound state energies of the fermion as a function of $\theta_0$. This graph enables us to consider a process of building up the kink from the trivial vacuum. We can then determine the origin and evolution of the bound state energy levels during this process. We see that the model has a dynamical mass generation process at the first quantized level and the zero-energy fermionic mode responsible for the fractional fermion number, is always present during the construction of the kink and its origin is very peculiar, indeed. We also observe that, as expected, none of the energy levels crosses each other. Moreover, we obtain analytically the continuum scattering wave functions of the fermion and then calculate the phase shifts of these wave functions. Using the information contained in the graphs of the phase shifts and the bound states, we show that our phase shifts are consistent with the weak and strong forms of the Levinson theorem. Finally, using the weak form of the Levinson theorem, we confirm that the number of the zero-energy fermionic modes is exactly one.


title: On stable equivalences with endopermutation source

abstract: We show that a bimodule between block algebras which has a fusion stable endopermutation module as a source and which induces Morita equivalences between centralisers of nontrivial subgroups of a defect group induces a stable equivalence of Morita type; this is a converse to a theorem of Puig. The special case where the source is trivial has long been known by many authors. The earliest instance for a result deducing a stable equivalence of Morita type from local Morita equivalences with possibly nontrivial endopermutation source is due to Puig, in the context of blocks with abelian defect groups with a Frobenius inertial quotient. The present note is motivated by an application, due to Biland, to blocks of finite groups with structural properties known to hold for hypothetical minimal counterexamples to the $Z_p^*$-Theorem.


title: Strong Equivalence Relations for Iterated Models

abstract: The Iterated Immediate Snapshot model (IIS), due to its elegant geometrical representation, has become standard for applying topological reasoning to distributed computing. Its modular structure makes it easier to analyze than the more realistic (non-iterated) read-write Atomic-Snapshot memory model (AS). It is known that AS and IIS are equivalent with respect to \emph{wait-free task} computability: a distributed task is solvable in AS if and only if it solvable in IIS. We observe, however, that this equivalence is not sufficient in order to explore solvability of tasks in \emph{sub-models} of AS (i.e. proper subsets of its runs) or computability of \emph{long-lived} objects, and a stronger equivalence relation is needed. In this paper, we consider \emph{adversarial} sub-models of AS and IIS specified by the sets of processes that can be \emph{correct} in a model run. We show that AS and IIS are equivalent in a strong way: a (possibly long-lived) object is implementable in AS under a given adversary if and only if it is implementable in IIS under the same adversary. %This holds whether the object is one-shot or long-lived. Therefore, the computability of any object in shared memory under an adversarial AS scheduler can be equivalently investigated in IIS.


title: A comparison of linear and non-linear calibrations for speaker recognition

abstract: In recent work on both generative and discriminative score to log-likelihood-ratio calibration, it was shown that linear transforms give good accuracy only for a limited range of operating points. Moreover, these methods required tailoring of the calibration training objective functions in order to target the desired region of best accuracy. Here, we generalize the linear recipes to non-linear ones. We experiment with a non-linear, non-parametric, discriminative PAV solution, as well as parametric, generative, maximum-likelihood solutions that use Gaussian, Student's T and normal-inverse-Gaussian score distributions. Experiments on NIST SRE'12 scores suggest that the non-linear methods provide wider ranges of optimal accuracy and can be trained without having to resort to objective function tailoring.


title: Diagonal Couplings of Quantum Markov Chains

abstract: In this article we extend the coupling method from classical probability theory to quantum Markov chains on atomic von Neumann algebras. In particular, we establish a coupling inequality, which allow us to estimate convergence rates by analyzing couplings. For a given tensor dilation we construct a self-coupling of a Markov operator. It turns out that on a dense subset the coupling is a dual version of the extended dual transition operator previously studied by Gohm etal. We deduce that this coupling is successful if and only if the dilation is asymptotically complete.


title: Nucleon-Nucleon scattering from dispersion relations: next-to-next-to-leading order study

abstract: We study nucleon-nucleon ($NN$) scattering by applying the $N/D$ method in chiral perturbation theory up to next-to-next-to-leading (NNLO) order in the calculation of the imaginary part of the $NN$ partial-wave amplitudes along the left-hand-cut, which is the dynamical input for this approach. A quite good reproduction of the Nijmegen partial-wave analysis phase shifts and mixing angles is obtained, which implies a steady improvement in the accurateness achieved by increasing the chiral order in the calculation of the dynamical input. A power counting for the subtraction constants is established, which is appropriate for those subtractions attached to both the left- and right-hand cuts. We discuss that it is not necessary to modify the $NN$ chiral potential at NNLO to agree with data, but instead one should perform the iteration of two-nucleon intermediate states to finally achieve analytic and unitarity $NN$ partial-wave amplitudes in a well-defined way. We also confirm at NNLO the long-range correlations between the $NN$ $S$-wave effective ranges and scattering lengths, when employing only once-subtracted dispersion relations, that holds up to around 10% when compared with experimental values.


title: Stagnation, Creation, Breaking

abstract: This note deals with the mono-dimensional equation: $\d_t u -\d_x L(u_x) =f$ with $L(\cdot)$ merely monotone. The goal is to examine the features of facets -- flat regions of graphs of solutions appearing as $L(\cdot)$ suffers jumps. We concentrate on examples explaining strong stability, creation and even breaking of facets.


title: Observation of double pygmy resonances in $^{195,196}$Pt and enhanced astrophysical reaction rates

abstract: Our measurements of $^{195,196}$Pt $\gamma$-strength functions show a double-humped enhancement in the $E_{\gamma}= 4-8$ MeV region. For the first time, the detailed shape of these resonances is revealed for excitation energies in the quasicontinuum. We demonstrate that the corresponding neutron-capture cross sections and astrophysical reaction rates are increased by up to a factor of 2 when these newly observed pygmy resonances are included. These results lend credence to theoretical predictions of enhanced reaction rates due to such pygmy resonances and hence are important for a better understanding of r-process nucleosynthesis.


title: Semiclassical limits of quantum partition functions on infinite graphs

abstract: We prove that if $H$ denotes the operator corresponding to the canonical Dirichlet form on a possibly locally infinite weighted graph $(X,b,m)$, and if $v:X\to \mathbb{R}$ is such that $H+v/\hbar$ is well-defined as a form sum for all $\hbar >0$, then the quantum partition function $\mathrm{tr}(\mathrm{e}^{-\beta \hbar ( H + v/\hbar)})$ satisfies $$ \mathrm{tr}(\mathrm{e}^{-\beta \hbar ( H + v/\hbar)})\xrightarrow[]{\hbar\to 0+}\sum_{x\in X} \mathrm{e}^{-\beta v(x)} \text{ for all $\beta>0$}, $$ regardless of the fact whether $\mathrm{e}^{-\beta v}$ is apriori summable or not. We also prove natural generalizations of this semiclassical limit to a large class of covariant Schr\"odinger operators that act on sections in Hermitian vector bundle over $(X,m,b)$, a result that particularly applies to magnetic Schr\"odinger operators that are defined on $(X,m,b)$.


title: Sliding window and compressive sensing for low-field dynamic magnetic resonance imaging

abstract: We describe an acquisition/processing procedure for image reconstruction in dynamic Magnetic Resonance Imaging (MRI). The approach requires sliding window to record a set of trajectories in the k-space, standard regularization to reconstruct an estimate of the object and compressed sensing to recover image residuals. We validated this approach in the case of specific simulated experiments and, in the case of real measurements, we showed that the procedure is reliable even in the case of data acquired by means of a low-field scanner.


title: A degree bound for families of rational curves on surfaces

abstract: We give an upper bound for the degree of rational curves in a family that covers a given birational ruled surface in projective space. The upper bound is stated in terms of the degree, sectional genus and arithmetic genus of the surface. We introduce an algorithm for constructing examples where the upper bound is tight. As an application of our methods we improve an inequality on lattice polygons.


title: String-Averaging Expectation-Maximization for Maximum Likelihood Estimation in Emission Tomography

abstract: We study the maximum likelihood model in emission tomography and propose a new family of algorithms for its solution, called String-Averaging Expectation-Maximization (SAEM). In the String-Averaging algorithmic regime, the index set of all underlying equations is split into subsets, called "strings," and the algorithm separately proceeds along each string, possibly in parallel. Then, the end-points of all strings are averaged to form the next iterate. SAEM algorithms with several strings presents better practical merits than the classical Row-Action Maximum-Likelihood Algorithm (RAMLA). We present numerical experiments showing the effectiveness of the algorithmic scheme in realistic situations. Performance is evaluated from the computational cost and reconstruction quality viewpoints. A complete convergence theory is also provided.


title: Equal Sum Sequences and Imbalance Sets of Tournaments

abstract: Reid conjectured that any finite set of non-negative integers is the score set of some tournament and Yao gave a non-constructive proof of Reid's conjecture using arithmetic arguments. No constructive proof has been found since. In this paper, we investigate a related problem, namely, which sets of integers are imbalance sets of tournaments. We completely solve the tournament imbalance set problem (TIS) and also estimate the minimal order of a tournament realizing an imbalance set. Our proofs are constructive and provide a pseudo-polynomial time algorithm to realize any imbalance set. Along the way, we generalize the well-known equal sum subsets problem (ESS) to define the equal sum sequences problem (ESSeq) and show it to be NP-complete. We then prove that ESSeq reduces to TIS and so, due to the pseudo-polynomial time complexity, TIS is weakly NP-complete.


title: Sparkling EUV bright dots observed with Hi-C

abstract: Observing the Sun at high time and spatial scales is a step towards understanding the finest and fundamental scales of heating events in the solar corona. The Hi-C instrument has provided the highest spatial and temporal resolution images of the solar corona in the EUV wavelength range to date. Hi-C observed an active region on 11 July 2012, which exhibits several interesting features in the EUV line at 193\AA: one of them is the existence of short, small brightenings ``sparkling" at the edge of the active region; we call these EUV Bright Dots (EBDs). Individual EBDs have a characteristic duration of 25s with a characteristic length of 680 km. These brightenings are not fully resolved by the SDO/AIA instrument at the same wavelength, however, they can be identified with respect to the Hi-C location of the EBDs. In addition, EBDs are seen in other chromospheric/coronal channels of SDO/AIA suggesting a temperature between 0.5 and 1.5 MK. Based on their frequency in the Hi-C time series, we define four different categories of EBDs: single peak, double peak, long duration, and bursty EBDs. Based on a potential field extrapolation from an SDO/HMI magnetogram, the EBDs appear at the footpoints of large-scale trans-equatorial coronal loops. The Hi-C observations provide the first evidence of small-scale EUV heating events at the base of these coronal loops, which have a free magnetic energy of the order of 10$^{26}$ erg.


title: JIMWLK evolution for multi-particle production with rapidity correlations

abstract: We study multi-particle production with rapidity correlations in proton-nucleus collisions at high energy in the Color Glass Condensate framework. The high-energy evolution responsible for such correlations is governed by a generalization of the JIMWLK equation describing the simultaneous evolution of the strong nuclear color fields in the direct amplitude and the complex conjugate amplitude. This functional equation can be used to derive ordinary evolution equations for the cross-sections for particle production, but the ensuing equations appear to be too complicated to be useful in practice, including in the limit of a large number of colors Nc. We propose an alternative formulation based on a Langevin process, which is valid for generic Nc and is better suited for numerical implementations. For illustration, we present the stochastic equations which govern two gluon production with arbitrary rapidity separation.


title: Layout decomposition for triple patterning lithography

abstract: As minimum feature size and pitch spacing further decrease, triple patterning lithography (TPL) is a possible 193nm extension along the paradigm of double patterning lithography (DPL). However, there is very little study on TPL layout decomposition. In this paper, we show that TPL layout decomposition is a more difficult problem than that for DPL. We then propose a general integer linear programming formulation for TPL layout decomposition which can simultaneously minimize conflict and stitch numbers. Since ILP has very poor scalability, we propose three acceleration techniques without sacrificing solution quality: independent component computation, layout graph simplification, and bridge computation. For very dense layouts, even with these speedup techniques, ILP formulation may still be too slow. Therefore, we propose a novel vector programming formulation for TPL decomposition, and solve it through effective semidefinite programming (SDP) approximation. Experimental results show that the ILP with acceleration techniques can reduce 82% runtime compared to the baseline ILP. Using SDP based algorithm, the runtime can be further reduced by 42% with some tradeoff in the stitch number (reduced by 7%) and the conflict (9% more). However, for very dense layouts, SDP based algorithm can achieve 140x speed-up even compared with accelerated ILP.


title: Network flow-based simultaneous retiming and slack budgeting for low power design

abstract: Low power design has become one of the most significant requirements when CMOS technology entered the nanometer era. Therefore, timing budget is often performed to slow down as many components as possible so that timing slacks can be applied to reduce the power consumption while maintaining the performance of the whole design. Retiming is a procedure that involves the relocation of flip-flops (FFs) across logic gates to achieve faster clocking speed. In this paper we show that the retiming and slack budgeting problem can be formulated to a convex cost dual network flow problem. Both the theoretical analysis and experimental results show the efficiency of our approach which can not only reduce power consumption by 8.9%, but also speedup previous work by 500 times.


title: Distributions of Upper PAPR and Lower PAPR of OFDM Signals in Visible Light Communications

abstract: Orthogonal frequency-division multiplexing (OFDM) in visible light communications (VLC) inherits the disadvantage of high peak-to-average power ratio (PAPR) from OFDM in radio frequency (RF) communications. The upper peak power and lower peak power of real-valued VLC-OFDM signals are both limited by the dynamic constraints of light emitting diodes (LEDs). The efficiency and transmitted electrical power are directly related with the upper PAPR (UPAPR) and lower PAPR (LPAPR) of VLC-OFDM. In this paper, we will derive the complementary cumulative distribution function (CCDF) of UPAPR and LPAPR, and investigate the joint distribution of UPAPR and LPAPR.


title: Floorplanning and Topology Generation for Application-Specific Network-on-Chip

abstract: Network-on-chip (NoC) architectures have been proposed as a promising alternative to classical bus-based communication architectures. In this paper, we propose a two phases framework to solve application-specific NoCs topology generation problem. At floorplanning phase, we carry out partition driven floorplanning. At post-floorplanning phase, a heuristic method and a min-cost max-flow algorithm is used to insert switches and network interfaces. Finally, we allocate paths to minimize power consumption. The experimental results show our algorithm is effective for power saving.


title: A Continuation Multilevel Monte Carlo algorithm

abstract: We propose a novel Continuation Multi Level Monte Carlo (CMLMC) algorithm for weak approximation of stochastic models. The CMLMC algorithm solves the given approximation problem for a sequence of decreasing tolerances, ending when the required error tolerance is satisfied. CMLMC assumes discretization hierarchies that are defined a priori for each level and are geometrically refined across levels. The actual choice of computational work across levels is based on parametric models for the average cost per sample and the corresponding weak and strong errors. These parameters are calibrated using Bayesian estimation, taking particular notice of the deepest levels of the discretization hierarchy, where only few realizations are available to produce the estimates. The resulting CMLMC estimator exhibits a non-trivial splitting between bias and statistical contributions. We also show the asymptotic normality of the statistical error in the MLMC estimator and justify in this way our error estimate that allows prescribing both required accuracy and confidence in the final result. Numerical results substantiate the above results and illustrate the corresponding computational savings in examples that are described in terms of differential equations either driven by random measures or with random coefficients.