title: Model of knowledge transfer within an organisation

abstract: Many studies show that the acquisition of knowledge is the key to build competitive advantage of companies. We propose a simple model of knowledge transfer within the organization and we implement the proposed model using cellular automata technique. In this paper the organisation is considered in the context of complex systems. In this perspective, the main role in organisation is played by the network of informal contacts and the distributed leadership. The goal of this paper is to check which factors influence the efficiency and effectiveness of knowledge transfer. Our studies indicate a significant role of initial concentration of chunks of knowledge for knowledge transfer process, and the results suggest taking action in the organisation to shorten the distance (social distance) between people with different levels of knowledge, or working out incentives to share knowledge.


title: Experimental characterization of photon-number noise in Rarity-Tapster type interferometers

abstract: In this paper, we develop a simple model describing inherent photon-number noise in Rarity-Tapster type interferometers. This noise is caused by generating photon pairs in the process of spontaneous parametric down-conversion and adding a third photon by attenuating fundamental laser mode to single-photon level. We experimentally verify our model and present resulting signal to noise ratios as well as obtained three-photon generation rates as functions of various setup parameters. Subsequently we evaluate impact of this particular source of noise on quantum teleportation which is a key quantum information protocol using this interferometric configuration.


title: Controlling the energy of defects and interfaces in the amplitude expansion of the phase-field crystal model

abstract: One of the major difficulties in employing phase field crystal (PFC) modeling and the associated amplitude (APFC) formulation is the ability to tune model parameters to match experimental quantities. In this work we address the problem of tuning the defect core and interface energies in the APFC formulation. We show that the addition of a single term to the free energy functional can be used to increase the solid-liquid interface and defect energies in a well-controlled fashion, without any major change to other features. The influence of the newly added term is explored in two-dimensional triangular and honeycomb structures as well as bcc and fcc lattices in three dimensions. In addition, a finite element method (FEM) is developed for the model that incorporates a mesh refinement scheme. The combination of the FEM and mesh refinement to simulate amplitude expansion with a new energy term provides a method of controlling microscopic features such as defect and interface energies while simultaneously delivering a coarse-grained examination of the system.


title: Detection of intrinsic variability in the eclipsing massive main sequence O+B binary HD 165246

abstract: We present the analysis of 29.77 days of K2 space photometry of the well-detached massive 4.6 d O+B binary HD 165246 (V=7.8) obtained during Campaign 9b. This analysis reveals intrinsic variability in the residual lightcurve after subtraction of the binary model, in the frequency range [0,10] $d^{-1}$. This makes HD 165246 only the second O+B eclipsing binary with asteroseismic potential. While some of the frequencies are connected with the rotation of the primary, others are interpreted as due to oscillations with periodicities of order days. The frequency resolution of the current dataset does not allow to distinguish between frequencies due to standing coherent oscillation modes or travelling waves. Further time-resolved high-precision spectroscopy covering several binary orbits will reveal whether HD 165246 is a Rosetta stone for synergistic binary and seismic modelling of an O-type star.


title: Oxygen budget in low-mass protostars: the NGC1333-IRAS4A R1 shock observed in [OI] at 63 um with SOFIA-GREAT

abstract: In molecular outflows from forming low-mass protostars, most oxygen is expected to be locked up in water. However, Herschel observations have shown that typically an order of magnitude or more of the oxygen is still unaccounted for. To test if the oxygen is instead in atomic form, SOFIA-GREAT observed the R1 position of the bright molecular outflow from NGC1333-IRAS4A. The [OI] 63 um line is detected and spectrally resolved. From an intensity peak at +15 km/s, the intensity decreases until +50 km/s. The profile is similar to that of high-velocity (HV) H2O and CO 16-15, the latter observed simultaneously with [OI]. A radiative transfer analysis suggests that ~15% of the oxygen is in atomic form toward this shock position. The CO abundance is inferred to be ~10^-4 by a similar analysis, suggesting that this is the dominant oxygen carrier in the HV component. These results demonstrate that a large portion of the observed [OI] emission is part of the outflow. Further observations are required to verify whether this is a general trend.


title: General form of the full electromagnetic Green function in materials physics

abstract: In this article, we present the general form of the full electromagnetic Green function which is suitable for the application in bulk materials physics. In particular, we show how the seven adjustable parameter functions of the free Green function translate into seven corresponding parameter functions of the full Green function. Furthermore, for both the fundamental response tensor and the electromagnetic Green function, we discuss the reduction of the Dyson equation on the four-dimensional Minkowski space to an equivalent, three-dimensional Cartesian Dyson equation.


title: Skeleton-based Action Recognition with Convolutional Neural Networks

abstract: Current state-of-the-art approaches to skeleton-based action recognition are mostly based on recurrent neural networks (RNN). In this paper, we propose a novel convolutional neural networks (CNN) based framework for both action classification and detection. Raw skeleton coordinates as well as skeleton motion are fed directly into CNN for label prediction. A novel skeleton transformer module is designed to rearrange and select important skeleton joints automatically. With a simple 7-layer network, we obtain 89.3% accuracy on validation set of the NTU RGB+D dataset. For action detection in untrimmed videos, we develop a window proposal network to extract temporal segment proposals, which are further classified within the same network. On the recent PKU-MMD dataset, we achieve 93.7% mAP, surpassing the baseline by a large margin.


title: An Estimation of the Star Formation Rate in the Perseus Complex

abstract: We present the results of our investigation of the star-forming potential in the Perseus star-forming complex. We build on previous starless core, protostellar core, and young stellar object (YSO) catalogs from Spitzer, Herschel, and SCUBA observations in the literature. We place the cores and YSOs within seven star-forming clumps based on column densities greater than 5x10^21 cm^-2. We calculate the mean density and free-fall time for 69 starless cores as 5.55x10^-19 gcm^-3 and 0.1 Myr,respectively, and we estimate the star formation rate for the near future as 150 Msun Myr^-1. According to Bonnor Ebert stability analysis, we find that majority of starless cores in Perseus are unstable. Broadly, these cores can collapse to form the next generation of stars. We found a relation between starless cores and YSOs, where the numbers of young protostars (Class 0 + Class I) are similar to the numbers of starless cores. This similarity, which shows a one-to-one relation, suggests that these starless cores may form the next generation of stars with approximately the same formation rate as the current generation, as identified by the Class 0 and Class I protostars. It follows that if such a relation between starless cores and any YSO stage exists, the SFR values of these two populations must be nearly constant. In brief, we propose that this one-to-one relation is an important factor in better understanding the star formation process within a cloud.


title: Learning Agents in Black-Scholes Financial Markets: Consensus Dynamics and Volatility Smiles

abstract: Black-Scholes (BS) is the standard mathematical model for option pricing in financial markets. Option prices are calculated using an analytical formula whose main inputs are strike (at which price to exercise) and volatility. The BS framework assumes that volatility remains constant across all strikes, however, in practice it varies. How do traders come to learn these parameters? We introduce natural models of learning agents, in which they update their beliefs about the true implied volatility based on the opinions of other traders. We prove convergence of these opinion dynamics using techniques from control theory and leader-follower models, thus providing a resolution between theory and market practices. We allow for two different models, one with feedback and one with an unknown leader.


title: A survey on Morse boundaries & stability

abstract: In this paper we survey many of the known results about Morse boundaries and stability.


title: Mapping and discrimination of networks in the complexity-entropy plane

abstract: Complex networks are usually characterized in terms of their topological, spatial, or information-theoretic properties and combinations of the associated metrics are used to discriminate networks into different classes or categories. However, even with the present variety of characteristics at hand it still remains a subject of current research to appropriately quantify a network's complexity and correspondingly discriminate between different types of complex networks, like infrastructure or social networks, on such a basis. Here, we explore the possibility to classify complex networks by means of a statistical complexity measure that has formerly been successfully applied to distinguish different types of chaotic and stochastic time series. It is composed of a network's averaged per-node entropic measure characterizing the network's information content and the associated Jenson-Shannon divergence as a measure of disequilibrium. We study 29 real world networks and show that networks of the same category tend to cluster in distinct areas of the resulting complexity-entropy plane. We demonstrate that within our framework, connectome networks exhibit among the highest complexity while, e.g, transportation and infrastructure networks display significantly lower values. Furthermore, we demonstrate the utility of our framework by applying it to families of random scale-free and Watts-Strogatz model networks. We then show in a second application that the proposed framework is useful to objectively construct threshold-based networks, such as functional climate networks or recurrence networks, by choosing the threshold such that the statistical network complexity is maximized.


title: Evolution of antiferromagnetic domains in the all-in-all-out ordered pyrochlore Nd$_2$Zr$_2$O$_7$

abstract: We report the observation of magnetic domains in the exotic, antiferromagnetically ordered all-in-all-out state of Nd$_2$Zr$_2$O$_7$, induced by spin canting. The all-in-all-out state can be realized by Ising-like spins on a pyrochlore lattice and is established in Nd$_2$Zr$_2$O$_7$ below 0.31 K for external magnetic fields up to 0.14 T. Two different spin arrangements can fulfill this configuration which leads to the possibility of magnetic domains. The all-in-all-out domain structure can be controlled by an external magnetic field applied parallel to the [111] direction. This is a result of different spin canting mechanism for the two all-in-all-out configurations for such a direction of the magnetic field. The change of the domain structure is observed through a hysteresis in the magnetic susceptibility. No hysteresis occurs, however, in case the external magnetic field is applied along [100].


title: Comment on "Observation of the Wigner-Huntington transition to metallic hydrogen"

abstract: Dias and Silvera (Letters, p. 715, 2017) claim the observation of the Wigner-Huntington transition to metallic hydrogen at 495 GPa. We show that neither the claims of the record pressure or the phase transition to a metallic state are supported by any data and contradict the authors' own unconfirmed previous results.


title: On the existence of correctors for the stochastic homogenization of viscous hamilton-jacobi equations

