title: Probing the diffractive production of Z boson pair at forward rapidities at the LHC

abstract: In this paper, we present the results from phenomenological analysis of Z boson pair hard diffractive production at the LHC. The calculation is based on the Regge factorization approach. Diffractive parton density functions extracted by the H1 Collaboration at DESY-HERA are used. The multiple Pomeron exchange corrections are considered through the rapidity gap survival probability factor. We give numerical predictions for single diffractive as well as double Pomeron exchange cross sections and compare with the photon-induced and non-diffractive ones. The contributions from quark-anti-quark collision and gluon-gluon fusion are displayed. Various kinematical distributions are presented. We make predictions which could be compared to future measurements at the LHC where forward proton detectors are installed and detector acceptances are considered.


title: Stream Aggregation Through Order Sampling

abstract: This is paper introduces a new single-pass reservoir weighted-sampling stream aggregation algorithm, Priority-Based Aggregation (PBA). While order sampling is a powerful and e cient method for weighted sampling from a stream of uniquely keyed items, there is no current algorithm that realizes the benefits of order sampling in the context of stream aggregation over non-unique keys. A naive approach to order sample regardless of key then aggregate the results is hopelessly inefficient. In distinction, our proposed algorithm uses a single persistent random variable across the lifetime of each key in the cache, and maintains unbiased estimates of the key aggregates that can be queried at any point in the stream. The basic approach can be supplemented with a Sample and Hold pre-sampling stage with a sampling rate adaptation controlled by PBA. This approach represents a considerable reduction in computational complexity compared with the state of the art in adapting Sample and Hold to operate with a fixed cache size. Concerning statistical properties, we prove that PBA provides unbiased estimates of the true aggregates. We analyze the computational complexity of PBA and its variants, and provide a detailed evaluation of its accuracy on synthetic and trace data. Weighted relative error is reduced by 40% to 65% at sampling rates of 5% to 17%, relative to Adaptive Sample and Hold; there is also substantial improvement for rank queries


title: Characterization of Fully Coupled FBSDE in Terms of Portfolio Optimization

abstract: We provide a verification and characterization result of optimal maximal sub-solutions of BSDEs in terms of fully coupled forward backward stochastic differential equations. We illustrate the application thereof in utility optimization with random endowment under probability and discounting uncertainty. We show with explicit examples how to quantify the costs of incompleteness when using utility indifference pricing, as well as a way to find optimal solutions for recursive utilities.


title: Dependence of effective spectrum width of synchrotron radiation on particle energy

abstract: For an exact quantitative description of spectral properties in the theory of synchrotron radiation, the concept of effective spectral width is introduced. In the classical theory, numeric calculations of effective spectral width (using an effective width not exceeding 100 harmonics) for polarization components of synchrotron radiation are carried out. The dependence of the effective spectral width and initial harmonic on the energy of a radiating particle is established.


title: Anticorrelation between polar lattice instability and superconductivity in the Weyl semimetal candidate MoTe2

abstract: The relation between the polar structural instability and superconductivity in a Weyl semimetal candidate MoTe2 has been clarified by finely controlled physical and chemical pressure. The physical pressure as well as the chemical pressure, i.e., the Se substitution for Te, enhances the superconducting transition temperature Tc at around the critical pressure where the polar structure transition disappears. From the heat capacity and thermopower measurements, we ascribe the significant enhancement of Tc at the critical pressure to a subtle modification of the phonon dispersion or the semimetallic band structure upon the polar-to-nonpolar transition. On the other hand, the physical pressure, which strongly reduces the interlayer distance, is more effective on the suppression of the polar structural transition and the enhancement of Tc as compared with the chemical pressure, which emphasizes the importance of the interlayer coupling on the structural and superconducting instability in MoTe2.


title: Generic states and stability

abstract: We define the notion of the generic state polytope, analogous to the generic initial ideal and prove its existence: This greatly generalizes the work of R\"omer and Schmitz who proved the existence of generic Gr\"ober fans. We also show that a generic state polytope always contains the trivial character: Equivalently, in any GIT quotient problem of semisimple group representations, every point is semistable with respect to a {\it general} maximal torus. Also, we revisit Kempf's proof of the existence of the worst one parameter subgroup (1-ps) and describe the equations for determining the worst 1-ps.


title: Execution Integrity with In-Place Encryption

abstract: Instruction set randomization (ISR) was initially proposed with the main goal of countering code-injection attacks. However, ISR seems to have lost its appeal since code-injection attacks became less attractive because protection mechanisms such as data execution prevention (DEP) as well as code-reuse attacks became more prevalent. In this paper, we show that ISR can be extended to also protect against code-reuse attacks while at the same time offering security guarantees similar to those of software diversity, control-flow integrity, and information hiding. We present Scylla, a scheme that deploys a new technique for in-place code encryption to hide the code layout of a randomized binary, and restricts the control flow to a benign execution path. This allows us to i) implicitly restrict control-flow targets to basic block entries without requiring the extraction of a control-flow graph, ii) achieve execution integrity within legitimate basic blocks, and iii) hide the underlying code layout under malicious read access to the program. Our analysis demonstrates that Scylla is capable of preventing state-of-the-art attacks such as just-in-time return-oriented programming (JIT-ROP) and crash-resistant oriented programming (CROP). We extensively evaluate our prototype implementation of Scylla and show feasible performance overhead. We also provide details on how this overhead can be significantly reduced with dedicated hardware support.


title: Note on the decomposition of states

abstract: We derive a sharp decomposition formula for the state polytope of the Hilbert point and the Hilbert-Mumford index of reducible varieties by using the decomposition of characters and basic convex geometry. This proof captures the essence of the decomposition of the state polytopes in general, and considerably simplifies an earlier proof by the author and Jaekwang Kim which uses a careful analysis of initial ideals of reducible varieties.


title: Effects of Pre-ionisation in Radiative Shocks II: Application to the Herbig-Haro Objects

abstract: In an earlier paper we treated the pre-ionisation problem in shocks over the velocity range $20 < v_{\rm s} < 1000$km/s in a fully self-consistent manner. Here we investigate in detail the effect of the upstream UV photon field generated in the radiative zone of shocks in the range in which hydrogen is only partly ionised ($20 < v_{\rm s} < 150$km/s). We show that, as a result of super-heating in the non-equilibrium pre-shock plasma, both the magnetic parameter and the Mach number of the shock is strongly affected by the pre-ionisation state of the gas which controls to a large extent the radiative spectrum of the shock. We use these models to provide specific line diagnostics for Herbig-Haro objects which allow us to solve for both the pre-shock density and shock velocity, and present detailed models of the HH34 jet which allows us to derive the shock conditions, mass-loss rate, momentum flux and chemical abundances in the jet. We show that the refractory elements, Mg, Ca, Fe and Ni are enhanced by 0.22 dex over the solar values, which provides interesting clues about the jet launching mechanism in pre-main sequence evolution.


title: Raman phonons in the ferroelectric-like metal LiOsO$_3$

abstract: The novel ferroelectric-like structural transition observed in metallic LiOsO$_3$ [Y. Shi et al., Nat. Mater. 12, 1024 (2013)], has invoked many theoretical and experimental interests. In this work, we have performed polarized and temperature-dependent Raman scattering measurements on high-quality single crystal LiOsO$_3$ and identified Raman-active modes in both centrosymmetric phase (300 K, R$\bar{3}$c) and non-centrosymmetric phase (10 K, R3c). Only four phonon peaks are observed in the former phase, while there are twelve peaks in the latter phase because of the reduction of crystal symmetry. With the help of careful symmetry analysis and first-principles calculations, we can make a systematic assignment for the observed Raman modes in both phases. The significant changes in line-width and the continuous evolution of Raman frequencies with temperatures were observed for the E$_g$ modes around the transition temperature, which suggests that the ferroelectric-like structural transition is a continuous order-disorder transition. The result sheds light on the coexistence of ferroelectricity and metallicity in the compound.


title: Robust Adversarial Reinforcement Learning

abstract: Deep neural networks coupled with fast simulation and improved computation have led to recent successes in the field of reinforcement learning (RL). However, most current RL-based approaches fail to generalize since: (a) the gap between simulation and real world is so large that policy-learning approaches fail to transfer; (b) even if policy learning is done in real world, the data scarcity leads to failed generalization from training to test scenarios (e.g., due to different friction or object masses). Inspired from H-infinity control methods, we note that both modeling errors and differences in training and test scenarios can be viewed as extra forces/disturbances in the system. This paper proposes the idea of robust adversarial reinforcement learning (RARL), where we train an agent to operate in the presence of a destabilizing adversary that applies disturbance forces to the system. The jointly trained adversary is reinforced -- that is, it learns an optimal destabilization policy. We formulate the policy learning as a zero-sum, minimax objective function. Extensive experiments in multiple environments (InvertedPendulum, HalfCheetah, Swimmer, Hopper and Walker2d) conclusively demonstrate that our method (a) improves training stability; (b) is robust to differences in training/test conditions; and c) outperform the baseline even in the absence of the adversary.


title: Grothendieck-Pl\"ucker images of Hilbert schemes are degenerate

abstract: We study the decompositions of Hilbert schemes induced by the Schubert cell decomposition of the Grassmannian variety and show that Hilbert schemes admit a stratification into locally closed subschemes along which the generic initial ideals remain the same. We give two applications: First, we give a completely geometric proofs of the existence of the generic initial ideals and of their Borel fixed properties. Secondly, we prove that when a Hilbert scheme of nonconstant Hilbert polynomial is embedded by the Grothendieck-Pl\"ucker embedding of a high enough degree, it must be degenerate.


title: Interior transmission eigenvalue problems on compact manifolds with boundary conductivity parameters

