title: Regenerative Soot-VIII: Sputtering and formation of C1 and C2

abstract: Photoemission spectroscopy of the regenerative soot in neon's glow discharge plasma reveals the contributions from the sputtered atomic and molecular carbon species. We present the pattern of sputtering and the formation of monatomic C1 and diatomic C2 as a function of the discharge current, the support gas pressure and the number densities of the excited and ionized neon as the active constituents of the carbonaceous plasma.


title: Matrices about the lattice paths

abstract: From the matrix point of view, we use the recursion to discuss four combinatorial numbers in terms of the integer lattice paths, this is different from Andr\'a's method (Andra). We give four tables and matrices, and their relations, and give their matrix decompositions. By their relations, we give the explicit formulas of the special combinatorial numbers.


title: Avoiding the Goldstone Boson Catastrophe in general renormalisable field theories at two loops

abstract: We show how the infra-red divergences associated to Goldstone bosons in the minimum condition of the two-loop Landau-gauge effective potential can be avoided in general field theories. This extends the resummation formalism recently developed for the Standard Model and the MSSM, and we give compact, infra-red finite expressions in closed form for the tadpole equations. We also show that the results at this loop order are equivalent to (and are most easily obtained by) imposing an "on-shell" condition for the Goldstone bosons. Moreover, we extend the approach to show how the infra-red divergences in the calculation of the masses of neutral scalars (such as the Higgs boson) can be eliminated. For the mass computation, we specialise to the gaugeless limit and extend the effective potential computation to allow the masses to be determined without needing to solve differential equations for the loop functions -- opening the door to fast, infra-red safe determinations of the Higgs mass in general theories.


title: Gridlan: a Multi-purpose Local Grid Computing Framework

abstract: In scientific computing, more computational power generally implies faster and possibly more detailed results. The goal of this study was to develop a framework to submit computational jobs to powerful workstations underused by nonintensive tasks. This is achieved by using a virtual machine in each of these workstations, where the computations are done. This group of virtual machines is called the Gridlan. The Gridlan framework is intermediate between the cluster and grid computing paradigms. The Gridlan is able to profit from existing cluster software tools, such as resource managers like Torque, so a user with previous experience in cluster operation can dispatch jobs seamlessly. A benchmark test of the Gridlan implementation shows the system's suitability for computational tasks, principally in embarrassingly parallel computations.


title: A G2-QCD neutron star

abstract: The determination of the properties of neutron stars from the underlying theory, QCD, is still an unsolved problem. This is mainly due to the difficulty to obtain reliable results for the equation of state for cold, dense QCD. As an alternative route to obtain qualitative insights, we determine the structure of a neutron star for a modified version of QCD: By replacing the gauge group SU(3) with the exceptional Lie group G2, it is possible to perform lattice simulations at finite density, while still retaining neutrons. Here, results of these lattice simulations are used to determine the mass-radius relation of a neutron star for this theory. The results show that phase changes express themselves in this relation. Also, the radius of the most massive neutron stars is found to vary very little, which would make radius determinations much simpler if this would also be true in QCD.

categories: astro-ph.HE astro-ph.SR hep-lat hep-ph nucl-th


title: Finite symmetries in agent-based epidemic models

abstract: We present an algorithm which explores permutation symmetries to describe the time evolution of agent-based epidemic models. The main idea to improve computation times relies on restricting the stochastic process to one sector of the vector space, labeled by a single permutation eigenvalue. In this scheme, the transition matrix reduces to block diagonal form, enhancing computational performance.


title: Fundamental energy cost for quantum measurement

abstract: Measurements and feedback are essential in the control of any device operating at the quantum scale and exploiting the features of quantum physics. As the number of quantum components grows, it becomes imperative to consider the energetic expense of such elementary operations. Here, we derive energy requirements for general quantum measurement, extending previous models and obtaining stronger bounds in relevant situations, and then study two important classes of measurements in detail. One is the projective measurement, where we obtain the exact cost rather than a lower bound, and the other is the so-called inefficient measurement, in which we explicitly show that energy extraction is possible. As applications, we derive the energy-precision trade-off in quantum Zeno stabilisation schemes and the exact energy expense for quantum error correction. Our results constitute fundamental energetic limitations against which to benchmark implementations of future quantum devices as they grow in complexity.


title: The fundamental diagram of urbanization