abstract: We prove, under some assumptions, the existence of correctors for the stochastic homoge-nization of of " viscous " possibly degenerate Hamilton-Jacobi equations in stationary ergodic media. The general claim is that, assuming knowledge of homogenization in probability, correctors exist for all extreme points of the convex hull of the sublevel sets of the effective Hamiltonian. Even when homogenization is not a priori known, the arguments imply existence of correctors and, hence, homogenization in some new settings. These include positively homogeneous Hamiltonians and, hence, geometric-type equations including motion by mean curvature, in radially symmetric environments and for all directions. Correctors also exist and, hence, homogenization holds for many directions for non convex Hamiltoni-ans and general stationary ergodic media.


title: Surrogate-based artifact removal from single-channel EEG

abstract: The recent emergence and success of electroencephalography (EEG) in low-cost portable devices, has opened the door to a new generation of applications processing a small number of EEG channels for health monitoring and brain-computer interfacing. These recordings are, however, contaminated by many sources of noise degrading the signals of interest, thus compromising the interpretation of the underlying brain state. In this work, we propose a new data-driven algorithm to effectively remove ocular and muscular artifacts from single-channel EEG: the surrogate-based artifact removal (SuBAR). Methods: By means of the time-frequency analysis of surrogate data, our approach is able to identify and filter automatically ocular and muscular artifacts embedded in single-channel EEG. Results: In a comparative study using artificially contami- nated EEG signals, the efficacy of the algorithm in terms of noise removal and signal distortion was superior to other traditionally-employed single-channel EEG denoising techniques: wavelet thresholding and the canonical correlation analysis combined with an advanced version of the empirical mode decomposition. Even in the presence of mild and severe artifacts, our artifact removal method provides a relative error 4 to 5 times lower than traditional techniques. Significance: In view of these results, the SuBAR method is a promising solution for mobile environments, such as ambulatory healthcare systems, sleep stage scoring or anesthesia monitoring, where very few EEG channels or even a single channel is available.


title: N/O abundance ratios in gamma-ray burst and supernova host galaxies at z<4. Comparison with AGN, starburst and HII regions

abstract: The distribution of N/O abundance ratios calculated by the detailed modelling of different galaxy spectra at z<4 is investigated. Supernova (SN) and long gamma-ray-burst (LGRB) host galaxies cover different redshift domains. N/O in SN hosts increases due to secondary N production towards low z (0.01) accompanying the growing trend of active galaxies (AGN, LINER). N/O in LGRB hosts decreases rapidly between z>1 and z ~0.1 following the N/H trend and reach the characteristic N/O ratios calculated for the HII regions in local and nearby galaxies. The few short period GRB (SGRB) hosts included in the galaxy sample show N/H <0.04 solar and O/H solar. They seem to continue the low bound N/H trend of SN hosts at z<0.3. The distribution of N/O as function of metallicity for SN and LGRB hosts is compared with star chemical evolution models. The results show that several LGRB hosts can be explained by star multi-bursting models when 12+log(O/H) <8.5, while some objects follow the trend of continuous star formation models. N/O in SN hosts at log(O/H)+12 <8.5 are not well explained by stellar chemical evolution models calculated for starburst galaxies. At 12+log(O/H) >8.5 many different objects are nested close to O/H solar with N/O ranging between the maximum corresponding to starburst galaxies and AGN and the minimum corresponding to HII regions and SGRB.


title: The relativistic spherical $\delta$-shell interaction in $\mathbb{R}^3$: spectrum and approximation

abstract: This note revolves on the free Dirac operator in $\mathbb{R}^3$ and its $\delta$-shell interaction with electrostatic potentials supported on a sphere. On one hand, we characterize the eigenstates of those couplings by finding sharp constants and minimizers of some precise inequalities related to an uncertainty principle. On the other hand, we prove that the domains given by Dittrich, Exner and \v{S}eba [Dirac operators with a spherically symmetric $\delta$-shell interaction, J. Math. Phys. 30.12 (1989), 2875-2882] and by Arrizabalaga, Mas and Vega [Shell interactions for Dirac operators, J. Math. Pures et Appl. 102.4 (2014), 617-639] for the realization of an electrostatic spherical shell interaction coincide. Finally, we explore the spectral relation between the shell interaction and its approximation by short range potentials with shrinking support, improving previous results in the spherical case.


title: Benefits of spatio-temporal modelling for short term wind power forecasting at both individual and aggregated levels

abstract: The share of wind energy in total installed power capacity has grown rapidly in recent years around the world. Producing accurate and reliable forecasts of wind power production, together with a quantification of the uncertainty, is essential to optimally integrate wind energy into power systems. We build spatio-temporal models for wind power generation and obtain full probabilistic forecasts from 15 minutes to 5 hours ahead. Detailed analysis of the forecast performances on the individual wind farms and aggregated wind power are provided. We show that it is possible to improve the results of forecasting aggregated wind power by utilizing spatio-temporal correlations among individual wind farms. Furthermore, spatio-temporal models have the advantage of being able to produce spatially out-of-sample forecasts. We evaluate the predictions on a data set from wind farms in western Denmark and compare the spatio-temporal model with an autoregressive model containing a common autoregressive parameter for all wind farms, identifying the specific cases when it is important to have a spatio-temporal model instead of a temporal one. This case study demonstrates that it is possible to obtain fast and accurate forecasts of wind power generation at wind farms where data is available, but also at a larger portfolio including wind farms at new locations. The results and the methodologies are relevant for wind power forecasts across the globe as well as for spatial-temporal modelling in general.


title: Solving nonlinear diffusive problems in buildings by means of a Spectral Reduced-Order Model

abstract: This paper proposes the use of a Spectral method to simulate diffusive moisture transfer through porous materials as a Reduced-Order Model (ROM). The Spectral approach is an a priori method assuming a separated representation of the solution. The method is compared with both classical Euler implicit and Crank-Nicolson schemes, considered as large original models. Their performance - in terms of accuracy, complexity reduction and CPU time reduction - are discussed for linear and nonlinear cases of moisture diffusive transfer through single and multi-layered one-dimensional domains, considering highly moisture-dependent properties. Results show that the Spectral reduced-order model approach enables to simulate accurately the field of interest. Furthermore, numerical gains become particularly interesting for nonlinear cases since the proposed method can drastically reduce the computer run time, by a factor of 100, when compared to the traditional Crank-Nicolson scheme for one-dimensional applications.

categories: physics.comp-ph cs.NA math.AP math.NA physics.class-ph


title: Inverse Galois problem for ordinary curves

abstract: We consider the inverse Galois problem over function fields of positive characteristic p, for example, the inverse Galois problem over the projective line. We describe a method to construct certain Galois covers of the projective line and other curves, which are ordinary in the sense that their Jacobian has maximal p-torsion. We do this by constructing Galois covers of ordinary semi-stable curves, and then deforming them into smooth Galois covers.


title: Analogue gravity by an optical vortex. Resonance enhancement of Hawking radiation

abstract: Propagation of coherent light in a Kerr nonlinear medium can be mapped onto a flow of an equivalent fluid. Here we use this mapping to model the conditions in the vicinity of a rotating black hole as a Laguerre-Gauss vortex beam. We describe weak fluctuations of the phase and amplitude of the electric field by wave equations in curved space, with a metric that is similar to the Kerr metric. We find the positions of event horizons and ergoregion boundaries, and the conditions for the onset of superradiance, which are simultaneously the conditions for a resonance in the analogue Hawking radiation. The resonance strongly enhances the otherwise exponentially weak Hawking radiation at certain frequencies, and makes its experimental observation feasible.


title: Simultaneous investigation of the $\mathbf{T=1~ (J^{\pi}=0^+)}$ and $\mathbf{T=0 ~ (J^{\pi}=9^+)}$ $\beta$ decays in $^{70}$Br

abstract: The $\beta$ decay of the odd-odd nucleus $^{70}$Br has been investigated with the BigRIPS and EURICA setups at the Radioactive Ion Beam Factory (RIBF) of the RIKEN Nishina Center. The $T=0$ ($J^{\pi}=9^+$) and $T=1$ ($J^{\pi}=0^+$) isomers have both been produced in in-flight fragmentation of $^{78}$Kr with ratios of 41.6(8)\% and 58.4(8)\%, respectively. A half-life of $t_{1/2}=2157^{+53}_{-49}$ ms has been measured for the $J^{\pi}=9^+$ isomer from $\gamma$-ray time decay analysis. Based on this result, we provide a new value of the half-life for the $J^{\pi}=0^+$ ground state of $^{70}$Br, $t_{1/2}=78.42\pm0.51$ ms, which is slightly more precise, and in excellent agreement, with the best measurement reported hitherto in the literature. For this decay, we provide the first estimate of the total branching fraction decaying through the $2^+_1$ state in the daughter nucleus $^{70}$Se, $R(2^+_1)=1.3\pm1.1\%$. We also report four new low-intensity $\gamma$-ray transitions at 661, 1103, 1561, and 1749 keV following the $\beta$ decay of the $J^{\pi}=9^+$ isomer. Based on their coincidence relationships, we tentatively propose two new excited states at 3945 and 4752 keV in $^{70}$Se with most probable spins and parities of $J^{\pi}=(6^+)$ and $(8^+)$, respectively. The observed structure is interpreted with the help of shell-model calculations, which predict a complex interplay between oblate and prolate configurations at low excitation energies.


title: A Survey on MIMO Transmission with Discrete Input Signals: Technical Challenges, Advances, and Future Trends

abstract: Multiple antennas have been exploited for spatial multiplexing and diversity transmission in a wide range of communication applications. However, most of the advances in the design of high speed wireless multiple-input multiple output (MIMO) systems are based on information-theoretic principles that demonstrate how to efficiently transmit signals conforming to Gaussian distribution. Although the Gaussian signal is capacity-achieving, signals conforming to discrete constellations are transmitted in practical communication systems. As a result, this paper is motivated to provide a comprehensive overview on MIMO transmission design with discrete input signals. We first summarize the existing fundamental results for MIMO systems with discrete input signals. Then, focusing on the basic point-to-point MIMO systems, we examine transmission schemes based on three most important criteria for communication systems: the mutual information driven designs, the mean square error driven designs, and the diversity driven designs. Particularly, a unified framework which designs low complexity transmission schemes applicable to massive MIMO systems in upcoming 5G wireless networks is provided in the first time. Moreover, adaptive transmission designs which switch among these criteria based on the channel conditions to formulate the best transmission strategy are discussed. Then, we provide a survey of the transmission designs with discrete input signals for multiuser MIMO scenarios, including MIMO uplink transmission, MIMO downlink transmission, MIMO interference channel, and MIMO wiretap channel. Additionally, we discuss the transmission designs with discrete input signals for other systems using MIMO technology. Finally, technical challenges which remain unresolved at the time of writing are summarized and the future trends of transmission designs with discrete input signals are addressed.


