title: Two-photon exchange corrections to $\gamma^*N\Delta$ form factors for $Q^2\leq 4 $ (Gev/$c$)$^2$

abstract: We evaluate the corrections of the two-photon exchange (TPE) process on the $\gamma^* N\Delta$ transition form factors. The contributions of the TPE process to the $eN\rightarrow e\Delta(1232)\rightarrow eN\pi$ are calculated in a hadronic model with the inclusion of only the elastic nucleon intermediate states, to estimate its effects on the multipoles $M^{(3/2)}_{1^+}, E^{(3/2)}_{1^+}, S^{(3/2)}_{1^+}$ at the $\Delta$ peak. We find that TPE effects on $G^*_M$ is very small. $G^*_E,$ and $ G^*_C$ are also little affected at small $Q^2 $. For $G^*_E$, the TPE effects reach about $3 - 8\%$ near $Q^2\sim 4$ GeV$^2$, depending on the model, MAID or SAID, used to emulate the data. For $G^*_C$, the TPE effects decrease rapidly with increasing $\epsilon$ while growing with increasing $Q^2$ to reach $\sim 6 - 15\%$ with $Q^2 \sim 4$ GeV$^2$ at $\epsilon = 0.2$. Sizeable TPE corrections to $G^*_E$ and $G^*_C$ found here points to the need of including TPE effects in the multipole analysis in the region of high $Q^2$ and small $\epsilon$. The TPE corrections to $R_{EM}$ and $R_{SM}$ obtained in our hadronic calculation are compared with those obtained in a partonic calculation for moderate momentum transfer of $2<Q^2<4$ GeV$^2$.


title: Privacy-Aware Guessing Efficiency

abstract: We investigate the problem of guessing a discrete random variable $Y$ under a privacy constraint dictated by another correlated discrete random variable $X$, where both guessing efficiency and privacy are assessed in terms of the probability of correct guessing. We define $h(P_{XY}, \epsilon)$ as the maximum probability of correctly guessing $Y$ given an auxiliary random variable $Z$, where the maximization is taken over all $P_{Z|Y}$ ensuring that the probability of correctly guessing $X$ given $Z$ does not exceed $\epsilon$. We show that the map $\epsilon\mapsto h(P_{XY}, \epsilon)$ is strictly increasing, concave, and piecewise linear, which allows us to derive a closed form expression for $h(P_{XY}, \epsilon)$ when $X$ and $Y$ are connected via a binary-input binary-output channel. For $(X^n, Y^n)$ being pairs of independent and identically distributed binary random vectors, we similarly define $\underline{h}_n(P_{X^nY^n}, \epsilon)$ under the assumption that $Z^n$ is also a binary vector. Then we obtain a closed form expression for $\underline{h}_n(P_{X^nY^n}, \epsilon)$ for sufficiently large, but nontrivial values of $\epsilon$.


title: Automatic Discovery, Association Estimation and Learning of Semantic Attributes for a Thousand Categories

abstract: Attribute-based recognition models, due to their impressive performance and their ability to generalize well on novel categories, have been widely adopted for many computer vision applications. However, usually both the attribute vocabulary and the class-attribute associations have to be provided manually by domain experts or large number of annotators. This is very costly and not necessarily optimal regarding recognition performance, and most importantly, it limits the applicability of attribute-based models to large scale data sets. To tackle this problem, we propose an end-to-end unsupervised attribute learning approach. We utilize online text corpora to automatically discover a salient and discriminative vocabulary that correlates well with the human concept of semantic attributes. Moreover, we propose a deep convolutional model to optimize class-attribute associations with a linguistic prior that accounts for noise and missing data in text. In a thorough evaluation on ImageNet, we demonstrate that our model is able to efficiently discover and learn semantic attributes at a large scale. Furthermore, we demonstrate that our model outperforms the state-of-the-art in zero-shot learning on three data sets: ImageNet, Animals with Attributes and aPascal/aYahoo. Finally, we enable attribute-based learning on ImageNet and will share the attributes and associations for future research.


title: Sensing spontaneous collapse and decoherence with interfering Bose-Einstein condensates

abstract: We study how matter-wave interferometry with Bose-Einstein condensates is affected by hypothetical collapse models and by environmental decoherence processes. Motivated by recent atom fountain experiments with macroscopic arm separations, we focus on the observable signatures of first-order and higher-order coherence for different two-mode superposition states, and on their scaling with particle number. This can be used not only to assess the impact of environmental decoherence on many-body coherence, but also to quantify the extent to which macrorealistic collapse models are ruled out by such experiments. We find that interference fringes of phase-coherently split condensates are most strongly affected by decoherence, whereas the quantum signatures of independent interfering condensates are more immune against macrorealistic collapse. A many-body enhanced decoherence effect beyond the level of a single atom can be probed if higher-order correlations are resolved in the interferogram.


title: Cubic scaling algorithms for RPA correlation using interpolative separable density fitting

abstract: We present a new cubic scaling algorithm for the calculation of the RPA correlation energy. Our scheme splits up the dependence between the occupied and virtual orbitals in $\chi^0$ by use of Cauchy's integral formula. This introduces an additional integral to be carried out, for which we provide a geometrically convergent quadrature rule. Our scheme also uses the newly developed Interpolative Separable Density Fitting algorithm to further reduce the computational cost in a way analogous to that of the Resolution of Identity method.


title: Blockchains for Business Process Management - Challenges and Opportunities

abstract: Blockchain technology promises a sizable potential for executing inter-organizational business processes without requiring a central party serving as a single point of trust (and failure). This paper analyzes its impact on business process management (BPM). We structure the discussion using two BPM frameworks, namely the six BPM core capabilities and the BPM lifecycle. This paper provides research directions for investigating the application of blockchain technology to BPM.


title: Hybrid Beamforming via the Kronecker Decomposition for the Millimeter-Wave Massive MIMO Systems

abstract: Despite its promising performance gain, the realization of mmWave massive MIMO still faces several practical challenges. In particular, implementing massive MIMO in the digital domain requires hundreds of RF chains matching the number of antennas. Furthermore, designing these components to operate at the mmWave frequencies is challenging and costly. These motivated the recent development of hybrid-beamforming where MIMO processing is divided for separate implementation in the analog and digital domains, called the analog and digital beamforming, respectively. Analog beamforming using a phase array introduces uni-modulus constraints on the beamforming coefficients, rendering the conventional MIMO techniques unsuitable and call for new designs. In this paper, we present a systematic design framework for hybrid beamforming for multi-cell multiuser massive MIMO systems over mmWave channels characterized by sparse propagation paths. The framework relies on the decomposition of analog beamforming vectors and path observation vectors into Kronecker products of factors being uni-modulus vectors. Exploiting properties of Kronecker mixed products, different factors of the analog beamformer are designed for either nulling interference paths or coherently combining data paths. Furthermore, a channel estimation scheme is designed for enabling the proposed hybrid beamforming. The scheme estimates the AoA of data and interference paths by analog beam scanning and data-path gains by analog beam steering. The performance of the channel estimation scheme is analyzed. In particular, the AoA spectrum resulting from beam scanning, which displays the magnitude distribution of paths over the AoA range, is derived in closed-form. It is shown that the inter-cell interference level diminishes inversely with the array size, the square root of pilot sequence length and the spatial separation between paths.


title: Finding Modes by Probabilistic Hypergraphs Shifting

abstract: In this paper, we develop a novel paradigm, namely hypergraph shift, to find robust graph modes by probabilistic voting strategy, which are semantically sound besides the self-cohesiveness requirement in forming graph modes. Unlike the existing techniques to seek graph modes by shifting vertices based on pair-wise edges (i.e, an edge with $2$ ends), our paradigm is based on shifting high-order edges (hyperedges) to deliver graph modes. Specifically, we convert the problem of seeking graph modes as the problem of seeking maximizers of a novel objective function with the aim to generate good graph modes based on sifting edges in hypergraphs. As a result, the generated graph modes based on dense subhypergraphs may more accurately capture the object semantics besides the self-cohesiveness requirement. We also formally prove that our technique is always convergent. Extensive empirical studies on synthetic and real world data sets are conducted on clustering and graph matching. They demonstrate that our techniques significantly outperform the existing techniques.


title: Thermoelectric phase diagram of the SrTiO3-SrNbO3 solid solution system

abstract: Thermoelectric energy conversion - the exploitation of the Seebeck effect to convert waste heat into electricity - has attracted an increasing amount of research attention for energy harvesting technology. Niobium-doped strontium titanate (SrTi1-xNbxO3) is one of the most promising thermoelectric material candidates, particularly as it poses a much lesser environmental risk in comparison to materials based on heavy metal elements. Two-dimensional electron confinement, e.g. through the formation of superlattices or two-dimensional electron gases, is recognized as an effective strategy to improve the thermoelectric performance of SrTi1-xNbxO3. Although electron confinement is closely related to the electronic structure, the fundamental electronic phase behavior of the SrTi1-xNbxO3 solid solution system has yet to be comprehensively investigated. Here, we present a thermoelectric phase diagram for the SrTi1-xNbxO3 (0.05 =< x =< 1) solid solution system, which we derived from the characterization of epitaxial films. We observed two thermoelectric phase boundaries in the system, which originate from the step-like decrease in carrier effective mass at x ~ 0.3, and from a local minimum in carrier relaxation time at x ~ 0.5. The origins of these phase boundaries are considered to be related to isovalent/heterovalent B-site substitution: parabolic Ti 3d orbitals dominate electron conduction for compositions with x < 0.3, whereas the Nb 4d orbital dominates when x > 0.3. At x ~ 0.5, a tetragonal distortion of the lattice, in which the B-site is composed of Ti4+ and Nb4+ ions, leads to the formation of tail-like impurity bands, which maximizes the electron scattering. These results provide a foundation for further research into improving the thermoelectric performance of SrTi1-xNbxO3.


title: Closed-form formulae of hyperbolic metamaterial made by stacked hole-array layers working at terahertz or microwave radiation