abstract: The process of urbanization is one of the most important phenomenon of our societies and it is only recently that the availability of massive amounts of geolocalized historical data allows us to address quantitatively some of its features. Here, we discuss how the number of buildings evolves with population and we show on different datasets (Chicago, $1930-2010$; London, $1900-2015$; New York City, $1790-2013$; Paris, $1861-2011$) that this `fundamental diagram' evolves in a possibly universal way with three distinct phases. After an initial pre-urbanization phase, the first phase is a rapid growth of the number of buildings versus population. In a second regime, where residences are converted into another use (such as offices or stores for example), the population decreases while the number of buildings stays approximatively constant. In another subsequent phase, the number of buildings and the population grow again and correspond to a re-densification of cities. We propose a stochastic model based on these simple mechanisms to reproduce the first two regimes and show that it is in excellent agreement with empirical observations. These results bring evidences for the possibility of constructing a minimal model that could serve as a tool for understanding quantitatively urbanization and the future evolution of cities.


title: On the local equivalence between the canonical and the microcanonical distributions for quantum spin systems

abstract: We study a quantum spin system on the $d$-dimensional hypercubic lattice $\Lambda$ with $N=L^d$ sites with periodic boundary conditions. We take an arbitrary translation invariant short-ranged Hamiltonian. For this system, we consider both the canonical ensemble with inverse temperature $\beta_0$ and the microcanonical ensemble with the corresponding energy $U_N(\beta_0)$. For an arbitrary self-adjoint operator $\hat{A}$ whose support is contained in a hypercubic block $B$ inside $\Lambda$, we prove that the expectation values of $\hat{A}$ with respect to these two ensembles are close to each other for large $N$ provided that $\beta_0$ is sufficiently small and the number of sites in $B$ is $o(N^{1/2})$. This establishes the equivalence of ensembles on the level of local states in a large but finite system. The result is essentially that of Brandao and Cramer (here restricted to the case of the canonical and the microcanonical ensembles), but we prove improved estimates in an elementary manner. We also review and prove standard results on the thermodynamic limits of thermodynamic functions and the equivalence of ensembles in terms of thermodynamic functions. The present paper assumes only elementary knowledge on quantum statistical mechanics and quantum spin systems.


title: Event-Triggered Communication and Control for Multi-Agent Average Consensus

abstract: In this chapter we look at one of the canonical driving examples for multi-agent systems: average consensus. In this scenario, a group of agents seek to agree on the average of their initial states. Depending on the particular application, such states might correspond to sensor measurements, estimates about the position of a target, or some other data that needs to be fused. Due to its numerous applications in networked systems, many algorithmic solutions exist to the multi-agent average consensus problem; however, a majority of them rely on agents having continuous or periodic availability of information from other agents. Unfortunately, this assumption leads to inefficient implementations in terms of energy consumption, communication bandwidth, network congestion, and processor usage. Motivated by these observations, our main goal here is the design of provably correct distributed event-triggered strategies that autonomously decide when communication and control updates should occur so that the resulting asynchronous network executions still achieve average consensus.


title: Markovian nature, completeness, regularity and correlation properties of Generalized Poisson-Kac processes

abstract: We analyze some basic issues associated with Generalized Poisson-Kac (GPK) stochastic processes, starting from the extended notion of the Markovian condition. The extended Markovian nature of GPK processes is established, and the implications of this property derived: the associated adjoint formalism for GPK processes is developed essentially in an analogous way as for the Fokker-Planck operator associated with Langevin equations driven by Wiener processes. Subsequently, the regularity of trajectories is addressed: the occurrence of fractality in the realizations of GPK is a long-term emergent property, and its implication in thermodynamics is discussed. The concept of completeness in the stochastic description of GPK is also introduced. Finally, some observations on the role of correlation properties of noise sources and their influence on the dynamic properties of transport phenomena are addressed, using a Wiener model for comparison.


title: More on Diophantine sextuples

abstract: A rational Diophantine m-tuple is a set of m nonzero rationals such that the product of any two of them increased by 1 is a perfect square. The first rational Diophantine quadruple was found by Diophantus, while Euler proved that there are infinitely many rational Diophantine quintuples. In 1999, Gibbs found the first example of a rational Diophantine sextuple, and Dujella, Kazalicki, Mikic and Szikszai recently proved that there exist infinitely many rational Diophantine sextuples. In this paper, generalizing the work of Piezas, we describe a method for generating new parametric formulas for rational Diophantine sextuples.


title: Two-dimensional relative peripheral refractive error induced by Fractal Contact Lenses for myopia control

abstract: Purpose: To assess the peripheral refraction induced by Fractal Contact Lenses (FCLs) in myopic eyes by means of a two-dimensional Relative Peripheral Refractive Error (RPRE) map. Methods: FCLs prototypes were specially manufactured and characterized. This study involved twenty-six myopic subjects ranging from -0.50 D to -7.00 D. The two-dimensional RPRE was measured with an open-field autorefractor by means of tracking targets distributed in a square grid from -30 degrees (deg) nasal to 30 deg temporal and 15 deg superior to -15 deg inferior. Corneal topographies were taken in order to assess correlations between corneal asphericity, lens decentration and RPRE represented in vector components M, J0 and J45. Results: The mean power of the FCLs therapeutic zones was 1.32 +/- 0.28 D. Significant correlations were found between the corneal asphericity and vector components of the RPRE in the nacked eyes. FCLs were decentered a mean of 0.7 +/- 0.19 mm to the temporal cornea. M decreased asymmetrically between nasal and temporal retina after fitting the FCLs with a significant increment of the myopic shift besides 10 deg (p<0.05) and the induced myopic shift at 25 deg and 30 deg decreased with FCLs decentration to temporal cornea. The peak of maximum myopic shift at the peripheral retina (M= -1.3 D) was located at 20 deg. Two-dimensional maps showed uniform significant differences in extreme positions of the visual field in comparison with the horizontal RPRE for M and J0, but not for J45. Conclusions: FCLs measured in myopic eyes showed a similar performance than the reported in previous ray-tracing studies with a small bias explained by the manufacturing process and the lens decentration. Two-dimensional maps are preferable for assessing J45 changes due to the lens.


title: Symmetric Non-Rigid Structure from Motion for Category-Specific Object Structure Estimation

abstract: Many objects, especially these made by humans, are symmetric, e.g. cars and aeroplanes. This paper addresses the estimation of 3D structures of symmetric objects from multiple images of the same object category, e.g. different cars, seen from various viewpoints. We assume that the deformation between different instances from the same object category is non-rigid and symmetric. In this paper, we extend two leading non-rigid structure from motion (SfM) algorithms to exploit symmetry constraints. We model the both methods as energy minimization, in which we also recover the missing observations caused by occlusions. In particularly, we show that by rotating the coordinate system, the energy can be decoupled into two independent terms, which still exploit symmetry, to apply matrix factorization separately on each of them for initialization. The results on the Pascal3D+ dataset show that our methods significantly improve performance over baseline methods.


title: Structural Properties of Stiff Elastic Networks

abstract: Networks of elastic beams can deform either by stretching or bending of their members. The primary mode of deformation (bending or stretching) crucially depends on the specific details of the network architecture. In order to shed light on the relationship between microscopic geometry and macroscopic mechanics, we characterize the structural features of networks which deform uniformly, through the stretching of the beams only. We provide a convenient set of geometrical criteria to identify such networks, and derive the values of their effective elastic moduli. The analysis of these criteria elucidates the variability of mechanical response of elastic networks. In particular, our study rationalizes the difference in mechanical behavior of cellular and fiber networks.


title: Quasidiagonal traces and crossed products

abstract: Let $A$ be a simple, exact, separable, unital $C^*$-algebra and let $\alpha \colon G \rightarrow Aut(A)$ be an action of a finite group $G$ with the weak tracial Rokhlin property. We show that every trace on $A \rtimes_{\alpha} G$ is quasidiagonal provided that all traces on $A$ are quasidiagonal. As an application, we study the behavior of finite decomposition rank under taking crossed products by finite group actions with the weak tracial Rokhlin property. Moreover, we discuss the stability of the property that all traces are quasidiagonal under taking crossed products of finite group actions with finite Rokhlin dimension with commuting towers.


title: Spherical character of a supercuspidal representation as weighted orbital integral

abstract: Let $\rm E/\rm F$ be an unramified quadratic extension of local non archimedean fields of characteristic 0. Let $\underline{H}$ be an algebraic reductive group, defined and split over $\rm F$. We assume that the split connected component of the center of $\underline{H}$ is trivial. Let $(\tau,V)$ be a $\underline{H}(\rm F)$-distinguished supercuspidal representation of $\underline{H}(\rm E)$. Using the recent results of C. Zhang, and the geometric side of a local relative trace formula obtained by P. Delorme, P. Harinck and S. Souaifi, we describe spherical characters associated to $\underline{H}(\rm F)$-invariant linear forms on $V$ in terms of weighted orbital integrals of matrix coefficients of $\tau$.


title: Formal Series of Generalised Functions and Their Application to Deformation Quantisation

abstract: Foundations of the formal series $*$ -- calculus in deformation quantisation are discussed. Several classes of continuous linear functionals over algebras applied in classical and quantum physics are introduced. The notion of nonnegativity in formal series calculus is proposed. Problems with defining quantum states over the set of formal series are analysed.


title: The Conformal Limit of Inflation in the Era of CMB Polarimetry

abstract: We argue that the non-detection of primordial tensor modes has taught us a great deal about the primordial universe. In single-field slow-roll inflation, the current upper bound on the tensor-to-scalar ratio, $r < 0.07$ $(95 \% ~CL)$, implies that the Hubble slow-roll parameters obey $\varepsilon \ll \eta$, and therefore establishes the existence of a new hierarchy. We dub this regime the conformal limit of (slow-roll) inflation, and show that it includes Starobinsky-like inflation as well as all viable single-field models with a sub-Planckian field excursion. In this limit, all primordial correlators are constrained by the full conformal group to leading non-trivial order in slow-roll. This fixes the power spectrum and the full bispectrum, and leads to the "conformal" shape of non-Gaussianity. The size of non-Gaussianity is related to the running of the spectral index by a consistency condition, and therefore it is expected to be small. In passing, we clarify the role of boundary terms in the $\zeta$ action, the order to which constraint equations need to be solved, and re-derive our results using the Wheeler-deWitt formalism.


title: Deconstruction and conditional erasure of quantum correlations

abstract: We define the deconstruction cost of a tripartite quantum state on systems $ABE$ as the minimum rate of noise needed to apply to the $AE$ systems, such that there is negligible disturbance to the marginal state on the $BE$ systems, while the system $A$ of the resulting state is locally recoverable from the $E$ system alone. We refer to such actions as deconstruction operations and protocols implementing them as state deconstruction protocols. State deconstruction generalizes Landauer erasure of a single-party quantum state as well the erasure of correlations of a two-party quantum state. We find that the deconstruction cost of a tripartite quantum state on systems $ABE$ is equal to its conditional quantum mutual information (CQMI) $I(A;B|E)$, thus giving the CQMI an operational interpretation in terms of a state deconstruction protocol. We also define a related task called conditional erasure, in which the goal is to apply noise to systems $AE$ in order to decouple system $A$ from systems $BE$, while causing negligible disturbance to the marginal state of systems $BE$. We find that the optimal rate of noise for conditional erasure is also equal to the CQMI $I(A;B|E)$. State deconstruction and conditional erasure lead to operational interpretations of the quantum discord and squashed entanglement, which are quantum correlation measures based on the CQMI. We find that the quantum discord is equal to the cost of simulating einselection, the process by which a quantum system interacts with an environment, resulting in selective loss of information in the system. The squashed entanglement is equal to half the minimum rate of noise needed for deconstruction/conditional erasure if Alice has available the best possible system $E$ to help in the deconstruction/conditional erasure task.


title: Tilings of non-convex Polygons, skew-Young Tableaux and determinantal Processes

abstract: This paper studies random lozenge tilings of general non-convex polygonal regions. We show that the pairwise interaction of the non-convexities leads asymptotically to new kernels and thus to new statistics for the tiling fluctuations. The precise geometrical figure here consists of a hexagon with cuts along opposite edges. For this model we take limits when the size of the hexagon and the cuts tend to infinity, while keeping certain geometric data fixed in order to guarantee interaction beyond the limit. We show in this paper that the kernel for the finite tiling model can be expressed as a multiple integral, where the number of integrations is related to the fixed geometric data above. The limiting kernel is believed to be a universal master kernel.


title: Radiative conductivity and abundance of post-perovskite in the lowermost mantle

abstract: Thermal conductivity of the lowermost mantle governs the heat flow out of the core energizing planetary-scale geological processes. Yet, there are no direct experimental measurements of thermal conductivity at relevant pressure-temperature conditions of Earth's core-mantle boundary. Here we determine the radiative conductivity of post-perovskite at near core-mantle boundary conditions by optical absorption measurements in a laser-heated diamond anvil cell. Our results show that the radiative conductivity of Mg0.9Fe0.1SiO3 post-perovskite (< 1.2 W/m/K) is ~ 40% smaller than bridgmanite at the base of the mantle. By combining this result with the present-day core-mantle heat flow and available estimations on the lattice thermal conductivity we conclude that post-perovskite is as abundant as bridgmanite in the lowermost mantle which has profound implications for the dynamics of the deep Earth.


title: Smooth anti-reflective three-dimensional textures for liquid-phase crystallized silicon thin-film solar cells on glass

abstract: Recently, liquid-phase crystallization of thin silicon films has emerged as a promising candidate for thin-film photovoltaics. On 10 \mu m thin absorbers, wafer-equivalent morphologies and open-circuit voltages were reached, leading to a record efficiency of 12.1%. However, short-circuit current densities are still limited, mainly due to optical losses at the glass-silicon interface. While nano-structures at this interface have been shown to efficiently reduce reflection, up to now these textures caused an increase in recombination. Therefore, optical gains were mitigated due to electronic losses. Here, the SMooth Anti-Reflective Three-dimensional (SMART) texture is introduced in order to overcome this trade-off. By smoothing nanoimprinted SiOx nano-pillar arrays with spin-coated TiOx layers, light-trapping properties of laser-crystallized silicon solar cells could significantly be improved as successfully shown in three-dimensional simulations and in experiment. At the same time, the smooth surface morphology of SMART textures allows preserving electronic material quality equivalent to that of planar reference samples and reaching Voc values above 640 mV in 8 \mu m thin liquid-phase crystallized silicon solar cells. Furthermore, the short-circuit current density jsc could be increased from 21.0 mA cm-2 for planar reference cells with already optimized anti-reflective interlayer stacks to 23.3 mA cm-2 on SMART textures, corresponding to a relative increase of 11%.


title: On differential operators on complete symmetric varieties of type $A_1$ and $A_2$

abstract: In this paper, we will look at the algebra of global differential operators $D_X$ on wonderful compactifications $X$ of symmetric spaces $G/H$ of type $A_1$ and $A_2$. We will first construct a global differential operator on these varieties that does not come from the infinitesimal action of $\mathfrak{g}$. We will then focus on type $A_2$, where we will show that $D_X$ is an algebra of finite type, and that for any invertible sheaf ${\cal L}$ on $X$, $H^{0}(X,{\cal L})$ is either 0 or a simple left $D_{X,{\cal L}}$-module. Finally, we will show with the help of local cohomology that this is still true for higher cohomology groups $H^{i}(X,{\cal L})$.


title: A classification of harmonic Maass forms

abstract: We give a classification of the Harish-Chandra modules generated by the pullback to $\text{SL}_2(\mathbb R)$ of harmonic Maass forms for congruence subgroups of $\text{SL}_2(\mathbb Z)$ with exponential growth allowed at the cusps. We assume that the weight is integral but include vector-valued forms. Due to the weak growth condition, these modules need not be irreducible. Elementary Lie algebra considerations imply that there are 9 possibilities, and we show, by giving explicit examples, that all of them arise from harmonic Maass forms. Finally, we briefly discuss the case of forms that are not harmonic but rather are annihilated by a power of the Laplacian, where much more complicated Harish-Chandra modules can arise.


title: Stiffness of the C-terminal disordered linker affects the geometry of the active site in endoglucanase Cel8A

abstract: Cellulosomes are complex multi-enzyme machineries which efficiently degrade plant cell-wall polysaccharides. The multiple domains of the cellulosome proteins are often tethered together by intrinsically disordered regions. The properties and functions of these disordered linkers are not well understood. In this work, we study endoglucanase Cel8A, which is a relevant enzymatic component of the cellulosomes of Clostridium thermocellum. We use both all-atom and coarse-grained simulations to investigate how the equilibrium conformations of the catalytic domain of Cel8A are affected by the disordered linker at its C terminus. We find that when the endoglucanase is bound to its substrate, the effective stiffness of the linker can influence the distances between groups of amino-acid residues throughout the entire enzymatic domain. In particular, variations in the linker stiffness can lead to small changes in the geometry of the active-site cleft. We suggest that such geometrical changes may, in turn, have an effect on the catalytic activity of the enzyme.


title: Energy dependence of hadron polarization in $e^+e^-\to hX$ at high energies

abstract: The longitudinal polarization of hyperons in $e^+e^-$ annihilation at high energies depends on the longitudinal polarization of the quark produced at the $e^+e^-$ annihilation vertex whereas the spin alignment of vector mesons is independent of it. They exhibit very different energy dependences. We use the longitudinal polarization of Lambda hyperon and the spin alignment of $K^*$ as examples and present numerical results of energy dependences. We present the results at the leading twist with perturbative QCD evolutions of fragmentation functions at the leading order.


title: Vertex operators for production of baryon resonances in nucleon-gamma collisions with preserving gauge invariance and analyticity

abstract: Vertex operators for photo- and electro-production of baryon states with arbitrary spin-parity, $ \gamma + N\to B(J^P)$, are constructed. The operators obey gauge invariance and analyticity constraints. Analyticity is realized as a requirement of the generalized Siegert theorem for vertex form factors.


title: Parallel transport along Seifert manifolds and fractional monodromy

abstract: The notion of fractional monodromy was introduced by Nekhoroshev, Sadovski\'{i} and Zhilinski\'{i} as a generalization of standard (`integer') monodromy in the sense of Duistermaat from torus bundles to singular torus fibrations. In the present paper we prove a general result that allows to compute fractional monodromy in various integrable Hamiltonian systems. In particular, we show that the non-triviality of fractional monodromy in 2 degrees of freedom systems with a Hamiltonian circle action is related only to the fixed points of the circle action. Our approach is based on the study of a specific notion of parallel transport along Seifert manifolds.