abstract: In this paper, we consider an interior transmission eigenvalue (ITE) problem on some compact $C^{\infty }$-Riemannian manifolds with a common smooth boundary. In particular, these manifolds may have different topologies, but we impose some conditions of Riemannian metrics, indices of refraction and boundary conductivity parameters on the boundary. Then we prove the discreteness of the set of ITEs, the existence of infinitely many ITEs, and its Weyl type lower bound. For our settings, we can adopt the argument by Lakshtanov and Vainberg, considering the Dirichlet-to-Neumann map. As an application, we derive the existence of non-scattering energies for time-harmonic acoustic equations. For the sake of simplicity, we consider the scattering theory on the Euclidean space. However, the argument is applicable for certain kinds of non-compact manifolds with ends on which we can define the scattering matrix.


title: The Catalan numbers have no forbidden residue modulo primes

abstract: Let $C_n$ be the $n$th Catalan number. For any prime $p \geq 5$ we show that the set $\{C_n : n \in \mathbb{N} \}$ contains all residues mod $p$. In addition all residues are attained infinitely often. Any positive integer can be expressed as the product of central binomial coefficients modulo $p$. The directed sub-graph of the automata for $C_n \mod p$ consisting of the constant states and transitions between them has a cycle which visits all vertices.


title: On $W^{1,p}$-regularity estimate for a class of generalized Stokes systems and its applications to the Navier-Stokes equations

abstract: This paper establishes global weighted Calder\'on-Zygmund type regularity estimates for weak solutions of a class of generalized Stokes systems in divergence form. The focus of the paper is on the case that the coefficients in the divergence-form Stokes operator consist of symmetric and skew-symmetric parts, which are both discontinuous. Moreover, the skew-symmetric part is not required to be bounded and therefore it could be singular. Sufficient conditions on the coefficients are provided to ensure the global weighted $W^{1,p}$-regularity estimates for weak solutions of the systems. As a direct application, we show that our $W^{1,p}$-regularity results give some criteria in critical spaces for the global regularity of weak Leray-Hopf solutions of the Navier-Stokes system of equation


title: Frequency comb generation in SNAP bottle resonators

abstract: We develop a theory of optical frequency comb generation in ultra-compact Surface Nanoscale Axial Photonic (SNAP) bottle microresonators, employing the nonlinear interaction of whispering gallery modes which are confined along an optical fiber with nanoscale radius variation. We predict that a SNAP microresonator with a few-$\mu$m radius can generate a frequency comb with an ultra-fine sub-GHz spectral spacing, which would require traditional ring resonators of $cm$ radius. We identify regimes of stable or quasi-periodic comb dynamics due to soliton excitation, and also show that special engineering of the SNAP radius profile can be used to compensate nonlinearity induced dispersion.


title: Raman scattering study of large magnetoresistance semimetals TaAs$_2$ and NbAs$_2$

abstract: We have performed polarized and temperature-dependent Raman scattering measurements on extremely large magnetoresitance compounds TaAs$_2$ and NbAs$_2$. In both crystals, all the Raman active modes, including six A$_g$ modes and three B$_g$ modes, are clearly observed and well assigned with the combination of symmetry analysis and first-principles calculations. The well-resolved periodic intensity modulations of the observed modes with rotating crystal orientations, verify the symmetry of each assigned mode and are fitted to experimentally determine the elements of Raman tensor matrixes. The broadening of two A$_g$ modes seen in both compounds allows us to estimate electron-phonon coupling constant, which suggests a relatively small electron-phonon coupling in the semimetals TaAs$_2$ and NbAs$_2$. The present study provides the fundamental lattice dynamics information on TaAs$_2$ and NbAs$_2$ and may shed light on the understanding of their extraordinary large magnetoresistance.


title: Complexity of strong approximation on the sphere

abstract: By assuming some widely-believed arithmetic conjectures, we show that the task of accepting a number that is representable as a sum of $d\geq2$ squares subjected to given congruence conditions is NP-complete. On the other hand, we develop and implement a deterministic polynomial-time algorithm that represents a number as a sum of 4 squares with some restricted congruence conditions, by assuming a polynomial-time algorithm for factoring integers and Conjecture~\ref{cc}. As an application, we develop and implement a deterministic polynomial-time algorithm for navigating LPS Ramanujan graphs, under the same assumptions.


title: Tree-Structured Reinforcement Learning for Sequential Object Localization

abstract: Existing object proposal algorithms usually search for possible object regions over multiple locations and scales separately, which ignore the interdependency among different objects and deviate from the human perception procedure. To incorporate global interdependency between objects into object localization, we propose an effective Tree-structured Reinforcement Learning (Tree-RL) approach to sequentially search for objects by fully exploiting both the current observation and historical search paths. The Tree-RL approach learns multiple searching policies through maximizing the long-term reward that reflects localization accuracies over all the objects. Starting with taking the entire image as a proposal, the Tree-RL approach allows the agent to sequentially discover multiple objects via a tree-structured traversing scheme. Allowing multiple near-optimal policies, Tree-RL offers more diversity in search paths and is able to find multiple objects with a single feed-forward pass. Therefore, Tree-RL can better cover different objects with various scales which is quite appealing in the context of object proposal. Experiments on PASCAL VOC 2007 and 2012 validate the effectiveness of the Tree-RL, which can achieve comparable recalls with current object proposal algorithms via much fewer candidate windows.


title: K2 Observations of 95 Vir: delta Scuti Pulsations in a Chromospherically Active Star

abstract: We have searched for photometric variability in 95 Vir, a fast rotating, chromospherically active early F-type star, which was observed in the framework of Campaign 6 of the Kepler K2 mission. Available literature information on 95 Vir were procured, and well-established calibrations were employed to verify the derived astrophysical parameters. We have investigated the location of our target star in the M(Bol) versus log T(eff) diagram, which provides information on evolutionary status. We have discussed our results in detail, drawing on literature information and the theoretical predictions of state-of-the-art pulsation models, with the aim of unraveling the underlying variability mechanisms. From an analysis of 3400 long-cadence measurements, we have identified two main frequencies and several harmonics in our target star. We attribute the main frequency, f1 = 9.53728 d**-1, to delta Scuti pulsations. The origin of the secondary signal, f2 = 1.07129 d**-1, is less clear. We have investigated three possible interpretations of the low-frequency variation: binarity, pulsation and rotational modulation. Current evidence favours an interpretation of f2 as a signature of the rotational period caused by the presence of cool star spots, which goes along well with the observed chromospheric activity. However, phase-resolved spectroscopy is needed to verify this assumption. We briefly consider other chromospherically active delta Scuti stars that have been presented in the literature. A search for star spot-induced photometric variability in these objects might be of great interest, as well as an investigation of the interplay between chromospheric and pulsational activity.


title: Interplay of Dirac electrons and magnetism in AMnBi2 (A=Ca, Sr)

abstract: Dirac materials exhibit intriguing low-energy carrier dynamics that offer a fertile ground for novel physics discovery. Of particular interest is the interplay of Dirac carriers with other quantum phenomena, such as magnetism. Here we report on a two-magnon Raman scattering study of AMnBi2 (A=Ca, Sr), a prototypical magnetic Dirac system comprising alternating Dirac-carrier and magnetic layers. We present the first accurate determination of the exchange energies in these compounds and, by comparison to the reference compound BaMn2Bi2, we show that the Dirac-carrier layers in AMnBi2 significantly enhance the exchange coupling between the magnetic layers, which in turn drives a charge-gap opening along the Dirac locus. Our findings break new grounds in unveiling the fundamental physics of magnetic Dirac materials, which offer a novel platform for probing a distinct type of spin-Fermion interaction. The outstanding properties of these materials allow a delicate manipulation of the interaction between the Dirac carriers and magnetic moments, thus holding great promise for applications in magnetic Dirac devices.


title: On the ergodic Waring--Goldbach problem

abstract: We prove an asymptotic formula for the Fourier transform of the arithmetic surface measure associated to the Waring--Goldbach problem and provide several applications, including bounds for discrete spherical maximal functions along the primes and distribution results such as ergodic theorems.


title: Quantum tunneling with friction

abstract: Using the phenomenological quantum friction models introduced by Caldirola-Kanai, Kostin, and Albrecht, we study quantum tunneling of a one-dimensional potential in the presence of energy dissipation. To this end, we calculate the tunneling probability using a time-dependent wave packet method. The friction reduces the tunneling probability. We show that the three models provide similar penetrabilities to each other, among which the Caldirola-Kanai model requires the least numerical effort. We also discuss the effect of energy dissipation on quantum tunneling in terms of barrier distributions.


title: Joint News, Attention Spillover,and Market Returns

abstract: We analyze over 2.6 million news articles and propose a novel measure of aggregate joint news coverage of firms. The measure strongly and negatively predicts market returns, both in sample and out of sample. The relation is causal, robust to existing predictors, and is especially strong when market uncertainty is high or when market frictions are large. Using data on EDGAR downloads by unique IPs, we provide direct evidence that joint news triggers attention spillover across firms. Our results are consistent with the explanation that joint news generates a contagion in investor attention and causes marketwide overvaluations and subsequent reversals.


title: A Pursuit of Temporal Accuracy in General Activity Detection

abstract: Detecting activities in untrimmed videos is an important but challenging task. The performance of existing methods remains unsatisfactory, e.g., they often meet difficulties in locating the beginning and end of a long complex action. In this paper, we propose a generic framework that can accurately detect a wide variety of activities from untrimmed videos. Our first contribution is a novel proposal scheme that can efficiently generate candidates with accurate temporal boundaries. The other contribution is a cascaded classification pipeline that explicitly distinguishes between relevance and completeness of a candidate instance. On two challenging temporal activity detection datasets, THUMOS14 and ActivityNet, the proposed framework significantly outperforms the existing state-of-the-art methods, demonstrating superior accuracy and strong adaptivity in handling activities with various temporal structures.


title: Frequency measurement of the clock transition of an indium ion sympathetically-cooled in a linear trap

abstract: We report frequency measurement of the clock transition in an 115In+ ion sympathetically-cooled with Ca+ ions in a linear rf trap. The Ca+ ions are used as a probe of the external electromagnetic field and as the coolant for preparing the cold In+. The frequency is determined to be 1 267 402 452 901 049.9 (6.9) Hz by averaging 36 measurements using an optical frequency comb referenced to the frequency standards located in the same site.