abstract: A metamaterial made by stacked hole-array layers known as a fishnet metamaterial behaves as a hyperbolic metamaterial at wavelength much longer than hole-array period. However, the analytical formulae of effective parameters of a fishnet metamaterial have not been reported hindering the design of deep-subwavelength imaging devices using this structure. We report the new closed-form formulae of effective parameters comprising anisotropic dispersion relation of a fishnet metamaterial working at terahertz or microwave frequency. These effective parameters of a fishnet metamaterial are consistent with those obtained by quasi-full solutions using known effective parameters of a hole-array layer working at frequency below its spoof plasma frequency with the superlattice period much smaller than the hole-array period. We also theoretically demonstrate the deep-subwavelength focusing at {\lambda}/83 using the composite structure of a slit-array layer and a fishnet metamaterial. It is found that the focused intensity inside a fishnet metamaterial is several times larger than that without the fishnet metamaterial, but the transmitted intensity is still restricted by large-wavevector difference in air and a fishnet metamaterial. Our effective parameters may aid the next-generation deep-subwavelength imaging devices working at terahertz or microwave radiation.


title: Predictive-Corrective Networks for Action Detection

abstract: While deep feature learning has revolutionized techniques for static-image understanding, the same does not quite hold for video processing. Architectures and optimization techniques used for video are largely based off those for static images, potentially underutilizing rich video information. In this work, we rethink both the underlying network architecture and the stochastic learning paradigm for temporal data. To do so, we draw inspiration from classic theory on linear dynamic systems for modeling time series. By extending such models to include nonlinear mappings, we derive a series of novel recurrent neural networks that sequentially make top-down predictions about the future and then correct those predictions with bottom-up observations. Predictive-corrective networks have a number of desirable properties: (1) they can adaptively focus computation on "surprising" frames where predictions require large corrections, (2) they simplify learning in that only "residual-like" corrective terms need to be learned over time and (3) they naturally decorrelate an input data stream in a hierarchical fashion, producing a more reliable signal for learning at each layer of a network. We provide an extensive analysis of our lightweight and interpretable framework, and demonstrate that our model is competitive with the two-stream network on three challenging datasets without the need for computationally expensive optical flow.


title: Entanglement-induced quantum radiation

abstract: Quantum entanglement of the Minkowski vacuum state between left and right Rindler wedges generates thermal behavior in the right Rindler wedge, which is known as the Unruh effect. In this letter, we show that there is another consequence of this entanglement, namely entanglement-induced quantum radiation emanating from a uniformly accelerated object. We clarify why it is in agreement with our intuition that incoming and outgoing energy fluxes should cancel each other out in a thermalized state.


title: Representation Stability as a Regularizer for Improved Text Analytics Transfer Learning

abstract: Although neural networks are well suited for sequential transfer learning tasks, the catastrophic forgetting problem hinders proper integration of prior knowledge. In this work, we propose a solution to this problem by using a multi-task objective based on the idea of distillation and a mechanism that directly penalizes forgetting at the shared representation layer during the knowledge integration phase of training. We demonstrate our approach on a Twitter domain sentiment analysis task with sequential knowledge transfer from four related tasks. We show that our technique outperforms networks fine-tuned to the target task. Additionally, we show both through empirical evidence and examples that it does not forget useful knowledge from the source task that is forgotten during standard fine-tuning. Surprisingly, we find that first distilling a human made rule based sentiment engine into a recurrent neural network and then integrating the knowledge with the target task data leads to a substantial gain in generalization performance. Our experiments demonstrate the power of multi-source transfer techniques in practical text analytics problems when paired with distillation. In particular, for the SemEval 2016 Task 4 Subtask A (Nakov et al., 2016) dataset we surpass the state of the art established during the competition with a comparatively simple model architecture that is not even competitive when trained on only the labeled task specific data.


title: Hierarchical Modeling of Multifunctional Novel Carbon Nanotube Reinforced Hybrid Composites for Next Generation Polymeric Composites

abstract: This article provides an overview of the modeling of the effective thermomechanical properties of the multifunctional carbon nanotube (CNT) reinforced hybrid composites for advanced structural applications. The novel constructional feature of such multifunctional CNT-reinforced hybrid composite is that CNTs are radially grown on the circumferential surfaces of the carbon fiber reinforcements. Several micromechanical models have been developed to predict the effective thermomechanical properties of these multifunctional CNT-reinforced hybrid composites. The waviness of CNTs is intrinsic to many manufacturing processes and influences the thermomechanical behavior of CNT-reinforced composites. An endeavor has also been made to investigate the effect of wavy CNTs on the thermomechanical properties of the multifunctional CNT-reinforced hybrid composites. Radially aligned CNTs grown on the circumferential surfaces of the carbon fibers assure that the CNT-reinforced hybrid composites are truly multifunctional and may be a promising advanced next generation composite for structural applications.


title: Contribution of Orbital Angular Momentum to the Nucleon Spin

abstract: We have calculated the Orbital Angular Momentum of quarks and gluons in the nucleon. The calculations are carried out in the next to leading order utilizing the so-called valon model. It is found that the average quark orbital angular momentum is positive, but small, and the average gluon orbital angular momentum is negative and large. We also report on some regularities about the total angular momentum of the quarks and the gluon, as well as on the orbital angular momentum of the separate partons. We have also provided partonic angular momentum, $L^{q,g}$ as a function of $Q^2$.


title: Inter-Operator Resource Management for Millimeter Wave, Multi-Hop Backhaul Networks

abstract: In this paper, a novel framework is proposed for optimizing the operation and performance of a large-scale, multi-hop millimeter wave (mmW) backhaul within a wireless small cell network (SCN) that encompasses multiple mobile network operators (MNOs). The proposed framework enables the small base stations (SBSs) to jointly decide on forming the multi-hop, mmW links over backhaul infrastructure that belongs to multiple, independent MNOs, while properly allocating resources across those links. In this regard, the problem is addressed using a novel framework based on matching theory that is composed to two, highly inter-related stages: a multi-hop network formation stage and a resource management stage. One unique feature of this framework is that it jointly accounts for both wireless channel characteristics and economic factors during both network formation and resource management. The multi-hop network formation stage is formulated as a one-to-many matching game which is solved using a novel algorithm, that builds on the so-called deferred acceptance algorithm and is shown to yield a stable and Pareto optimal multi-hop mmW backhaul network. Then, a one-to-many matching game is formulated to enable proper resource allocation across the formed multi-hop network. This game is then shown to exhibit peer effects and, as such, a novel algorithm is developed to find a stable and optimal resource management solution that can properly cope with these peer effects. Simulation results show that the proposed framework yields substantial gains, in terms of the average sum rate, reaching up to 27% and 54%, respectively, compared to a non-cooperative scheme in which inter-operator sharing is not allowed and a random allocation approach. The results also show that our framework provides insights on how to manage pricing and the cost of the cooperative mmW backhaul network for the MNOs.


title: Cycloidally modulated magnetic order stabilized by thermal fluctuations in the N\'{e}el-type skyrmion host GaV$_4$S$_8$

abstract: We report small-angle neutron scattering studies of the lacunar spinel GaV$_4$S$_8$, which reveal the long-wavelength magnetic states to be cycloidally modulated. This provides direct support for the formation of N\'eel-type skyrmions recently claimed to exist in this compound. In striking contrast with all other bulk skyrmion host materials, upon cooling the modulated magnetic states transform into a ferromagnetic state. These results indicate all of the modulated states in GaV$_4$S$_8$, including the skyrmion state, gain their stability from thermal fluctuations, while at lower temperature the ferromagnetic state emerges in accord with the strong easy-axis magnetic anisotropy. In the vicinity of the transition between the ferromagnetic and modulated states, both a phase coexistence and a soliton-like state are also evidenced by our study.


title: On absolutely normal and continued fraction normal numbers

abstract: We give a construction of a real number that is normal to all integer bases and continued fraction normal. The computation of the first n digits of its continued fraction expansion performs in the order of n^4 mathematical operations. The construction works by defining successive refinements of appropriate subintervals to achieve, in the limit, simple normality to all integer bases and continued fraction normality. The main diffculty is to control the length of these subintervals. To achieve this we adapt and combine known metric theorems on continued fractions and on expansions in integers bases.


title: The coupled modified nonlinear Schr\"{o}dinger equations on the half-line via the Fokas method

abstract: Coupled modified nonlinear Schr\"{o}dinger(CMNLS) equations describe the pulse propagation in the picosecond or femtosecond regime of the birefringent optical fibers. In this paper, we use the Fokas method to analyze the initial-boundary value problem for the CMNLS equations on the half-line. Assume that the solution u(x,t) and v(x,t) of CMNLS equations are exists, and we show that it can be expressed in terms of the unique solution of a matrix Riemann-Hilbert problem formulated in the plane of the complex spectral parameter {\lambda}.


title: Loklak - A Distributed Crawler and Data Harvester for Overcoming Rate Limits

abstract: Modern social networks have become sources for vast quantities of data. Having access to such big data can be very useful for various researchers and data scientists. In this paper we describe Loklak, an open source distributed peer to peer crawler and scraper for supporting such research on platforms like Twitter, Weibo and other social networks. Social networks such as Twitter and Weibo pose various limitations to the user on the rate at which one could freely collect such data for research. Our crawler enables researchers to continuously collect data while overcoming the barriers of authentication and rate limits imposed to provide a repository of open data as a service.


title: Hardy and Rellich inequalities on the complement of convex sets