title: Lines of Constant Physics in a Five-Dimensional Gauge-Higgs Unification Scenario

abstract: We report on the progress in the study of a five-dimensional SU(2) Gauge-Higgs Unification model. In this non-perturbative study, the Higgs mechanism is triggered by the spontaneous breaking of a global symmetry. In the same region of the phase diagram, we observe both dimensional reduction and the ratio of Higgs and Z boson masses to take the value known from experiment. We present the first results on the construction of a line of constant physics in this region, including the prediction for the mass scale of the first excited states of the Higgs and gauge bosons.


title: Hofer-Zehnder capacity and Bruhat graph

abstract: We find bounds for the Hofer-Zehnder capacity of coadjoint orbits of compact Lie groups with respect to the Kostant--Kirillov--Souriau symplectic form in terms of the combinatorics of their Bruhat graph. We show that our bounds are sharp for coadjoint orbits of the unitary group and equal to the diameter of a weighted Cayley graph.


title: SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments

abstract: An autonomous navigation with proven collision avoidance in unknown and dynamic environments is still a challenge, particularly when there are moving obstacles. A popular approach to collision avoidance in the face of moving obstacles is based on model predictive algorithms, which, however, may be computationally expensive. Hence, we adopt a reactive potential field approach here. At every cycle, the proposed approach requires only current robot states relative to the closest obstacle point to find the potential field in the current position; thus, it is more computationally efficient and more suitable to scale up for multiple agent scenarios. Our main contribution here is to write the reactive potential field based motion controller as a hybrid automaton, and then formally verify its safety using differential dynamic logic. In particular, we can guarantee a passive safety property, which means that collisions cannot occur if the robot is to blame, namely a collision can occur only if the robot is at rest. The proposed controller and verification results are demonstrated via simulations and implementation on a Pioneer P3-AT robot.


title: Fast symmetric additive covariance smoothing

abstract: We propose a fast bivariate smoothing approach for symmetric surfaces that has a wide range of applications. We show how it can be applied to estimate the covariance function in longitudinal data as well as multiple additive covariances in functional data with complex correlation structures. Our symmetric smoother can handle (possibly noisy) data sampled on a common, dense grid as well as irregularly or sparsely sampled data. Estimation is based on bivariate penalized spline smoothing using a mixed model representation and the symmetry is used to reduce computation time compared to the usual non-symmetric smoothers. We outline the application of our approach in functional principal component analysis and demonstrate its practical value in two applications. The approach is evaluated in extensive simulations. We provide documented open source software implementing our fast symmetric bivariate smoother building on established algorithms for additive models.


title: Scaling betweenness centrality using communication-efficient sparse matrix multiplication

abstract: Betweenness centrality (BC) is a crucial graph problem that measures the significance of a vertex by the number of shortest paths leading through it. We propose Maximal Frontier Betweenness Centrality (MFBC): a succinct BC algorithm based on novel sparse matrix multiplication routines that performs a factor of $p^{1/3}$ less communication on $p$ processors than the best known alternatives, for graphs with $n$ vertices and average degree $k=n/p^{2/3}$. We formulate, implement, and prove the correctness of MFBC for weighted graphs by leveraging monoids instead of semirings, which enables a surprisingly succinct formulation. MFBC scales well for both extremely sparse and relatively dense graphs. It automatically searches a space of distributed data decompositions and sparse matrix multiplication algorithms for the most advantageous configuration. The MFBC implementation outperforms the well-known CombBLAS library by up to 8x and shows more robust performance. Our design methodology is readily extensible to other graph problems.


title: Is the deconvolution layer the same as a convolutional layer?

abstract: In this note, we want to focus on aspects related to two questions most people asked us at CVPR about the network we presented. Firstly, What is the relationship between our proposed layer and the deconvolution layer? And secondly, why are convolutions in low-resolution (LR) space a better choice? These are key questions we tried to answer in the paper, but we were not able to go into as much depth and clarity as we would have liked in the space allowance. To better answer these questions in this note, we first discuss the relationships between the deconvolution layer in the forms of the transposed convolution layer, the sub-pixel convolutional layer and our efficient sub-pixel convolutional layer. We will refer to our efficient sub-pixel convolutional layer as a convolutional layer in LR space to distinguish it from the common sub-pixel convolutional layer. We will then show that for a fixed computational budget and complexity, a network with convolutions exclusively in LR space has more representation power at the same speed than a network that first upsamples the input in high resolution space.


title: Dispersion relations and bending losses of cylindrical and spherical shells, slabs, and slot waveguides

abstract: We derive formulas for Whispering Gallery Mode resonances and bending losses in infinite cylindrical dielectric shells and sets of concentric cylindrical shells. The formulas also apply to spherical shells and to sections of bent waveguides. The derivation is based on a WKB treatment of Helmholtz equation and can in principle be extended to any number of concentric shells. A distinctive limit analytically arises in the analysis when two shells are brought at very close distance to one another. In that limit, the two shells act as a slot waveguide. If the two shells are sufficiently apart, we identify a structural resonance between the individual shells, which can either lead to a substantial enhancement or suppression of radiation losses.


title: Singular curves and Baker-Akhiezer functions

abstract: We present the concept of Baker-Akhiezer functions on singular complex curves. For this purpose, we translate the algebraic presentation of such curves in [Se, Chapter~IV] into the analytic setting. Generalised divisors and their interplay with partial desingularisations are the fundament of the construction of Baker-Akhiezer functions.


title: Formation and stability of metastable skyrmionic spin structures with various topologies in an ultrathin film

abstract: We observe metastable localized spin configurations with topological charges ranging from $Q=-3$ to $Q=2$ in a (Pt$_{0.95}$Ir$_{0.05}$)/Fe bilayer on Pd$(111)$ surface by performing spin dynamics simulations, using a classical Hamiltonian parametrized by ab initio calculations. We demonstrate that the frustration of the isotropic exchange interactions is responsible for the creation of these various types of skyrmionic structures. The Dzyaloshinsky--Moriya interaction present due to the breaking of inversion symmetry at the surface energetically favors skyrmions with $Q=-1$, distorts the shape of the other objects, and defines a preferred orientation for them with respect to the underlying lattice.


title: On the construction of solutions to the free-surface incompressible ideal magnetohydrodynamic equations