title: Global stability of self-gravitating disks in modified gravity

abstract: We study the global stability of a self-gravitating disk in the context of Modified Gravity (MOG) using N-body simulations. This theory is a relativistic scalar-tensor-vector theory of gravity and presented to address the dark matter problem. In the weak field limit MOG possesses two free parameters $\alpha$ and $\mu_0$ which have been already determined using rotation curve data of spiral galaxies. The evolution of a stellar self-gravitating disk and more specifically the bar instability in MOG is investigated and compared to a Newtonian case. Our models have exponential and Mestel-like surface densities as $\Sigma\propto \exp(-r/h)$ and $\Sigma\propto 1/r$. It is found out that, surprisingly, the disks are more stable against the bar mode in MOG than in Newtonian gravity. In other words, the bar growth rate is effectively slower than the Newtonian disks. Also we show that both free parameters, i.e. $\alpha$ and $\mu_0$, have stabilizing effects. In other words, increase in these parameters will decrease the bar growth rate.


title: Large Kernel Matters -- Improve Semantic Segmentation by Global Convolutional Network

abstract: One of recent trends [30, 31, 14] in network architec- ture design is stacking small filters (e.g., 1x1 or 3x3) in the entire network because the stacked small filters is more ef- ficient than a large kernel, given the same computational complexity. However, in the field of semantic segmenta- tion, where we need to perform dense per-pixel prediction, we find that the large kernel (and effective receptive field) plays an important role when we have to perform the clas- sification and localization tasks simultaneously. Following our design principle, we propose a Global Convolutional Network to address both the classification and localization issues for the semantic segmentation. We also suggest a residual-based boundary refinement to further refine the ob- ject boundaries. Our approach achieves state-of-art perfor- mance on two public benchmarks and significantly outper- forms previous results, 82.2% (vs 80.2%) on PASCAL VOC 2012 dataset and 76.9% (vs 71.8%) on Cityscapes dataset.


title: Model Selection for Explosive Models

abstract: This paper examines the limit properties of information criteria (such as AIC, BIC, HQIC) for distinguishing between the unit root model and the various kinds of explosive models. The explosive models include the local-to-unit-root model, the mildly explosive model and the regular explosive model. Initial conditions with different order of magnitude are considered. Both the OLS estimator and the indirect inference estimator are studied. It is found that BIC and HQIC, but not AIC, consistently select the unit root model when data come from the unit root model. When data come from the local-to-unit-root model, both BIC and HQIC select the wrong model with probability approaching 1 while AIC has a positive probability of selecting the right model in the limit. When data come from the regular explosive model or from the mildly explosive model in the form of $1+n^{\alpha }/n$ with $\alpha \in (0,1)$, all three information criteria consistently select the true model. Indirect inference estimation can increase or decrease the probability for information criteria to select the right model asymptotically relative to OLS, depending on the information criteria and the true model. Simulation results confirm our asymptotic results in finite sample.


title: On Approximation Guarantees for Greedy Low Rank Optimization

abstract: We provide new approximation guarantees for greedy low rank matrix estimation under standard assumptions of restricted strong convexity and smoothness. Our novel analysis also uncovers previously unknown connections between the low rank estimation and combinatorial optimization, so much so that our bounds are reminiscent of corresponding approximation bounds in submodular maximization. Additionally, we also provide statistical recovery guarantees. Finally, we present empirical comparison of greedy estimation with established baselines on two important real-world problems.


title: Scaling Distributed Transaction Processing and Recovery based on Dependency Logging

abstract: DGCC protocol has been shown to achieve good performance on multi-core in-memory system. However, distributed transactions complicate the dependency resolution, and therefore, an effective transaction partitioning strategy is essential to reduce expensive multi-node distributed transactions. During failure recovery, log must be examined from the last checkpoint onwards and the affected transactions are re-executed based on the way they are partitioned and executed. Existing approaches treat both transaction management and recovery as two separate problems, even though recovery is dependent on the sequence in which transactions are executed. In this paper, we propose to treat the transaction management and recovery problems as one. We first propose an efficient Distributed Dependency Graph based Concurrency Control (DistDGCC) protocol for handling transactions spanning multiple nodes, and propose a new novel and efficient logging protocol called Dependency Logging that also makes use of dependency graphs for efficient logging and recovery. DistDGCC optimizes the average cost for each distributed transaction by processing transactions in batch. Moreover, it also reduces the effects of thread blocking caused by distributed transactions and consequently improves the runtime performance. Further, dependency logging exploits the same data structure that is used by DistDGCC to reduce the logging overhead, as well as the logical dependency information to improve the recovery parallelism. Extensive experiments are conducted to evaluate the performance of our proposed technique against state-of-the-art techniques. Experimental results show that DistDGCC is efficient and scalable, and dependency logging supports fast recovery with marginal runtime overhead. Hence, the overall system performance is significantly improved as a result.


title: Scalable Greedy Feature Selection via Weak Submodularity

abstract: Greedy algorithms are widely used for problems in machine learning such as feature selection and set function optimization. Unfortunately, for large datasets, the running time of even greedy algorithms can be quite high. This is because for each greedy step we need to refit a model or calculate a function using the previously selected choices and the new candidate. Two algorithms that are faster approximations to the greedy forward selection were introduced recently ([Mirzasoleiman et al. 2013, 2015]). They achieve better performance by exploiting distributed computation and stochastic evaluation respectively. Both algorithms have provable performance guarantees for submodular functions. In this paper we show that divergent from previously held opinion, submodularity is not required to obtain approximation guarantees for these two algorithms. Specifically, we show that a generalized concept of weak submodularity suffices to give multiplicative approximation guarantees. Our result extends the applicability of these algorithms to a larger class of functions. Furthermore, we show that a bounded submodularity ratio can be used to provide data dependent bounds that can sometimes be tighter also for submodular functions. We empirically validate our work by showing superior performance of fast greedy approximations versus several established baselines on artificial and real datasets.


title: Tensor SVD: Statistical and Computational Limits

abstract: In this paper, we propose a general framework for tensor singular value decomposition (tensor SVD), which focuses on the methodology and theory for extracting the hidden low-rank structure from high-dimensional tensor data. Comprehensive results are developed on both the statistical and computational limits for tensor SVD. This problem exhibits three different phases according to the signal-to-noise ratio (SNR). In particular, with strong SNR, we show that the classical higher-order orthogonal iteration achieves the minimax optimal rate of convergence in estimation; with weak SNR, the information-theoretical lower bound implies that it is impossible to have consistent estimation in general; with moderate SNR, we show that the non-convex maximum likelihood estimation provides optimal solution, but with NP-hard computational cost; moreover, under the hardness hypothesis of hypergraphic planted clique detection, there are no polynomial-time algorithms performing consistently in general.


title: Phase separation and single-chain compactness of charged disordered proteins are strongly correlated

abstract: Liquid-liquid phase separation of intrinsically disordered proteins (IDPs) is a major undergirding factor in the regulated formation of membraneless organelles in the cell. The phase behavior of an IDP is sensitive to its amino acid sequence. Here we apply a recent random-phase-approximation polymer theory to investigate how the tendency for multiple chains of a protein to phase separate, as characterized by the critical temperature $T^*_{\rm cr}$, is related to the protein's single-chain average radius of gyration $\langle R_{\rm g} \rangle$. For a set of sequences containing different permutations of an equal number of positively and negatively charged residues, we found a striking correlation $T^*_{\rm cr}\sim \langle R_{\rm g} \rangle^{-\gamma}$ with $\gamma$ as large as $\sim 6.0$, indicating that electrostatic effects have similarly significant impact on promoting single-chain conformational compactness and phase separation. Moreover, $T^*_{\rm cr}\propto -{\rm SCD}$, where SCD is a recently proposed "sequence charge decoration" parameter determined solely by sequence information. Ramifications of our findings for deciphering the sequence dependence of IDP phase separation are discussed.


title: Discontinuous Galerkin Isogeometric Analysis for The Biharmonic Equation

abstract: We present and analyze an interior penalty discontinuous Galerkin Isogeometric Analysis (dG-IgA) method for the biharmonic equation in computational domain in $\mathbb{R}^d$ with $d =2,3.$ The computational domain consist of several non-overlapping sub-domains or patches. We construct B-Spline approximation spaces which are discontinuous across patch interfaces. We present a priori error estimate in a discrete norm and numerical experiments to confirm the theory.


title: Numerical simulation of the optimal two-mode attacks for two-way continuous-variable quantum cryptography in reverse reconciliation

abstract: We analyze the security of the two-way continuous-variable quantum key distribution protocol in reverse reconciliation against general two-mode attacks, which represent all accessible attacks at fixed channel parameters. Rather than against one specific attack model, the expression of secret key rates of the two-way protocol are derived against all accessible attack models. It is found that there is an optimal two-mode attack to minimize the performance of the protocol in terms of both secret key rates and maximal transmission distances. We identify the optimal two-mode attack, give the specific attack model of the optimal two-mode attack and show the performance of the two-way protocol against the optimal two-mode attack. Even under the optimal two-mode attack, the performances of two-way protocol are still better than the corresponding one-way protocol, which shows the advantage of making a double use of the quantum channel and the potential of long-distance secure communication using two-way protocol.


title: Inference in Sparse Graphs with Pairwise Measurements and Side Information