title: Joint Transmit and Receive Filter Optimization for Sub-Nyquist Delay-Doppler Estimation

abstract: In this article, a framework is presented for the joint optimization of the analog transmit and receive filter with respect to a parameter estimation problem. At the receiver, conventional signal processing systems restrict the two-sided bandwidth of the analog pre-filter $B$ to the rate of the analog-to-digital converter $f_s$ to comply with the well-known Nyquist-Shannon sampling theorem. In contrast, here we consider a transceiver that by design violates the common paradigm $B\leq f_s$. To this end, at the receiver, we allow for a higher pre-filter bandwidth $B>f_s$ and study the achievable parameter estimation accuracy under a fixed sampling rate when the transmit and receive filter are jointly optimized with respect to the Bayesian Cram\'{e}r-Rao lower bound. For the case of delay-Doppler estimation, we propose to approximate the required Fisher information matrix and solve the transceiver design problem by an alternating optimization algorithm. The presented approach allows us to explore the Pareto-optimal region spanned by transmit and receive filters which are favorable under a weighted mean squared error criterion. We also discuss the computational complexity of the obtained transceiver design by visualizing the resulting ambiguity function. Finally, we verify the performance of the optimized designs by Monte-Carlo simulations of a likelihood-based estimator.


title: Controlling percolation with limited resources

abstract: Connectivity - or the lack thereof - is crucial for the function of many man-made systems, from financial and economic networks over epidemic spreading in social networks to technical infrastructure. Often, connections are deliberately established or removed to induce, maintain, or destroy global connectivity. Thus, there has been a great interest in understanding how to control percolation, the transition to large-scale connectivity. Previous work, however, studied control strategies assuming unlimited resources. Here, we depart from this unrealistic assumption and consider the effect of limited resources on the effectiveness of control. We show that, even for scarce resources, percolation can be controlled with an efficient intervention strategy. We derive this strategy and study its implications, revealing a discontinuous transition as an unintended side-effect of optimal control.


title: No evidence for the evolution of mass density power-law index $\gamma$ from strong gravitational lensing observation

abstract: In this paper, we consider the singular isothermal sphere lensing model that has a spherically symmetric power-law mass distribution $\rho_{tot}(r)\sim r^{-\gamma}$. We investigate whether the mass density power-law index $\gamma$ is cosmologically evolutionary by using the strong gravitational lensing (SGL) observation, in combination with other cosmological observations. We also check whether the constraint result of $\gamma$ is affected by the cosmological model, by considering several simple dynamical dark energy models. We find that the constraint on $\gamma$ is mainly decided by the SGL observation and independent of the cosmological model, and we find no evidence for the evolution of $\gamma$ from the SGL observation.


title: Optimal Demand-Side Management for Joint Privacy-Cost Optimization with Energy Storage

abstract: The smart meter (SM) privacy problem is addressed together with the cost of energy for the user. It is assumed that a storage device, e.g., an electrical battery, is available to the user, which can be utilized both to achieve privacy and to reduce the energy cost by modifying the energy consumption profile. Privacy is measured via the mean squared-error between the SM readings, which are reported to the utility provider (UP), and a target load; while time-of-use pricing is considered for energy cost calculation. The optimal trade-off between the achievable privacy and the energy cost is characterized by taking into account the limited capacity of the battery as well as the capability to sell energy to the UP. Extensive numerical simulations are presented to evaluate the performance of the proposed strategy for different system settings.


title: Joint POS Tagging and Dependency Parsing with Transition-based Neural Networks

abstract: While part-of-speech (POS) tagging and dependency parsing are observed to be closely related, existing work on joint modeling with manually crafted feature templates suffers from the feature sparsity and incompleteness problems. In this paper, we propose an approach to joint POS tagging and dependency parsing using transition-based neural networks. Three neural network based classifiers are designed to resolve shift/reduce, tagging, and labeling conflicts. Experiments show that our approach significantly outperforms previous methods for joint POS tagging and dependency parsing across a variety of natural languages.


title: Deforming the Starobinsky model in ghost-free higher derivative supergravities

abstract: We consider higher derivative supergravities that are dual to ghost-free $N=1$ supergravity theories in the Einstein frame. The duality is implemented by deforming the K\"ahler function, and/or the superpotential, to include nonlinear dependences on chiral fields that in other approaches play the role of the Lagrange multipliers employed to establish this duality. These models are of the no-scale type, and in the minimal case, require the presence of four chiral multiplets, with a K\"ahler potential having the structure of the $ SU(4,1)/SU(4) \times U(1) $ coset manifold. In the standard $N=1$ supergravity formulation, these models are described by a multifield scalar potential, featuring Starobinsky-like behavior in particular directions.


title: Strong dopant dependence of electric transport in ion-gated MoS2

abstract: We report modifications of the temperature-dependent transport properties of $\mathrm{MoS_2}$ thin flakes via field-driven ion intercalation in an electric double layer transistor. We find that intercalation with $\mathrm{Li^+}$ ions induces the onset of an inhomogeneous superconducting state. Intercalation with $\mathrm{K^+}$ leads instead to a disorder-induced incipient metal-to-insulator transition. These findings suggest that similar ionic species can provide access to different electronic phases in the same material.


title: Asynchronous Early Output Dual-Bit Full Adders Based on Homogeneous and Heterogeneous Delay-Insensitive Data Encoding

abstract: This paper presents the designs of asynchronous early output dual-bit full adders without and with redundant logic (implicit) corresponding to homogeneous and heterogeneous delay-insensitive data encoding. For homogeneous delay-insensitive data encoding only dual-rail i.e. 1-of-2 code is used, and for heterogeneous delay-insensitive data encoding 1-of-2 and 1-of-4 codes are used. The 4-phase return-to-zero protocol is used for handshaking. To demonstrate the merits of the proposed dual-bit full adder designs, 32-bit ripple carry adders (RCAs) are constructed comprising dual-bit full adders. The proposed dual-bit full adders based 32-bit RCAs incorporating redundant logic feature reduced latency and area compared to their non-redundant counterparts with no accompanying power penalty. In comparison with the weakly indicating 32-bit RCA constructed using homogeneously encoded dual-bit full adders containing redundant logic, the early output 32-bit RCA comprising the proposed homogeneously encoded dual-bit full adders with redundant logic reports corresponding reductions in latency and area by 22.2% and 15.1% with no associated power penalty. On the other hand, the early output 32-bit RCA constructed using the proposed heterogeneously encoded dual-bit full adder which incorporates redundant logic reports respective decreases in latency and area than the weakly indicating 32-bit RCA that consists of heterogeneously encoded dual-bit full adders with redundant logic by 21.5% and 21.3% with nil power overhead. The simulation results obtained are based on a 32/28nm CMOS process technology.


title: Hypersymplectic 4-manifolds, the $G_2$-Laplacian flow and extension assuming bounded scalar curvature

abstract: A hypersymplectic structure on a 4-manifold $X$ is a triple $\underline{\omega}$ of symplectic forms which at every point span a maximal positive-definite subspace of $\Lambda^2$ for the wedge product. This article is motivated by a conjecture of Donaldson: when $X$ is compact $\underline{\omega}$ can be deformed through cohomologous hypersymplectic structures to a hyperk\"ahler triple. We approach this via a link with $G_2$-geometry. A hypersymplectic structure $\underline\omega$ on a compact manifold $X$ defines a natural $G_2$-structure $\phi$ on $X \times \mathbb{T}^3$ which has vanishing torsion precisely when $\underline{\omega}$ is a hyperk\"ahler triple. We study the $G_2$-Laplacian flow starting from $\phi$, which we interpret as a flow of hypersymplectic structures. Our main result is that the flow extends as long as the scalar curvature of the corresponding $G_2$-structure remains bounded. An application of our result is a lower bound for the maximal existence time of the flow, in terms of weak bounds on the initial data (and with no assumption that scalar curvature is bounded along the flow).


title: Optical Non-Orthogonal Multiple Access for Visible Light Communication

abstract: The proliferation of mobile Internet and connected devices, offering a variety of services at different levels of performance, represents a major challenge for the fifth generation wireless networks and beyond. This requires a paradigm shift towards the development of key enabling techniques for the next generation wireless networks. In this respect, visible light communication (VLC) has recently emerged as a new communication paradigm that is capable of providing ubiquitous connectivity by complementing radio frequency communications. One of the main challenges of VLC systems, however, is the low modulation bandwidth of the light-emitting-diodes, which is in the megahertz range. This article presents a promising technology, referred to as "optical- non-orthogonal multiple access (O-NOMA)", which is envisioned to address the key challenges in the next generation of wireless networks. We provide a detailed overview and analysis of the state-of-the-art integration of O-NOMA in VLC networks. Furthermore, we provide insights on the potential opportunities and challenges as well as some open research problems that are envisioned to pave the way for the future design and implementation of O-NOMA in VLC systems.


title: Tapping the sensorimotor trajectory

abstract: In this paper, we propose the concept of sensorimotor tappings, a new graphical technique that explicitly represents relations between the time steps of an agent's sensorimotor loop and a single training step of an adaptive internal model. In the simplest case this is a relation linking two time steps. In realistic cases these relations can extend over several time steps and over different sensory channels. The aim is to capture the footprint of information intake relative to the agent's current time step. We argue that this view allows us to make prior considerations explicit and then use them in implementations without modification once they are established. Here we explain the basic idea, provide example tappings for standard configurations used in developmental models, and show how tappings can be applied to problems in related fields.


title: Bose polaron as an instance of quantum Brownian motion