abstract: We consider a free boundary problem for the incompressible ideal magnetohydrodynamic equations that describes the motion of the plasma in vacuum. The magnetic field is tangent and the total pressure vanishes along the plasma-vacuum interface. Under the Taylor sign condition of the total pressure on the free surface, we prove the local well-posedness of the problem in Sobolev spaces.


title: Chiral-scale effective theory including a dilatonic meson

abstract: A scale-invariant chiral effective Lagrangian is constructed for octet pions and a dilaton figuring as Nambu-Goldstone bosons with vector mesons incorporated as hidden gauge fields. The Lagrangian is built to the next-to-leading order in chiral-scale counting without baryon fields and then to leading order including baryons. The resulting theory is hidden scale-symmetric and local symmetric. We also discuss some possible applications of the present Lagrangian.


title: Distributed Consistent Data Association

abstract: Data association is one of the fundamental problems in multi-sensor systems. Most current techniques rely on pairwise data associations which can be spurious even after the employment of outlier rejection schemes. Considering multiple pairwise associations at once significantly increases accuracy and leads to consistency. In this work, we propose two fully decentralized methods for consistent global data association from pairwise data associations. The first method is a consensus algorithm on the set of doubly stochastic matrices. The second method is a decentralization of the spectral method proposed by Pachauri et al.. We demonstrate the effectiveness of both methods using theoretical analysis and experimental evaluation.


title: Spin-polarized scanning tunneling microscopy characteristics of skyrmionic spin structures exhibiting various topologies

abstract: The correct identification of topological magnetic objects in experiments is an important issue. In the present work we report on the characterization of metastable skyrmionic spin structures with various topological charges ($Q=-3,-2,-1,0,+1,+2$) in the (Pt$_{1-x}$Ir$_{x}$)Fe/Pd(111) ultrathin magnetic film by performing spin-polarized scanning tunneling microscopy (SP-STM) calculations. We find that an out-of-plane magnetized tip already results in distinguished SP-STM contrasts for the different skyrmionic structures corresponding to their symmetries. Our work also establishes an understanding of the relationship between in-plane SP-STM contrasts and skyrmionic topologies through an investigation of the variation of the in-plane angle between the spins along the perimeter of the structures, which can be characterized by the local vorticity or linear density of the winding number. For spin structures exhibiting a uniform sign of the local vorticity throughout the whole skyrmionic area, we demonstrate that (i) $|Q|$ can be determined from a single SP-STM image taken by any in-plane magnetized tip, and (ii) an in-plane tip magnetization rotation provides the sign of $Q$ independently of the sign of the effective spin polarization in the tunnel junction. We also discuss cases where the local vorticity is changing sign. Finally, by increasing the Ir content of the PtIr overlayer, we find an appearing secondary outer ring in-plane SP-STM contrast that is indicative of attractive skyrmions or antiskyrmions.


title: Content of Local Cohomology, Parameter Ideals, and Robust Algebras

abstract: This paper continues the investigation of quasilength, of content of local cohomology with respect to generators of the support ideal, and of robust algebras begun in joint work of Hochster and Huneke. We settle several questions raised by Hochster and Huneke. In particular, we give a family of examples of top local cohomology modules both in equal characteristic 0 and in positive prime characteristic that are nonzero but have content 0. We use the notion of a robust forcing algebra (the condition turns out to be strictly stronger than the notion of a solid forcing algebra in, for example, equal characteristic 0) to define a new closure operation on ideals. We prove that this new notion of closure coincides with tight closure for ideals in complete local domains of positive characteristic, which requires proving that forcing algebras for instances of tight closure are robust, and study several related problems. This gives, in effect, a new characterization of tight closure in complete local domains of positive characteristic. As a byproduct, we also answer a question of Lyubeznik in the negative.


title: Strong-field ionization via high-order Coulomb corrected strong-field approximation

abstract: Signatures of the Coulomb corrections in the photoelectron momentum distribution during laser-induced ionization of atoms or ions in tunneling and multiphoton regimes are investigated analytically in the case of an one-dimensional problem. High-order Coulomb corrected strong-field approximation is applied, where the exact continuum state in the S-matrix is approximated by the eikonal Coulomb-Volkov state including the second-order corrections to the eikonal. Although, without high-order corrections our theory coincides with the known analytical R-matrix (ARM) theory, we propose a simplified procedure for the matrix element derivation. Rather than matching the eikonal Coulomb-Volkov wave function with the bound state as in the ARM-theory to remove the Coulomb singularity, we calculate the matrix element via the saddle-point integration method as by time as well as by coordinate, and in this way avoiding the Coulomb singularity. The momentum shift in the photoelectron momentum distribution with respect to the ARM-theory due to high-order corrections is analyzed for tunneling and multiphoton regimes. The relation of the quantum corrections to the tunneling delay time is discussed


title: Lorentz Covariant Canonical Symplectic Algorithms for Dynamics of Charged Particles

abstract: In this paper, the Lorentz covariance of algorithms is introduced. Under Lorentz transformation, both the form and performance of a Lorentz covariant algorithm are invariant. To acquire the advantages of symplectic algorithms and Lorentz covariance, a general procedure for constructing Lorentz covariant canonical symplectic algorithms (LCCSA) is provided, based on which an explicit LCCSA for dynamics of relativistic charged particles is built. LCCSA possesses Lorentz invariance as well as long-term numerical accuracy and stability, due to the preservation of discrete symplectic structure and Lorentz symmetry of the system. For situations with time-dependent electromagnetic fields, which is difficult to handle in traditional construction procedures of symplectic algorithms, LCCSA provides a perfect explicit canonical symplectic solution by implementing the discretization in 4-spacetime. We also show that LCCSA has built-in energy-based adaptive time steps, which can optimize the computation performance when the Lorentz factor varies.


title: Scale-free unique continuation estimates and Logvinenko-Sereda Theorems on the torus

abstract: We study uncertainty principles for function classes on the torus. The classes are defined in terms of spectral subspaces of the energy or the momentum, respectively. In our main theorems, the support of the Fourier transform of the considered functions is allowed to be supported in a (finite number of) parallelepipeds. The estimates we obtain do not depend on the size of the torus and the position of the parallelepipeds, but only on their size and number, and the density and scale of the observability set. Our results are on the one hand closely related to unique continuation for linear combinations of eigenfunctions (aka spectral inequalities) which can be obtained by Carleman estimates, on the other hand to observability estimates for the time-dependent Schroedinger and for the heat equation, and finally to the Logvinenko & Sereda theorem. In fact, they are based on the methods developed by Kovrijkine to refine and generalize the results of Logvinenko & Sereda and Kacnel'son. Furthermore, relying on completely different techniques associated with the time-dependent Schroedinger equation, we prove a companion theorem where the energy of the considered functions is allowed to be in a spectral subspace of a Schroedinger operator.


title: Efficient unitary designs with nearly time-independent Hamiltonian dynamics

abstract: We provide new constructions of unitary $t$-designs for general $t$ on one qudit and $N$ qubits, and propose a design Hamiltonian, a random Hamiltonian of which dynamics always forms a unitary design after a threshold time, as a basic framework to investigate randomising time evolution in quantum many-body systems. The new constructions are based on recently proposed schemes of repeating random unitaires diagonal in mutually unbiased bases. We first show that, if a pair of the bases satisfies a certain condition, the process on one qudit approximately forms a unitary $t$-design after $O(t)$ repetitions. We then construct quantum circuits on $N$ qubits that achieve unitary $t$-designs for $t = o(N^{1/2})$ using $O(t N^2)$ gates, improving the previous result using $O(t^{10}N^2)$ gates in terms of $t$. Based on these results, we present a design Hamiltonian with periodically changing two-local spin-glass-type interactions, leading to fast and relatively natural realisations of unitary designs in complex many-body systems.


title: Competing turbulent cascades and eddy-wave interactions in shallow water equilibria

abstract: In recent work, Renaud, Venaille, and Bouchet (RVB) revisit the equilibrium statistical mechanics theory of the shallow water equations, within a microcanonical approach, focusing on a more careful treatment of the energy partition between inertial gravity wave and eddy motions in the equilibrium state, and deriving joint probability distributions for the corresponding dynamical degrees of freedom. The authors derive a Liouville theorem that determines the underlying phase space statistical measure, but then, through some physical arguments, actually compute the equilibrium statistics using a measure that \emph{violates} this theorem. Here, using a more convenient, but essentially equivalent, grand canonical approach, the full statistical theory consistent with the Liouville theorem is derived. The results reveal several significant differences from the previous results: (1) The microscale wave motions lead to a strongly fluctuating thermodynamics, including long-ranged correlations, in contrast to the mean-field-like behavior found by RVB. The final effective model is equivalent to that of an elastic membrane with a nonlinear wave-renormalized surface tension. (2) Even when a mean field approximation is made, a rather more complex joint probability distribution is revealed. Alternative physical arguments fully support the consistency of the results. Of course, the true fluid final steady state relies on dissipative processes not included in the shallow water equations, such as wave breaking and viscous effects, but it is argued that the current theory provides a more mathematically consistent starting point for future work aimed at assessing their impacts.


title: Strength and scales of itinerant spin fluctuations in 3d paramagnetic metals

abstract: The full spin density fluctuations (SDF) spectra in 3d paramagnetic metals are analyzed from first principles using the linear response technique. Using the calculated complete wavevector and energy dependence of the dynamic spin susceptibility, we obtain the most important, but elusive, characteristic of SDF in solids: on-site spin correlator (SC). We demonstrate that the SDF have a mixed character consisting of interacting collective and single-particle excitations of similar strength spreading continuously over the entire Brillouin zone and a wide energy range up to femtosecond time scales. These excitations cannot be adiabatically separated and their intrinsically multiscale nature should be always taken into account for a proper description of metallic systems. Overall, in all studied systems, despite the lack of local moment, we found a very large SC resulting in an effective fluctuating moment of the order of several Bohr magnetons.