abstract: We consider the statistical problem of recovering a hidden "ground truth" binary labeling for the vertices of a graph up to low Hamming error from noisy edge and vertex measurements. We present new algorithms and a sharp finite-sample analysis for this problem on trees and sparse graphs with poor expansion properties such as hypergrids and ring lattices. Our method generalizes and improves over that of Globerson et al. (2015), who introduced the problem for two-dimensional grid lattices. For trees we provide a simple, efficient, algorithm that infers the ground truth with optimal Hamming error has optimal sample complexity and implies recovery results for all connected graphs. Here, the presence of side information is critical to obtain a non-trivial recovery rate. We then show how to adapt this algorithm to tree decompositions of edge-subgraphs of certain graph families such as lattices, resulting in optimal recovery error rates that can be obtained efficiently The thrust of our analysis is to 1) use the tree decomposition along with edge measurements to produce a small class of viable vertex labelings and 2) apply an analysis influenced by statistical learning theory to show that we can infer the ground truth from this class using vertex measurements. We show the power of our method in several examples including hypergrids, ring lattices, and the Newman-Watts model for small world graphs. For two-dimensional grids, our results improve over Globerson et al. (2015) by obtaining optimal recovery in the constant-height regime.


title: Uniform transverse beam profile with a new type nonlinear magnet

abstract: In this paper, a new type magnet is proposed and processed to uniform the transverse beam profile. Compeared to the octupole, the new type magnet can prove a similar octupole magnet field in the middle, but the rise rate declines quickly in the edge. So that, a same uniform beam is got with less particles loss. Besides that, a mechanical structure is added to adjust the width of the middle region to satisfy different transverse dimensions, and this whould further reduce particles loss. Some numerical simulations have been done respectively with the octupole and the new type of magnet to show the advantages of the new type magnet.


title: Supermartingale Decomposition Theorem under G-expectation

abstract: The objective of this paper is to establish the decomposition theorem for supermartingales under the $G$-framework. We first introduce a $g$-nonlinear expectation via a kind of $G$-BSDE and the associated supermartingales. We have shown that this kind of supermartingales have the decomposition similar to the classical case. The main ideas are to apply the uniformly continuous property of $S_G^\beta(0,T)$, the representation of the solution to $G$-BSDE and the approximation method via penalization.


title: Determination of matrix potential from scattering matrix

abstract: (i) For the matrix Schr\"{o}dinger operator on the half line, it is shown that if the potential exponentially decreases fast enough then only the scattering matrix uniquely determines the self-adjoint potential and the boundary condition. (ii) For the matrix Schr\"{o}dinger operator on the full line, it is shown that if the potential exponentially decreases fast enough then the scattering matrix (or equivalently, the transmission coefficient and reflection coefficient) uniquely determine the potential. If the potential vanishes on $(-\infty,0)$ then only the left reflection coefficient uniquely determine the potential.


title: Remote Sub-Wavelength Focusing of Ultrasonically Activated Lorentz Current

abstract: We propose the use of a combination of ultrasonic and magnetic fields in conductive media for the creation of RF electrical current via the Lorentz force, in order to achieve current generation with extreme sub-wavelength resolution at large depth. We demonstrate the modeling, generation, and measurement of Lorentz current in conductive solution, and show that this current can be localized at a distance of 13 $cm$ from the ultrasonic source to a region about three orders of magnitude smaller than the corresponding wavelength of electromagnetic waves at the same operation frequency. Our results exhibit greater depth, tighter localization, and closer agreement with prediction than previous work on the measurement of Lorentz current in a solution of homogeneous conductivity. The proposed method of RF current excitation overcomes the trade-off between focusing and propagation that is fundamental in the use of RF electromagnetic excitation alone, and has the potential to improve localization and depth of operation for RF current-based biomedical applications.


title: On the effect of renormalization group improvement on the cosmological power spectrum

abstract: Asymptotically safe quantum gravity predicts running gravitational and cosmological constants, while it remains a meaningful quantum field theory because of the existence of non-Gaussian ultraviolet fixed points. Here we have investigated the effect of such running couplings on the cosmological perturbations. We have obtained the improved Mukhanov-Sassaki equation and solved it for two models. The effect of asymptotically safe quantum gravity on the cosmological power spectrum is also studied.


title: Spin fluctuations in the 0.7-anomaly in quantum point contacts

abstract: It has been argued that the 0.7 anomaly in quantum point contacts (QPCs) is due to an enhanced density of states at the top of the QPC-barrier (van Hove ridge), which strongly enhances the effects of interactions. Here, we analyze their effect on dynamical quantities. We find that they pin the van Hove ridge to the chemical potential when the QPC is subopen; cause a temperature dependence for the linear conductance that qualitatively agrees with experiment; strongly enhance the magnitude of the dynamical spin susceptibility; and significantly lengthen the QPC traversal time. We conclude that electrons traverse the QPC via a slowly fluctuating spin structure of finite spatial extent.


title: A note on Hardy-type inequalities in variable exponent Lebesgue spaces

abstract: We present new estimate for Hardy-type inequality in variable exponent Lebesgue spaces. More precisely, by imposing regularity assumptions on the exponent, we prove that the estimations can be reduced to the fixed exponents.


title: Profile Estimation for Partial Functional Partially Linear Single-Index Model

abstract: This paper studies a \textit{partial functional partially linear single-index model} that consists of a functional linear component as well as a linear single-index component. This model generalizes many well-known existing models and is suitable for more complicated data structures. However, its estimation inherits the difficulties and complexities from both components and makes it a challenging problem, which calls for new methodology. We propose a novel profile B-spline method to estimate the parameters by approximating the unknown nonparametric link function in the single-index component part with B-spline, while the linear slope function in the functional component part is estimated by the functional principal component basis. The consistency and asymptotic normality of the parametric estimators are derived, and the global convergence of the proposed estimator of the linear slope function is also established. More excitingly, the latter convergence is optimal in the minimax sense. A two-stage procedure is implemented to estimate the nonparametric link function, and the resulting estimator possesses the optimal global rate of convergence. Furthermore, the convergence rate of the mean squared prediction error for a predictor is also obtained. Empirical properties of the proposed procedures are studied through Monte Carlo simulations. A real data example is also analyzed to illustrate the power and flexibility of the proposed methodology.


title: The classical correlation limits the ability of the measurement-induced average coherence

abstract: Coherence is the most fundamental quantum feature in quantum mechanics. For a bipartite quantum state, if a measurement is performed on one party, the other party, based on the measurement outcomes, will collapse to a corresponding state with some probability and hence gain the average coherence. It is shown that the average coherence is not less than the coherence of its reduced density matrix. In particular, it is very surprising that the extra average coherence (and the maximal extra average coherence with all the possible measurements taken into account) is upper bounded by the classical correlation of the bipartite state instead of the quantum correlation. We also find the sufficient and necessary condition for the null maximal extra average coherence. Some examples demonstrate the relation and, moreover, show that quantum correlation is neither sufficient nor necessary for the nonzero extra average coherence within a given measurement. In addition, the similar conclusions are drawn for both the basis-dependent and the basis-free coherence measure.


title: Matter wave interference of dilute Bose gases in the critical regime

abstract: Ultra-cold atomic gases provide new chance to study the universal critical behavior of phase transition. We study theoretically the matter wave interference for ultra-cold Bose gases in the critical regime. We demonstrate that the interference in the momentum distribution can be used to extract the correlation in the Bose gas. A simple relation between the interference visibility and the correlation length is found and used to interpret the pioneering experiment about the critical behavior of dilute Bose gases [Science {\bf 315}, 1556 (2007)]. Our theory paves the way to experimentally study various types of ultra-cold atomic gases with the means of matter wave interference.


title: A hierarchical MPC scheme for interconnected systems

abstract: This paper describes a hierarchical control scheme for interconnected systems. The higher layer of the control structure is designed with robust Model Predictive Control (MPC) based on a reduced order dynamic model of the overall system and is aimed at optimizing long-term performance, while at the lower layer local regulators acting at a higher frequency are designed for the full order models of the subsystems to refine the control action. A simulation experiment concerning the control of the temperature inside a building is reported to witness the potentialities of the proposed approach.


title: Symmetry restoration due to preheating and lepton number asymmetry

abstract: We study a possible symmetry restoration due to the radiative effect of particles which are explosively produced in preheating after inflation. As its application, we consider a scenario for leptogenesis based on the lepton number asymmetry generated in the right-handed neutrino sector through the inflaton decay. The scenario is examined in a one-loop radiative neutrino mass model extended with singlet scalars.


title: Thickness dependent electronic structure in WTe$_2$ thin films

abstract: We study the electronic structure of WTe$_2$ thin film fakes with different thickness down to 11 nm. Angle-dependent quantum oscillations reveal a crossover from a three-dimensional (3D) to a two-dimensional (2D) electronic system when the sample thickness is reduced below 26 nm. The quantum oscillations further show that the Fermi pockets get smaller as the samples are made thinner, indicating that the overlap between conduction and valence bands is getting smaller and implying the spatial confinement could lift the overlap in even thinner samples. In addition, the quadratic magnetoresistance (MR) also shows a crossover from 3D to 2D behavior as the samples are made thinner, while gating is shown to affect both the quadratic MR and the quantum oscillations of a thin sample by tuning its carrier density.


title: End-to-end Throughput Maximization for Underlay Multi-hop Cognitive Radio Networks with RF Energy Harvesting

abstract: This paper studies a green paradigm for the underlay coexistence of primary users (PUs) and secondary users (SUs) in energy harvesting cognitive radio networks (EH-CRNs), wherein battery-free SUs capture both the spectrum and the energy of PUs to enhance spectrum efficiency and green energy utilization. To lower the transmit powers of SUs, we employ multi-hop transmission with time division multiple access, by which SUs first harvest energy from the RF signals of PUs and then transmit data in the allocated time concurrently with PUs, all in the licensed spectrum. In this way, the available transmit energy of each SU mainly depends on the harvested energy before the turn to transmit, namely energy causality. Meanwhile, the transmit powers of SUs must be strictly controlled to protect PUs from harmful interference. Thus, subject to the energy causality constraint and the interference power constraint, we study the end-to-end throughput maximization problem for optimal time and power allocation. To solve this nonconvex problem, we first equivalently transform it into a convex optimization problem and then propose the joint optimal time and power allocation (JOTPA) algorithm that iteratively solves a series of feasibility problems until convergence. Extensive simulations evaluate the performance of EH-CRNs with JOTPA in three typical deployment scenarios and validate the superiority of JOTPA by making comparisons with two other resource allocation algorithms.