abstract: We establish existence of weighted Hardy and Rellich inequalities on the spaces $L_p(\Omega)$ where $\Omega= \Ri^d\backslash K$ with $K$ a closed convex subset of $\Ri^d$. Let $\Gamma=\partial\Omega$ denote the boundary of $\Omega$ and $d_\Gamma$ the Euclidean distance to $\Gamma$. We consider weighting functions $c_\Omega=c\circ d_\Gamma$ with $c(s)=s^\delta(1+s)^{\delta'-\delta}$ and $\delta,\delta'\geq0$. Then the Hardy inequalities take the form \[ \int_\Omega c_\Omega\,|\nabla\varphi|^p\geq b_p\int_\Omega c_\Omega\,d_\Gamma^{\;-p}\,|\varphi|^p \] and the Rellich inequalities are given by \[ \int_\Omega|H\varphi|^p\geq d_p\int_\Omega |c_\Omega\,d_\Gamma^{\,-2}\varphi|^p \] with $H=-\divv(c_\Omega\nabla)$. The constants $b_p, d_p$ depend on the weighting parameter $\delta,\delta'\geq0$ and the Hausdorff dimension of the boundary. We compute the optimal constants in a broad range of situations.


title: Sampling-based speech parameter generation using moment-matching networks

abstract: This paper presents sampling-based speech parameter generation using moment-matching networks for Deep Neural Network (DNN)-based speech synthesis. Although people never produce exactly the same speech even if we try to express the same linguistic and para-linguistic information, typical statistical speech synthesis produces completely the same speech, i.e., there is no inter-utterance variation in synthetic speech. To give synthetic speech natural inter-utterance variation, this paper builds DNN acoustic models that make it possible to randomly sample speech parameters. The DNNs are trained so that they make the moments of generated speech parameters close to those of natural speech parameters. Since the variation of speech parameters is compressed into a low-dimensional simple prior noise vector, our algorithm has lower computation cost than direct sampling of speech parameters. As the first step towards generating synthetic speech that has natural inter-utterance variation, this paper investigates whether or not the proposed sampling-based generation deteriorates synthetic speech quality. In evaluation, we compare speech quality of conventional maximum likelihood-based generation and proposed sampling-based generation. The result demonstrates the proposed generation causes no degradation in speech quality.


title: Real-time On-Demand Crowd-powered Entity Extraction

abstract: Output-agreement mechanisms such as ESP Game have been widely used in human computation to obtain reliable human-generated labels. In this paper, we argue that a "time-limited" output-agreement mechanism can be used to create a fast and robust crowd-powered component in interactive systems, particularly dialogue systems, to extract key information from user utterances on the fly. Our experiments on Amazon Mechanical Turk using the Airline Travel Information System (ATIS) dataset showed that the proposed approach achieves high-quality results with an average response time shorter than 9 seconds.


title: Excellence in prime characteristic

abstract: Fix any field $K$ of characteristic $p$ such that $[K:K^p]$ is finite. We discuss excellence for Noetherian domains whose fraction field is $K$, showing for example, that $R$ is excellent if and only if the Frobenius map is finite on $R$. Furthermore, we show $R$ is excellent if and only if it admits some non-zero $p^{-e}$-linear map for $R$ or equivalently, that $R$ is a solid $R$-algebra under Frobenius. In particular, this means that Frobenius split Noetherian domains that are generically $F$-finite are always excellent. We also show that non-excellent rings are abundant and easy to construct in prime characteristic, even within the world of regular local rings of dimension one in function fields. This paper is mostly expository in nature.


title: A nearly perfect omnidirectional shear-horizontal (SH) wave transducer based on a thickness poled, thickness-shear (d15) piezoelectric ring

abstract: The fundamental shear horizontal (SH0) wave in plates is of great importance in the field of nondestructive testing (NDT) and structural health monitoring (SHM) since it is the unique non-dispersive guided wave mode. For practical applications, a phased array system based on omnidirectional SH0 wave transducers is most useful as it can cover a wide range of a plate. However, so far very few omnidirectional SH wave transducers have been developed. In this work, we proposed an omnidirectional SH piezoelectric transducer (OSH-PT) based on a thickness poled piezoelectric ring. The ring is equally divided into twelve sectors and the electric field is circumferentially applied, resulting in a new thickness-shear (d15) mode. Finite element analysis shows that the proposed OSH-PT can excite single-mode SH0 wave and receive the SH0 wave only. Experiments were then conducted to examine the performance of the proposed OSH-PT. Results indicated that it can generate and receive single-mode SH0 wave in a wide frequency range with nearly uniform sensitivities along all directions. Considering its quite simple configuration, compact size and low cost, the proposed OSH-PT is expected to greatly promote the applications of SH waves in the field of NDT and SHM.


title: Examination of $N^*(1535)$ as a probe to observe the partial restoration of chiral symmetry in nuclear matter

abstract: We investigate modifications of mass and decay width of $N^*(1535)$ in nuclear matter in a chiral symmetric way. The nucleon and $N^*(1535)$ are introduced by a parity doublet model, and nuclear matter is constructed by one-loop diagrams of the nucleon and $N^*(1535)$. The decay width of $N^*(1535)$ is studied respecting chiral symmetry. Our calculations show that the partial width of $\Gamma_{N^*\to N\pi}$ is slightly broadened by a collisional broadening, and that of $\Gamma_{N^*\to N\eta}$ is drastically suppressed at density. As a result, the total decay width $\Gamma_{\rm tot}$ gets small at density. These modifications, especially the drastic narrowing of partial width of $\Gamma_{N^*\to N\eta}$, together with the dropping of mass of $N^*(1535)$ provide experiments for observing the partial restoration of chiral symmetry in nuclear matter by means of $N^*(1535)$ resonance with useful information.


title: Batch Data Processing and Gaussian Two-Armed Bandit

abstract: We consider the two-armed bandit problem as applied to data processing if there are two alternative processing methods available with different a priori unknown efficiencies. One should determine the most effective method and provide its predominant application. Gaussian two-armed bandit describes the batch, and possibly parallel, processing when the same methods are applied to sufficiently large packets of data and accumulated incomes are used for the control. If the number of packets is large enough then such control does not deteriorate the control performance, i.e. does not increase the minimax risk. For example, in case of 50 packets the minimax risk is about 2% larger than that one corresponding to one-by-one optimal processing. However, this is completely true only for methods with close efficiencies because otherwise there may be significant expected losses at the initial stage of control when both actions are applied turn-by-turn. To avoid significant losses at the initial stage of control one should take initial packets of data having smaller sizes.


title: Optimizing stability of mutual synchronization between a pair of limit-cycle oscillators with weak cross coupling

abstract: We consider optimization of linear stability of synchronized states between a pair of weakly coupled limit-cycle oscillators with cross coupling, where different components of state variables of the oscillators are allowed to interact. On the basis of the phase reduction theory, the coupling matrix between different components of the oscillator states that maximizes the linear stability of the synchronized state under given constraints on overall coupling intensity and on stationary phase difference is derived. The improvement in the linear stability is illustrated by using several types of limit-cycle oscillators as examples.


title: From the octagon to the SFT vertex - gluing and multiple wrapping

abstract: We compare various ways of decomposing and decompactifying the string field theory vertex and analyze the relations between them. We formulate axioms for the octagon and show how it can be glued to reproduce the decompactified pp-wave SFT vertex which in turn can be glued to recover the exact finite volume pp-wave Neumann coefficients. The gluing is performed by resumming multiple wrapping corrections. We observe important nontrivial contributions at the multiple wrapping level which are crucial for obtaining the exact results.


title: Exact Inflation in Einstein-Gauss-Bonnet Gravity

abstract: We study cosmological inflation in the Einstein gravity model, where additionally the Gauss-Bonnet term non-minimally coupled to a scalar field is included. We prove that inflationary solutions of exponential and power-law types are allowable and we found few examples of them. We also proposed the method of the exact inflationary solutions construction for a single scalar field with given scale factor and Gauss-Bonnet coupling term in the spatially flat Friedmann-Robertson-Walker Universe on the basis of connection with standard inflation and using special anzatses. With one special anzats we presented the system of equations in the form which allowed generation of exact solutions (at least in quadratures) of wide class by setting the scale factor.


title: Optimizing mutual synchronization of rhythmic spatiotemporal patterns in reaction-diffusion systems

abstract: Optimization of the stability of synchronized states between a pair of symmetrically coupled reaction-diffusion systems exhibiting rhythmic spatiotemporal patterns is studied in the framework of the phase reduction theory. The optimal linear filter that maximizes the linear stability of the in-phase synchronized state is derived for the case where the two systems are linearly coupled. The nonlinear optimal interaction function that theoretically gives the largest linear stability of the in-phase synchronized state is also derived. The theory is illustrated by using typical rhythmic patterns in FitzHugh-Nagumo systems as examples.


title: Energy Propagation in Deep Convolutional Neural Networks

abstract: Many practical machine learning tasks employ very deep convolutional neural networks. Such large depths pose formidable computational challenges in training and operating the network. It is therefore important to understand how fast the energy contained in the propagated signals (a.k.a. feature maps) decays across layers. In addition, it is desirable that the feature extractor generated by the network be informative in the sense of the only signal mapping to the all-zeros feature vector being the zero input signal. This "trivial null-set" property can be accomplished by asking for "energy conservation" in the sense of the energy in the feature vector being proportional to that of the corresponding input signal. This paper establishes conditions for energy conservation (and thus for a trivial null-set) for a wide class of deep convolutional neural network-based feature extractors and characterizes corresponding feature map energy decay rates. Specifically, we consider general scattering networks employing the modulus non-linearity and we find that under mild analyticity and high-pass conditions on the filters (which encompass, inter alia, various constructions of Weyl-Heisenberg filters, wavelets, ridgelets, ($\alpha$)-curvelets, and shearlets) the feature map energy decays at least polynomially fast. For broad families of wavelets and Weyl-Heisenberg filters, the guaranteed decay rate is shown to be exponential. Moreover, we provide handy estimates of the number of layers needed to have at least $((1-\varepsilon)\cdot 100)\%$ of the input signal energy be contained in the feature vector.


title: Degrees of irreducible polynomials over binary field

abstract: An algorithm for factoring polynomials over finite fields is given by Berlekamp in 1967. The main tool was the matrix Q corresponding to each polynomial. This paper studies the degrees of polynomials over binary field that associated with their corresponding matrices Q and irreducibility.


title: A remark on the tensor product of SC-reciprocity sheaves

abstract: We give a description of the tensor product of SC-reciprocity presheaves with transfers in terms of $K$-group of geometric type, and we study a structure of the tensor product of $\mathbb{G}_a$ and $\mathbb{G}_a$. We apply our description to give a description of Chow group of 0-cycles with modulus of products of curves. We also show that the tensor product of $\mathbb{G}_a$ and $\mathbb{G}_m$ is isomorphic to the sheaf $\Omega^1$ of K\"ahler differential forms as reciprocity sheaves over characteristic zero.


title: Joint Semi-supervised RSS Dimensionality Reduction and Fingerprint Based Algorithm for Indoor Localization

abstract: With the recent development in mobile computing devices and as the ubiquitous deployment of access points(APs) of Wireless Local Area Networks(WLANs), WLAN based indoor localization systems(WILSs) are of mounting concentration and are becoming more and more prevalent for they do not require additional infrastructure. As to the localization methods in WILSs, for the approaches used to localization in satellite based global position systems are difficult to achieve in indoor environments, fingerprint based localization algorithms(FLAs) are predominant in the RSS based schemes. However, the performance of FLAs has close relationship with the number of APs and the number of reference points(RPs) in WILSs, especially as the redundant deployment of APs and RPs in the system. There are two fatal problems, curse of dimensionality (CoD) and asymmetric matching(AM), caused by increasing number of APs and breaking down APs during online stage. In this paper, a semi-supervised RSS dimensionality reduction algorithm is proposed to solve these two dilemmas at the same time and there are numerous analyses about the theoretical realization of the proposed method. Another significant innovation of this paper is jointing the fingerprint based algorithm with CM-SDE algorithm to improve the localization accuracy of indoor localization.


title: Hardness of classically sampling one clean qubit model with constant total variation distance error

abstract: The one clean qubit model (or the DQC1 model) is a restricted model of quantum computing where only a single input qubit is pure and all other input qubits are maximally mixed. In spite of the severe restriction, the model can solve several problems (such as calculating Jones polynomials) whose classical efficient solutions are not known. Furthermore, it was shown that if the output probability distribution of the one clean qubit model can be classically efficiently sampled with a constant multiplicative error, then the polynomial hierarchy collapses to the second level. Is it possible to improve the multiplicative error hardness result to a constant total variation distance error one like other sub-universal quantum computing models such as the IQP model, the Boson Sampling model, and the Fourier Sampling model? In this paper, we show that it is indeed possible if we accept a modified version of the average case hardness conjecture. Interestingly, the anti-concentration lemma can be easily shown by using the special property of the one clean qubit model that each output probability is so small that no concentration occurs.


title: On Optimal Two-Sided Pricing of Congested Networks

abstract: Traditionally, Internet Access Providers (APs) only charge end-users for Internet access services; however, to recoup infrastructure costs and increase revenues, some APs have recently adopted two-sided pricing schemes under which both end-users and content providers are charged. Meanwhile, with the rapid growth of traffic, network congestion could seriously degrade user experiences and influence providers' utility. To optimize profit and social welfare, APs and regulators need to design appropriate pricing strategies and regulatory policies that take the effects of network congestion into consideration. In this paper, we model two-sided networks under which users' traffic demands are influenced by exogenous pricing and endogenous congestion parameters and derive the system congestion under an equilibrium. We characterize the structures and sensitivities of profit- and welfare-optimal two-sided pricing schemes and reveal that 1) the elasticity of system throughput plays a crucial role in determining the structures of optimal pricing, 2) the changes of optimal pricing under varying AP's capacity and users' congestion sensitivity are largely driven by the type of data traffic, e.g., text or video, and 3) APs and regulators will be incentivized to shift from one-sided to two-sided pricing when APs' capacities and user demand for video traffic grow. Our results can help APs design optimal two-sided pricing and guide regulators to legislate desirable policies.