title: Spin effects in the pion holographic light-front wavefunction

abstract: We account for dynamical spin effects in the holographic light-front wavefunction of the pion in order to predict its mean charge radius, decay constant, spacelike electromagnetic form factor, twist-2 Distribution Amplitude and the photon-to-pion transition form factor. Using a universal fundamental AdS/QCD scale of 523 MeV and a constituent quark mass of 330 MeV, we find a remarkable improvement in describing all observables.


title: Photothermal optomechanics in superfluid helium coupled to a fiber-based cavity

abstract: Presented in this paper are measurements of an optomechanical device in which various acoustic modes of a sample of superfluid helium couple to a fiber-based optical cavity. In contrast with recent work on the paraxial acoustic mode confined by the cavity mirrors, we focus specifically on the acoustic modes associated with the helium surrounding the cavity. This paper provides a framework for understanding how the acoustic modes depend on device geometry. The acoustic modes are observed using the technique of optomechanically induced transparency/amplification. The optomechanical coupling to these modes is found to be predominantly photothermal.


title: Oscillations in a flexible channel flow of a generalized Newtonian fluid

abstract: We study the flow of a generalized Newtonian fluid, characterized by a power-law model, through a channel consisting of a wall with a flexible membrane under longitudinal tension. It is assumed that at steady state the flow through the channel admits a constant flux unidirectional flow profile, while for the unsteady case, we employ the long wave approximation and use a set of reduced equations to describe the variation of the shape of the membrane (assumed to be massless and elastic) and the variation of the fluid-flux. By means of asymptotic expansion, multiscale analysis and full numerical solutions of the pertinent governing equations, we show that depending upon the Reynolds number and the membrane stress, the flow behaviour for a shear-thinning, shear-thickening and Newtonian fluid may be markedly different, being oscillatory for one while chaotic for the other. The results presented herein hold practical relevance for several biologically relevant processes involving transport of rheologically complex biofluids through flexible domains.


title: PIR schemes with small download complexity and low storage requirements

abstract: In the classical model for (information theoretically secure) Private Information Retrieval (PIR), a user wishes to retrieve one bit of a database that is stored on a set of $n$ servers, in such a way that no individual server gains information about which bit the user is interested in. The aim is to design schemes that minimise communication between the user and the servers. More recently, there have been moves to consider more realistic models where the total storage of the set of servers, or the per server storage, should be minimised (possibly using techniques from distributed storage), and where the database is divided into $R$-bit records with $R>1$, and the user wishes to retrieve one record rather than one bit. When $R$ is large, downloads from the servers to the user dominate the communication complexity and so the aim is to minimise the total number of downloaded bits. Shah, Rashmi and Ramchandran show that at least $R+1$ bits must be downloaded from servers in the worst case, and provide PIR schemes meeting this bound. Sun and Jafar determine the best asymptotic download cost of a PIR scheme (as $R\rightarrow\infty$), where this cost is defined as the ratio of the message length $R$ and the total number of bits downloaded. This paper provides various bounds on the download complexity of a PIR scheme, generalising those of Shah et al. to the case when the number $n$ of servers is bounded, and providing links with classical techniques due to Chor et al. The paper also provides a range of constructions for PIR schemes that are either simpler or perform better than previously known schemes, including explicit schemes that achieve the best asymptotic download complexity of Sun and Jafar with significantly lower upload complexity, and general techniques for constructing a scheme with good worst case download complexity from a scheme with good download complexity on average.


abstract: Entity images could provide significant visual information for knowledge representation learning. Most conventional methods learn knowledge representations merely from structured triples, ignoring rich visual information extracted from entity images. In this paper, we propose a novel Image-embodied Knowledge Representation Learning model (IKRL), where knowledge representations are learned with both triple facts and images. More specifically, we first construct representations for all images of an entity with a neural image encoder. These image representations are then integrated into an aggregated image-based representation via an attention-based method. We evaluate our IKRL models on knowledge graph completion and triple classification. Experimental results demonstrate that our models outperform all baselines on both tasks, which indicates the significance of visual information for knowledge representations and the capability of our models in learning knowledge representations with images.


title: Leading Impulse Response Identification via the Weighted Elastic Net Criterion

abstract: This paper deals with the problem of finding a low-complexity estimate of the impulse response of a linear time-invariant discrete-time dynamic system from noise-corrupted input-output data. To this purpose, we introduce an identification criterion formed by the average (over the input perturbations) of a standard prediction error cost, plus a weighted l1 regularization term which promotes sparse solutions. While it is well known that such criteria do provide solutions with many zeros, a critical issue in our identification context is where these zeros are located, since sensible low-order models should be zero in the tail of the impulse response. The flavor of the key results in this paper is that, under quite standard assumptions (such as i.i.d. input and noise sequences and system stability), the estimate of the impulse response resulting from the proposed criterion is indeed identically zero from a certain time index (named the leading order) onwards, with arbitrarily high probability, for a sufficiently large data cardinality. Numerical experiments are reported that support the theoretical results, and comparisons are made with some other state-of-the-art methodologies.


title: Chiral Shock Waves

abstract: We study the shock waves in relativistic chiral matter. We argue that the conventional Rankine-Hugoinot relations are modified due to the presence of chiral transport phenomena. We show that the entropy discontinuity in a weak shock wave is quadratic in the pressure discontinuity when the effect of chiral transport becomes sufficiently large. We also show that rarefaction shock waves, which do not exist in usual nonchiral fluids, can appear in chiral matter. The direction of shock wave propagation in a vorticity is found to be completely determined by the direction of the vorticity and the chirality of fermions. These features are exemplified by shock propagation in dense neutrino matter in the hydrodynamic regime.

categories: hep-th astro-ph.CO cond-mat.mes-hall hep-ph


title: Exponential moments for numerical approximations of stochastic partial differential equations

abstract: Stochastic partial differential equations (SPDEs) have become a crucial ingredient in a number of models from economics and the natural sciences. Many SPDEs that appear in such applications include non-globally monotone nonlinearities. Solutions of SPDEs with non-globally monotone nonlinearities are in nearly all cases not known explicitly. Such SPDEs can thus only be solved approximatively and it is an important research problem to construct and analyze discrete numerical approximation schemes which converge with positive strong convergence rates to the solutions of such infinite dimensional SPDEs. In the case of finite dimensional stochastic ordinary differential equations (SODEs) with non-globally monotone nonlinearities it has recently been revealed that exponential integrability properties of the discrete numerical approximation scheme are a key instrument to establish positive strong convergence rates for the considered approximation scheme. To the best of our knowledge, there exists no result in the scientific literature which proves exponential integrability properties for a time discrete approximation scheme in the case of an infinite dimensional SPDE. In this paper we propose a new class of tamed space-time-noise discrete exponential Euler approximation schemes that admit exponential integrability properties in the case of infinite dimensional SPDEs. In particular, we establish exponential moment bounds for the proposed approximation schemes in the case of stochastic Burgers equations, stochastic Kuramoto-Sivashinsky equations, and two-dimensional stochastic Navier-Stokes equations.


title: Interference Mitigation Using Asynchronous Transmission and Sampling Diversity

abstract: In this paper, we show that by investigating inherent time delays between different users in a multiuser scenario, we are able to cancel interference more efficiently. Time asynchrony provides another tool to cancel interference which results in preserving other resources like frequency, time and code. Therefore, we can save the invaluable resource of frequency band and also increase spectral efficiency. A sampling method is presented which results in independent noise samples and obviates the need for the complex process of noise whitening. By taking advantage of this sampling method and its unique structure, we implement maximum-likelihood sequence detection which outperforms synchronous maximum-likelihood detection. We also present successive interference cancellation with hard decision passing which gives rise to a novel forward-backward belief propagation method. Next, the performance of zero forcing detection is analyzed. Simulation results are also presented to verify our analysis.


title: Generating Abstractive Summaries from Meeting Transcripts

abstract: Summaries of meetings are very important as they convey the essential content of discussions in a concise form. Generally, it is time consuming to read and understand the whole documents. Therefore, summaries play an important role as the readers are interested in only the important context of discussions. In this work, we address the task of meeting document summarization. Automatic summarization systems on meeting conversations developed so far have been primarily extractive, resulting in unacceptable summaries that are hard to read. The extracted utterances contain disfluencies that affect the quality of the extractive summaries. To make summaries much more readable, we propose an approach to generating abstractive summaries by fusing important content from several utterances. We first separate meeting transcripts into various topic segments, and then identify the important utterances in each segment using a supervised learning approach. The important utterances are then combined together to generate a one-sentence summary. In the text generation step, the dependency parses of the utterances in each segment are combined together to create a directed graph. The most informative and well-formed sub-graph obtained by integer linear programming (ILP) is selected to generate a one-sentence summary for each topic segment. The ILP formulation reduces disfluencies by leveraging grammatical relations that are more prominent in non-conversational style of text, and therefore generates summaries that is comparable to human-written abstractive summaries. Experimental results show that our method can generate more informative summaries than the baselines. In addition, readability assessments by human judges as well as log-likelihood estimates obtained from the dependency parser show that our generated summaries are significantly readable and well-formed.


title: Multi-document abstractive summarization using ILP based multi-sentence compression

abstract: Abstractive summarization is an ideal form of summarization since it can synthesize information from multiple documents to create concise informative summaries. In this work, we aim at developing an abstractive summarizer. First, our proposed approach identifies the most important document in the multi-document set. The sentences in the most important document are aligned to sentences in other documents to generate clusters of similar sentences. Second, we generate K-shortest paths from the sentences in each cluster using a word-graph structure. Finally, we select sentences from the set of shortest paths generated from all the clusters employing a novel integer linear programming (ILP) model with the objective of maximizing information content and readability of the final summary. Our ILP model represents the shortest paths as binary variables and considers the length of the path, information score and linguistic quality score in the objective function. Experimental results on the DUC 2004 and 2005 multi-document summarization datasets show that our proposed approach outperforms all the baselines and state-of-the-art extractive summarizers as measured by the ROUGE scores. Our method also outperforms a recent abstractive summarization technique. In manual evaluation, our approach also achieves promising results on informativeness and readability.