title: MSF and Connectivity in Limited Variants of the Congested Clique

abstract: The congested clique is a synchronous, message-passing model of distributed computing in which each computational unit (node) in each round can send message of O(log n) bits to each other node of the network, where n is the number of nodes. This model has been considered under two extreme scanarios: unicast or broadcast. In the unicast model, a node can send (possibly) different message to each other node of the network. In contrast, in the broadcast model each node sends a single (the same) message to all other nodes. We study the congested clique model parametrized by the range r, the maximum number of different messages a node can send in one round. Following recent progress in design of algorihms for graph connectivity and minimum span- ning forest (MSF) in the unicast congested clique, we study these problems in limited variants of the congested clique. We present the first sub-logarithmic algorithm for connected components in the broadcast congested clique. Then, we show that efficient unicast deterministic algorithm for MSF and randomized algorithm for connected components can be efficiently imple- mented in the rcast model with range r = 2, the weakest model of the congested clique above the broadcast variant (r = 1) in the hierarchy with respect to range. More importantly, our al- gorithms give the first solutions with optimal capacity of communication edges, while preserving small round complexity.


title: Nviz - A General Purpse Visualization tool for Wireless Sensor Networks

abstract: In a Wireless Sensor Network (WSN), data manipulation and representation is a crucial part and can take a lot of time to be developed from scratch. Although various visualization tools have been created for certain projects so far, these tools can only be used in certain scenarios, due to their hard-coded packet formats and network's properties. To speed up the development process, a visualization tool which can adapt to any kind of WSN is essentially necessary. For this purpose, a general-purpose visualization tool - NViz, which can represent and visualize data for any kind of WSN, is proposed. NViz allows users to set their network's properties and packet formats through XML files. Based on properties defined, users can choose the meaning of them and let NViz represents the data respectively. Furthermore, a better Replay mechanism, which lets researchers and developers debug their WSN easily, is also integrated in this tool. NViz is designed based on a layered architecture which allows for clear and well-defined interrelationships and interfaces between each component.


title: Magnetic fields in molecular clouds: Limitations of the analysis of Zeeman observations

abstract: Context. Observations of Zeeman split spectral lines represent an important approach to derive the structure and strength of magnetic fields in molecular clouds. In contrast to the uncertainty of the spectral line observation itself, the uncertainty of the analysis method to derive the magnetic field strength from these observations is not been well characterized so far. Aims. We investigate the impact of several physical quantities on the uncertainty of the analysis method, which is used to derive the line-of-sight (LOS) magnetic field strength from Zeeman split spectral lines. Methods. We simulate the Zeeman splitting of the 1665 MHz OH line with the 3D radiative transfer (RT) extension ZRAD. This extension is based on the line RT code Mol3D (Ober et al. 2015) and has been developed for the POLArized RadIation Simulator POLARIS (Reissl et al. 2016). Results. Observations of the OH Zeeman effect in typical molecular clouds are not significantly affected by the uncertainty of the analysis method. We derived an approximation to quantify the range of parameters in which the analysis method works sufficiently accurate and provide factors to convert our results to other spectral lines and species as well. We applied these conversion factors to CN and found that observations of the CN Zeeman effect in typical molecular clouds are neither significantly affected by the uncertainty of the analysis method. In addition, we found that the density has almost no impact on the uncertainty of the analysis method, unless it reaches values higher than those typically found in molecular clouds. Furthermore, the uncertainty of the analysis method increases, if both the gas velocity and the magnetic field show significant variations along the line-of-sight. However, this increase should be small in Zeeman observations of most molecular clouds considering typical velocities of ~1 km/s.


title: Transport in a disordered $\nu=2/3$ fractional quantum Hall junction

abstract: Electric and thermal transport properties of a $\nu=2/3$ fractional quantum Hall junction are analyzed. We investigate the evolution of the electric and thermal two-terminal conductances, $G$ and $G^Q$, with system size $L$ and temperature $T$. This is done both for the case of strong interaction between the 1 and 1/ 3 modes (when the low-temperature physics of the interacting segment of the device is controlled by the vicinity of the strong-disorder Kane-Fisher-Polchinski fixed point) and for relatively weak interaction, for which the disorder is irrelevant at $T=0$ in the renormalization-group sense. The transport properties in both cases are similar in several respects. In particular, $G(L)$ is close to 4/3 (in units of $e^2/h$) and $G^Q$ to 2 (in units of $\pi T / 6 \hbar$) for small $L$, independently of the interaction strength. For large $L$ the system is in an incoherent regime, with $G$ given by 2/3 and $G^Q$ showing the Ohmic scaling, $G^Q\propto 1/L$, again for any interaction strength. The hallmark of the strong-disorder fixed point is the emergence of an intermediate range of $L$, in which the electric conductance shows strong mesoscopic fluctuations and the thermal conductance is $G^Q=1$. The analysis is extended also to a device with floating 1/3 mode, as studied in a recent experiment [A. Grivnin et al, Phys. Rev. Lett. 113, 266803 (2014)].


title: Assess the neutrino mass with micro and macro calorimeter approach

abstract: Thanks to oscillation experiments it is now an established fact that neutrinos are massive particles. Yet, the assessment of neutrinos absolute mass scale is still an outstanding challenge in particle physics and cosmology as oscillation experiments are sensitive only to the squared mass differences of the three neutrino mass eigenstates. The mass hierarchy is not the only missing piece in the puzzle. Theories of neutrino mass generation call into play Majorana neutrinos and there are experimental observations pointing toward the existence of sterile neutrinos in addition to the three weakly interacting ones. Three experimental approaches are currently pursued: an indirect neutrino mass determination via cosmological observables, the search for neutrinoless double $\beta$-decay, and a direct measurement based on the kinematics of single $\beta$ or electron capture decays. Bolometers and calorimeters are low temperature detectors used in many applications, such as astrophysics, fast spectroscopy and particle physics. In particular, sensitive calorimeters play an important role in the neutrino mass measurement and in the search for the neutrinoless double $\beta$-decay. There has been great technical progress on low temperature detectors since they were proposed for neutrino physics experiments in 1984. This general detector paradigm can be implemented in devices as small as a micrometer for sub eV radiation or as large as 1 kg for MeV scale particles. Today this technique offers the high energy resolution and scalability required for leading edges and competitive experiments addressing the still open questions in neutrino physics.


title: Spectral Bounds for the Connectivity of Regular Graphs with Given Order

abstract: The second-largest eigenvalue and second-smallest Laplacian eigenvalue of a graph are measures of its connectivity. These eigenvalues can be used to analyze the robustness, resilience, and synchronizability of networks, and are related to connectivity attributes such as the vertex- and edge-connectivity, isoperimetric number, and characteristic path length. In this paper, we present two upper bounds for the second-largest eigenvalues of regular graphs and multigraphs of a given order which guarantee a desired vertex- or edge-connectivity. The given bounds are in terms of the order and degree of the graphs, and hold with equality for infinite families of graphs. These results answer a question of Mohar.


title: Non-Markovianity of qubit evolution under the action of spin environment