abstract: We study the dynamics of a quantum impurity immersed in a Bose-Einstein condensate as an open quantum system in the framework of the quantum Brownian motion model. We derive a generalized Langevin equation for the position of the impurity. The Langevin equation is an integrodifferential equation that contains a memory kernel and is driven by a colored noise. These result from considering the environment as given by the degrees of freedom of the quantum gas, and thus depend on its parameters, e.g. interaction strength between the bosons, temperature, etc. We study the role of the memory on the dynamics of the impurity. When the impurity is untrapped, we find that it exhibits a super-diffusive behavior at long times. We find that back-flow in energy between the environment and the impurity occurs during evolution. When the particle is trapped, we calculate the variance of the position and momentum to determine how they compare with the Heisenberg limit. One important result of this paper is that we find position squeezing for the trapped impurity at long times. We determine the regime of validity of our model and the parameters in which these effects can be observed in realistic experiments.


title: 280 Birds with One Stone: Inducing Multilingual Taxonomies from Wikipedia using Character-level Classification

abstract: We propose a simple, yet effective, approach towards inducing multilingual taxonomies from Wikipedia. Given an English taxonomy, our approach leverages the interlanguage links of Wikipedia followed by character-level classifiers to induce high-precision, high-coverage taxonomies in other languages. Through experiments, we demonstrate that our approach significantly outperforms the state-of-the-art, heuristics-heavy approaches for six languages. As a consequence of our work, we release presumably the largest and the most accurate multilingual taxonomic resource spanning over 280 languages.


title: Indexing Weighted Sequences: Neat and Efficient

abstract: In a \emph{weighted sequence}, for every position of the sequence and every letter of the alphabet a probability of occurrence of this letter at this position is specified. Weighted sequences are commonly used to represent imprecise or uncertain data, for example, in molecular biology where they are known under the name of Position-Weight Matrices. Given a probability threshold $\frac1z$, we say that a string $P$ of length $m$ occurs in a weighted sequence $X$ at position $i$ if the product of probabilities of the letters of $P$ at positions $i,\ldots,i+m-1$ in $X$ is at least $\frac1z$. In this article, we consider an \emph{indexing} variant of the problem, in which we are to preprocess a weighted sequence to answer multiple pattern matching queries. We present an $O(nz)$-time construction of an $O(nz)$-sized index for a weighted sequence of length $n$ over a constant-sized alphabet that answers pattern matching queries in optimal, $O(m+Occ)$ time, where $Occ$ is the number of occurrences reported. The cornerstone of our data structure is a novel construction of a family of $\lfloor z \rfloor$ special strings that carries the information about all the strings that occur in the weighted sequence with a sufficient probability. We obtain a weighted index with the same complexities as in the most efficient previously known index by Barton et al. (CPM 2016), but our construction is significantly simpler. The most complex algorithmic tool required in the basic form of our index is the suffix tree which we use to develop a new, more straightforward index for the so-called property matching problem. We provide an implementation of our data structure. Our construction allows us also to obtain a significant improvement over the complexities of the approximate variant of the weighted index presented by Biswas et al. (EDBT 2016) and an improvement of the space complexity of their general index.


title: Taxonomy Induction using Hypernym Subsequences

abstract: We propose a novel, semi-supervised approach towards domain taxonomy induction from an input vocabulary of seed terms. Unlike all previous approaches, which typically extract direct hypernym edges for terms, our approach utilizes a novel probabilistic framework to extract hypernym subsequences. Taxonomy induction from extracted subsequences is cast as an instance of the minimumcost flow problem on a carefully designed directed graph. Through experiments, we demonstrate that our approach outperforms stateof- the-art taxonomy induction approaches across four languages. Importantly, we also show that our approach is robust to the presence of noise in the input vocabulary. To the best of our knowledge, no previous approaches have been empirically proven to manifest noise-robustness in the input vocabulary.


title: Chargino and Neutralino Production at e+e- Colliders in the Complex MSSM: A Full One-Loop Analysis

abstract: For the search for charginos and neutralinos in the Minimal Supersymmetric Standard Model (MSSM) as well as for future precision analyses of these particles an accurate knowledge of their production and decay properties is mandatory. We evaluate the cross sections for the chargino and neutralino production at e+e- colliders in the MSSM with complex parameters (cMSSM). The evaluation is based on a full one-loop calculation of the production mechanisms e+e- -> cha_c cha_c' and e+e- -> neu_n neu_n', including soft and hard photon radiation. We mostly restricted ourselves to a version of our renormalization scheme which is valid for |M_1| < |M_2|, |mu| and M_2 != mu to simplify the analysis, even though we are able to switch to other parameter regions and correspondingly different renormalization schemes. The dependence of the chargino/neutralino cross sections on the relevant cMSSM parameters is analyzed numerically. We find sizable contributions to many production cross sections. They amount roughly 10-20% of the tree-level results, but can go up to 40% or higher in extreme cases. Also the complex phase dependence of the one-loop corrections was found non-negligible. The full one-loop contributions are thus crucial for physics analyses at a future linear e+e- collider such as the ILC or CLIC.


title: $M$-ideals and split faces of the quasi state space of a non-unital ordered Banach space

abstract: We characterize $M$-ideals in order smooth $\infty$-normed spaces by extending the notion of split faces of the state space to those of the quasi-state space. We also characterize approximate order unit spaces as those order smooth $\infty$-normed spaces $V$ that are $M$-ideals in $\tilde{V}.$ Here $\tilde{V}$ is the order unit space obtained by adjoining an order unit to $V.$ To prove these results, we develop an order theoretic version of the "Alfsen-Efffros' cone decomposition theorem" for order smooth $1$-normed spaces. (As a quick application of this result, we sharpen a result on the extension of bounded positive linear functionals on subspaces of order smooth $\infty$-normed spaces.)


title: Wireless Surveillance of Two-Hop Communications

abstract: Wireless surveillance is becoming increasingly important to protect the public security by legitimately eavesdropping suspicious wireless communications. This paper studies the wireless surveillance of a two-hop suspicious communication link by a half-duplex legitimate monitor. By exploring the suspicious link's two-hop nature, the monitor can adaptively choose among the following three eavesdropping modes to improve the eavesdropping performance: (I) \emph{passive eavesdropping} to intercept both hops to decode the message collectively, (II) \emph{proactive eavesdropping} via {\emph{noise jamming}} over the first hop, and (III) \emph{proactive eavesdropping} via {\emph{hybrid jamming}} over the second hop. In both proactive eavesdropping modes, the (noise/hybrid) jamming over one hop is for the purpose of reducing the end-to-end communication rate of the suspicious link and accordingly making the interception more easily over the other hop. Under this setup, we maximize the eavesdropping rate at the monitor by jointly optimizing the eavesdropping mode selection as well as the transmit power for noise and hybrid jamming. Numerical results show that the eavesdropping mode selection significantly improves the eavesdropping rate as compared to each individual eavesdropping mode.


title: Homology of torus knots

abstract: Using the method of Elias-Hogancamp and combinatorics of toric braids we give an explicit formula for the triply graded Khovanov-Rozansky homology of an arbitrary torus knot, thereby proving some of the conjectures of Aganagic-Shakirov, Cherednik, Gorsky-Negut and Oblomkov-Rasmussen-Shende.


title: Algebraic orthogonality and commuting projections in operator algebras

abstract: We describe absolutely ordered $p$-normed spaces, for $1 \le p \le \infty$ which presents a model for "non-commutative" vector lattices and includes order theoretic orthogonality. To demonstrate its relevance, we introduce the notion of {\it absolute compatibility} among positive elements in absolute order unit spaces and relate it to symmetrized product in the case of a C$^{\ast}$-algebra. In the latter case, whenever one of the elements is a projection, the elements are absolutely compatible if and only if they commute. We develop an order theoretic prototype of the results. For this purpose, we introduce the notion of {\it order projections} and extend the results related to projections in a unital C$^{\ast}$-algebra to order projections in an absolute order unit space. As an application, we describe spectral decomposition theory for elements of an absolute order unit space.


title: Joint Layout Estimation and Global Multi-View Registration for Indoor Reconstruction

abstract: In this paper, we propose a novel method to jointly solve scene layout estimation and global registration problems for accurate indoor 3D reconstruction. Given a sequence of range data, we first build a set of scene fragments using KinectFusion and register them through pose graph optimization. Afterwards, we alternate between layout estimation and layout-based global registration processes in iterative fashion to complement each other. We extract the scene layout through hierarchical agglomerative clustering and energy-based multi-model fitting in consideration of noisy measurements. Having the estimated scene layout in one hand, we register all the range data through the global iterative closest point algorithm where the positions of 3D points that belong to the layout such as walls and a ceiling are constrained to be close to the layout. We experimentally verify the proposed method with the publicly available synthetic and real-world datasets in both quantitative and qualitative ways.


title: On the regularity of weak solutions to Burgers equation with finite entropy production

abstract: Bounded weak solutions of Burgers' equation $\partial_tu+\partial_x(u^2/2)=0$ that are not entropy solutions need in general not be $BV$. Nevertheless it is known that solutions with finite entropy productions have a $BV$-like structure: a rectifiable jump set of dimension one can be identified, outside which $u$ has vanishing mean oscillation at all points. But it is not known whether all points outside this jump set are Lebesgue points, as they would be for $BV$ solutions. In the present article we show that the set of non-Lebesgue points of $u$ has Hausdorff dimension at most one. In contrast with the aforementioned structure result, we need only one particular entropy production to be a finite Radon measure, namely $\mu=\partial_t (u^2/2)+\partial_x(u^3/3)$. We prove H\"older regularity at points where $\mu$ has finite $(1+\alpha)$-dimensional upper density for some $\alpha>0$. The proof is inspired by a result of De Lellis, Westdickenberg and the second author : if $\mu_+$ has vanishing 1-dimensional upper density, then $u$ is an entropy solution. We obtain a quantitative version of this statement: if $\mu_+$ is small then $u$ is close in $L^1$ to an entropy solution.


title: A dimension bound for subspaces of symmetric bilinear forms in terms of the number of different ranks

abstract: Let K be a field of characteristic different from 2 and let V be a vector space of dimension n over K. Let M be a non-zero subspace of symmetric bilinear forms defined on V x V and let r=rank(M) denote the set of different positive integers that occur as the ranks of the non-zero elements of M. The main result of this paper is the inequality that dim M is at most rn-r(r-1)/2 provided that |K| is at least n.


title: Consistency of Regions of Interest as nodes of functional brain networks measured by fMRI