title: Abstractive Meeting Summarization UsingDependency Graph Fusion

abstract: Automatic summarization techniques on meeting conversations developed so far have been primarily extractive, resulting in poor summaries. To improve this, we propose an approach to generate abstractive summaries by fusing important content from several utterances. Any meeting is generally comprised of several discussion topic segments. For each topic segment within a meeting conversation, we aim to generate a one sentence summary from the most important utterances using an integer linear programming-based sentence fusion approach. Experimental results show that our method can generate more informative summaries than the baselines.


title: Indirect to direct bandgap transition in methylammonium lead halide perovskite

abstract: Methylammonium lead iodide perovskites are considered direct bandgap semiconductors. Here we show that in fact they present a weakly indirect bandgap 60 meV below the direct bandgap transition. This is a consequence of spin-orbit coupling resulting in Rashba-splitting of the conduction band. The indirect nature of the bandgap explains the apparent contradiction of strong absorption and long charge carrier lifetime. Under hydrostatic pressure from ambient to 325 MPa, Rashba splitting is reduced due to a pressure induced ordering of the crystal structure. The nature of the bandgap becomes increasingly more direct, resulting in five times faster charge carrier recombination, and a doubling of the radiative efficiency. At hydrostatic pressures above 325 MPa, MAPI undergoes a reversible phase transition resulting in a purely direct bandgap semiconductor. The pressure-induced changes suggest epitaxial and synthetic routes to higher efficiency optoelectronic devices.


title: Recommendations for PDF usage in LHC predictions

abstract: A short review of the currently available modern parton distribution functions (PDFs)and the theory predictions obtained using those PDFs for several benchmark processes at LHC, including Higgs boson production, is presented in this write-up. It includes the discussion on theory assumptions made in the determination procedure of PDFs and an impact on the differences in the obtained predictions, followed by the alternative to PDF4LHC recommendations for the usage of PDF sets for theory predictions at the LHC.


title: Simultaneous Intermittent Communication Control and Path Optimization in Networks of Mobile Robots

abstract: In this paper, we propose an intermittent communication framework for mobile robot networks. Specifically, we consider robots that move along the edges of a connected mobility graph and communicate only when they meet at the nodes of that graph giving rise to a dynamic communication network. Our proposed distributed controllers ensure intermittent connectivity of the network and path optimization, simultaneously. We show that the intermittent connectivity requirement can be encapsulated by a global Linear Temporal Logic (LTL) formula. Then we approximately decompose it into local LTL expressions which are then assigned to the robots. To avoid conflicting robot behaviors that can occur due to this approximate decomposition, we develop a distributed conflict resolution scheme that generates non-conflicting discrete motion plans for every robot, based on the assigned local LTL expressions, whose composition satisfies the global LTL formula. By appropriately introducing delays in the execution of the generated motion plans we also show that the proposed controllers can be executed asynchronously.


title: Irradiation induced vacancy creation in single walled carbon nanotubes

abstract: Single walled carbon nanotubes of 2 nm diameter and 3 to 13 micro meter length were compressed in Cu bullets and irradiated with positive ions of Cs with energies from 0.2 to 2.0 keV and subjected to successively increasing Cs dose. From the mass spectra of the sputtered carbon atoms and clusters as a function of Cs energy the monitoring of trend of the relative number densities of the fragmenting species indicates the accumulating damage. Irradiation induced fragmentation provide clues to the structural changes as a result of creation of vacancies due to the sputtering of monatomic, diatomic, triatomic and higher species. Monitoring of the the irradiated target electrical conductivity provides information of the sequences of the transformation that may be occurring in the structures of the single walled carbon nanotube as a function of Cs energy and dose.


title: Temperature effects in deep-water hydrate foam

abstract: This study focuses on heat and mass exchange processes in hydrate foam during its formation from methane bubbles in gas hydrate stability zone (GHSZ) of the Lake Baikal and following delivery of it in open container to the lake surface. The foam was formed as a result of methane bubble collection with a trap/container. The trap was inverted glass beaker of diameter of 70 mm and 360 mm long. Open bottom end of the beaker used as enter for bubbles ascended from the lakebed. At a depth of 1400 m all bubbles which fed to the trap were transformed here into solid hydrate foam. The sensitive thermometer was mounted in the middle of the trap and recorded the temperature inside trap. The fate of the bubbles in the trap was recorded by video-camera. During ascend within GHSZ with velocity of about 0.375 m/s we observed the continuous decrease of the temperature in the foam up to a level of negative magnitude in a depth interval of 1400 - 750 meters. Above 750 m temperature decrease was changed by small growth. However once the trap ascended above top boundary of GHSZ at a depth of 380 m, the temperature fell sharply. Falling to a negative values -0.25 oC, the temperature sharply stabilized and did not changed further until the trap reached the surface. The decreasing of the temperature during the ascent is due to the cooling of gas as a result of the performing of the work against the forces of hydrostatic pressure. The temperature drop at the boundary of the GHSZ is due to the absorption of heat by the decomposition of hydrate.


title: Primordial density and BAO reconstruction

abstract: We present a new method to reconstruct the primordial (linear) density field using the estimated nonlinear displacement field. The divergence of the displacement field gives the reconstructed density field. We solve the nonlinear displacement field in the 1D cosmology and show the reconstruction results. The new reconstruction algorithm recovers a lot of linear modes and reduces the nonlinear damping scale significantly. The successful 1D reconstruction results imply the new algorithm should also be a promising technique in the 3D case.


title: Pose-Selective Max Pooling for Measuring Similarity

abstract: In this paper, we deal with two challenges for measuring the similarity of the subject identities in practical video-based face recognition - the variation of the head pose in uncontrolled environments and the computational expense of processing videos. Since the frame-wise feature mean is unable to characterize the pose diversity among frames, we define and preserve the overall pose diversity and closeness in a video. Then, identity will be the only source of variation across videos since the pose varies even within a single video. Instead of simply using all the frames, we select those faces whose pose point is closest to the centroid of the K-means cluster containing that pose point. Then, we represent a video as a bag of frame-wise deep face features while the number of features has been reduced from hundreds to K. Since the video representation can well represent the identity, now we measure the subject similarity between two videos as the max correlation among all possible pairs in the two bags of features. On the official 5,000 video-pairs of the YouTube Face dataset for face verification, our algorithm achieves a comparable performance with VGG-face that averages over deep features of all frames. Other vision tasks can also benefit from the generic idea of employing geometric cues to improve the descriptiveness of deep features.


title: On percolation critical probabilities and unimodular random graphs

abstract: We investigate generalisations of the classical percolation critical probabilities $p_c$, $p_T$ and the critical probability $\tilde{p_c}$ defined by Duminil-Copin and Tassion (2015) to bounded degree unimodular random graphs. We further examine Schramm's conjecture in the case of unimodular random graphs: does $p_c(G_n)$ converge to $p_c(G)$ if $G_n\to G$ in the local weak sense? Among our results are the following: 1. $p_c=\tilde{p_c}$ holds for bounded degree unimodular graphs. However, there are unimodular graphs with sub-exponential volume growth and $p_T < p_c$; i.e., the classical sharpness of phase transition does not hold. 2. We give conditions which imply $\lim p_c(G_n) = p_c(\lim G_n)$. 3. There are sequences of unimodular graphs such that $G_n\to G$ but $p_c(G)>\lim p_c(G_n)$ or $p_c(G)<\lim p_c(G_n)<1$. As a corollary to our positive results, we show that for any transitive graph with sub-exponential volume growth there is a sequence $T_n$ of large girth bi-Lipschitz invariant subgraphs such that $p_c(T_n)\to 1$. It remains open whether this holds whenever the transitive graph has cost 1.


title: Adaptation of the Alicki-Fannes-Winter method for the set of states with bounded energy and its use

abstract: We describe a modification of the Alicki-Fannes-Winter method which allows to prove uniform continuity on the set of quantum states with bounded energy of any locally almost affine function having limited growth with increasing energy. Some applications in quantum information theory are considered. The asymptotic continuity of the relative entropy of entanglement and of its regularization under the energy constraint on one subsystem is proved. Channel-independent continuity bounds for the quantum mutual information at the output of a local channel and for the output Holevo quantity under the input energy constraint are obtained.


title: Measurement of $W$ boson angular distributions in events with high transverse momentum jets at $\sqrt{s}=$ 8 TeV using the ATLAS detector

abstract: The $W$ boson angular distribution in events with high transverse momentum jets is measured using data collected by the ATLAS experiment from proton-proton collisions at a centre-of-mass energy $\sqrt{s}=$ 8 TeV at the Large Hadron Collider, corresponding to an integrated luminosity of 20.3 fb$^{-1}$. The focus is on the contributions to $W$ + jets processes from real $W$ emission, which is achieved by studying events where a muon is observed close to a high transverse momentum jet. At small angular separations, these contributions are expected to be large. Various theoretical models of this process are compared to the data in terms of the absolute cross-section and the angular distributions of the muon from the leptonic $W$ decay.


title: Optimal boundary control of a nonstandard viscous Cahn-Hilliard system with dynamic boundary condition