title: Perfectly Aligned Shallow Ensemble Nitrogen-Vacancy Centers in (111) Diamond

abstract: We report the formation of perfectly aligned, high-density, shallow nitrogen vacancy (NV) centers on the ($111$) surface of a diamond. The study involved step-flow growth with a high flux of nitrogen during chemical vapor deposition (CVD) growth, which resulted in the formation of a highly concentrated (>$10^{19}$ cm$^{-3}$) nitrogen layer approximately $10$ nm away from the substrate surface. Photon counts obtained from the NV centers indicated the presence of $6.1$x$10^{15}$-$3.1$x$10^{16}$ cm$^{-3}$ NV centers, which suggested the formation of an ensemble of NV centers. The optically detected magnetic resonance (ODMR) spectrum confirmed perfect alignment (more than $99$ %) for all the samples fabricated by step-flow growth via CVD. Perfectly aligned shallow ensemble NV centers indicated a high Rabi contrast of approximately $30$ % which is comparable to the values reported for a single NV center. Nanoscale NMR demonstrated surface-sensitive nuclear spin detection and provided a confirmation of the NV centers depth. Single NV center approximation indicated that the depth of the NV centers was approximately $9$-$10.7$ nm from the surface with error of less than $\pm$$0.8$ nm. Thus, a route for material control of shallow NV centers has been developed by step-flow growth using a CVD system. Our finding pioneers on the atomic level control of NV center alignment for large area quantum magnetometry.


title: Explicit equations for two-dimensional water waves with constant vorticity

abstract: Governing equations for two-dimensional inviscid free-surface flows with constant vorticity over arbitrary non-uniform bottom profile are presented in exact and compact form using conformal variables. An efficient and very accurate numerical method for this problem is developed.


title: Dimensional reduction and its breakdown in the driven random field O(N) model

abstract: The critical behavior of the random field $O(N)$ model driven at a uniform velocity is investigated at zero-temperature. From naive phenomenological arguments, we introduce a dimensional reduction property, which relates the large-scale behavior of the $D$-dimensional driven random field $O(N)$ model to that of the $(D-1)$-dimensional pure $O(N)$ model. This is an analogue of the dimensional reduction property in equilibrium cases, which states that the large-scale behavior of $D$-dimensional random field models is identical to that of $(D-2)$-dimensional pure models. However, the dimensional reduction property breaks down in low enough dimensions due to the presence of multiple meta-stable states. By employing the non-perturbative renormalization group approach, we calculate the critical exponents of the driven random field $O(N)$ model near three-dimensions and determine the range of $N$ in which the dimensional reduction breaks down.


title: On Spatial Discretization of Evolutionary Differential Equations on the Periodic Domain with a Mixed Derivative

abstract: Recently, various evolutionary partial differential equations (PDEs) with a mixed derivative have been emerged and drawn much attention. Nonetheless, their PDE-theoretical and numerical studies are still in their early stage. In this paper, we aim at the unified framework of numerical methods for such PDEs. However, due to the presence of the mixed derivative, we cannot discuss numerical methods without some appropriate reformulation, which is mathematically challenging itself. Therefore, we first propose a novel procedure for the reformulation of target PDEs into a standard form of evolutionary equations. This contribution may become an important basis not only of numerical analysis, but also of PDE-theory. In order to illustrate this point, we establish the global well-posedness of the sine-Gordon equation. After that, we classify and discuss the spatial discretizations based on the proposed reformulation technique. As a result, we show the average-difference method is suitable for the discretization of the mixed derivative.


title: The BR1 Scheme is Stable for the Compressible Navier-Stokes Equations

abstract: We show how to modify the original Bassi and Rebay scheme (BR1) [F. Bassi and S. Rebay, A High Order Accurate Discontinuous Finite Element Method for the Numerical Solution of the Compressible Navier-Stokes Equations, Journal of Computational Physics, 131:267--279, 1997] to get a provably stable discontinuous Galerkin collocation spectral element method (DGSEM) with Gauss-Lobatto (GL) nodes for the compressible Navier-Stokes equations (NSE) on three dimensional curvilinear meshes. Specifically, we show that the BR1 scheme can be provably stable if the metric identities are discretely satisfied, a two-point average for the metric terms is used for the contravariant fluxes in the volume, an entropy conserving split form is used for the advective volume integrals, the auxiliary gradients for the viscous terms are computed from gradients of entropy variables, and the BR1 scheme is used for the interface fluxes. Our analysis shows that even with three dimensional curvilinear grids, the BR1 fluxes do not add artificial dissipation at the interior element faces. Thus, the BR1 interface fluxes preserve the stability of the discretization of the advection terms and we get either energy stability or entropy-stability for the linear or nonlinear compressible NSE, respectively.


title: A Component-Based Dual Decomposition Method for the OPF Problem

abstract: This paper proposes a component-based dual decomposition of the nonconvex AC optimal power flow (OPF) problem, where the modified dual function is solved in a distributed fashion. The main contribution of this work is that is demonstrates that a distributed method with carefully tuned parameters can converge to globally optimal solutions despite the inherent nonconvexity of the problem and the absence of theoretical guarantees of convergence. This paper is the first to conduct extensive numerical analysis resulting in the identification and tabulation of the algorithmic parameter settings that are crucial for the convergence of the method on 72 AC OPF test instances. Moreover, this work provides a deeper insight into the geometry of the modified Lagrange dual function of the OPF problem and highlights the conditions that make this function differentiable. This numerical demonstration of convergence coupled with the scalability and the privacy preserving nature of the proposed method makes it well suited for smart grid applications such as multi-period OPF with demand response (DR) and security constrained unit commitment (SCUC) with contingency constraints and multiple transmission system operators (TSOs).


title: Effects of jet-induced medium excitation in $\gamma$-hadron correlation in A+A collisions

abstract: Coupled Linear Boltzmann Transport and hydrodynamics (CoLBT-hydro) is developed for co-current and event-by-event simulations of jet transport and jet-induced medium excitation (j.i.m.e.) in high-energy heavy-ion collisions. This is made possible by a GPU parallelized (3+1)D hydrodynamics that has a source term from the energy-momentum deposition by propagating jet shower partons and provides real time update of the bulk medium evolution for subsequent jet transport. Hadron spectra in $\gamma$-jet events of A+A collisions at RHIC and LHC are calculated for the first time that include hadrons from both the modified jet and j.i.m.e.. CoLBT-hydro describes well experimental data at RHIC on the suppression of leading hadrons due to parton energy loss. It also predicts the enhancement of soft hadrons from j.i.m.e. The onset of soft hadron enhancement occurs at a constant transverse momentum due to the thermal nature of soft hadrons from j.i.m.e. which also have a significantly broadened azimuthal distribution relative to the jet direction. Soft hadrons in the $\gamma$ direction are, on the other hand, depleted due to a diffusion wake behind the jet.


title: The TDNNS method for Reissner-Mindlin plates

abstract: A new family of locking-free finite elements for shear deformable Reissner-Mindlin plates is presented. The elements are based on the "tangential-displacement normal-normal-stress" formulation of elasticity. In this formulation, the bending moments are treated as separate unknowns. The degrees of freedom for the plate element are the nodal values of the deflection, tangential components of the rotations and normal-normal components of the bending strain. Contrary to other plate bending elements, no special treatment for the shear term such as reduced integration is necessary. The elements attain an optimal order of convergence.


title: BSDEs with no driving martingale, Markov processes and associated Pseudo Partial Differential Equations. Part II: Decoupled mild solutions and Examples