abstract: The functional network approach, where fMRI BOLD time series are mapped to networks depicting functional relationships between brain areas, has opened new insights into the function of the human brain. In this approach, the choice of network nodes is of crucial importance. One option is to consider fMRI voxels as nodes. This results in a large number of nodes, making network analysis and interpretation of results challenging. A common alternative is to use pre-defined clusters of anatomically close voxels, Regions of Interest (ROIs). This approach assumes that voxels within ROIs are functionally similar. Because these two approaches result in different network structures, it is crucial to understand what happens to network connectivity when moving from the voxel level to the ROI level. We show that the consistency of ROIs, defined as the mean Pearson correlation coefficient between the time series of their voxels, varies widely in resting-state experimental data. Therefore the assumption of similar voxel dynamics within each ROI does not generally hold. Further, the time series of low-consistency ROIs may be highly correlated, resulting in spurious links in ROI-level networks. Based on these results, we recommend that averaging BOLD signals over anatomically defined ROIs should be carefully considered.


title: Controlling the Error on Target Motion through Real-time Mesh Adaptation: Applications to Deep Brain Stimulation

abstract: We present an error-controlled mesh refinement procedure for needle insertion simulation and apply it to the simulation of electrode implantation for deep brain stimulation, including brain shift. Our approach enables to control the error in the computation of the displacement and stress fields around the needle tip and needle shaft by suitably refining the mesh, whilst maintaining a coarser mesh in other parts of the domain. We demonstrate through academic and practical examples that our approach increases the accuracy of the displacement and stress fields around the needle without increasing the computational expense. This enables real-time simulations. The proposed methodology has direct implications to increase the accuracy and control the computational expense of the simulation of percutaneous procedures such as biopsy, brachytherapy, regional anesthesia, or cryotherapy and can be essential to the development of robotic guidance.


title: Correction to the quantum phase operator for photons

abstract: The vector potential operator, $\hat{\boldsymbol A}$, is transformed and rewritten in terms of cosine and sine functions in order to get a clear picture of how the photon states relate to the $\boldsymbol A$ field. The phase operator, defined by $\hat E = \exp(-i \hat \phi)$, is derived from this picture. The result has a close resemblance with the known Susskind-Glogower (SG) operator, which is given by $\hat E_{SG}=(\hat a_{\boldsymbol k} \hat a_{\boldsymbol k}^\dagger)^{-1/2} \hat a_{\boldsymbol k}$. It will be shown that $\hat a_{\boldsymbol k}$ should be replaced by $(\hat a_{\boldsymbol k} + \hat a_{-\boldsymbol k}^\dagger)$ instead to yield $\hat E = ((\hat a_{\boldsymbol k} + \hat a_{-\boldsymbol k}^\dagger ) (\hat a_{\boldsymbol k}^\dagger + \hat a_{-\boldsymbol k}))^{-1/2} (\hat a_{\boldsymbol k} + \hat a_{-\boldsymbol k}^\dagger)$, which makes the operator unitary. $\hat E$ will also be analyzed when restricted to the space of only forward moving photons with wave vector $\boldsymbol k$. The resulting phase operator, $\hat E_+$, will turn out to resemble the SG operator as well, but with a small correction: Whereas $E_{SG}$ can be equivalently written as $\hat E_{SG} = \sum_{n=0}^{\infty} |n\rangle \langle n+1 |$, the operator, $\hat E_+$, is instead given by $\hat E_+ = \sum_{n=0}^{\infty} a_n |n \rangle \langle n+1|$, where $a_n = (n+1/2)!/(n! \sqrt{n+1})$. The sequence, $(a_n)_{n \in \lbrace 0, 1, 2, \ldots \rbrace}$, converges to $1$ from below for $n$ going to infinity.


title: Violation of the sphericity assumption and its effect on Type-I error rates in repeated measures ANOVA and multi-level linear models (MLM)

abstract: This study aims to investigate the effects of violations of the sphericity assumption on Type I error rates for different methodical approaches of repeated measures analysis using a simulation approach. In contrast to previous simulation studies on this topic, up to nine measurement occasions were considered. Therefore, two populations representing the conditions of a violation vs. a non-violation of the sphericity assumption without any between-group effect or within-subject effect were created and 5,000 random samples of each population were drawn. Finally, the mean Type I error rates for Multilevel linear models (MLM) with an unstructured covariance matrix (MLM-UN), MLM with compound-symmetry (MLM-CS) and for repeated measures analysis of variance (rANOVA) models (without correction, with Greenhouse-Geisser-correction, and Huynh-Feldt-correction) were computed. To examine the effect of both the sample size and the number of measurement occasions, sample sizes of n = 20, 40, 60, 80, and 100 were considered as well as measurement occasions of m = 3, 6 and 9. For MLM-UN, the results illustrate a massive progressive bias for small sample sizes (n =20) and m = 6 or more measurement occasions. This effect could not be found in previous simulation studies with a smaller number of measurement occasions. The mean Type I error rates for rANOVA with Greenhouse-Geisser-correction demonstrate a small conservative bias if sphericity was not violated, sample sizes were small (n = 20), and m = 6 or more measurement occasions were conducted. The results plead for a use of rANOVA with Huynh-Feldt-correction, especially when the sphericity assumption is violated, the sample size is rather small and the number of measurement occasions is large. MLM-UN may be used when the sphericity assumption is violated and when sample sizes are large.


title: Reply to Hicks et al 2017, Reply to Morrison et al 2016 Refining the relevant population in forensic voice comparison, Reply to Hicks et al 2015 The importance of distinguishing info from evidence/observations when formulating propositions

abstract: The present letter to the editor is one in a series of publications discussing the formulation of hypotheses (propositions) for the evaluation of strength of forensic evidence. In particular, the discussion focusses on the issue of what information may be used to define the relevant population specified as part of the different-speaker hypothesis in forensic voice comparison. The previous publications in the series are: Hicks et al. 2015 <http://dx.doi.org/10.1016/j.scijus.2015.06.008>; Morrison et al. (2016) <http://dx.doi.org/10.1016/j.scijus.2016.07.002>; Hicks et al. (2017) <http://dx.doi.org/10.1016/j.scijus.2017.04.005>. The latter letter to the editor mostly resolves the apparent disagreement between the two groups of authors. We briefly discuss one outstanding point of apparent disagreement, and attempt to correct a misinterpretation of our earlier remarks. We believe that at this point there is no actual disagreement, and that both groups of authors are calling for greater collaboration in order to reduce the likelihood of future misunderstandings.


title: Metallic nanorings for broadband, enhanced extraction of light from solid-state emitters

abstract: We report on the increased extraction of light emitted by solid-state sources embedded within high refractive index materials. This is achieved by making use of a local lensing effect by sub-micron metallic rings deposited on the sample surface and centered around single emitters. We show enhancements in the intensity of the light emitted by InAs/GaAs single quantum dot lines into free space as high as a factor 20. Such a device is intrinsically broadband and therefore compatible with any kind of solid-state light source. We foresee the fabrication of metallic rings via scalable techniques, like nano-imprint, and their implementation to improve the emission of classical and quantum light from solid-state sources. Furthermore, while increasing the brightness of the devices, the metallic rings can also act as top contacts for the local application of electric fields for carrier injection or wavelength tuning.


title: Solutions of the nonlocal nonlinear Schr\"odinger hierarchy via reduction

abstract: In this letter we propose an approach to obtain solutions for the nonlocal nonlinear Schr\"{o}dinger hierarchy from the known ones of the Ablowitz-Kaup-Newell-Segur hierarchy by reduction. These solutions are presented in terms of double Wronskian and some of them are new.The approach is general and can be used for other systems with double Wronskian solutions which admit local and nonlocal reductions.


title: Fast and Highly Sensitive Ionic Polymer Gated WS$_2$-Graphene Photodetectors

abstract: The combination of graphene with semiconductor materials in heterostructure photodetectors, has enabled amplified detection of femtowatt light signals using micron-scale electronic devices. Presently, the speed of such detectors is limited by long-lived charge traps and impractical strategies, e.g. the use of large gate voltage pulses, have been employed to achieve bandwidths suitable for applications, such as video-frame-rate imaging. Here, we report atomically thin graphene-WS$_2$ heterostructure photodetectors encapsulated in an ionic polymer, which are uniquely able to operate at bandwidths up to 1.5 kHz, whilst maintaining internal gain as large as $10^6$. Highly mobile ions and a nanometre scale Debye length of the ionic polymer are used to screen charge traps and tune the Fermi level of graphene over an unprecedented range at the interface with WS$_2$. We observe a responsivity $R=10^6$ A W$^{-1}$ and detectivity $D^*=3.8\times10^{11}$ Jones, approaching that of single photon counters. The combination of both high responsivity and fast response times makes these photodetectors suitable for video-frame-rate imaging applications.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.ins-det physics.optics


title: Rees' theorem for filtrations, multiplicity function and reduction criteria

abstract: Let $J\subset I$ be ideals in a formally equidimensional local ring with $\lambda(I/J)<\infty.$ Rees proved that for all $n\gg0$, $\lambda(I^n/J^n)$ is a polynomial $P(I/J)(X)$ in $n$ of degree at most dim $R$ and $J$ is a reduction of $I$ if and only if deg $P(I/J)(X)\leq$ dim $R-1.$ We extend this result for all Noetherian filtrations of ideals in a formally equidimensional local ring and for (not necessarily Noetherian) filtrations of ideals in analytically irreducible rings. We provide certain classes of ideals such that deg $P(I/J)$ achieves its maximal degree. On the other hand, for ideals $J\subset I$ in a formally equidimensional local ring, we consider the multiplicity function $e(I^n/J^n)$ which is a polynomial in $n$ for all large $n.$ We explicitly determine the deg $e(I^n/J^n)$ in some special cases. For an ideal $J$ of analytic deviation one, we give characterization of reductions in terms of deg $e(I^n/J^n)$ under some additional conditions.


title: Constraint Ornstein-Uhlenbeck bridges