abstract: The question, whether an open system dynamics is Markovian or non-Markovian can be answered by studying the direction of the information flow in the dynamics. In Markovian dynamics, information must always flow from the system to the environment. If the environment is interacting with only one of the subsystems of a bipartite system, the dynamics of the entanglement in the bipartite system can be used to identify the direction of information flow. Here we study the dynamics of a two-level system interacting with an environment, which is also a heat bath, and consists of a large number of two-level quantum systems. Our model can be seen as a close approximation to the `spin bath' model at low temperatures. We analyze the Markovian nature of the dynamics, as we change the coupling between the system and the environment. We find the Kraus operators of the dynamics for certain classes of couplings. We show that any form of time-independent or time-polynomial coupling gives rise to non-Markovianity. Also, we witness non-Markovianity for certain parameter values of time-exponential coupling. Moreover, we study the transition from non-Markovian to Markovian dynamics as we change the value of coupling strength.


title: Vortex dynamics in lattice Bose gases in a synthesized magnetic field with a random noise and a dissipation: Study by the stochastic Gross-Pitaevskii equation

abstract: In this paper, we investigate vortex dynamics in a two-dimensional Bose-Hubbard model coupled with a weak artificial magnetic field, a random white noise and a dissipation. Origin of the noise and dissipation is considered as thermal fluctuations of atoms that do not participate the Bose-Einstein condensation (BEC). Solving a stochastic Gross-Pitaevskii equation to this system, we show that the interplay of the magnetic field and the white noise generates vortices in the bulk of the BEC and stable steady states of vortices form after a transition period. We calculate the incompressible part of the kinetic-energy spectrum of the BEC. In the transition period, a Kolmogorov $k^{-5/3}$ spectrum appears in the infrared regime with the wave number $k$, $k<\zeta^{-1}$, where $\zeta$ is the healing length, whereas in the ultraviolet region, $k>\zeta^{-1}$, the spectrum behaves as $k^{-3}$. On the other hand in the steady states, another scaling low appears. We find a relationship between the above mentioned kinetic-energy spectra and the velocity of vortices. By an inverse cascade, the large velocity of a few created vortices develops the Kolmogorov $k^{-5/3}$ spectrum.


title: Electron Spin Relaxation in a Transition-Metal Dichalcogenide Quantum Dot

abstract: We study the relaxation of a single electron spin in a circular quantum dot in a transition-metal dichalcogenide monolayer defined by electrostatic gating. Transition-metal dichalcogenides provide an interesting and promising arena for quantum dot nano-structures due to the combination of a band gap, spin-valley physics and strong spin-orbit coupling. First we will discuss which bound state solutions in different B-field regimes can be used as the basis for qubits states. We find that at low B-fields combined spin-valley Kramers qubits to be suitable, while at large magnetic fields pure spin or valley qubits can be envisioned. Then we present a discussion of the relaxation of a single electron spin mediated by electron-phonon interaction via various different relaxation channels. In the low B-field regime we consider the spin-valley Kramers qubits and include impurity mediated valley mixing which will arise in disordered quantum dots. Rashba spin-orbit admixture mechanisms allows for relaxation by in-plane phonons either via the deformation potential or by piezoelectric coupling, additionally direct spin-phonon mechanisms involving out-of-plane phonons give rise to relaxation. We find that the relaxation rates scale as $\propto B^6$ for both in-plane phonons coupling via deformation potential and the piezoelectric effect, while relaxation due to the direct spin-phonon coupling scales independant to B-field to lowest order but scales strongly on device mechanical tension. We will also discuss the relaxation mechanisms for pure spin or valley qubits formed in the large B-field regime.


title: Controlling of blow-up responses by a nonlinear $\cal{PT}$ symmetric coupling

abstract: We investigate the dynamics of a coupled waveguide system with competing linear and nonlinear loss-gain profiles which can facilitate power saturation. We show the usefulness of the model in achieving unidirectional beam propagation. In this regard, the considered type of coupled waveguide system has two drawbacks, (i) difficulty in achieving perfect isolation of light in a waveguide and (ii) existence of blow-up type behavior for certain input power situations. We here show a nonlinear $\cal{PT}$ symmetric coupling that helps to overcome these two drawbacks. Such a nonlinear coupling has close connection with the phenomenon of stimulated Raman scattering. In particular, we have elucidated the role of this nonlinear coupling using an integrable $\cal{PT}$ symmetric situation. In particular, using the integrals of motion, we have reduced this coupled waveguide problem to the problem of dynamics of a particle in a potential. With the latter picture, we have clearly illustrated the role of the considered nonlinear coupling. The above $\cal{PT}$ symmetric case corresponds to a limiting form of a general equation describing the phenomenon of stimulated Raman scattering. We also point out the ability to transport light unidirectionally even in this general case.


title: Osmotic and diffusio-osmotic flow generation at high solute concentration. I. Mechanical approaches

abstract: In this paper, we explore various forms of osmotic transport in the regime of high solute concentration. We consider both the osmosis across membranes and diffusio-osmosis at solid interfaces, driven by solute concentration gradients. We follow a mechanical point of view of osmotic transport, which allows us to gain much insight into the local mechanical balance underlying osmosis. We demonstrate in particular how the general expression of the osmotic pressure for mixtures, as obtained classically from the thermodynamic framework, emerges from the mechanical balance controlling non-equilibrium transport under solute gradients. Expressions for the rejection coefficient of osmosis and the diffusio-osmotic mobilities are accordingly obtained. These results generalize existing ones in the dilute solute regime to mixtures with arbitrary concentrations.


title: Establishing Role-based Access Control in Viewpoint-oriented Variability Management

abstract: Process roles are used to structure complex engineering processes in single sys-tems development for many years. Typically, each role has specific responsi-bilities from which certain information demands originate. In the engineering of variable software, role-specific information demands affect variability in-formation. To control the access to the variability information, we suggest us-ing the concepts of an explicit access control model. We integrate an access control model and a variability modeling language on a conceptual level. Ad-ditionally, we extend the variability modeling language by formally defined operations. Based on this extension, we propose a formal integration of an ac-cess control model and the variability modeling language. Our solution allows to explicitly define access control to variability information on a formal basis.


title: A Scalable Data Streaming Infrastructure for Smart Cities

abstract: Many of the services a smart city can provide to its citizens rely on the ability of its infrastructure to collect and process in real time vast amounts of continuous data that sensors deployed through the city produce. In this paper we present the server infrastructure we have designed in the context of the HERMES project to collect the data from sensors and aggregate it in streams for their use in services of the smart city.


title: Carbon Monosulfide Nanostructures: Chains Arrays, Monolayers, and Thin Films

abstract: Theoretical predictions have lead to the experimental synthesis of new low dimensional layered structures. Herein we show for the very first time that compounds of carbon monosulfide exhibit a great variety of layered nanostructures, such as chains arrays, monolayers, and thin films. We find that the chains arrays are the most stable because they are mainly dimensionality-driven by the $sp^2$ hybridization of sulfur and carbon orbitals. Furthermore, the chains arrays are direct gap semiconductors. In contrast to thin films, the monolayers are stable at room temperature with a semiconductor phase followed in energy by a metallic phase. Then, we achieve a semiconductor-to-metal phase transition in carbon sulfur monolayers, which can be driven by strain engineering controlling conductivity and carrier mobility.


title: Byzantine-Tolerant Machine Learning

abstract: The growth of data, the need for scalability and the complexity of models used in modern machine learning calls for distributed implementations. Yet, as of today, distributed machine learning frameworks have largely ignored the possibility of arbitrary (i.e., Byzantine) failures. In this paper, we study the robustness to Byzantine failures at the fundamental level of stochastic gradient descent (SGD), the heart of most machine learning algorithms. Assuming a set of $n$ workers, up to $f$ of them being Byzantine, we ask how robust can SGD be, without limiting the dimension, nor the size of the parameter space. We first show that no gradient descent update rule based on a linear combination of the vectors proposed by the workers (i.e, current approaches) tolerates a single Byzantine failure. We then formulate a resilience property of the update rule capturing the basic requirements to guarantee convergence despite $f$ Byzantine workers. We finally propose Krum, an update rule that satisfies the resilience property aforementioned. For a $d$-dimensional learning problem, the time complexity of Krum is $O(n^2 \cdot (d + \log n))$.


title: ceRNA crosstalk stabilizes protein expression and affects the correlation pattern of interacting proteins

abstract: Gene expression is a noisy process and several mechanisms, both transcriptional and posttranscriptional, can stabilize protein levels in cells. Much work has focused on the role of miRNAs, showing in particular that miRNA-mediated regulation can buffer expression noise for lowly expressed genes. Here, using in silico simulations and mathematical modeling, we demonstrate that miRNAs can exert a much broader influence on protein levels by orchestrating competition-induced crosstalk between mRNAs. Most notably, we find that miRNA-mediated cross-talk (i) can stabilize protein levels across the full range of gene expression rates, and (ii) modifies the correlation pattern of co-regulated interacting proteins, changing the sign of correlations from negative to positive. The latter feature may constitute a potentially robust signature of the existence of RNA crosstalk induced by endogenous competition for miRNAs in standard cellular conditions.


title: Osmotic and diffusio-osmotic flow generation at high solute concentration. II. Molecular dynamics simulations

abstract: In this paper, we explore osmotic transport by means of molecular dynamics (MD) simulations. We first consider osmosis through a membrane, and investigate the reflection coefficient of an imperfectly semi-permeable membrane, in the dilute and high concentration regimes. We then explore the diffusion-osmotic flow of a solute-solvent fluid adjacent to a solid surface, driven by a chemical potential gradient parallel to the surface. We propose a novel non-equilibrium MD (NEMD) methodology to simulate diffusion-osmosis, by imposing an external force on every particle, which properly mimics the chemical potential gradient on the solute in spite of the periodic boundary conditions. This NEMD method is validated theoretically on the basis of linear-response theory by matching the mobility with their Green-Kubo expressions. Finally, we apply the framework to more realistic systems, namely a water-ethanol mixture in contact with a silica or a graphene surface.

categories: cond-mat.mes-hall cond-mat.soft cond-mat.stat-mech physics.chem-ph physics.flu-dyn


title: Reaction-Diffusion Systems in Epidemiology

abstract: A key problem in modelling the evolution dynamics of infectious diseases is the mathematical representation of the mechanism of transmission of the contagion. Models with a finite number of subpopulations can be described via systems of ordinary differential equations. When dealing with populations with space structure the relevant quantities are spatial densities, whose evolution in time requires nonlinear partial differential equations, which are known as reaction-diffusion systems. Here we present an (historical) outline of mathematical epidemiology, with a particular attention to the role of spatial heterogeneity and dispersal in the population dynamics of infectious diseases. Two specific examples are discussed, which have been the subject of intensive research by the authors, i.e. man-environment-man epidemics, and malaria. In addition to the epidemiological relevance of these epidemics all over the world, their treatment requires a large amount of different sophisticate mathematical methods, and has even posed new non trivial mathematical problems, as one can realize from the list of references. One of the most relevant problems posed by the authors, i.e. regional control, has been emphasized here: the public health concern consists of eradicating the disease in the relevant population, as fast as possible. On the other hand, very often the entire domain of interest for the epidemic, is either unknown, or difficult to manage for an affordable implementation of suitable environmental programmes. For regional control instead it might be sufficient to implement such programmes only in a given subregion conveniently chosen so to lead to an effective (exponentially fast) eradication of the epidemic in the whole habitat; it is evident that this practice may have an enormous importance in real cases with respect to both financial and practical affordability.


title: Stability proof for nonlinear MPC design using monotonically increasing weighting profiles without terminal constraints

abstract: In this note, a new formulation of Model Predictive Control (MPC) framework with no stability-related terminal constraint is proposed and its stability is proved under mild standard assumptions. The novelty in the formulation lies in the use of time-varying monotonically increasing stage cost penalty. The main result is that the $0$-reachability prediction horizon can always be made stabilizing provided that the increasing rate of the penalty is made sufficiently high.


title: Spectral functions for $\bar{D}$ meson and $\bar{D}_0^*$ meson in nuclear matter with partial restoration of chiral symmetry

abstract: We investigate the in-medium masses of a $\bar{D} (0^-)$ meson and a $\bar{D}_0^* (0^+)$ meson and spectral functions for $\bar{D}$ and $\bar{D}_0^*$ meson channels in nuclear matter. These mesons are introduced as chiral partner in the chiral symmetry broken vacuum, hence they are useful to explore the partial restoration of the broken chiral symmetry in nuclear matter. We consider the linear sigma model to describe the chiral symmetry breaking. Our study shows that the loop corrections to $\bar{D}$ and $\bar{D}_0^*$ meson masses provide a smaller mass splitting at finite density than that in vacuum, whose result indicates a tendency of the restoration of the chiral symmetry. We investigate also the spectral function for $\bar{D}_0^*$ meson channel, and find three peaks. The first peak which corresponds to the resonance of $\bar{D}_0^*$ meson is broadened by collisions with nucleons in medium, and the peak position shifts to lower mass due to the partial restoration of chiral symmetry as the density increases. The second peak is identified as a threshold enhancement which shows a remarkable enhancement as the density increase. The third peak is Landau damping. The obtained properties of $\bar{D}$ and $\bar{D}_0^*$ mesons in nuclear matter will provide useful information for experiments.


title: From the core to the outskirts: structure analysis of three massive galaxy clusters

abstract: The hierarchical model of structure formation is a key prediction of the Lambda cold dark matter model, which can be tested by studying the large-scale environment and the substructure content of massive galaxy clusters. We present here a detailed analysis of the clusters RXCJ0225.9-4154, RXCJ0528.9-3927, and RXCJ2308.3-0211, as part of a sample of massive X-ray luminous clusters located at intermediate redshifts. We used a multiwavelength analysis, combining WFI photometric observations, VIMOS spectroscopy, and the X-ray surface brightness maps. We investigated the optical morphology of the clusters, we looked for significant counterparts in the residual X-ray emission, and we ran several tests to assess their dynamical state. We correlated the results to define various substructure features, to study their properties, and to quantify their influence on simple dynamical mass estimators. RXCJ0225 has a bimodal core, and two massive galaxy groups are located in its immediate surroundings; they are aligned in an elongated structure that is also detected in X-rays. RXCJ0528 is located in a poor environment; an X-ray centroid shift and the presence of two central BCGs provide mild evidence for a recent and active dynamical history. RXCJ2308 has complex central dynamics, and it is found at the core of a superstes-cluster. The complexity of the cluster's central dynamics reflects the richness of its large-scale environment: RXCJ0225 and RXCJ2308 present a mass fraction in substructures larger than the typical 0.05-0.15, whereas the isolated cluster RXCJ0528 does not have any major substructures within its virial radius. The largest substructures are found in the cluster outskirts. The optical morphology of the clusters correlates with the orientation of their BCG, and with the position of the main axes of accretion.


title: The Commutator as Least Fixed Point of a Closure Operator

abstract: We present a description of the (non-modular) commutator, inspired by that of Kearnes in~\cite[p.~930]{MR1358491}, that provides a simple recipe for computing the commutator.


title: Massive (pesudo)Scalars in AdS$_4$, SO(4) Invariant Solutions and Holography

abstract: We include a new 7-form ansatz in 11-dimensional supergravity over AdS_4 x S^7/Z_k when the internal space is considered as a U(1) bundle on CP^3. After a general analysis of the ansatz, we take a special form of it and obtain a scalar equation from which we focus on a few massive bulk modes that are SU(4) x U(1) R-singlet and break all supersymmetries. The mass term breaks the scale invariance and so the (perturbative) solutions we obtain are SO(4) invariant in Euclidean AdS_4 (or SO(3,1) in its dS_3 slicing). The corresponding bare operators are irrelevant in probe approximation; and to realize the AdS_4/CFT_3 correspondence, we need to swap the fundamental representations of $SO(8)$ for supercharges with those for scalars and fermions. In fact, we have domain-walls arising from (anti)M5-branes wrapping around S^3/Z_k of the internal space with parity breaking scheme. As a result, the duals may be in three-dimensional U(N) or O(N) Chern-Simon models with matters in fundamental representations. Accordingly, we present dual boundary operators and build instanton solutions in a truncated version of the boundary ABJM action; and, because of the unboundedness of bulk potential from below, it is thought that they lead to big crunch singularities in the bulk.


title: A Python program for the implementation of the {\Gamma}-method for Monte Carlo simulations

abstract: We present a modular analysis program written in Python devoted to the estimation of autocorrelation times for Monte Carlo simulations by means of the $\Gamma$-method algorithm. We give a brief review of this method and describe the main features of the program. The latter is characterized by a user-friendly interface and an open source environment which, along with its modularity, make it a versatile tool. Finally we present a simple application as an operational test for the program.


title: Chromium-vacancy clusters in dilute bcc Fe-Cr alloys: an ab initio study

abstract: Using an ab initio approach, we explore the stability of small vacancy and vacancy-chromium clusters in dilute body-centred cubic Fe-Cr alloys. To explain experimental observations described in C.D. Hardie et al., J. Nucl. Mater. 439, 33 (2013) and showing the occurrence of Cr segregation in low-Cr alloys, we investigate if chromium can form stable bound configurations with vacancies in alloys with chromium concentration below the low-temperature chromium solubility limit of 10-11 at. %. We find that a single vacancy can attract up to four Cr atoms in the most energetically favourable cluster configuration. The binding energy of a cluster containing a single vacancy and from one to eight Cr atoms can be well described by a linear function of the number of chromium atoms in the second, third and fifth nearest neighbour coordination. The magnetic origin of the binding energy trend is confirmed by a correlation between the average value of the magnetic moment of a Cr atom and the binding energy. Similar trends are also found for di-vacancy-Cr clusters, confirming that they likely also characterise larger systems not yet accessible to ab initio calculations. The ratio of the binding energy to the number of Cr atoms increased more than twice in the di-vacancy case in comparison with a single vacancy case.


title: Chaotic mechanism description by an elementary mixer for the template of an attractor

abstract: Templates can be used to describe the topological properties of chaotic attractors. For attractors bounded by genus one torus, these templates are described by a linking matrix. For a given attractor, it has been shown that the template depends on the Poincar\'e section chosen to performed the analysis. The purpose of this article is to present an algorithm that gives the elementary mixer of a template in order to have a unique way to describe a chaotic mechanism. This chaotic mechanism is described with a linking matrix and we also provide a method to generate and classify all the possible chaotic mechanisms made of two to five strips.


title: A Long-Term Analysis of Polarization on Twitter

abstract: Social media has played an important role in shaping political discourse over the last decade. At the same time, it is often perceived to have increased political polarization, thanks to the scale of discussions and their public nature. In this paper, we try to answer the question of whether political polarization in the US on Twitter has increased over the last eight years. We analyze a large longitudinal Twitter dataset of 679,000 users and look at signs of polarization in their (i) network - how people follow political and media accounts, (ii) tweeting behavior - whether they retweet content from both sides, and (iii) content - how partisan the hashtags they use are. Our analysis shows that online polarization has indeed increased over the past eight years and that, depending on the measure, the relative change is 10%-20%. Our study is one of very few with such a long-term perspective, encompassing two US presidential elections and two mid-term elections, providing a rare longitudinal analysis.


title: Finite schemes and secant varieties over arbitrary characteristic

abstract: We present scheme theoretic methods that apply to the study of secant varieties. This mainly concerns finite schemes and their smoothability. The theory generalises to the base fields of any characteristic, and even to non-algebraically closed fields. In particular, the smoothability of finite schemes does not depend on the embedding into a smooth variety or on base field extensions. Independent of the base field, secant varieties to high degree Veronese reembeddings behave well with respect to the intersection and they are defined by minors of catalecticants whenever a suitable smoothability condition for Gorenstein subschemes holds. The content of the article is largely expository, although many results are presented in a stronger form than in the literature.


title: Young Stellar Objects in the Massive Star-Forming Regions W51 and W43

abstract: We present the results of our investigation of the star-forming complexes W51 and W43, two of the brightest in the first Galactic quadrant. In order to determine the young stellar object (YSO) populations in W51 and W43 we used color-magnitude relations based on Spitzer mid-infrared and 2MASS/UKIDSS near-infrared data. We identified 302 Class I YSOs and 1178 Class II/transition disk candidates in W51, and 917 Class I YSOs and 5187 Class II/transition disk candidates in W43. We also identified tens of groups of YSOs in both regions using the Minimal Spanning Tree (MST) method. We found similar cluster densities in both regions even though Spitzer was not able to probe the densest part of W43. By using the Class II/I ratios, we traced the relative ages within the regions and based on the morphology of the clusters we argue that several sites of star formation are independent of one another in terms of their ages and physical conditions. We used spectral energy distribution (SED)-fitting to identify the massive YSO (MYSO) candidates since they play a vital role in the star formation process and then examined them to see if they are related to any massive star formation tracers such as UCH II regions, masers and dense fragments. We identified 17 MYSO candidates in W51, and 14 in W43, respectively and found that groups of YSOs hosting MYSO candidates are positionally associated with H II regions in W51, though we do not see any MYSO candidates associated with previously identified massive dense fragments in W43.


title: Lindblad approach to spatio-temporal quantum dynamics of phonon-induced carrier capture processes

abstract: In view of the ultrashort spatial and temporal scales involved, carrier capture processes in nanostructures are genuine quantum phenomena. To describe such processes, methods with different levels of approximations have been developed. By properly tailoring the Lindblad-based nonlinear single-particle density matrix equation provided by an alternative Markov approach, in this work we present a Lindblad superoperator to describe how the phonon-induced carrier capture affects the spatio-temporal quantum dynamics of a flying wave packet impinging on a quantum dot. We compare the results with non-Markovian quantum kinetics calculations and discuss the advantages and drawbacks of the two approaches.


title: Two-Qubit Pure Entanglement as Optimal Social Welfare Resource in Bayesian Game

abstract: Entanglement is of paramount importance in quantum information theory. Its supremacy over classical correlations has been demonstrated in numerous information theoretic protocols. Here we study possible adequacy of quantum entanglement in Bayesian game theory, particularly in social welfare solution (SWS), a strategy which the players follow to maximize the sum of their payoffs. Given a multi-partite quantum state as an advice, players can come up with several correlated strategies by performing local measurements on their parts of the quantum state. A quantum strategy is called quantum-SWS if it is advantageous over a classical equilibrium (CE) strategy in the sense that none of the players has to sacrifice their CE-payoff rather some have incentive and at the same time it maximizes the sum of all players' payoffs over all possible quantum advantageous strategies. Quantum state yielding such a quantum-SWS is called a quantum social welfare advice (SWA). We show that any two-qubit pure entangled state, even if it is arbitrarily close to a product state, can serve as quantum-SWA in some Bayesian game. Our result, thus, gives cognizance to the fact that every two-qubit pure entanglement is the best resource for some operational task.


title: A trinity of duality: non-separable planar maps, $\beta$-(1,0) trees and synchronized intervals

abstract: The dual of a map is a fundamental construction on combinatorial maps, but many other combinatorial objects also possess their notion of duality. For instance, the Tamari lattice is isomorphic to its order dual, which induces an involution on the set of so-called "synchronized intervals" introduced by Pr\'eville-Ratelle and the present author. Another example is the class of $\beta$-(1,0) trees, which has a mysterious involution $h$ proposed by Claesson, Kitaev and Steingr\'imsson (2009). These two classes of combinatorial objects are all in bijection with the class of non-separable planar maps, which is closed by map duality. In this article, we show that we can identify the notions of duality in these three classes of objects using previously known natural bijections, which leads to a bijective proof of a result from Kitaev and de Mier (2013). We also discuss how various statistics are transferred by duality and by the bijections we used.


title: Cubical Covers of Sets in $\mathbb{R}^n$

abstract: Wild sets in $\mathbb{R}^n$ can be tamed through the use of various representations though sometimes this taming removes features considered important. Finding the wildest sets for which it is still true that the representations faithfully inform us about the original set is the focus of this rather playful, expository paper that we hope will stimulate interest in cubical coverings as well as the other two ideas we explore briefly: Jones' $\beta$ numbers and varifolds from geometric measure theory.


title: Riemann-Hilbert problems for the resolved conifold

abstract: We study the Riemann-Hilbert problems associated to the Donaldson-Thomas theory of the resolved conifold. We give explicit solutions in terms of the Barnes double and triple sine functions. We show that the corresponding tau function is a non-perturbative partition function, in the sense that its asymptotic expansion coincides with the topological string partition function.


title: Pythagorean theorem of Sharpe ratio

abstract: In the present paper, using a replica analysis, we examine the portfolio optimization problem handled in previous work and discuss the minimization of investment risk under constraints of budget and expected return for the case that the distribution of the hyperparameters of the mean and variance of the return rate of each asset are not limited to a specific probability family. Findings derived using our proposed method are compared with those in previous work to verify the effectiveness of our proposed method. Further, we derive a Pythagorean theorem of the Sharpe ratio and macroscopic relations of opportunity loss. Using numerical experiments, the effectiveness of our proposed method is demonstrated for a specific situation.

categories: q-fin.PM cond-mat.dis-nn math.OC q-fin.RM


title: Energy stable discretization of Allen-Cahn type problems modeling the motion of phase boundaries

abstract: We study the systematic numerical approximation of a class of Allen-Cahn type problems modeling the motion of phase interfaces. The common feature of these models is an underlying gradient flow structure which gives rise to a decay of an associated energy functional along solution trajectories. We first study the discretization in space by a conforming Galerkin approximation of a variational principle which characterizes smooth solutions of the problem. Well-posedness of the resulting semi-discretization is established and the energy decay along discrete solution trajectories is proven. A problem adapted implicit time-stepping scheme is then proposed and we establish its well-posed and decay of the free energy for the fully discrete scheme. Some details about the numerical realization by finite elements are discussed, in particular the iterative solution of the nonlinear problems arising in every time-step. The theoretical results are illustrated by numerical tests which also provide further evidence for asymptotic expansions of the interface velocities derived by Alber et al.


title: Trace anomaly and invariance under transformation of units

abstract: Paying attention to conformal invariance as the invariance under local transformations of units of measure, we take a conformal invariant quantum field as a quantum matter theory in which one has the freedom to choose the values of units of mass, length and time arbitrarily at each point. To be able to have this view, it is necessary that the background on which the quantum field is based be conformal invariant as well. Consequently, defining the unambiguous expectation value of the energy-momentum tensor of such a quantum field through the Wald renormalizing prescription necessitates breaking down the conformal symmetry of the background. Then, noticing the field equations suitable for describing the back-reaction effect, we show that the existence of trace anomaly, known for indicating the brokenness of conformal symmetry in quantum field theory, can also indicate the above gravitational conformal symmetry brokenness


title: Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications

abstract: This paper presents a framework for automatic synthesis of a control sequence for multi-agent systems governed by continuous linear dynamics under timed constraints. First, the motion of the agents in the workspace is abstracted into individual Transition Systems (TS). Second, each agent is assigned with an individual formula given in Metric Interval Temporal Logic (MITL) and in parallel, the team of agents is assigned with a collaborative team formula. The proposed method is based on a correct-by-construction control synthesis method, and hence guarantees that the resulting closed-loop system will satisfy the specifications. The specifications considers boolean-valued properties under real-time. Extended simulations has been performed in order to demonstrate the efficiency of the proposed controllers.


title: On a conjecture by Chapuy about Voronoi cells in large maps

abstract: In a recent paper, Chapuy conjectured that, for any positive integer k, the law for the fractions of total area covered by the k Voronoi cells defined by k points picked uniformly at random in the Brownian map of any fixed genus is the same law as that of a uniform k-division of the unit interval. For k=2, i.e. with two points chosen uniformly at random, it means that the law for the ratio of the area of one of the two Voronoi cells by the total area of the map is uniform between 0 and 1. Here, by a direct computation of the desired law, we show that this latter conjecture for k=2 actually holds in the case of large planar (genus 0) quadrangulations as well as for large general planar maps (i.e. maps whose faces have arbitrary degrees). This corroborates Chapuy's conjecture in its simplest realizations.


title: Rough path properties for local time of symmetric $\alpha$ stable process

abstract: In this paper, we first prove that the local time associated with symmetric $\alpha$-stable processes is of bounded $p$-variation for any $p>\frac{2}{\alpha-1}$ partly based on Barlow's estimation of the modulus of the local time of such processes.\,\,The fact that the local time is of bounded $p$-variation for any $p>\frac{2}{\alpha-1}$ enables us to define the integral of the local time $\int_{-\infty}^{\infty}\triangledown_-^{\alpha-1}f(x)d_x L_t^x$ as a Young integral for less smooth functions being of bounded $q$-varition with $1\leq q<\frac{2}{3-\alpha}$. When $q\geq \frac{2}{3-\alpha}$, Young's integration theory is no longer applicable. However, rough path theory is useful in this case. The main purpose of this paper is to establish a rough path theory for the integration with respect to the local times of symmetric $\alpha$-stable processes for $\frac{2}{3-\alpha}\leq q< 4$.


title: Linear systems on rational elliptic surfaces and elliptic fibrations on K3 surfaces

abstract: We consider K3 surfaces which are double cover of rational elliptic surfaces. The former are endowed with a natural elliptic fibration, which is induced by the latter. There are also other elliptic fibrations on such K3 surfaces, which are necessarily induced by special linear systems on the rational elliptic surfaces. We describe these linear systems. In particular, we observe that every conic bundle on the rational surface induces a genus 1 fibration on the K3 surface and we classify the singular fibers of the genus 1 fibration on the K3 surface it terms of singular fibers and special curves on the conic bundle on the rational surface.


title: $K$-Best Solutions of MSO Problems on Tree-Decomposable Graphs

abstract: We show that, for any graph optimization problem in which the feasible solutions can be expressed by a formula in monadic second-order logic describing sets of vertices or edges and in which the goal is to minimize the sum of the weights in the selected sets, we can find the $k$ best solutions for $n$-vertex graphs of bounded treewidth in time $\mathcal O(n+k\log n)$. In particular, this applies to the problem of finding the $k$ shortest simple paths between given vertices in directed graphs of bounded treewidth, giving an exponential speedup in the per-path cost over previous algorithms.


title: Full-dimensional theory of pair-correlated HNCO photofragmentation

abstract: Full-dimensional semiclassical dynamical calculations are reported for the photofragmentation of isocyanic acid in the S1 state. These calculations, performed for the first time, allow to closely reproduce the key features of high-resolution imaging measurements at photolysis wavelengths of 201 and 210 nm while providing insight into the underlying dissociation mechanism.


title: Negative Wigner function at telecommunication wavelength from homodyne detection

abstract: Quantum states of light having a Wigner function with negative values represent a key resource in quantum communication and quantum information processing. Here, we present the generation of such a state at the telecommunication wavelength of 1550nm. The state is generated by means of photon subtraction from a weakly squeezed vacuum state and is heralded by the `click' of a single photon counter. Balanced homodyne detection is applied to reconstruct the Wigner function, also yielding the state's photon number distribution. The heralding photons are frequency up-converted to 532nm to allow for the use of a room-temperature (silicon) avalanche photo diode. The Wigner function reads W(0,0)=-0.063 +/- 0.004 at the origin of phase space, which certifies negativity with more than 15 standard deviations.


title: Distant irregularity strength of graphs with bounded minimum degree

abstract: Consider a graph $G=(V,E)$ without isolated edges and with maximum degree $\Delta$. Given a colouring $c:E\to\{1,2,\ldots,k\}$, the weighted degree of a vertex $v\in V$ is the sum of its incident colours, i.e., $\sum_{e\ni v}c(e)$. For any integer $r\geq 2$, the least $k$ admitting the existence of such $c$ attributing distinct weighted degrees to any two different vertices at distance at most $r$ in $G$ is called the $r$-distant irregularity strength of $G$ and denoted by $s_r(G)$. This graph invariant provides a natural link between the well known 1--2--3 Conjecture and irregularity strength of graphs. In this paper we apply the probabilistic method in order to prove an upper bound $s_r(G)\leq (4+o(1))\Delta^{r-1}$ for graphs with minimum degree $\delta\geq \ln^8\Delta$, improving thus far best upper bound $s_r(G)\leq 6\Delta^{r-1}$.