abstract: Let $(\mathbb{P}^{s,x})_{(s,x)\in[0,T]\times E}$ be a family of probability measures, where $E$ is a Polish space,defined on the canonical probability space ${\mathbb D}([0,T],E)$ of $E$-valued cadlag functions. We suppose that a martingale problem with respect to a time-inhomogeneous generator $a$ is well-posed. We consider also an associated semilinear {\it Pseudo-PDE} with generator $a$ for which we introduce a notion of so called {\it decoupled mild} solution and study the equivalence with the notion of martingale solution introduced in a companion paper. We also investigate well-posedness for decoupled mild solutions and their relations with a special class of BSDEs without driving martingale. The notion of decoupled mild solution is a good candidate to replace the notion of viscosity solution which is not always suitable when the map $a$ is not a PDE operator.


title: Preferential Bayesian Optimization

abstract: Bayesian optimization (BO) has emerged during the last few years as an effective approach to optimizing black-box functions where direct queries of the objective are expensive. In this paper we consider the case where direct access to the function is not possible, but information about user preferences is. Such scenarios arise in problems where human preferences are modeled, such as A/B tests or recommender systems. We present a new framework for this scenario that we call Preferential Bayesian Optimization (PBO) which allows us to find the optimum of a latent function that can only be queried through pairwise comparisons, the so-called duels. PBO extends the applicability of standard BO ideas and generalizes previous discrete dueling approaches by modeling the probability of the winner of each duel by means of a Gaussian process model with a Bernoulli likelihood. The latent preference function is used to define a family of acquisition functions that extend usual policies used in BO. We illustrate the benefits of PBO in a variety of experiments, showing that PBO needs drastically fewer comparisons for finding the optimum. According to our experiments, the way of modeling correlations in PBO is key in obtaining this advantage.


title: Abnormal Working Hours: Effect of Rapid Releases and Implications to Work Content