abstract: In this paper, we study an optimal boundary control problem for a model for phase separation taking place in a spatial domain that was introduced by Podio-Guidugli in Ric. Mat. 55 (2006), pp. 105-118. The model consists of a strongly coupled system of nonlinear parabolic differential equations, in which products between the unknown functions and their time derivatives occur that are difficult to handle analytically. In contrast to the existing control literature about this PDE system, we consider here a dynamic boundary condition involving the Laplace-Beltrami operator for the order parameter of the system, which models an additional nonconserving phase transition occurring on the surface of the domain. We show the Fr\'echet differentiability of the associated control-to-state operator in appropriate Banach spaces and derive results on the existence of optimal controls and on first-order necessary optimality conditions in terms of a variational inequality and the adjoint state system.


title: Lifetimes and Oscillator Strengths for Ultraviolet Transitions in Singly-Ionized Tin

abstract: Lifetime measurements using beam foil techniques for the $5s5p^{2}$ $^{2}D_{3/2,5/2}$ levels in Sn II are presented. The resulting oscillator strengths for transitions at 1699.4, 1831.8 and 1811.2 \AA{} are reported. We also studied these levels with multi-configuration Dirac Hartree-Fock (MCDHF) calculations using a development version of the GRASP2K package. Our experimental and theoretical results are compared with other available studies.


title: Minkowski games

abstract: We introduce and study Minkowski games. These are two player games, where the players take turns to chose positions in $\mathbb{R}^d$ based on some rules. Variants include boundedness games, where one player wants to keep the positions bounded, and the other wants to escape to infinity; as well as safety games, where one player wants to stay within a prescribed set, while the other wants to leave it. We provide some general characterizations of which player can win such games, and explore the computational complexity of the associated decision problems. A natural representation of boundedness games yields coNP-completeness, whereas the safety games are undecidable.


title: Customized Facial Constant Positive Air Pressure (CPAP) Masks

abstract: Sleep apnea is a syndrome that is characterized by sudden breathing halts while sleeping. One of the common treatments involves wearing a mask that delivers continuous air flow into the nostrils so as to maintain a steady air pressure. These masks are designed for an average facial model and are often difficult to adjust due to poor fit to the actual patient. The incompatibility is characterized by gaps between the mask and the face, which deteriorates the impermeability of the mask and leads to air leakage. We suggest a fully automatic approach for designing a personalized nasal mask interface using a facial depth scan. The interfaces generated by the proposed method accurately fit the geometry of the scanned face, and are easy to manufacture. The proposed method utilizes cheap commodity depth sensors and 3D printing technologies to efficiently design and manufacture customized masks for patients suffering from sleep apnea.


title: A gap theorem for the complex geometry of convex domains

abstract: In this paper we establish a gap theorem for the complex geometry of smoothly bounded convex domains which informally says that if the complex geometry near the boundary is close to the complex geometry of the unit ball, then the domain must be strongly pseudoconvex. One consequence of our general result is the following: for any dimension there exists some $\epsilon > 0$ so that if the squeezing function on a smoothly bounded convex domain is greater than $1-\epsilon$ outside a compact set, then the domain is strongly pseudoconvex (and hence the squeezing function limits to one on the boundary). Another consequence is the following: for any dimension $d$ there exists some $\epsilon > 0$ so that if the holomorphic sectional curvature of the Bergman metric on a smoothly bounded convex domain is within $\epsilon$ of $-4/(d+1)$ outside a compact set, then the domain is strongly pseudoconvex (and hence the holomorphic sectional curvature limits to $-4/(d+1)$ on the boundary).


title: Multivariate Garch with dynamic beta

abstract: We investigate a solution for the problems related to the application of multivariate GARCH models to markets with a large number of stocks by restricting the form of the conditional covariance matrix. The model is a factor model and uses only six free GARCH parameters. One factor can be interpreted as the market component, the remaining factors are equal. This allow the analytical calculation of the inverse covariance matrix. The time-dependence of the factors enables the determination of dynamical beta coefficients. We compare the results from our model with the results of other GARCH models for the daily returns from the S\&P500 market and find that they are competitive. As applications we use the daily values of beta coefficients to confirm a transition of the market in 2006. Furthermore we discuss the relationship of our model with the leverage effect.


title: The role of pebble fragmentation in planetesimal formation II. Numerical simulations

abstract: Some scenarios for planetesimal formation go through a phase of collapse of gravitationally bound clouds of mm-cm-sized pebbles. Such clouds can form for example through the streaming instability in protoplanetary disks. We model the collapse process with a statistical model to obtain the internal structure of planetesimals with solid radii between 10 and 1,000 km. In the collapse, pebbles collide and, depending on relative speed, collisions have different outcomes. A mixture of particle sizes inside a planetesimal leads to better packing capabilities and higher densities. In this paper we apply results from new laboratory experiments of dust aggregate collisions (presented in a companion paper) to model collision outcomes. We find that the internal structure of a planetesimal is strongly dependent on both its mass and the applied fragmentation model. Low-mass planetesimals have no/few fragmenting pebble collisions in the collapse phase and end up as porous pebble-piles. The amount of fragmenting collisions increases with increasing cloud mass, resulting in wider particle size distributions and higher density. The collapse is nevertheless "cold" in the sense that collision speeds are damped by the high collision frequency. This ensures that a significant fraction of large pebbles survive the collapse in all but the most massive clouds. Our results are in broad agreement with the observed increase in density of Kuiper belt objects with increasing size as exemplified by the recent characterization of the highly porous comet 67P/Churyumov-Gerasimenko.


title: Semantic Tagging with Deep Residual Networks

abstract: We propose a novel semantic tagging task, sem-tagging, tailored for the purpose of multilingual semantic parsing, and present the first tagger using deep residual networks (ResNets). Our tagger uses both word and character representations and includes a novel residual bypass architecture. We evaluate the tagset both intrinsically on the new task of semantic tagging, as well as on Part-of-Speech (POS) tagging. Our system, consisting of a ResNet and an auxiliary loss function predicting our semantic tags, significantly outperforms prior results on English Universal Dependencies POS tagging (95.71% accuracy on UD v1.2 and 95.67% accuracy on UD v1.3).


title: Scaling Theory for the Frictionless Unjamming Transition

abstract: We develop a scaling theory of the unjamming transition of soft frictionless disks in two dimensions by defining local areas, which can be uniquely assigned to each contact. These serve to define local order parameters, whose distribution exhibits divergences as the unjamming transition is approached. We derive scaling forms for these divergences from a mean-field approach that treats the local areas as non interacting entities, and demonstrate that these results agree remarkably well with numerical simulations. We find that the asymptotic behaviour of the scaling functions arises from the geometrical structure of the packing while the overall scaling with the compression energy depends on the force law. We use the scaling forms of the distributions to determine the scaling of the total grain area $A_G$, and the total number of contacts $N_C$.


title: On yielding and jointly yielding entries of Euclidean distance matrices

abstract: An $n \times n$ matrix D is a Euclidean distance matrix (EDM) if there exist $p^1, \ldots, p^n$ in some Euclidean space such that $d_{ij} = || p^i - p^j||^2$ for all $i,j=1,\ldots,n$. Let D be an EDM and let $E^{ij}$ be the $n \times n$ symmetric matrix with 1's in the $ij$th and $ji$th entries and 0's elsewhere. We say that $[l_{ij},u_{ij}]$ is the yielding interval of entry $d_{ij}$ if it holds that $D+t E^{ij}$ is an EDM iff $l_{ij} \leq t \leq u_{ij}$. If the yielding interval of entry $d_{ij}$ has length 0, i.e., if $l_{ij}=u_{ij}$, then $d_{ij}$ is said to be unyielding. Otherwise, if $l_{ij} \neq u_{ij}$, then $d_{ij}$ is said to be yielding. Let $d_{ij}$ and $d_{ik}$ be two unyielding entries of $D$. We say that $d_{ij}$ and $d_{ik}$ are jointly yielding if $D+t_1 E^{ij} + t_2 E^{ik}$ is an EDM for some nonzero scalars $t_1$ and $t_2$. In this paper, we characterize the yielding and the jointly yielding entries of an EDM D in terms of Gale transform of $p^1,\ldots,p^n$. Moreover, for each yielding entry, we present explicit formulae of its yielding interval. Finally, we specialize our results to the case where $p^1,\ldots,p^n$ are in general position.


title: Nash Social Welfare, Matrix Permanent, and Stable Polynomials

abstract: We study the problem of allocating $m$ items to $n$ agents subject to maximizing the Nash social welfare (NSW) objective. We write a novel convex programming relaxation for this problem, and we show that a simple randomized rounding algorithm gives a $1/e$ approximation factor of the objective. Our main technical contribution is an extension of Gurvits's lower bound on the coefficient of the square-free monomial of a degree $m$-homogeneous stable polynomial on $m$ variables to all homogeneous polynomials. We use this extension to analyze the expected welfare of the allocation returned by our randomized rounding algorithm.


title: Multiplexing Superconducting Qubit Circuit for Single Microwave Photon Generation

abstract: We report on a device that integrates eight superconducting transmon qubits in lambda/4 superconducting coplanar waveguide resonators fed from a common feedline. Using this multiplexing architecture, each resonator and qubit can be addressed individually thus reducing the required hardware resources and allowing their individual characterisation by spectroscopic methods. The measured device parameters agree with the designed values and the resonators and qubits exhibit excellent coherence properties and strong coupling, with the qubit relaxation rate dominated by the Purcell effect when brought in resonance with the resonator. Our analysis shows that the circuit is suitable for generation of single microwave photons on demand with an efficiency exceeding 80%.


title: Presentations of generalisations of Thompson's group $V$

abstract: We consider generalisations of Thompson's group $V$, denoted by $V_r(\Sigma)$, which also include the groups of Higman, Stein and Brin. It was shown by the authors in [20] that under some mild conditions these groups and centralisers of their finite subgroups are of type $\mathrm{F}_\infty$. Under more general conditions we show that the groups $V_r(\Sigma)$ are finitely generated and, under the mild conditions mentioned above, we see that they are finitely presented and give a recipe to find explicit presentations. For the centralisers of finite subgroups we find a suitable infinite presentation and then apply a general procedure to shorten this presentation. In the appendix, we give a proof of this general shortening procedure.