abstract: In this paper, we study the Ornstein-Uhlenbeck bridge process (i.e. the Ornstein-Uhlenbeck process conditioned to start and end at fixed points) constraints to have a fixed area under its path. We present both anticipative (in this case, we need the knowledge of the future of the path) and non-anticipative versions of the stochastic process. We obtain the anticipative description thanks to the theory of generalized Gaussian bridges while the non-anticipative representation comes from the theory of stochastic control. For this last representation, a stochastic differential equation is derived which leads to an effective Langevin equation. Finally, we extend our theoretical findings to linear bridge processes.


title: Bayesian nonparametric estimation of survival functions with multiple-samples information

abstract: In many real problems, dependence structures more general than exchangeability are required. For instance, in some settings partial exchangeability is a more reasonable assumption. For this reason, vectors of dependent Bayesian nonparametric priors have recently gained popularity. They provide flexible models which are tractable from a computational and theoretical point of view. In this paper, we focus on their use for estimating survival functions with multiple-samples information. Our methodology allows to model the dependence among survival times of different groups of observations and extend previous work to an arbitrary dimension . Theoretical results about the posterior behaviour of the underlying dependent vector of completely random measures are provided. The performance of the model is tested on a simulated dataset arising from a distributional Clayton copula.


title: Discovery of a 26.2 day period in the long-term X-ray light curve of SXP 1323: a very short orbital period for a long spin period pulsar

abstract: Context. About 120 Be/X-ray binaries (BeXBs) are known in the Small Magellanic Cloud (SMC); about half of them are pulsating with periods from a few to hundreds of seconds. SXP 1323 is one of the longest-period pulsars known in this galaxy. Aims. SXP 1323 is in the field of view of a large set of calibration observations that we analyse systematically, focusing on the time analysis, in search of periodic signals. Methods. We analyse all available X-ray observations of SXP 1323 from Suzaku, XMM-Newton, and Chandra, in the time range from 1999 to the end of 2016. We perform a Lomb-Scargle periodogram search in the band 2.5-10 keV on all observations to detect the neutron star spin period and constrain its long-term evolution. We also perform an orbital period search on the long-term light curve, merging all datasets. Results. We report the discovery of a 26.188+-0.045 d period analysing data from Suzaku, XMM-Newton, and Chandra, which confirms the optical period derived from the Optical Gravitational Lensing Experiment (OGLE) data. If this corresponds to the orbital period, this would be very short with respect to what is expected from the spin/orbital period relationship. We furthermore report on the spin period evolution in the last years. The source is spinning-up with an average rate of Pdot/P of 0.018 yr-1, decreasing from 1340 to 1100 s, in the period from 2006 to the end of 2016, which is also extreme with respect to the other Be/X-ray pulsars. From 2010 to the end of 2014, the pulse period is not clearly detectable, although the source was still bright. Conclusions. SXP 1323 is a peculiar BeXB due to its long pulse period, rapid spin-up for several years, and short orbital period. A continuous monitoring of the source in the next years is necessary to establish the long-term behaviour of the spin period.


title: Analysis of Stochastic Switched Systems with Application to Networked Control Under Jamming Attacks

abstract: We investigate the stability problem for discrete-time stochastic switched linear systems under the specific scenarios where information about the switching patterns and the probability of switches are not available. Our analysis focuses on the average number of times each mode becomes active in the long run and, in particular, utilizes their lower- and upper-bounds. This setup is motivated by cyber security issues for networked control systems in the presence of packet losses due to malicious jamming attacks where the attacker's strategy is not known a priori. We derive a sufficient condition for almost sure asymptotic stability of the switched systems which can be examined by solving a linear programming problem. Our approach exploits the dynamics of an equivalent system that describes the evolution of the switched system's state at every few steps; the stability analysis may become less conservative by increasing the step size. The computational efficiency is further enhanced by exploiting the structure in the stability analysis problem, and we introduce an alternative linear programming problem that has fewer variables. We demonstrate the efficacy of our results by analyzing networked control problems where communication channels face random packet losses as well as jamming attacks.


title: DDO 161 and UGCA 319: an isolated pair of nearby dwarf galaxies

abstract: We report HST/ACS observations of two nearby gas-rich dwarf galaxies: DDO 161 and UGCA 319. Their distances determined via the Tip of the Red Giant Branch are 6.03 (-0.21/+0.29) Mpc and 5.75+-0.18 Mpc, respectively. The galaxies form an isolated pair dynamically well separated from the nearest neighbors: KK 176 (7.28+-0.29 Mpc) and NGC 5068 (5.16+-0.21 Mpc). All four galaxies have a bulk spatial peculiar velocity towards the Virgo cluster of ~158+-17 km/s in the Local Group rest frame and ~330 km/s with respect to the cluster center.


title: Fast Space Optimal Leader Election in Population Protocols

abstract: The model of population protocols refers to the growing in popularity theoretical framework suitable for studying pairwise interactions within a large collection of simple indistinguishable entities, frequently called agents. In this paper the emphasis is on the space complexity in fast leader election via population protocols governed by the random scheduler, which uniformly at random selects pairwise interactions within the population of n agents. The main result of this paper is a new fast and space optimal leader election protocol. The new protocol utilises O(log^2 n) parallel time (which is equivalent to O(n log^2 n) sequential pairwise interactions), and each agent operates on O(log log n) states. This double logarithmic space usage matches asymptotically the lower bound 1/2 log log n on the minimal number of states required by agents in any leader election algorithm with the running time o(n/polylog n). Our solution takes an advantage of the concept of phase clocks, a fundamental synchronisation and coordination tool in distributed computing. We propose a new fast and robust population protocol for initialisation of phase clocks to be run simultaneously in multiple modes and intertwined with the leader election process. We also provide the reader with the relevant formal argumentation indicating that our solution is always correct, and fast with high probability.


title: Diffusion phenomena for the wave equation with space-dependent damping term growing at infinity

abstract: In this paper, we study the asymptotic behavior of solutions to the wave equation with damping depending on the space variable and growing at the spatial infinity. We prove that the solution is approximated by that of the corresponding heat equation as time tends to infinity. The proof is based on semigroup estimates for the corresponding heat equation and weighted energy estimates for the damped wave equation. To construct a suitable weight function for the energy estimates, we study a certain elliptic problem.


title: Instantonic string solitons on M5 branes

abstract: The (I)nstantonic strings are described as extended states occupying a flat (isometry) direction on the multiple M5-brane world-volume. These are constituted by 4-dimensional gauge instantons and 2-dimensional chiral axion. In this light we revisit the covariant action for M5-branes by adding explicit axion terms. This leads to a new gauge symmetry and simple modification of some field equations and the constraints in the theory. The equations of motion include a conserved toplological current of I-strings. When 6D theory is compactified on a circle the light-like I-strings manifest as heavy monopole states in 5D super-Yang-Mills. While extremely light I-strings tend to become degenerate with the M5 vacuum but only at strong SYM coupling. This indicates that 6D vacuum is infinitely degenerate.


title: EMPIRE: A robust empirical reconstruction of solar irradiance variability

abstract: We present a new empirical model of total and spectral solar irradiance (TSI and SSI) variability entitled EMPirical Irradiance REconstruction (EMPIRE). As with existing empirical models, TSI and SSI variability is given by the linear combination of solar activity indices. In empirical models, UV SSI variability is usually determined by fitting the rotational variability in activity indices to that in measurements. Such models have to date relied on ordinary least squares regression, which ignores the uncertainty in the activity indices. In an advance from earlier efforts, the uncertainty in the activity indices is accounted for in EMPIRE by the application of an error-in-variables regression scheme, making the resultant UV SSI variability more robust. The result is consistent with observations and unprecedentedly, with that from other modelling approaches, resolving the long-standing controversy between existing empirical models and other types of models. We demonstrate that earlier empirical models, by neglecting the uncertainty in activity indices, underestimate UV SSI variability. The reconstruction of TSI and visible and IR SSI from EMPIRE is also shown to be consistent with observations. The EMPIRE reconstruction is of utility to climate studies as a more robust alternative to earlier empirical reconstructions.


title: Robust optimal control of two-level quantum systems

abstract: We investigate the time and the energy minimum optimal solutions for the robust control of two-level quantum systems against offset or control field uncertainties. Using the Pontryagin Maximum Principle, we derive the global optimal pulses for the first robustness orders. We show that the dimension of the control landscape is lower or equal to 2N for a field robust to the N th order, which leads to an estimate of its complexity.


title: Dimension theory and components of algebraic stacks

abstract: We prove some basic results on the dimension theory of algebraic stacks, and on the multiplicities of their irreducible components, for which we do not know a reference.


title: On the semisimplicity of the cyclotomic quiver Hecke algebra of type C

abstract: We provide criteria for the cyclotomic quiver Hecke algebras of type C to be semisimple. In the semisimple case, we construct the irreducible modules.


title: The formation of the Milky Way halo and its dwarf satellites, a NLTE-1D abundance analysis. I. Homogeneous set of atmospheric parameters

abstract: We present a homogeneous set of accurate atmospheric parameters for a complete sample of very and extremely metal-poor stars in the dwarf spheroidal galaxies (dSphs) Sculptor, Ursa Minor, Sextans, Fornax, Bo\"otes I, Ursa Major II, and Leo IV. We also deliver a Milky Way (MW) comparison sample of giant stars covering the -4 < [Fe/H] < -1.7 metallicity range. We show that, in the [Fe/H] > -3.5 regime, the non-local thermodynamic equilibrium (NLTE) calculations with non-spectroscopic effective temperature (Teff) and surface gravity (log~g) based on the photometric methods and known distance provide consistent abundances of the Fe I and Fe II lines. This justifies the Fe I/Fe II ionisation equilibrium method to determine log g for the MW halo giants with unknown distance. The atmospheric parameters of the dSphs and MW stars were checked with independent methods. In the [Fe/H] > -3.5 regime, the Ti I/Ti II ionisation equilibrium is fulfilled in the NLTE calculations. In the log~g - Teff plane, all the stars sit on the giant branch of the evolutionary tracks corresponding to [Fe/H] = -2 to -4, in line with their metallicities. For some of the most metal-poor stars of our sample, we hardly achieve consistent NLTE abundances from the two ionisation stages for both iron and titanium. We suggest that this is a consequence of the uncertainty in the Teff-colour relation at those metallicities. The results of these work provide the base for a detailed abundance analysis presented in a companion paper.


title: Decision Stream: Cultivating Deep Decision Trees