abstract: During the past years, overload at work leading to psychological diseases, such as burnouts, have drawn more public attention. This paper is a preliminary step toward an analysis of the work patterns and possible indicators of overload and time pressure on software developers with mining software repositories approach. We explore the working pattern of developers in the context of Mozilla Firefox, a large and long-lived open source project. To that end we investigate the impact of the move from traditional to rapid release cycle on work pattern. Moreover we compare Mozilla Firefox work pattern with another Mozilla product, Firefox OS, which has a different release cycle than Firefox. We find that both projects exhibit healthy working patterns, i.e. lower activity during the weekends and outside of office hours. Firefox experiences proportionally more activity on weekends than Firefox OS (Cohen's d = 0.94). We find that switching to rapid releases has reduced weekend work (Cohen's d = 1.43) and working during the night (Cohen's d = 0.45). This result holds even when we limit the analyzes on the hired resources, i.e. considering only individuals with Mozilla foundation email address, although, the effect sizes are smaller for weekends (Cohen's d = 0.64) and nights (Cohen's d = 0.23). Moreover, we use dissimilarity word clouds and find that work during the weekend is more technical while work during the week expresses more positive sentiment with words like "good" and "nice". Our results suggest that moving to rapid releases have positive impact on the work health and work-life-balance of software engineers. However, caution is needed as our results are based on a limited set of quantitative data from a single organization.


title: Thermopower modulation clarification of the intrinsic effective mass in a transparent oxide semiconductor, BaSnO3

abstract: Although there are so many reports on the carrier effective mass (m*) of a transparent oxide semiconductor BaSnO3, it is almost impossible to know the intrinsic m* value because the reported m* values are scattered from 0.06 to 3.7 m0. Here we successfully clarified the intrinsic m* of BaSnO3, m*=0.40 0.01 m0, by the thermopower modulation clarification method. We also found the threshold of degenerate/non-degenerate semiconductor of BaSnO3; At the threshold, the thermopower value of both La-doped BaSnO3 and BaSnO3 TFT structure was 240 microvolt k-1, bulk carrier concentration was 1.4E19 cm-3, and two-dimensional sheet carrier concentration was 1.8E12 cm-2. When the EF locates above the parabolic shaped conduction band bottom, rather high mobility was observed. On the contrary, very low carrier mobility was observed when the EF lays below the threshold, most likely due to that the tail states suppress the carrier mobility. The present results are useful for further development of BaSnO3 based oxide electronics.


title: Identification of Candidate Millisecond Pulsars from Fermi LAT Observations II

abstract: Following our work presented in Dai et al. (2016), we report our detailed data analysis for another 38 Fermi gamma-ray un-associated sources. These sources are selected from the Fermi Large Area Telescope (LAT) third source catalog on the basis of the properties of known gamma-ray millisecond pulsars (MSPs) and for the purpose of finding likely candidate MSPs. From our analysis of the LAT data, we identify that among the 38 sources, 28 of them are single point-like sources with clean background and their spectra show significant curvature. We also conduct analysis of archival X-ray data available for 24 of the 28 sources. In the fields of 10 sources, there are at least one X-ray object, and in those of the other 14 sources, no X-ray object is detected but probably due to the X-ray observations being short. We discuss the possible MSP nature for these sources. Six of them(J0514.6-4406, J1035.7-6720, J1624.2-4041, J1744.1-7619, J1946.4-5403, and J2039.6-5618) are most likely associated with pulsars because of multi-wavelength identifications including direct radio or gamma-ray detection of pulsations. To firmly establish the associations or verify the MSP nature for other sources, deep X-ray and/or optical observations are needed.


title: Far-infrared properties of infrared bright dust-obscured galaxies selected with IRAS and AKARI far-infrared all-sky survey

abstract: We investigate the star forming activity of a sample of infrared (IR)-bright dust-obscured galaxies (DOGs) that show an extreme red color in the optical and IR regime, $(i - [22])_{\rm AB} > 7.0$. Combining an IR-bright DOG sample with the flux at 22 $\mu$m $>$ 3.8 mJy discovered by Toba & Nagao (2016) with IRAS faint source catalog version 2 and AKARI far-IR (FIR) all-sky survey bright source catalog version 2, we selected 109 DOGs with FIR data. For a subsample of 7 IR-bright DOGs with spectroscopic redshift ($0.07 < z < 1.0$) that was obtained from literature, we estimated their IR luminosity, star formation rate (SFR), and stellar mass based on the spectral energy distribution fitting. We found that (i) WISE 22 $\mu$m luminosity at observed frame is a good indicator of IR luminosity for IR-bright DOGs and (ii) the contribution of active galactic nucleus (AGN) to IR luminosity increases with IR luminosity. By comparing the stellar mass and SFR relation for our DOG sample and literature, we found that most of IR-bright DOGs lie significantly above the main sequence of star-forming galaxies at similar redshift, indicating that the majority of IRAS- and/or AKARI-detected IR-bright DOGs are starburst galaxies.


title: A new notion of majorization with applications to the comparison of extreme order statistics

abstract: In this paper, we use a new partial order, called the f-majorization order. The new order includes as special cases the majorization , the reciprocal majorization and the p-larger orders. We provide a comprehensive account of the mathematical properties of the f-majorization order and give applications of this order in the context of stochastic comparison for extreme order statistics of independent samples following the Frechet distribution and scale model. We discuss stochastic comparisons of series systems with independent heterogeneous exponentiated scale components in terms of the usual stochastic order and the hazard rate order. We also derive new result on the usual stochastic order for the largest order statistics of samples having exponentiated scale marginals and Archimedean copula structure.


title: Generically split octonion algebras and A^1-homotopy theory

abstract: We study generically split octonion algebras over schemes using techniques of ${\mathbb A}^1$-homotopy theory. By combining affine representability results with techniques of obstruction theory, we establish classification results over smooth affine schemes of small dimension. In particular, for smooth affine schemes over algebraically closed fields, we show that generically split octonion algebras may be classified by characteristic classes including the second Chern class and another "mod $3$" invariant. We review Zorn's "vector matrix" construction of octonion algebras, generalized to rings by various authors, and show that generically split octonion algebras are always obtained from this construction over smooth affine schemes of low dimension. Finally, generalizing P. Gille's analysis of octonion algebras with trivial norm form, we observe that generically split octonion algebras with trivial associated spinor bundle are automatically split in low dimensions.


title: The disk complex and 2-bridge knots

abstract: We give an alternative proof of a result of Kobayashi and Saeki that every genus one $1$-bridge position of a non-trivial $2$-bridge knot is a stabilization.


title: On the Expansion Coefficients of KP Tau Function

abstract: We study the expansion coefficients of the tau function of the KP hierarchy. If the tau function does not vanish at the origin, it is known that the coefficients are given by Giambelli formula and that it characterizes solutions of the KP hierarchy. In this paper, we find a generalization of Giambelli formula to the case when the tau function vanishes at the origin. Again it characterizes solutions of the KP hierarchy.


title: Feature Tracking Cardiac Magnetic Resonance via Deep Learning and Spline Optimization

abstract: Feature tracking Cardiac Magnetic Resonance (CMR) has recently emerged as an area of interest for quantification of regional cardiac function from balanced, steady state free precession (SSFP) cine sequences. However, currently available techniques lack full automation, limiting reproducibility. We propose a fully automated technique whereby a CMR image sequence is first segmented with a deep, fully convolutional neural network (CNN) architecture, and quadratic basis splines are fitted simultaneously across all cardiac frames using least squares optimization. Experiments are performed using data from 42 patients with hypertrophic cardiomyopathy (HCM) and 21 healthy control subjects. In terms of segmentation, we compared state-of-the-art CNN frameworks, U-Net and dilated convolution architectures, with and without temporal context, using cross validation with three folds. Performance relative to expert manual segmentation was similar across all networks: pixel accuracy was ~97%, intersection-over-union (IoU) across all classes was ~87%, and IoU across foreground classes only was ~85%. Endocardial left ventricular circumferential strain calculated from the proposed pipeline was significantly different in control and disease subjects (-25.3% vs -29.1%, p = 0.006), in agreement with the current clinical literature.


title: Representations of $\mathrm{GL}_N$ over finite local principal ideal rings - an overview

abstract: We give a survey of the representation theory of $\mathrm{GL}_N$ over finite local principal ideal rings via Clifford theory, with an emphasis on the construction of regular representations. We review results of Shintani and Hill, and the generalisation of Takase. We then summarise the main features, with some details but without proofs, of the recent constructions of regular representations due to Krakovski--Onn--Singla and Stasinski--Stevens, respectively.


title: Low-$x$ Physics in $pA$ Collisions and at the EIC

abstract: In this proceeding, I review what we have learned, and what we will be able to learn, about low-$x$ physics from proton-nucleus ($pA$) collisions at RHIC and the LHC, and how this complements future Electron-Ion Collider (EIC) measurements. EIC not only will provide us essential and complementary information about the gluon saturation to the knowledge that we have learned from $pA$ collisions at RHIC and the LHC, it will also allow us to visualize the internal structure of protons and nuclei in a multi-dimensional fashion with unprecedented precision.


title: Prescriptions on antiproton cross section data for precise theoretical antiproton flux predictions

abstract: After the breakthrough from the satellite-borne PAMELA detector, the flux of cosmic-ray (CR) antiprotons has been provided with unprecedented accuracy by AMS-02 on the International Space Station. Its data spans an energy range from below 1 GeV up to 400 GeV and most of the data points contain errors below the amazing level of 5%. The bulk of the antiproton flux is expected to be produced by the scatterings of CR protons and helium off interstellar hydrogen and helium atoms at rest. The modeling of these interactions, which requires the relevant production cross sections, induces an uncertainty in the determination of the antiproton source term that can even exceed the uncertainties in the CR $\bar{p}$ data itself. The aim of the present analysis is to determine the uncertainty required for $p+p\rightarrow \bar{p} + X$ cross section measurements such that the induced uncertainties on the $\bar{p}$ flux are at the same level. Our results are discussed both in the center-of-mass reference frame, suitable for collider experiments, and in the laboratory frame, as occurring in the Galaxy. We find that cross section data should be collected with accuracy better that few percent with proton beams from 10 GeV to 6 TeV and a pseudorapidity $\eta$ ranging from 2 to almost 8 or, alternatively, with $p_T$ from 0.04 to 2 GeV and $x_R$ from 0.02 to 0.7. Similar considerations hold for the $p$He production channel. The present collection of data is far from these requirements. Nevertheless, they could, in principle, be reached by fixed target experiments with beam energies in the reach of CERN accelerators.


title: Approximating Optimization Problems using EAs on Scale-Free Networks

abstract: It has been observed that many complex real-world networks have certain properties, such as a high clustering coefficient, a low diameter, and a power-law degree distribution. A network with a power-law degree distribution is known as scale-free network. In order to study these networks, various random graph models have been proposed, e.g. Preferential Attachment, Chung-Lu, or Hyperbolic. We look at the interplay between the power-law degree distribution and the run time of optimization techniques for well known combinatorial problems. We observe that on scale-free networks, simple evolutionary algorithms (EAs) quickly reach a constant-factor approximation ratio on common covering problems We prove that the single-objective (1+1)EA reaches a constant-factor approximation ratio on the Minimum Dominating Set problem, the Minimum Vertex Cover problem, the Minimum Connected Dominating Set problem, and the Maximum Independent Set problem in expected polynomial number of calls to the fitness function. Furthermore, we prove that the multi-objective GSEMO algorithm reaches a better approximation ratio than the (1+1)EA on those problems, within polynomial fitness evaluations.


title: Nuclear Spirals in the inner Milky Way

abstract: We use hydrodynamical simulations to construct a new coherent picture for the gas flow in the Central Molecular Zone (CMZ), the region of our Galaxy within $R\leq 500\, \mathrm{pc}$. We relate connected structures observed in $(l,b,v)$ data cubes of molecular tracers to nuclear spiral arms. These arise naturally in hydrodynamical simulations of barred galaxies, and are similar to those that can be seen in external galaxies such as NGC4303 or NGC1097. We discuss a face-on view of the CMZ including the position of several prominent molecular clouds, such as Sgr B2, the $20\,{\rm km\, s^{-1}}$ and $50\,{\rm km\, s^{-1}}$ clouds, the polar arc, Bania Clump 2 and Sgr C. Our model is also consistent with the larger scale gas flow, up to $R\simeq 3\,\rm kpc$, thus providing a consistent picture of the entire Galactic bar region.


title: Conformal quantum mechanics and holography in noncommutative space-time

abstract: We analyze the effects of noncommutativity in conformal quantum mechanics (CQM) using the $\kappa$-deformed space-time as a prototype. Upto the first order in the deformation parameter, the symmetry structure of the CQM algebra is preserved but the coupling in a canonical model of the CQM gets deformed. We show that the boundary conditions that ensure a unitary time evolution in the noncommutative CQM can break the scale invariance, leading to a quantum mechanical scaling anomaly. We calculate the scaling dimensions of the two and three point functions in the noncommutative CQM which are shown to be deformed. The $AdS_2/CFT_1$ duality for the CQM suggests that the corresponding correlation functions in the holographic duals are modified. In addition, the Breitenlohner-Freedman bound also picks up a noncommutative correction. The strongly attractive regime of a canonical model of the CQM exhibit quantum instability. We show that the noncommutativity softens this singular behaviour and its implications for the corresponding holographic duals are discussed.


title: Stigmergy-based modeling to discover urban activity patterns from positioning data

abstract: Positioning data offer a remarkable source of information to analyze crowds urban dynamics. However, discovering urban activity patterns from the emergent behavior of crowds involves complex system modeling. An alternative approach is to adopt computational techniques belonging to the emergent paradigm, which enables self-organization of data and allows adaptive analysis. Specifically, our approach is based on stigmergy. By using stigmergy each sample position is associated with a digital pheromone deposit, which progressively evaporates and aggregates with other deposits according to their spatiotemporal proximity. Based on this principle, we exploit positioning data to identify high density areas (hotspots) and characterize their activity over time. This characterization allows the comparison of dynamics occurring in different days, providing a similarity measure exploitable by clustering techniques. Thus, we cluster days according to their activity behavior, discovering unexpected urban activity patterns. As a case study, we analyze taxi traces in New York City during 2015.


title: Capacity of a quantum memory channel correlated by matrix product states

abstract: We study the capacity of a quantum channel where channel acts like controlled phase gate with the control being provided by a one-dimensional quantum spin chain environment. Due to the correlations in the spin chain, we get a quantum channel with memory. We derive formulas for the quantum capacity of this channel when the spin state is a matrix product state. Particularly, we derive exact formulas for the capacity of the quantum memory channel when the environment state is the ground state of the AKLT model and the Majumdar-Ghosh model. We find that the behavior of the capacity for the range of the parameters is analytic.


title: Dilated Convolutional Neural Networks for Cardiovascular MR Segmentation in Congenital Heart Disease

abstract: We propose an automatic method using dilated convolutional neural networks (CNNs) for segmentation of the myocardium and blood pool in cardiovascular MR (CMR) of patients with congenital heart disease (CHD). Ten training and ten test CMR scans cropped to an ROI around the heart were provided in the MICCAI 2016 HVSMR challenge. A dilated CNN with a receptive field of 131x131 voxels was trained for myocardium and blood pool segmentation in axial, sagittal and coronal image slices. Performance was evaluated within the HVSMR challenge. Automatic segmentation of the test scans resulted in Dice indices of 0.80$\pm$0.06 and 0.93$\pm$0.02, average distances to boundaries of 0.96$\pm$0.31 and 0.89$\pm$0.24 mm, and Hausdorff distances of 6.13$\pm$3.76 and 7.07$\pm$3.01 mm for the myocardium and blood pool, respectively. Segmentation took 41.5$\pm$14.7 s per scan. In conclusion, dilated CNNs trained on a small set of CMR images of CHD patients showing large anatomical variability provide accurate myocardium and blood pool segmentations.


title: Eigenvalues of symmetric tridiagonal interval matrices revisited

abstract: In this short note, we present a novel method for computing exact lower and upper bounds of eigenvalues of a symmetric tridiagonal interval matrix. Compared to the known methods, our approach is fast, simple to present and to implement, and avoids any assumptions. Our construction explicitly yields those matrices for which particular lower and upper bounds are attained.


title: Orbit Duality in Ind-Varieties of Maximal Generalized Flags

abstract: We extend Matsuki duality to arbitrary ind-varieties of maximal generalized flags, in other words, to any homogeneous ind-variety $\mathbf{G}/\mathbf{B}$ for a classical ind-group $\mathbf{G}$ and a splitting Borel ind-subgroup $\mathbf{B}\subset\mathbf{G}$. As a first step, we present an explicit combinatorial version of Matsuki duality in the finite-dimensional case, involving an explicit parametrization of $K$- and $G^0$-orbits on $G/B$. After proving Matsuki duality in the infinite-dimensional case, we give necessary and sufficient conditions on a Borel ind-subgroup $\mathbf{B}\subset\mathbf{G}$ for the existence of open and closed $\mathbf{K}$- and $\mathbf{G}^0$-orbits on $\mathbf{G}/\mathbf{B}$, where $\left(\mathbf{K},\mathbf{G}^0\right)$ is an aligned pair of a symmetric ind-subgroup $\mathbf{K}$ and a real form $\mathbf{G}^0$ of $\mathbf{G}$.


title: Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern

abstract: We observed that safety arguments are prone to stay too abstract, e.g. solutions refer to large packages, argument strategies to complex reasoning steps, contexts and assumptions lack traceability. These issues can reduce the confidence we require of such arguments. In this paper, we investigate the construction of confident arguments from (i) hazard analysis (HA) results and (ii) the design of safety measures, i.e., both used for confidence evaluation. We present an argument pattern integrating three HA techniques, i.e., FTA, FMEA, and STPA, as well as the reactions on the results of these analyses, i.e., safety requirements and design increments. We provide an example of how our pattern can help in argument construction and discuss steps towards using our pattern in formal analysis and computer-assisted construction of safety cases.


title: The X-ray reflection spectrum of the radio-loud quasar 4C 74.26

abstract: The relativistic jets created by some active galactic nuclei are important agents of AGN feedback. In spite of this, our understanding of what produces these jets is still incomplete. X-ray observations, which can probe the processes operating in the central regions in immediate vicinity of the supermassive black hole, the presumed jet launching point, are potentially particularly valuable in illuminating the jet formation process. Here, we present the hard X-ray NuSTAR observations of the radio-loud quasar 4C 74.26 in a joint analysis with quasi-simultaneous, soft X-ray Swift observations. Our spectral analysis reveals a high-energy cut-off of 183$_{-35}^{+51}$ keV and confirms the presence of ionized reflection in the source. From the average spectrum we detect that the accretion disk is mildly recessed with an inner radius of $R_\mathrm{in}=4-180\,R_\mathrm{g}$. However, no significant evolution of the inner radius is seen during the three months covered by our NuSTAR campaign. This lack of variation could mean that the jet formation in this radio-loud quasar differs from what is observed in broad-line radio galaxies.


title: Tarski monoids: Matui's spatial realization theorem

abstract: We introduce a class of inverse monoids, called Tarski monoids, that can be regarded as non-commutative generalizations of the unique countable, atomless Boolean algebra. These inverse monoids are related to a class of etale topological groupoids under a non-commutative generalization of classical Stone duality and, significantly, they arise naturally in the theory of dynamical systems as developed by Matui. We are thereby able to reinterpret a theorem of Matui on a class of \'etale groupoids as an equivalent theorem about a class of Tarski monoids: two simple Tarski monoids are isomorphic if and only if their groups of units are isomorphic. The inverse monoids in question may also be viewed as countably infinite generalizations of finite symmetric inverse monoids. Their groups of units therefore generalize the finite symmetric groups and include amongst their number the classical Thompson groups.


title: ELUCID -- Exploring the Local Universe with the reConstructed Initial Density field. II: Reconstruction diagnostics, applied to numerical halo catalogs

abstract: The ELUCID project aims to build a series of realistic cosmological simulations that reproduce the spatial and mass distribution of the galaxies as observed in the Sloan Digital Sky Survey (SDSS). This requires powerful reconstruction techniques to create constrained initial conditions. We test the reconstruction method by applying it to several $N$-body simulations. We use 2 medium resolution simulations from each of which three additional constrained $N$-body simulations were produced. We compare the resulting friend of friend catalogs by using the particle indexes as tracers, and quantify the quality of the reconstruction by varying the main smoothing parameter. The cross identification method we use proves to be efficient, and the results suggest that the most massive reconstructed halos are effectively traced from the same Lagrangian regions in the initial conditions. Preliminary time dependence analysis indicates that high mass end halos converge only at a redshift close to the reconstruction redshift. This suggests that, for earlier snapshots, only collections of progenitors may be effectively cross-identified.


title: A spanning set and potential basis of the mixed Hecke algebra on two fixed strands

abstract: The mixed braid groups $B_{2,n}, \ n \in \mathbb{N}$, with two fixed strands and $n$ moving ones, are known to be related to the knot theory of certain families of $3$-manifolds. In this paper we define the mixed Hecke algebra $\mathrm{H}_{2,n}(q)$ as the quotient of the group algebra ${\mathbb Z}\, [q^{\pm 1}] \, B_{2,n}$ over the quadratic relations of the classical Iwahori-Hecke algebra for the braiding generators. We furhter provide a potential basis $\Lambda_n$ for $\mathrm{H}_{2,n}(q)$, which we prove is a spanning set for the $\mathbb{Z}[q^{\pm 1}]$-additive structure of this algebra. The sets $\Lambda_n,\ n \in \mathbb{Z}$ appear to be good candidates for an inductive basis suitable for the construction of Homflypt-type invariants for knots and links in the above $3$-manifolds.


title: Heisenberg and entropic uncertainty measures for large-dimensional harmonic systems

abstract: The $D$-dimensional harmonic system (i.e., a particle moving under the action of a quadratic potential) is, together with the hydrogenic system, the main prototype of the physics of multidimensional quantum systems. In this work we rigorously determine the leading term of the Heisenberg-like and entropy-like uncertainty measures of this system as given by the radial expectation values and the R\'enyi entropies, respectively, at the limit of large $D$. The associated multidimensional position-momentum uncertainty relations are discussed, showing that they saturate the corresponding general ones. A conjecture about the Shannon-like uncertainty relation is given and an interesting phenomenon is observed: the Heisenberg-like and R\'enyi-entropy-based equality-type uncertainty relations for all the $D$-dimensional harmonic oscillator states in the pseudoclassical ($D \to \infty$) limit are the same as the corresponding ones for the hydrogenic systems, despite the so different character of the oscillator and Coulomb potentials.


title: Self-Dual Vertex Operator Superalgebras and Superconformal Field Theory

abstract: Recent work has related the equivariant elliptic genera of sigma models with K3 surface target to a vertex operator superalgebra that realizes moonshine for Conway's group. Motivated by this we consider conditions under which a self-dual vertex operator superalgebra may be identified with the bulk Hilbert space of a superconformal field theory. After presenting a classification result for self-dual vertex operator superalgebras with central charge up to 12 we describe several examples of close relationships with bulk superconformal field theories, including those arising from sigma models for tori and K3 surfaces.


title: On stability in the Borg--Hochstadt theorem for periodic Jacobi matrices

abstract: A result of Borg--Hochstadt in the theory of periodic Jacobi matrices states that such a matrix has constant diagonals as long as all gaps in its spectrum are closed (have zero length). We suggest a quantitative version of this result by proving the two-sided bounds between oscillations of the matrix entries along the diagonals and the length of the maximal gap in the spectrum.


title: Small Groebner Fans of Ideals of Points

abstract: In the context of modeling biological systems, it is of interest to generate ideals of points with a unique reduced Groebner basis, and the first main goal of this paper is to identify classes of ideals in polynomial rings which share this property. Moreover, we provide methodologies for constructing such ideals. We then relax the condition of uniqueness. The second and most relevant topic discussed here is to consider and identify pairs of ideals with the same number of reduced Groebner bases, that is, with the same cardinality of their associated Groebner fan.


title: A Note on the Birkhoff Ergodic Theorem

abstract: The classical Birkhoff ergodic theorem states that for an ergodic Markov process the limiting behaviour of the time average of a function (having finite $p$-th moment, $p\ge1$, with respect to the invariant measure) along the trajectories of the process, starting from the invariant measure, is a.s. and in the $p$-th mean constant and equals to the space average of the function with respect to the invariant measure. The crucial assumption here is that the process starts from the invariant measure, which is not always the case. In this paper, under the assumptions that the underlying process is a Markov process on Polish space, that it admits an invariant probability measure and that its marginal distributions converge to the invariant measure in the $L^{1}$-Wasserstein metric, we show that the assertion of the Birkhoff ergodic theorem holds in the $p$-th mean, $p\geq1$, for any bounded Lipschitz function and any initial distribution of the process.


title: Flows for Singular Stochastic Differential Equations with Unbounded Drifts

abstract: In this paper, we are interested in the following singular stochastic differential equation (SDE) $${\rm d} X_t = b(t,X_t) {\rm d} t + {\rm d} B_{t},\ 0\leq t\leq T,\ X_0 = x \in \mathbb{R}^d,$$ where the drift coefficient $b:[0,T]\times \mathbb{R}^{d}\longrightarrow \mathbb{R}^{d}$ is Borel measurable, possibly unbounded and has spatial linear growth. The driving noise $B_{t}$ is a $d-$ dimensional Brownian motion. The main objective of the paper is to establish the existence and uniqueness of a strong solution and a Sobolev differentiable stochastic flow for the above SDE. Malliavin differentiability of the solution is also obtained (cf.\cite{MMNPZ13, MNP2015}). Our results constitute significant extensions to those in \cite{Zvon74, Ver79, KR05, MMNPZ13, MNP2015} by allowing the drift $b$ to be unbounded. We employ methods from white-noise analysis and the Malliavin calculus. As application, we prove existence of a unique strong Malliavin differentiable solution to the following stochastic delay differential equation $${\rm d} X (t) = b (X(t-r), X(t,0,(v,\eta)) {\rm d} t + {\rm d} B(t), \,t \geq 0 ,\textbf{ } (X(0), X_0)= (v, \eta) \in \mathbb{R}^d \times L^2 ([-r,0], \mathbb{R}^d),$$ with the drift coefficient $b: \mathbb{R}^d \times \mathbb{R}^d \rightarrow \mathbb{R}^d$ is a Borel-measurable function bounded in the first argument and has linear growth in the second argument.


title: Pure down-conversion photons through sub-coherence length domain engineering

abstract: Photonic quantum technology relies on efficient sources of coherent single photons, the ideal carriers of quantum information. Heralded single photons from parametric down-conversion can approximate on-demand single photons to a desired degree, with high spectral purities achieved through group-velocity matching and tailored crystal nonlinearities. Here we propose crystal nonlinearity engineering techniques with sub-coherence-length domains. We first introduce a combination of two existing methods: a deterministic approach with coherence-length domains and probabilistic domain-width annealing. We then show how the same deterministic domain-flip approach can be implemented with sub-coherence length domains. Both of these complementary techniques create highly pure photons, outperforming previous methods, in particular for short nonlinear crystals matched to femtosecond lasers.


title: Strongly aligned molecules inside helium droplets in the near-adiabatic regime

abstract: Iodine (I$_2$) molecules embedded in He nanodroplets are aligned by a 160 ps long laser pulse. The highest degree of alignment, occurring at the peak of the pulse and quantified by $\langle \cos^2 \theta_{2D} \rangle$, is measured as a function of the laser intensity. The results are well described by $\langle \cos^2 \theta_{2D} \rangle$ calculated for a gas of isolated molecules each with an effective rotational constant of 0.6 times the gas-phase value, and at a temperature of 0.4 K. Theoretical analysis using the angulon quasiparticle to describe rotating molecules in superfluid helium rationalizes why the alignment mechanism is similar to that of isolated molecules with an effective rotational constant. A major advantage of molecules in He droplets is that their 0.4 K temperature leads to stronger alignment than what can generally be achieved for gas phase molecules -- here demonstrated by a direct comparison of the droplet results to measurements on a $\sim$ 1 K supersonic beam of isolated molecules. This point is further illustrated for more complex system by measurements on 1,4-diiodobenzene and 1,4-dibromobenzene. For all three molecular species studied the highest values of $\langle \cos^2 \theta_{2D} \rangle$ achieved in He droplets exceed 0.96.

categories: physics.chem-ph cond-mat.mes-hall cond-mat.other physics.atm-clus physics.atom-ph


title: Thermal and electronic transport characteristics of highly stretchable graphene kirigami

abstract: For centuries, cutting and folding the papers with special patterns have been used to build beautiful, flexible and complex three-dimensional structures. Inspired by the old idea of kirigami (paper cutting), and the outstanding properties of graphene, recently graphene kirigami structures were fabricated to enhance the stretchability of graphene. However, the possibility of further tuning the electronic and thermal transport along the 2D kirigami structures have remained original to investigate. We therefore performed extensive atomistic simulations to explore the electronic, heat and load transfer along various graphene kirigami structures. The mechanical response and thermal transport were explored using classical molecular dynamics simulations. We then used a real-space Kubo-Greenwood formalism to investigate the charge transport characteristics in graphene kirigami. Our results reveal that graphene kirigami structures present highly anisotropic thermal and electrical transport. Interestingly, we show the possibility of tuning the thermal conductivity of graphene by four orders of magnitude. Moreover, we discuss the engineering of kirigami patterns to further enhance their stretchability by more than 10 times as compared with pristine graphene. Our study not only provides a general understanding concerning the engineering of electronic, thermal and mechanical response of graphene but more importantly can be useful to guide future studies with respect to the synthesis of other 2D material kirigami structures, to reach highly flexible and stretchable nanostructures with finely tunable electronic and thermal properties.


title: Phase Diagram of FeSe Deposited by Electrochemical Technique with Different Temperature and Voltage

abstract: High-quality crystalline FeSe is successfully synthesized in 5 minutes by an electrochemical deposition technique via increasing the solution temperature. The synthesis of FeSe have been controlled by the applied voltage, synthesis time and pH value. The obtained samples were summarized as a phase diagram at each temperature and applied voltage. The best synthesis temperature to produce high-quality crystalline samples was found to be 70{\deg}C.


title: Vortex creep at very low temperatures in single crystals of the extreme type-II superconductor Rh$_9$In$_4$S$_4$

abstract: We image vortex creep at very low temperatures using Scanning Tunneling Microscopy (STM) in the superconductor Rh$_9$In$_4$S$_4$ ($T_c$=2.25 K). We measure the superconducting gap of Rh$_9$In$_4$S$_4$, finding $\Delta\approx 0.33$meV and image a hexagonal vortex lattice up to close to H$_{c2}$, observing slow vortex creep at temperatures as low as 150 mK. We estimate thermal and quantum barriers for vortex motion and show that thermal fluctuations likely cause vortex creep, in spite of being at temperatures $T/T_c<0.1$. We study creeping vortex lattices by making images during long times and show that the vortex lattice remains hexagonal during creep with vortices moving along one of the high symmetry axis of the vortex lattice. Furthermore, the creep velocity changes with the scanning window suggesting that creep depends on the local arrangements of pinning centers. Vortices fluctuate on small scale erratic paths, indicating that the vortex lattice makes jumps trying different arrangements during its travel along the main direction for creep. The images provide a visual account of how vortex lattice motion maintains hexagonal order, while showing dynamic properties characteristic of a glass.


title: Classical transitions with the topological number changing in the early Universe

abstract: We consider classical dynamics of two real scalar fields within a model with the potential having a saddle point. The solitons of such model are field configurations that have the form of closed loops in the field space. We study the formation and evolution of these solitons, in particular, the conditions at which they could be formed even when the model potential has only one minimum. These non-trivial field configurations represent domain walls in the three-dimensional physical space. The set of these configurations can be split into disjoint equivalence classes. We provide a simple expression for the winding number of an arbitrary closed loop in the field space and discuss the transitions that change the winding number. We also show that non-trivial field configurations could be responsible for the energy density excess that could evade the CMB constraints but could be important at scales which are responsible for the formation of galaxies and the massive primordial black holes.


title: The homology of principally directed ordered groupoids

abstract: We present some homological properties of a relation $\beta$ on ordered groupoids that generalises the minimum group congruence for inverse semigroups. When $\beta$ is a transitive relation on an ordered groupoid $G$, the quotient $G / \beta$ is again an ordered groupoid, and construct a pair of adjoint functors between the module categories of $G$ and of $G / \beta$. As a consequence, we show that the homology of $G$ is completely determined by that of $G / \beta$, generalising a result of Loganathan for inverse semigroups.


title: Symbolic Models for Retarded Jump-Diffusion Systems

abstract: In this paper, we provide for the first time an automated, correct-by-construction, controller synthesis scheme for a class of infinite dimensional stochastic systems, namely, retarded jump-diffusion systems. First, we construct finite abstractions approximately bisimilar to non-probabilistic retarded systems corresponding to the original systems having some stability property, namely, incremental input-to-state stability. Then, we provide a result on quantifying the distance between output trajectory of the obtained finite abstraction and that of the original retarded jump-diffusion system in a probabilistic setting. Using the proposed result, one can refine the control policy synthesized using finite abstractions to the original systems while providing guarantee on the probability of satisfaction of high-level requirements. Moreover, we provide sufficient conditions for the proposed notion of incremental stability in terms of the existence of incremental Lyapunov functions which reduce to some matrix inequalities for the linear systems. Finally, the effectiveness of the proposed results is illustrated by synthesizing a controller regulating the temperatures in a ten-room building modelled as a delayed jump-diffusion system.


title: Towards a Cosmological subsector of Spin Foam Quantum Gravity

abstract: We examine the four dimensional path integral for Euclidean quantum gravity in the context of the EPRL-FK spin foam model. The state sum is restricted to certain symmetric configurations which resembles the geometry of a flat homogeneous and isotropic universe. The vertex structure is specially chosen so that a basic concept of expansion and contraction of the lattice universe is allowed. We compute the asymptotic form of the spin foam state sum in the symmetry restricted setting, and recover a Regge-type action, as well as an explicit form of the Hessian matrix, which captures quantum corrections. We investigate the action in the three cases of vacuum, a cosmological constant, and coupled to dust, and find that in all cases, the corresponding FRW dynamics is recovered in the limit of large lattices. While this work demonstrates a large intersection with computations done in the context of cosmological modelling with Regge Calculus, it is ultimately a setup for treating curved geometries in the renormalization of the EPRL-FK spin foam model.


title: On the Mutual Information in Conformal Field Theory

abstract: In this work, we study the universal behaviors in the mutual information of two disjoint spheres in a conformal field theory(CFT). By using the operator product expansion of the spherical twist operator in terms of the conformal family, we show that the large distance expansion of the mutual information can be cast in terms of the conformal blocks. We develop the $1/n$ prescription to compute the coefficients before the conformal blocks. For a single conformal family, the leading nonvanishing contribution to the mutual information comes from the bilinear operators. We show that the coefficients of these operators take universal forms and such universal behavior persists in the bilinear operators with derivatives as well. Consequently the first few leading order contributions to the mutual information in CFT take universal forms. To illustrate our framework, we discuss the free scalars and free fermions in various dimensions. For the free scalars, we compute the mutual information to the next-to-leading order and find good agreement with the improved numerical lattice result. For the free fermion, we compute the leading order result, which is of universal form, and find the good match with the numerical study. Our formalism could be applied to any CFT potentially.


title: Trainable Referring Expression Generation using Overspecification Preferences

abstract: Referring expression generation (REG) models that use speaker-dependent information require a considerable amount of training data produced by every individual speaker, or may otherwise perform poorly. In this work we present a simple REG experiment that allows the use of larger training data sets by grouping speakers according to their overspecification preferences. Intrinsic evaluation shows that this method generally outperforms the personalised method found in previous work.


title: $T$-$\Omega$ formulation with higher order hierarchical basis functions for non simply connected conductors

abstract: This paper extends the $T$-$\Omega$ formulation for eddy currents based on higher order hierarchical basis functions so that it can deal with conductors of arbitrary topology. To this aim we supplement the classical hierarchical basis functions with non-local basis functions spanning the first de Rham cohomology group of the insulating region. Such non-local basis functions may be efficiently found in negligible time with the recently introduced D{\l}otko--Specogna (DS) algorithm.


title: Low-Scale D-term Inflation and the Relaxion

abstract: We present a dynamical cosmological solution that simultaneously accounts for the early inflationary stage of the Universe and solves the supersymmetric little hierarchy problem via the relaxion mechanism. First, we consider an inflationary potential arising from the $D$-term of a new $U(1)$ gauge symmetry with a Fayet--Iliopolous term, that is independent of the relaxion. A technically natural, small $U(1)$ gauge coupling, $g\lesssim 10^{-8}$, allows for a low Hubble scale of inflation, $H_I\lesssim 10^5$ GeV, which is shown to be consistent with Planck data. This feature is then used to realize a supersymmetric two-field relaxion mechanism, where the second field is identified as the inflaton provided that $H_I\lesssim 10$ GeV. The inflaton controls the relaxion barrier height allowing the relaxion to evolve in the early Universe and scan the supersymmetric soft masses. After electroweak symmetry is broken, the relaxion settles at a local supersymmetry-breaking minimum with a range of $F$-term values that can naturally explain supersymmetric soft mass scales up to $10^6$ GeV.


title: Optimal Repair Layering for Erasure-Coded Data Centers: From Theory to Practice

abstract: Repair performance in hierarchical data centers is often bottlenecked by cross-rack network transfer. Recent theoretical results show that the cross-rack repair traffic can be minimized through repair layering, whose idea is to partition a repair operation into inner-rack and cross-rack layers. However, how repair layering should be implemented and deployed in practice remains an open issue. In this paper, we address this issue by proposing a practical repair layering framework called DoubleR. We design two families of practical double regenerating codes (DRC), which not only minimize the cross-rack repair traffic, but also have several practical properties that improve state-of-the-art regenerating codes. We implement and deploy DoubleR atop Hadoop Distributed File System (HDFS), and show that DoubleR maintains the theoretical guarantees of DRC and improves the repair performance of regenerating codes in both node recovery and degraded read operations.


title: Photometric Investigation of Hot Exoplanets: TrES-3b and Qatar-1b

abstract: New photometric follow-up observations of exoplanet transits of 'hot Jupiters' TrES-3b and Qatar-1b are presented. Weighted mean values of the solutions of light curves in R-fiter for both planetary systems are reported and compared with the previous results. The transit light curves were analysed using the WINFITTER code. The physical properties of the planets were estimated. The planet radii are found to be $R_p = 1.381 \pm 0.033 R_J$ for TrES-3b and $R_p = 1.142 \pm 0.025 R_J$ for Qatar-1b. Transit times and their uncertainties were also determined and a new linear ephemeris was computed for both systems. Analysis of transit times showed that a significant signal could not be determined for TrES-3b, while weak evidence was found for Qatar-1b, which might be tested using more precise future transit times.