title: Streaming Communication Protocols

abstract: We define the Streaming Communication model that combines the main aspects of communication complexity and streaming. We consider two agents that want to compute some function that depends on inputs that are distributed to each agent. The inputs arrive as data streams and each agent has a bounded memory. Agents are allowed to communicate with each other and also update their memory based on the input bit they read and the previous message they received. We provide tight tradeoffs between the necessary resources, i.e. communication and memory, for some of the canonical problems from communication complexity by proving a strong general lower bound technique. Second, we analyze the Approximate Matching problem and show that the complexity of this problem (i.e. the achievable approximation ratio) in the one-way variant of our model is strictly different both from the streaming complexity and the one-way communication complexity thereof.


title: An equivalence between high dimensional Bayes optimal inference and M-estimation

abstract: When recovering an unknown signal from noisy measurements, the computational difficulty of performing optimal Bayesian MMSE (minimum mean squared error) inference often necessitates the use of maximum a posteriori (MAP) inference, a special case of regularized M-estimation, as a surrogate. However, MAP is suboptimal in high dimensions, when the number of unknown signal components is similar to the number of measurements. In this work we demonstrate, when the signal distribution and the likelihood function associated with the noise are both log-concave, that optimal MMSE performance is asymptotically achievable via another M-estimation procedure. This procedure involves minimizing convex loss and regularizer functions that are nonlinearly smoothed versions of the widely applied MAP optimization problem. Our findings provide a new heuristic derivation and interpretation for recent optimal M-estimators found in the setting of linear measurements and additive noise, and further extend these results to nonlinear measurements with non-additive noise. We numerically demonstrate superior performance of our optimal M-estimators relative to MAP. Overall, at the heart of our work is the revelation of a remarkable equivalence between two seemingly very different computational problems: namely that of high dimensional Bayesian integration underlying MMSE inference, and high dimensional convex optimization underlying M-estimation. In essence we show that the former difficult integral may be computed by solving the latter, simpler optimization problem.

categories: stat.ML cond-mat.dis-nn math.ST q-bio.NC stat.TH


title: Quantized Neural Networks: Training Neural Networks with Low Precision Weights and Activations

abstract: We introduce a method to train Quantized Neural Networks (QNNs) --- neural networks with extremely low precision (e.g., 1-bit) weights and activations, at run-time. At train-time the quantized weights and activations are used for computing the parameter gradients. During the forward pass, QNNs drastically reduce memory size and accesses, and replace most arithmetic operations with bit-wise operations. As a result, power consumption is expected to be drastically reduced. We trained QNNs over the MNIST, CIFAR-10, SVHN and ImageNet datasets. The resulting QNNs achieve prediction accuracy comparable to their 32-bit counterparts. For example, our quantized version of AlexNet with 1-bit weights and 2-bit activations achieves $51\%$ top-1 accuracy. Moreover, we quantize the parameter gradients to 6-bits as well which enables gradients computation using only bit-wise operation. Quantized recurrent neural networks were tested over the Penn Treebank dataset, and achieved comparable accuracy as their 32-bit counterparts using only 4-bits. Last but not least, we programmed a binary matrix multiplication GPU kernel with which it is possible to run our MNIST QNN 7 times faster than with an unoptimized GPU kernel, without suffering any loss in classification accuracy. The QNN code is available online.


title: Spectral energy distribution of M-subdwarfs: A study of their atmospheric properties

abstract: Context. M-type subdwarfs are metal-poor low-mass stars and probe for the old populations in our Galaxy. Accurate knowledge of their atmospheric parameters and especially the composition is essential for understanding the chemical history of our Galaxy. Aims. The purpose of this work is to perform a detailed study of M-subdwarf spectra covering the full wavelength range from the optical to the near-infrared. It allows to do a more detailed analysis of the atmospheric composition in order to determine the stellar parameters, and to constrain the atmospheric models. The study will allow us to further understand physical and chemical processes such as increasing condensation of gas into dust, to point out the missing continuum opacities and see how the main band features are reproduced by the models. The spectral resolution and the large wavelength coverage used is a unique combination to constrain the process that occur in cool atmosphere. Methods. We obtained medium-resolution (R = 5000-7000) spectra over the wavelength range 0.3-2.5 {\mu}m of ten M-type subdwarfs with X-SHOOTER at VLT. These data constitute an unique atlas of M-subdwarfs from optical to near-infrared. We performed spectral synthesis analysis using a full grid of synthetic spectra computed from BT-Settl models and obtained consistent stellar parameters such as effective temperature, surface gravity and metallicity. Results. We show that state-of the-art atmospheric models correctly represent the overall shape of their spectral energy distribution, as well as atomic and molecular line profiles both in the optical and near-infrared. We found that the actual fitted gravities of almost all our sample are consistent with old objects, except for LHS 73 where it is found surprisingly low.


title: A Hartree-Fock study of the $\nu=0$ quantum Hall state of monolayer graphene with short range interactions

abstract: Recent experiments involving tilted graphene samples have shown evidence of a continuous phase transition in the $\nu=0$ quantum Hall bulk state. We present here a simple model that supports such a transition. In addition to a long range SU(4) symmetric Coulomb interaction, we include Hubbard on-site and nearest neighbor interactions with tunable coupling strengths, and perform a self-consistent Hartree-Fock analysis. A large sea of negative energy Landau levels is retained, and is shown to have important qualitative and quantitative effects. Phase diagrams are constructed within the space of physically relevant parameters, yielding results consistent with experimental observation.


title: Quantum key distribution by phase flipping of coherent states of light

abstract: In this paper we present quantum key distribution protocol that, instead of single qubits, uses mesoscopic coherent states of light $|\alpha\rangle$ to encode bit values of a randomly generated key. Given the reference value $\alpha\in\mathbb C$, and a string of phase rotations each randomly taken from a set of $2M$ equidistant phases, Alice prepares a quantum state given by a product of coherent states of light, such that a complex phase of each pulse is rotated by the corresponding phase rotation. The encoding of $i$-th bit of the key $r=r_1 \dots r_\ell$ is done by further performing phase rotation $r_i \pi$ (with $r_i = 0,1$) on the $i$-th coherent state pulse. In order to protect the protocol against the man-in-the-middle attack, we introduce a verification procedure, and analyse the protocol's security using the Holevo bound. We also analyse the possibility of beam splitting-like and of collective attacks, showing the impossibility of the former and, in the case of our protocol, the inadequacy of the latter. While we cannot prove full perfect security against the most general attacks allowed by the laws of quantum mechanics, our protocol achieves faster quantum key distribution, over larger distances and with lower costs, than the single-photon counterparts, maintaining at least practical security against the current and the near future technologies.


title: Termination of Cycle Rewriting by Transformation and Matrix Interpretation

abstract: We present techniques to prove termination of cycle rewriting, that is, string rewriting on cycles, which are strings in which the start and end are connected. Our main technique is to transform cycle rewriting into string rewriting and then apply state of the art techniques to prove termination of the string rewrite system. We present three such transformations, and prove for all of them that they are sound and complete. In this way not only termination of string rewriting of the transformed system implies termination of the original cycle rewrite system, a similar conclusion can be drawn for non-termination. Apart from this transformational approach, we present a uniform framework of matrix interpretations, covering most of the earlier approaches to automatically proving termination of cycle rewriting. All our techniques serve both for proving termination and relative termination. We present several experiments showing the power of our techniques.


title: Random walks in non homogeneous Poissonian environment

abstract: We consider the moving particle process in Rd which is defined in the following way. There are two independent sequences (Tk) and (dk) of random variables. The variables Tk are non negative and form an increasing sequence, while variables dk form an i.i.d sequence with common distribution concentrated on the unit sphere. The values dk are interpreted as the directions, and Tk as the moments of change of directions. A particle starts from zero and moves in the direction d1 up to the moment T1 . It then changes direction to d2 and moves on within the time interval T2 minus T1 , etc. The speed is constant at all sites. The position of the particle at time t is denoted by X(t). We suppose that the points (Tk) form a non homogeneous Poisson point process and we are interested in the global behavior of the process (X(t)), namely, we are looking for conditions under which the processes (Y(T,t), T is non negative), Y(T,t) is X(tT) normalized by B(T), t in (0, 1), weakly converges in C(0, 1) to some process Y when T tends to infinity. In the second part of the paper the process X(t) is considered as a Markov chain. We construct diffusion approximations for this process and investigate their accuracy. The main tool in this part is the paramertix method.


title: Incommensurate charge ordered states in the $\mathit{t-t^{\prime}-J}$ model

abstract: We study the incommensurate charge ordered states in the $\mathit{t-t^{\prime}-J}$ model using the Gutzwiller mean field theory on large systems. In particular, we explore the properties of incommensurate charge modulated states referred to as nodal pair density waves (nPDW) in the literature. nPDW states intertwine site and bond charge order with modulated $d$-wave pair order, and are characterized by a nonzero amplitude of uniform pairing; they also manifest a dominant intra-unit cell $d$-density wave form factor. To compare with a recent scanning tunneling microscopy (STM) study [Hamidian \textit{et al.}, Nat. Phys. 3519 (2015)] of the cuprate superconductor BSCCO-2212, we compute the continuum local density of states (LDOS) at a typical STM tip height using the Wannier function based approach. By Fourier transforming Cu and O sub-lattice LDOS we also obtain bias-dependent intra-unit cell form factors and spatial phase difference. We find that in the nPDW state the behavior of form factors and spatial phase difference as a function of energy agrees remarkably well with the experiment. This is in contrast to commensurate charge modulated states, which we show do not agree with experiment. We propose that the nPDW states are good candidates for the charge density wave phase observed in the superconducting state of underdoped cuprates.