abstract: Various modifications of decision trees have been extensively used during the past years due to their high efficiency and interpretability. Tree node splitting based on relevant feature selection is a key step of decision tree learning, at the same time being their major shortcoming: the recursive nodes partitioning leads to geometric reduction of data quantity in the leaf nodes, which causes an excessive model complexity and data overfitting. In this paper, we present a novel architecture - a Decision Stream, - aimed to overcome this problem. Instead of building a tree structure during the learning process, we propose merging nodes from different branches based on their similarity that is estimated with two-sample test statistics, which leads to generation of a deep directed acyclic graph of decision rules that can consist of hundreds of levels. To evaluate the proposed solution, we test it on several common machine learning problems - credit scoring, twitter sentiment analysis, aircraft flight control, MNIST and CIFAR image classification, synthetic data classification and regression. Our experimental results reveal that the proposed approach significantly outperforms the standard decision tree learning methods on both regression and classification tasks, yielding a prediction error decrease up to 35%.


title: On Mirror Symmetry for Calabi-Yau Fourfolds with Three-Form Cohomology

abstract: We review the Kaluza-Klein reduction of Type IIA string theory on Calabi-Yau fourfolds and apply mirror symmetry to the resulting two-dimensional $ \mathcal{N}=(2,2) $ effective theories. In the course of the reduction we focus especially on non-trivial three-form cohomology on these fourfolds and investigate the couplings of the corresponding massless zero-modes. These show a dependence on both complex structure as well as K\"ahler structure deformations and we provide evidence that they are determined by two holomorphic functions that get exchanged via mirror symmetry. Application of the mirror map enables us to give an explicit description of these functions at the large volume and large complex structure point of the moduli space.


title: Dynamical phase transitions, temporal orthogonality and the dynamics of observables in one dimensional ultra-cold quantum gases: from the continuum to the lattice

abstract: We investigate the dynamics of the rate function and of local observables after a quench in models which exhibit phase transitions between a superfluid and an insulator in their ground states. Zeros of the return probability, corresponding to singularities of the rate functions, have been suggested to indicate the emergence of dynamical criticality and we address the question of whether such zeros can be tied to the dynamics of physically relevant observables and hence order parameters in the systems. For this we first numerically analyze the dynamics of a hard-core boson gas in a one-dimensional waveguide when a quenched lattice potential is commensurate with the particle density. Such a system can undergo a pinning transition to an insulating state and we find non-analytic behavior in the evolution of the rate function which is indicative of dynamical phase transitions. In addition, we perform simulations of the time dependence of the momentum distribution and compare the periodicity of this collapse and revival cycle to that of the non-analyticities in the rate function: the two are found to be closely related only for deep quenches. We then confirm this observation by analytic calculations on a closely related discrete model of hard-core bosons in the presence of a staggered potential and find expressions for the rate function for the quenches. By extraction of the zeros of the Loschmidt amplitude we uncover a non-equilibrium timescale for the emergence of non-analyticities and discuss its relationship with the dynamics of the experimentally relevant parity operator.


title: Perovskite Substrates Boost the Thermopower of Cobaltate Thin Films at High Temperatures

abstract: Transition metal oxides are promising candidates for thermoelectric applications, because they are stable at high temperature and because strong electronic correlations can generate large Seebeck coefficients, but their thermoelectric power factors are limited by the low electrical conductivity. We report transport measurements on Ca3Co4O9 films on various perovskite substrates and show that reversible incorporation of oxygen into SrTiO3 and LaAlO3 substrates activates a parallel conduction channel for p-type carriers, greatly enhancing the thermoelectric performance of the film-substrate system at temperatures above 450 {\deg}C. Thin-film structures that take advantage of both electronic correlations and the high oxygen mobility of transition metal oxides thus open up new perspectives for thermopower generation at high temperature.


title: Graph Sampling for Covariance Estimation

abstract: In this paper the focus is on subsampling as well as reconstructing the second-order statistics of signals residing on nodes of arbitrary undirected graphs. Second-order stationary graph signals may be obtained by graph filtering zero-mean white noise and they admit a well-defined power spectrum whose shape is determined by the frequency response of the graph filter. Estimating the graph power spectrum forms an important component of stationary graph signal processing and related inference tasks such as Wiener prediction or inpainting on graphs. The central result of this paper is that by sampling a significantly smaller subset of vertices and using simple least squares, we can reconstruct the second-order statistics of the graph signal from the subsampled observations, and more importantly, without any spectral priors. To this end, both a nonparametric approach as well as parametric approaches including moving average and autoregressive models for the graph power spectrum are considered. The results specialize for undirected circulant graphs in that the graph nodes leading to the best compression rates are given by the so-called minimal sparse rulers. A near-optimal greedy algorithm is developed to design the subsampling scheme for the non-parametric and the moving average models, whereas a particular subsampling scheme that allows linear estimation for the autoregressive model is proposed. Numerical experiments on synthetic as well as real datasets related to climatology and processing handwritten digits are provided to demonstrate the developed theory.


title: Nucleon momentum distributions in $^3$He and three-body interactions

abstract: We calculate momentum distributions of neutrons and protons in $^3$He in the framework of a model which includes 3N interactions together with 2N interactions. It is shown that contribution of 3N interactions becomes essential in comparison with contribution coming from 2N interaction for internal momentum in $^3$He $k>$~250~MeV/c. We also compare calculated momentum distribution of protons with so-called empirical momentum distribution of protons extracted from A$(^3\mathrm{He},p)$ breakup cross-sections measured for protons emitted at zero degree. It is concluded that 3N interactions cannot completely explain the disagreement between the available data on the empirical momentum distribution of protons in $^3\mathrm{He}$ and calculations based on 2N interaction, which is observed at high momentum region of the momentum distribution, $k>$~250~MeV/c.


title: The Origin of the Possible Massive Black Hole in the Progenitor System of iPTF13bvn

abstract: This letter complements a formation scenario of the progenitor of the supernova iPTF13bvn proposed in Hirai (2017). Although the scenario was successful in reproducing various observational features of the explosion and pre-explosion photometry by assuming that the progenitor had a relatively large black hole companion, it lacked an explanation for the origin of the black hole itself. We now explore the possible evolutionary paths towards this binary with a relatively large black hole companion. We found that the black hole was probably produced by a very massive star that experienced common envelope evolution. According to our MESA stellar models, the primary mass should have been 70M to reproduce the required remnant mass and final separation. This indicates that iPTF13bvn was likely a rare case and normal type Ib supernovae originate from different paths.


title: An All-Pair Quantum SVM Approach for Big Data Multiclass Classification

abstract: In this paper, we have discussed a quantum approach for the all-pair multiclass classification problem. We have shown that the multiclass support vector machine for big data classification with a quantum all-pair approach can be implemented in logarithm runtime complexity on a quantum computer. In an all-pair approach, there is one binary classification problem for each pair of classes, and so there are k (k-1)/2 classifiers for a k-class problem. As compared to the classical multiclass support vector machine that can be implemented with polynomial run time complexity, our approach exhibits exponential speed up in the quantum version. The quantum all-pair algorithm can be used with other classification algorithms, and a speed up gain can be achieved as compared to their classical counterparts.


title: On the spherical convexity of quadratic functions

abstract: In this paper we study the spherical convexity of quadratic functions on spherically convex sets. In particular, conditions characterizing the spherical convexity of quadratic functions on spherical convex sets associated to the positive orthants and Lorentz cones are given.


title: Summary of the CKM 2016 working group on rare decays

abstract: Rare $B$, $D$, and $K$ decays offer unique opportunities to probe for evidence of new particles from physics beyond the Standard Model at mass scales extending from the electroweak scale to well above those directly accessible at the LHC. We review a selection of theoretical and experimental results on rare $B$, $D$, and $K$ decays illustrating the progress made during the past two years.


title: Some New Balanced and Almost Balanced Quaternary Sequences with Low Autocorrelation

abstract: Quaternary sequences of both even and odd period having low autocorrelation are studied. We construct new families of balanced quaternary sequences of odd period and low autocorrelation using cyclotomic classes of order eight, as well as investigate the linear complexity of some known quaternary sequences of odd period. We discuss a construction given by Chung et al. in "New Quaternary Sequences with Even Period and Three-Valued Autocorrelation" [IEICE Trans. Fundamentals Vol. E93-A, No. 1 (2010)] first by pointing out a slight modification (thereby obtaining new families of balanced and almost balanced quaternary sequences of even period and low autocorrelation), then by showing that, in certain cases, this slight modification greatly simplifies the construction given by Shen et al. in "New Families of Balanced Quaternary Sequences of Even Period with Three-level Optimal Autocorrelation" [IEEE Comm. Letters DOI10.1109/LCOMM.2017.26611750 (2017)]. We investigate the linear complexity of these sequences as well.


title: Influence of gravitational waves on circular moving particles

abstract: We investigate the influence of a gravitational wave background on particles in circular motion. We are especially interested in waves leading to stationary orbits. This consideration is limited to circular orbits perpendicular to the incidence direction. As a main result of our calculation we obtain in addition to the well-known alteration of the radial distance a time dependent correction term for the phase modifying the circular motion of the particle. A background of gravitational waves creates some kind of uncertainty.


title: Single-Pass PCA of Large High-Dimensional Data

abstract: Principal component analysis (PCA) is a fundamental dimension reduction tool in statistics and machine learning. For large and high-dimensional data, computing the PCA (i.e., the singular vectors corresponding to a number of dominant singular values of the data matrix) becomes a challenging task. In this work, a single-pass randomized algorithm is proposed to compute PCA with only one pass over the data. It is suitable for processing extremely large and high-dimensional data stored in slow memory (hard disk) or the data generated in a streaming fashion. Experiments with synthetic and real data validate the algorithm's accuracy, which has orders of magnitude smaller error than an existing single-pass algorithm. For a set of high-dimensional data stored as a 150 GB file, the proposed algorithm is able to compute the first 50 principal components in just 24 minutes on a typical 24-core computer, with less than 1 GB memory cost.


title: Upstream penetration of developed counter flow resulting from impingement of multiple jets in crossflow of cylindrical duct

abstract: It is of special interest in some conventional chemical technologies to provide either fast mixing of reagents or rapid quenching of final chemical product. One of most promising techniques to achieve it is mixing of multiple jets radially injected in crossflow (JIC) of cylindrical duct when jets impinge and form a jet flowing towards a crossflow. As result of an interaction of counter-flowing jet and confined crossflow, a recirculation flow zone (RFZ) upstream of jets injection plane (JIP) is formed (see Fig.1). Of valuable importance is to reveal upstream behavior of developed counter-flowing jet in confined crossflow in order to estimate an extreme RFZ size where jets are diluted and mixed under non-equilibrium conditions.


title: Determination of Quark-Gluon-Plasma Parameters from a Global Bayesian Analysis

abstract: The quality of data taken at RHIC and LHC as well as the success and sophistication of computational models for the description of ultra-relativistic heavy-ion collisions have advanced to a level that allows for the quantitative extraction of the transport properties of the Quark-Gluon-Plasma. However, the complexity of this task as well as the computational effort associated with it can only be overcome by developing novel methodologies: in this paper we outline such an analysis based on Bayesian Statistics and systematically compare an event-by-event heavy-ion collision model to data from the Large Hadron Collider. We simultaneously probe multiple model parameters including fundamental quark-gluon plasma properties such as the temperature-dependence of the specific shear viscosity $\eta/s$, calibrate the model to optimally reproduce experimental data, and extract quantitative constraints for all parameters simultaneously. The method is universal and easily extensible to other data and collision models.


title: E-motives and motivic stable homotopy

abstract: We introduce in this work the notion of the category of pure $\mathbf{E}$-Motives, where $\mathbf{E}$ is a motivic strict ring spectrum and construct twisted $\mathbf{E}$-cohomology by using six functors formalism of J. Ayoub. In particular, we construct the category of pure Chow-Witt motives $CHW(k)_{\mathbb{Q}}$ over a field $k$ and show that this category admits a fully faithful embedding into the geometric stable $\mathbb{A}^1$-derived category $D_{\mathbb{A}^1,gm}(k)_{\mathbb{Q}}$.


title: Electrostatic Performance of InSb, GaSb, Si and Ge p-channel Nanowires

abstract: The electrostatic performance of p-type nanowires (NWs) made of InSb and GaSb, with special focus on their gate capacitance behavior, is analyzed and compared to that achieved by traditional semiconductors usually employed for p-MOS such as Si and Ge. To do so, a self-consistent kp simulator has been implemented to achieve an accurate description of the Valence Band and evaluate the charge behavior as a function of the applied gate bias. The contribution and role of the constituent capacitances, namely the insulator, centroid and quantum ones are assessed. It is demonstrated that the centroid and quantum capacitances are strongly dependent on the semiconductor material. We find a good inherent electrostatic performance of GaSb and InSb NWs, comparable to their Ge and Si counterparts making these III-Sb compounds good candidates for future technological nodes.


title: An adaptive BDDC algorithm in variational form for mortar discretizations

abstract: A balancing domain decomposition by constraints (BDDC) algorithm with adaptive primal constraints in variational form is introduced and analyzed for high-order mortar discretization of two-dimensional elliptic problems with high varying and random coefficients. Some vector-valued auxiliary spaces and operators with essential properties are defined to describe the variational algorithm, and the coarse space is formed by using a transformation operator on each interface. Compared with the adaptive BDDC algorithms for conforming Galerkin approximations, our algorithm is more simple, because there is not any continuity constraints at subdomain vertices in the mortar method involved in this paper. The condition number of the preconditioned system is proved to be bounded above by a user-defined tolerance and a constant which is dependent on the maximum number of interfaces per subdomain, and independent of the mesh size and the contrast of the given coefficients. Numerical results show the robustness and efficiency of the algorithm for various model problems.


title: A variation principle for ground spaces

abstract: The ground spaces of a vector space of hermitian matrices, partially ordered by inclusion, form a lattice constructible from top to bottom in terms of intersections of maximal ground spaces. In this paper we characterize the lattice elements and the maximal lattice elements within the set of all subspaces using constraints on operator cones. Our results contribute to the geometry of quantum marginals, as their lattices of exposed faces are isomorphic to the lattices of ground spaces of local Hamiltonians.


title: Concentration of cylindrical Wigner measures

abstract: In this note we aim to characterize the cylindrical Wigner measures associated to regular quantum states in the Weyl C*-algebra of canonical commutation relations. In particular, we provide conditions at the quantum level sufficient to prove the concentration of all the corresponding cylindrical Wigner measures as Radon measures on suitable topological vector spaces. The analysis is motivated by variational and dynamical problems in the semiclassical study of bosonic quantum field theories.


title: Provability Interpretation of Propositional and Modal Logics

abstract: In 1933, G\"odel introduced a provability interpretation of the propositional intuitionistic logic to establish a formalization for the BHK interpretation. He used the modal system, $\mathbf{S4}$, as a formalization of the intuitive concept of provability and then translated $\mathbf{IPC}$ to $\mathbf{S4}$. His work suggested the problem to find a concrete provability interpretation of the modal logic $\mathbf{S4}$. In this paper, we will try to answer this problem. In fact, we will generalize Solovay's provability interpretation of the modal logic $\mathbf{GL}$ to capture other modal logics such as $\mathbf{K4}$, $\mathbf{KD4}$ and $\mathbf{S4}$. Then we will use these results to find a formalization for the BHK interpretation and we will show that with different interpretations of the BHK interpretation, we can capture some of the propositional logics such as Intuitionistic logic, minimal logic and Visser-Ruitenburg's basic logic. Moreover, we will show that there is no provability interpretation for any extension of $\mathbf{KD45}$ and also there is no BHK interpretation for the classical propositional logic.


title: Provability Logics of Hierarchies

abstract: The branch of provability logic investigates the provability-based behavior of the mathematical theories. In a more precise way, it studies the relation between a mathematical theory $T$ and a modal logic $L$ via the provability interpretation which interprets the modality as the provability predicate of $T$. In this paper we will extend this relation to investigate the provability-based behavior of a hierarchy of theories. More precisely, using the modal language with infinitely many modalities, $\{\Box_n\}_{n=0}^{\infty}$, we will define the hierarchical counterparts of some of the classical modal theories such as $\mathbf{K4}$, $\mathbf{KD4}$, $\mathbf{GL}$ and $\mathbf{S4}$. Then we will define their canonical provability interpretations and their corresponding soundness-completeness theorems.


title: Russellian Propositional Logic and the BHK Interpretation

abstract: The BHK interpretation interprets propositional statements as descriptions of the world of proofs; a world which is hierarchical in nature. It consists of different layers of the concept of proof; the proofs, the proofs about proofs and so on. To describe this hierarchical world, one approach is the Russellian approach in which we use a typed language to reflect this hierarchical nature in the syntax level. In this case, since the connective responsible for this hierarchical behavior is implication, we will use a typed language equipped with a hierarchy of implications, $\{\rightarrow_n\}_{n=0}^{\infty}$. In fact, using this typed propositional language, we will introduce the hierarchical counterparts of the logics $\mathbf{BPC}$, $\mathbf{EBPC}$, $\mathbf{IPC}$ and $\mathbf{FPL}$ and then by proving their corresponding soundness-completeness theorems with respect to their natural BHK interpretations, we will show how these different logics describe different worlds of proofs embodying different hierarchical behaviors.


title: Pre-equilibrium Longitudinal Flow in the IP-Glasma Framework for Pb+Pb Collisions at the LHC

abstract: In this work, we debut a new implementation of IP-Glasma and quantify the pre-equilibrium longitudinal flow in the IP-Glasma framework. The saturation physics based IP-Glasma model naturally provides a non-zero initial longitudinal flow through its pre-equilibrium Yang-Mills evolution. A hybrid IP-Glasma+MUSIC+UrQMD frame- work is employed to test this new implementation against experimental data and to make further predictions about hadronic flow observables in Pb+Pb collisions at 5.02 TeV. Finally, the non-zero pre-equilibrium longitudinal flow of the IP-Glasma model is quantified, and its origin is briefly discussed.


title: A simulation chain for the LAGO Space Weather Program

abstract: We simulate the expected variations of background flux at two particular sites of the Latin American Giant Observatory (LAGO) and found that these fluxes are sensible to the latitude and that neutrons and muons components, of cosmic rays, are affected due to the variation of the geomagnetic field (GF).


title: A non-varying phenomenon with an application to the wind-tree model

abstract: We exhibit a non-varying phenomenon for the counting problem of cylinders, weighted by their area, passing through two marked (regular) Weierstrass points of a translation surface in a hyperelliptic connected component $\mathcal{H}^{hyp}(2g-2)$ or $\mathcal{H}^{hyp}(g-1,g-1)$, $g > 1$. As an application, we obtain the non-varying phenomenon for the counting problem of (weighted) periodic trajectories on the classical wind-tree model, a billiard in the plane endowed with $\mathbb{Z}^2$-periodically located identical rectangular obstacles.


title: Developments Toward a 250-nm, Fully Planarized Fabrication Process With Ten Superconducting Layers And Self-Shunted Josephson Junctions

abstract: We are developing a superconductor electronics fabrication process with up to nine planarized superconducting layers, stackable stud vias, self-shunted Nb/AlOx-Al/Nb Josephson junctions, and one layer of MoNx kinetic inductors. The minimum feature size of resistors and inductors in the process is 250 nm. We present data on the mutual inductance of Nb stripline and microstrip inductors with linewidth and spacing from 250 nm to 1 {\mu}m made on the same or adjacent Nb layers, as well as the data on the linewidth and resistance uniformity.


title: On the $\eta$ and $\eta'$ Photoproduction Beam Asymmetry at High Energies

abstract: We show that, in the Regge limit, beam asymmetries in $\eta$ and $\eta'$ photoproduction are sensitive to hidden strangeness components. Under reasonable assumptions about the couplings we estimate the contribution of the $\phi$ Regge pole, which is expected to be the dominant hidden strangeness contribution. The ratio of the asymmetries in $\eta'$ and $\eta$ production is estimated to be close to unity in the forward region $0 < -t/\text{GeV}^2 \leq 1$ at the photon energy $E_\text{lab} = 9$~GeV, relevant for the upcoming measurements at Jefferson Lab.