title: Nonparametric generalized fiducial inference for survival functions under censoring

abstract: Fiducial Inference, introduced by Fisher in the 1930s, has a long history, which at times aroused passionate disagreements. However, its application has been largely confined to relatively simple parametric problems. In this paper, we present what might be the first time fiducial inference, as generalized by Hannig et al. (2016), is systematically applied to estimation of a nonparametric survival function under right censoring. We find that the resulting fiducial distribution gives rise to surprisingly good statistical procedures applicable to both one sample and two sample problems. In particular, we use the fiducial distribution of a survival function to construct pointwise and curvewise confidence intervals for the survival function, and propose tests based on the curvewise confidence interval. We establish a functional Bernstein-von Mises theorem, and perform thorough simulation studies in scenarios with different levels of censoring. The proposed fiducial based confidence intervals maintain coverage in situations where asymptotic methods often have substantial coverage problems. Furthermore, the average length of the proposed confidence intervals is often shorter than the length of competing methods that maintain coverage. Finally, the proposed fiducial test is more powerful than various types of log-rank tests and sup log-rank tests in some scenarios. We illustrate the proposed fiducial test comparing chemotherapy against chemotherapy combined with radiotherapy using data from the treatment of locally unresectable gastric cancer.


title: A note on the Almost Schur lemma on smooth metric measure spaces

abstract: In this paper, we prove almost Schur Lemma on closed smooth metric measure spaces, which implies the results of X. Cheng and De Lellis-Topping whenever the weighted function f is constant.


title: Rigidity of complete Riemannian manifolds with vanishing Bach tensor

abstract: For complete Riemannian manifolds with vanishing Bach tensor and positive constant scalar curvature, we provide a rigidity theorem characterized by some pointwise inequalities. Furthermore, we prove some rigidity results under an inequality involving $L^{\frac{n}{2}}$-norm of the Weyl curvature, the traceless Ricci curvature and the Sobolev constant.


title: The PSLQ Algorithm for Empirical Data

abstract: The celebrated integer relation finding algorithm PSLQ has been successfully used in many applications. PSLQ was only analyzed theoretically for exact input data, however, when the input data are irrational numbers, they must be approximate ones due to the finite precision of the computer. When the algorithm takes empirical data (inexact data with error bounded) instead of exact real numbers as its input, how do we theoretically ensure the output of the algorithm to be an exact integer relation? In this paper, we investigate the PSLQ algorithm for empirical data as its input. Firstly, we give a termination condition for this case. Secondly, we analyze a perturbation on the hyperplane matrix constructed from the input data and hence disclose a relationship between the accuracy of the input data and the output quality (an upper bound on the absolute value of the inner product of the exact data and the computed integer relation), which naturally leads to an error control strategy for PSLQ. Further, we analyze the complexity bound of the PSLQ algorithm for empirical data. Examples on transcendental numbers and algebraic numbers show the meaningfulness of our error control strategy.


title: Characterizing User-to-User Connectivity with RIPE Atlas

abstract: Characterizing the interconnectivity of networks at a country level is an interesting but non-trivial task. The IXP Country Jedi is an existing prototype that uses RIPE Atlas probes in order to explore interconnectivity at a country level, taking into account all Autonomous Systems (AS) where RIPE Atlas probes are deployed. In this work, we build upon this basis and specifically focus on "eyeball" networks, i.e. the user-facing networks with the largest user populations in any given country, and explore to what extent we can provide insights on their interconnectivity. In particular, with a focused user-to-user (and/or user-to-content) version of the IXP Country Jedi we work towards meaningful statistics and comparisons between countries/economies. This is something that a general-purpose probe-to-probe version is not able to capture. We present our preliminary work on the estimation of RIPE Atlas coverage in eyeball networks, as well as an approach to measure and visualize user interconnectivity with our Eyeball Jedi tool.


title: Multi-twisted codes over finite fields and their dual codes

abstract: Let $\mathbb{F}_{q}$ denote the finite field of order $q,$ let $m_1,m_2,\cdots,m_{\ell}$ be positive integers satisfying $\gcd(m_i,q)=1$ for $1 \leq i \leq \ell,$ and let $n=m_1+m_2+\cdots+m_{\ell}.$ Let $\Lambda=(\lambda_1,\lambda_2,\cdots,\lambda_{\ell})$ be fixed, where $\lambda_1,\lambda_2,\cdots,\lambda_{\ell}$ are non-zero elements of $\mathbb{F}_{q}.$ In this paper, we study the algebraic structure of $\Lambda$-multi-twisted codes of length $n$ over $\mathbb{F}_{q}$ and their dual codes with respect to the standard inner product on $\mathbb{F}_{q}^n.$ We provide necessary and sufficient conditions for the existence of a self-dual $\Lambda$-multi-twisted code of length $n$ over $\mathbb{F}_{q},$ and obtain enumeration formulae for all self-dual and self-orthogonal $\Lambda$-multi-twisted codes of length $n$ over $\mathbb{F}_{q}.$ We also derive some sufficient conditions under which a $\Lambda$-multi-twisted code is LCD. We determine the parity-check polynomial of all $\Lambda$-multi-twisted codes of length $n$ over $\mathbb{F}_{q}$ and obtain a BCH type bound on their minimum Hamming distances. We also determine generating sets of dual codes of some $\Lambda$-multi-twisted codes of length $n$ over $\mathbb{F}_{q}$ from the generating sets of the codes. Besides this, we provide a trace description for all $\Lambda$-multi-twisted codes of length $n$ over $\mathbb{F}_{q}$ by viewing these codes as direct sums of certain concatenated codes, which leads to a method to construct these codes. We also obtain a lower bound on their minimum Hamming distances using their multilevel concatenated structure.


title: Gorenstein homological algebra for rngs and Lie superalgebras

abstract: We generalise notions of Gorenstein homological algebra for rings to the context of arbitrary abelian categories. The results are strongest for module categories of rngs with enough idempotents. We also reformulate the notion of Frobenius extensions of noetherian rings into a setting which allows for direct generalisation to arbitrary abelian categories. The abstract theory is then applied to the BGG category O for Lie superalgebras, which can now be seen as a "Frobenius extension" of the corresponding category for the underlying Lie algebra and is therefore "Gorenstein". In particular we obtain new and more general formulae for the Serre functors and instigate the theory of Gorenstein extension groups.


title: Line-Recovery by Programmable Particles

abstract: Shape formation has been recently studied in distributed systems of programmable particles. In this paper we consider the shape recovery problem of restoring the shape when $f$ of the $n$ particles have crashed. We focus on the basic line shape, used as a tool for the construction of more complex configurations. We present a solution to the line recovery problem by the non-faulty anonymous particles; the solution works regardless of the initial distribution and number $f<n-4$ of faults, of the local orientations of the non-faulty entities, and of the number of non-faulty entities activated in each round (i.e., semi-synchronous adversarial scheduler).


title: A simple method for the existence of a density for stochastic evolutions with rough coefficients

abstract: We extend the validity of a simple method for the existence of a density for stochastic differential equations, first introduced in [DebRom2014], by proving local estimate for the density, existence for the density with summable drift, and by improving the regularity of the density.


title: Dynamics of the superconducting order parameter through ultrafast normal-to-superconducting phase transition in Bi$_{2}$Sr$_{2}$CaCu$_{2}$O$_{8+\delta}$ from multi-pulse polarization-resolved transient optical reflectivity

abstract: A systematic temperature dependent study of the femtosecond optical superconducting (SC) state destruction and recovery in Bi$_{2}$Sr$_{2}$CaCu$_{2}$O$_{8+\delta}$ cuprate superconductor by means of the all-optical polarization-sensitive multi-pulse spectroscopy is presented. At low temperatures and a partial SC state suppression an anisotropic SC-gap recovery-timescale is suggested by the data. The SC state destruction and recovery dynamics are compared to the recent TR-ARPES-inferred SC-gap dynamics and a qualitative agreement is found. Using a phenomenological response function the experimental data are also compared to time dependent Ginzburg-Landau model simulations.


title: Economic MPC of Nonlinear Systems with Non-Monotonic Lyapunov Functions and Its Application to HVAC Control

abstract: This paper proposes a Lyapunov-based economic MPC scheme for nonlinear sytems with non-monotonic Lyapunov functions. Relaxed Lyapunov-based constraints are used in the MPC formulation to improve the economic performance. These constraints will enforce a Lyapunov decrease after every few steps. Recursive feasibility and asymptotical convergence to the steady state can be achieved using Lyapunov-like stability analysis. The proposed economic MPC can be applied to minimize energy consumption in HVAC control of commercial buildings. The Lyapunov-based constraints in the online MPC problem enable the tracking of the desired set-point temperature. The performance is demonstrated by a virtual building composed of two adjacent zones.


title: Drag Force on Heavy Quarks and Spatial String Tension

abstract: Heavy quark transport coefficients in a strongly coupled Quark-Gluon Plasma can be evaluated using a gauge/string duality and lattice QCD. Via this duality, one can argue that for low momenta the drag coefficient for heavy quarks is proportional to the spatial string tension. Such a tension is well studied on the lattice that allows one to straightforwardly make non-perturbative estimates of the heavy quark diffusion coefficients near the critical point. The obtained results are consistent with those in the literature.


title: On the origin of the bi-drifting subpulse phenomenon in pulsars

abstract: The unique and highly unusual drift feature reported for PSR J0815+0939, wherein one component's subpulses drift in the direction opposite of the general trend, is a veritable challenge to pulsar theory. In this paper, we observationally quantify the drift direction throughout its profile, and find that the second component is the only one that exhibits "bi-drifting", meaning that only second component moves in the direction opposite of the others. We here present a model that shows that the observed bi-drifting phenomenon follows from the insight that the discharging regions, i.e. sparks, do not rotate around the magnetic axis per se, but rather around the point of electric potential extremum at the polar cap: minimum in the pulsar case ($\mathbf{\Omega} \cdot \mathbf{B} < 0$) and maximum in the antipulsar case ($\mathbf{\Omega} \cdot \mathbf{B} > 0$). We show that a purely dipolar surface magnetic field cannot exhibit bi-drifting behaviour, though certain non-dipolar configurations can. We can distinguish two types of solutions, with relatively low ($\sim 10^{12} \,{\rm G}$) and high ($\sim 10^{14} \,{\rm G}$) surface magnetic fields. Depending on the strength of the surface magnetic field, the radius of the curvature of magnetic field lines ranges from $10^{5} \,{\rm cm}$ to $10^{7}\,{\rm cm}$. Pulsar \J~allows us to gain an understanding of the polar-cap conditions essential for plasma generation processes in the inner acceleration region, by linking the observed subpulse shift to the underlying spark motion.


title: Threefold extremal contractions of type (IIA), II

abstract: Let $(X, C)$ be a germ of a threefold $X$ with terminal singularities along an irreducible reduced complete curve $C$ with a contraction $f: (X, C)\to (Z, o)$ such that $C=f^{-1}(o)_{red}$ and $-K_X$ is ample. Assume that $(X, C)$ contains a point of type (IIA). This paper continues our study of such germs containing a point of type (IIA) started in our previous paper arXiv:1601.07671.


title: Distributive Aronszajn trees

abstract: Ben-David and Shelah proved that if $\lambda$ is a singular strong-limit cardinal and $2^\lambda=\lambda^+$, then $\square^*_\lambda$ entails the existence of a normal $\lambda$-distributive $\lambda^+$-Aronszajn tree. Here, it is proved that the same conclusion remains valid after replacing the hypothesis $\square^*_\lambda$ by $\square(\lambda^+,{<}\lambda)$. As $\square(\lambda^+,{<}\lambda)$ does not impose a bound on the order-type of the witnessing clubs, our construction is necessarily different from that of Ben-David and Shelah, and instead uses walks on ordinals augmented with club guessing. A major component of this work is the study of postprocessing functions and their effect on square sequences. A byproduct of this study is the finding that for $\kappa$ regular uncountable, $\square(\kappa)$ entails the existence of a partition of $\kappa$ into $\kappa$ many fat sets. When contrasted with a classic model of Magidor, this shows that it is equiconsistent with the existence of a weakly compact cardinal that $\omega_2$ cannot be split into two fat sets.


title: On the trace forms of Galois algebras

abstract: We study the trace form $q_L$ of $G$-Galois algebras $L/K$ when $G$ is a finite group and $K$ is a field of characteristic different from $2$. We introduce in this paper the category of $2$-reduced groups and, when $G$ is such a group, we use a formula of Serre to compute the second Hasse-Witt invariant of $q_L$. By combining this computation with work of Quillen we determine the isometry class of $q_L$ for large families of $G$-Galois algebras over global fields. We also indicate how our results generalize to Galois $G$-covers of schemes.


title: Modeling travel demand over a period of one week: The mobiTopp model

abstract: When mobiTopp was initially designed, more than 10 years ago, it has been the first travel demand simulation model intended for an analysis period of one week. However, the first version supported only an analysis period of one day. This paper describes the lessons learned while extending the simulation period from one day to one week. One important issue is ensuring realistic start times of activities. Due to differences between the realized trip durations during the simulation and the trip durations assumed when creating the activity schedule, the realized activity schedule and the planned activity schedule may deviate from each other at some point in time during simulation. A suitable rescheduling strategy is needed to prevent this. Another issue is the different behavior at weekends, when more joint activities take place than on weekdays, resulting in an increased share of trips made using the mode car as passenger. If a mode choice model that takes availability of ride-sharing opportunities into account is used, it can be difficult to reproduce the correct modal split without modeling explicitly these joint activities. When modeling travel demand for a week, it is also important to account for infrequent long-distance trips. While the share of these trips is low, the total number is not negligible. It seems that these long-distance trips are not well covered by the destination choice model used for the day-to-day trips, indicating the need for a long-distance trip model of infrequent events.


title: Dynamics of quantum information in many-body localized systems

abstract: We characterize the information dynamics of strongly disordered systems using a combination of analytics, exact diagonalization, and matrix product operator simulations. More specifically, we study the spreading of quantum information in three different scenarios: thermalizing, Anderson localized, and many-body localized. We qualitatively distinguish these cases by quantifying the amount of remnant information in a local region. The nature of the dynamics is further explored by computing the propagation of mutual information with respect to varying partitions. Finally, we demonstrate that classical simulability, as captured by the magnitude of MPO truncation errors, exhibits enhanced fluctuations near the localization transition, suggesting the possibility of its use as a diagnostic of the critical point.


title: Optical Imaging & Spectral Study of FR-I Type Radio Galaxy:CTD 086 (B2 1422+26B)

abstract: We present optical imaging and spectroscopic studies of the Fanaroff \& Riley class I (FR I) radio galaxy CTD 086 based on Hubble Space Telescope (HST) and Sloan Digital Sky Survey (SDSS) observations. We use isophote shape analysis to show that there is no stellar disk component within CTD 086 and further that the morphological class of the galaxy is most likely E2. Optical spectroscopy of this galaxy reveals the presence of narrow emission lines only, and thus it qualifies to be termed as a narrow-line radio galaxy (type 2 AGN). We also extract stellar kinematics from the absorption-line spectra of CTD 086 using Penalized Pixel-Fitting method and derive the black hole mass MBH to be equal to (8.8\pm2.4)\times10^{7} Msun.


title: An upper bound on distance degenerate handle additions

abstract: We prove that for any distance at least 3 Heegaard splitting and a boundary component $F$, there is a diameter finite ball in the curve complex $\mathcal {C}(F)$ so that it contains all distance degenerate curves or slopes in $F$.


title: Recent CMS results in top and Higgs physics

abstract: After the Higgs boson discovery in 2012, the investigation of its properties and compatibility with the standard model predictions is central to the physics program of the LHC experiments. Likewise, the study of the top quark is still relevant at the LHC, more than two decades after its discovery at the Tevatron. Top quarks and Higgs bosons are produced at the LHC on a large scale and share a deep connection based on the large mass of the top quark. Both particles provide an excellent laboratory in which to search for new physics: the measurement of their properties tests the foundations of the standard model; and they feature prominently in a variety of exotic signals. The coupling of the Higgs boson to the top quark, a fundamental standard model parameter, can only be measured directly in processes where the two particles are produced together. The production of a Higgs boson together with one or two top quarks is also sensitive to several exciting new physics effects. A brief overview of the current experimental status of top quark and Higgs boson physics is presented using results from the CMS Collaboration.


title: Information-Flow Matting

abstract: We present a novel, purely affinity-based natural image matting algorithm. Our method relies on carefully defined pixel-to-pixel connections that enable effective use of information available in the image. We control the information flow from the known-opacity regions into the unknown region, as well as within the unknown region itself, by utilizing multiple definitions of pixel affinities. Among other forms of information flow, we introduce color-mixture flow, which builds upon local linear embedding and effectively encapsulates the relation between different pixel opacities. Our resulting novel linear system formulation can be solved in closed-form and is robust against several fundamental challenges of natural matting such as holes and remote intricate structures. While our method is primarily designed as a standalone matting tool, we show that it can also be used for regularizing mattes obtained by sampling-based methods. The formulation is also extended to layer color estimation and we show that the use of multiple channels of flow increases the layer color quality. We also demonstrate our performance in green-screen keying and analyze the characteristics of the utilized affinities.


title: A model for cost efficient Workforce Organizational Dynamics and its optimization

abstract: This paper presents a workforce planning model scalable to an entire hierarchical organization. Its main objective is to design a cost optimal target which leverages flexible workforce solutions while ensuring an efficient promotional flux. The value of this paper lies in its proposal of an adequate flexibility rate using various solution types and in its discussion about external hiring ratios. The mathematical structures of the models are analyzed and numerical simulations illustrate the theoretical background.


title: Indirect K-edge bimagnon resonant inelastic X-ray scattering spectrum of $\alpha$-FeTe

abstract: We calculate the K-edge indirect bimagnon resonant inelastic X-ray scattering (RIXS) intensity spectra of the bicollinear antiferromagnetic order known to occur in the $\alpha$-FeTe chalcogenide system. Utilizing linear spin wave theory for this large-S spin system we find that the bimagnon spectrum contains four scattering channels (two intraband and two interband). We find from our calculations that for suitable energy-momentum combination the RIXS spectra can exhibit a one-, two- or three- peak structure. The number of peaks provides a clue on the various bimagnon excitation processes that can be supported both in and within the acoustic and optical magnon branches of the bicollinear antiferromagnet. Unlike the RIXS response of the antiferromagnetic or the collinear antiferromagnetic spin ordering, the RIXS intensity spectrum of the bicollinear antiferromagnet does not vanish at the magnetic ordering wave vector $(\pi/2,-\pi/2)$. It is also sensitive to next-next nearest neighbor and biquadratic coupling interactions. Our predicted RIXS spectrum can be utilized to understand the role of multi-channel bimagnon spin excitations present in the $\alpha$-FeTe chalcogenide.


title: Chordal decomposition in operator-splitting methods for sparse semidefinite programs

abstract: We employ chordal decomposition to reformulate a large and sparse semidefinite program (SDP), either in primal or dual standard form, into an equivalent SDP with smaller positive semidefinite (PSD) constraints. In contrast to previous approaches, the decomposed SDP is suitable for the application of first-order operator-splitting methods, enabling the development of efficient and scalable algorithms. In particular, we apply the alternating direction method of multipliers (ADMM) to solve decomposed primal- and dual-standard-form SDPs. Each iteration of such ADMM algorithms requires a projection onto an affine subspace, and a set of projections onto small PSD cones that can be computed in parallel. We also formulate the homogeneous self-dual embedding (HSDE) of a primal-dual pair of decomposed SDPs, and extend a recent ADMM-based algorithm to exploit the structure of our HSDE. The resulting HSDE algorithm has the same leading-order computational cost as those for the primal or dual problems only, with the advantage of being able to identify infeasible problems and produce an infeasibility certificate. All algorithms are implemented in the open-source MATLAB solver CDCS. Numerical experiments on a range of large-scale SDPs demonstrate the computational advantages of the proposed methods compared to common state-of-the-art solvers.


title: The Laughlin liquid in an external potential

abstract: We study natural perturbations of the Laughlin state arising from the effects of trapping and disorder. These are N-particle wave functions that have the form of a product of Laughlin states and analytic functions of the N variables. We derive an upper bound to the ground state energy in a confining external potential, matching exactly a recently derived lower bound in the large N limit. Irrespective of the shape of the confining potential, this sharp upper bound can be achieved through a modification of the Laughlin function by suitably arranged quasi-holes.

categories: math-ph cond-mat.mes-hall math.AP math.MP


title: Systoles in translation surfaces

abstract: For a translation surface, we define the systole to be the length of the shortest saddle connection. We give a characterization of the maxima of the systole function on a stratum, and give a family of examples providing local but nonglobal maxima on each stratum of genus at least three. We further study the relation between (locally) maximal values of the systole function and the number of shortest saddle connections.


title: Pricing formulae for derivatives in insurance using the Malliavin calculus

abstract: In this paper we provide a valuation formula for different classes of actuarial and financial contracts which depend on a general loss process, by using the Malliavin calculus. In analogy with the celebrated Black-Scholes formula, we aim at expressing the expected cash flow in terms of a building block. The former is related to the loss process which is a cumulated sum indexed by a doubly stochastic Poisson process of claims allowed to be dependent on the intensity and the jump times of the counting process. For example, in the context of Stop-Loss contracts the building block is given by the distribution function of the terminal cumulated loss, taken at the Value at Risk when computing the Expected Shortfall risk measure.


title: Speeding up the K\"ohler's method of contrast thresholding

abstract: K{\"o}hler's method is a useful multi-thresholding technique based on boundary contrast. However, the direct algorithm has a too high complexity-O(N 2) i.e. quadratic with the pixel numbers N-to process images at a sufficient speed for practical applications. In this paper, a new algorithm to speed up K{\"o}hler's method is introduced with a complexity in O(N M), M is the number of grey levels. The proposed algorithm is designed for parallelisation and vector processing , which are available in current processors, using OpenMP (Open Multi-Processing) and SIMD instructions (Single Instruction on Multiple Data). A fast implementation allows a gain factor of 405 in an image of 18 million pixels and a video processing in real time (gain factor of 96).


title: Optimal Storage under Unsynchrononized Mobile Byzantine Faults

abstract: In this paper we prove lower and matching upper bounds for the number of servers required to implement a regular shared register that tolerates unsynchronized Mobile Byzantine failures. We consider the strongest model of Mobile Byzantine failures to date: agents are moved arbitrarily by an omniscient adversary from a server to another in order to deviate their computation in an unforeseen manner. When a server is infected by an Byzantine agent, it behaves arbitrarily until the adversary decides to move the agent to another server. Previous approaches considered asynchronous servers with synchronous mobile Byzantine agents (yielding impossibility results), and synchronous servers with synchronous mobile Byzantine agents (yielding optimal solutions for regular register implementation, even in the case where servers and agents periods are decoupled). We consider the remaining open case of synchronous servers with unsynchronized agents, that can move at their own pace, and change their pace during the execution of the protocol. Most of our findings relate to lower bounds, and characterizing the model parameters that make the problem solvable. It turns out that unsynchronized mobile Byzantine agent movements requires completely new proof arguments, that can be of independent interest when studying other problems in this model. Additionally, we propose a generic server-based algorithm that emulates a regular register in this model, that is tight with respect to the number of mobile Byzantine agents that can be tolerated. Our emulation spans two awareness models: servers with and without self-diagnose mechanisms. In the first case servers are aware that the mobile Byzantine agent has left and hence they can stop running the protocol until they recover a correct state while in the second case, servers are not aware of their faulty state and continue to run the protocol using an incorrect local state.


title: Asymptotic degree distribution in preferential attachment graph models with multiple type edges

abstract: We deal with a general preferential attachment graph model with multiple type edges. The types are chosen randomly, in a way that depends on the evolution of the graph. In the $N$-type case, we define the (generalized) degree of a given vertex as $\boldsymbol{d}=(d_{1},d_{2},\dots,d_{N})$, where $d_{k}\in\mathbb{Z}_{0}^{+}$ is the number of type $k$ edges connected to it. We prove the existence of an a.s.\ asymptotic degree distribution for a general family of preferential attachment random graph models with multi-type edges. More precisely, we show that the proportion of vertices with (generalized) degree $\boldsymbol{d}$ tends to some random variable as the number of steps goes to infinity. We also provide recurrence equations for the asymptotic degree distribution. Finally, we generalize the scale-free property of random graphs to the multi-type case.


title: Geometric Rescaling Algorithms for Submodular Function Minimization

abstract: We present a new class of polynomial-time algorithms for submodular function minimization (SFM), as well as a unified framework to obtain strongly polynomial SFM algorithms. Our algorithms are based on simple iterative methods for the minimum-norm problem, such as the conditional gradient and Fujishige-Wolfe algorithms. We exhibit two techniques to turn simple iterative methods into polynomial-time algorithms. Firstly, we adapt the geometric rescaling technique, which has recently gained attention in linear programming, to SFM and obtain a weakly polynomial bound $O(({n}^4\cdot \textrm{EO} + {n}^5)\log ({n} L))$. Secondly, we exhibit a general combinatorial black-box approach to turn $\varepsilon L$-approximate SFM oracles into strongly polynomial exact SFM algorithms. This framework can be applied to a wide range of combinatorial and continuous algorithms, including pseudo-polynomial ones. In particular, we can obtain strongly polynomial algorithms by a repeated application of the conditional gradient or of the Fujishige-Wolfe algorithm. Combined with the geometric rescaling technique, the black-box approach provides an $O(({n}^5\cdot \textrm{EO} +{n}^6)\log^2{n})$ algorithm. Finally, we show that one of the techniques we develop in the paper can also be combined with the cutting-plane method of Lee, Sidford, and Wong \cite{LSW}, yielding a simplified variant of their $O(n^3 \log^2 n \cdot \textrm{EO} + n^4\log^{O(1)} n)$ algorithm.


title: Every finite non-solvable group admits an Oriented Regular Representation

abstract: In this paper we give a partial answer to a 1980 question of Lazslo Babai: "Which [finite] groups admit an oriented graph as a DRR?" That is, which finite groups admit an oriented regular representation (ORR)? We show that every finite non-solvable group admits an ORR, and provide a tool that may prove useful in showing that some families of finite solvable groups admit ORRs. We also completely characterize all finite groups that can be generated by at most three elements, according to whether or not they admit ORRs.


title: Well-posedness for SDEs driven by different type of noises

abstract: We show the existence and uniqueness of strong solutions for stochastic differential equation driven by partial $\alpha$-stable noise and partial Brownian noise with singular coefficients. The proof is based on the regularity of degenerate mixed type Kolmogorov equation.


title: The cosmic QCD phase transition with dense matter and its gravitational waves from holography

abstract: Consistent with cosmological constraints, there are scenarios with the large lepton asymmetry which can lead to the finite baryochemical potential at the cosmic QCD phase transition scale. In this paper, we investigate this possibility in the holographic models. Using the holographic renormalization method, we find the first order Hawking-Page phase transition, between Reissner-Nordstr$\rm\ddot{o}$m AdS black hole and thermal charged AdS space, corresponding to the de/confinement phase transition. We obtain the gravitational wave spectra generated during the evolution of bubbles for a range of the bubble wall velocity and examine the reliability of the scenarios and consequent calculations by gravitational wave experiments.


title: A Universal Homogeneous Simple Matroid of Rank $3$

abstract: We construct a $\wedge$-homogeneous universal simple matroid of rank $3$, i.e. a countable simple rank~$3$ matroid $M_*$ which $\wedge$-embeds every finite simple rank $3$ matroid, and such that every isomorphism between finite $\wedge$-subgeometries of $M_*$ extends to an automorphism of $M_*$. We also construct a $\wedge$-homogeneous matroid $M_*(P)$ which is universal for the class of finite simple rank $3$ matroids omitting a given finite projective plane $P$. We then prove that these structures are not $\aleph_0$-categorical, they have the independence property, they admit a stationary independence relation, and that their automorphism group embeds the symmetric group $Sym(\omega)$. Finally, we use the free projective extension $F(M_*)$ of $M_*$ to conclude the existence of a countable projective plane embedding all the finite simple matroids of rank $3$ and whose automorphism group contains $Sym(\omega)$, in fact we show that $Aut(F(M_*)) \cong Aut(M_*)$.


title: Energy momentum tensor for translation invariant renormalizable noncommutative field theory

abstract: In this paper, we derive the energy momentum tensor for the translation invariant noncommutative Tanasa scalar field model. The Wilson regularization procedure is used to improve this tensor and the local conservation property is recovered. The same question is addressed in the case where the Moyal star product is deformed including the tetrad fields. It provides with an extension of the recent work [J. Phys. A: Math. Theor. 43 (2010) 155202], regarding the computation and properties of the Noether currents to the renormalizable models.


title: Perfect Resolution of Strong Conflict-Free Colouring of Interval Hypergraphs

abstract: The $k$-Strong Conflict-Free ($k$-SCF, in short) colouring problem seeks to find a colouring of the vertices of a hypergraph $H$ using minimum number of colours so that in every hyperedge $e$ of $H$, there are at least $\min\{|e|,k\}$ vertices whose colour is different from that of all other vertices in $e$. In the case of interval hypergraphs, we present an exact $P$-time algorithm for the $k$-SCF problem thus solving an open problem posed by Cheilaris et al. (2014). We achieve our results by showing that for any hypergraph a $k$-SCF colouring is a proper colouring of a related simple graph which we refer to as a co-occurrence graph. We then show that a co-occurrence graph is obtained by identifying an induced subgraph of a second simple graph that we introduce, which we refer to as the conflict graph. For interval hypergraphs, we show that each co-occurrence graph and the conflict graph are perfect graphs. This property plays a crucial role in our polynomial time algorithm. Secondly, we show that for an interval hypergraph, the $1$-SCF colouring number is the minimum partition of its intervals into sets such that each set has an exact hitting set (a hitting set in which each interval is hit exactly once).


title: From Quenched Disorder to Continuous Time Random Walk

abstract: This work focuses on quantitative representation of transport in systems with quenched disorder. Explicit mapping of the quenched trap model to continuous time random walk is presented. Linear temporal transformation: $t\to t/\Lambda^{1/\alpha}$ for transient process on translationally invariant lattice, in the sub-diffusive regime, is sufficient for asymptotic mapping. Exact form of the constant $\Lambda^{1/\alpha}$ is established. Disorder averaged position probability density function for quenched trap model is obtained and analytic expressions for the diffusion coefficient and drift are provided.


title: A Kato's second type representation theorem for solvable sesquilinear forms

abstract: Kato's second representation theorem is generalized to solvable sesquilinear forms. These forms need not be non-negative nor symmetric. The representation considered holds for a subclass of solvable forms (called hyper-solvable), precisely for those whose domain is exactly the domain of the square root of the modulus of the associated operator. This condition always holds for closed semibounded forms, and it is also considered by several authors for symmetric sign-indefinite forms. As a consequence, a one-to-one correspondence between hyper-solvable forms and operators, which generalizes those already known, is established.


title: Rosette nebula globules: Seahorse giving birth to a star

abstract: The Rosette Nebula is an HII region ionized mainly by the stellar cluster NGC 2244. Elephant trunks, globules, and globulettes are seen at the interface where the HII region and the surrounding molecular shell meet. We have observed a field in the northwestern part of the Rosette Nebula where we study the small globules protruding from the shell. Our aim is to measure their properties and study their star formation history in continuation of our earlier study of the features of the region. We imaged the region in broadband near-infrared (NIR) JsHKs filters and narrowband H2 1-0 S(1), P$\beta$, and continuum filters using the SOFI camera at the ESO/NTT. The imaging was used to study the stellar population and surface brightness, create visual extinction maps, and locate star formation. Mid-infrared (MIR) Spitzer IRAC and WISE and optical NOT images were used to further study the star formation and the structure of the globules. The NIR and MIR observations indicate an outflow, which is confirmed with CO observations made with APEX. The globules have mean number densities of ~$4.6\times10^4 \rm cm^{-3}$. P$\beta$ is seen in absorption in the cores of the globules where we measure visual extinctions of 11-16 mag. The shell and the globules have bright rims in the observed bands. In the Ks band 20 to 40% of the emission is due to fluorescent emission in the 2.12 $\mu$m H2 line similar to the tiny dense globulettes we studied earlier in a nearby region. We identify several stellar NIR excess candidates and four of them are also detected in the Spitzer IRAC 8.0 $\mu$m image and studied further. We find an outflow with a cavity wall bright in the 2.124 $\mu$m H2 line and at 8.0 $\mu$m in one of the globules. The outflow originates from a Class I young stellar object (YSO) embedded deep inside the globule. An H$\alpha$ image suggests the YSO drives a possible parsec-scale outflow. (abridged)


title: Silicon PIN diodes as Neganov-Trofimov-Luke cryogenic light detectors

abstract: Cryogenic rare event searches based on heat and light composite calorimeters have a common need for large area photon detectors with high quantum efficiency, good radiopurity and high sensitivity. By employing the Neganov-Trofimov-Luke effect (NTLE), the phonon signal of particle interactions in a semiconductor absorber operated at cryogenic temperatures can be amplified by drifting the photogenerated electrons and holes in an electric field. We present here the last results of a Neganov-Trofimov-Luke effect light detector with an electric field configuration optimized to improve the charge collection within the absorber.


title: CHEERS: The chemical evolution RGS sample

abstract: The chemical yields of supernovae and the metal enrichment of the hot intra-cluster medium (ICM) are not well understood. This paper introduces the CHEmical Enrichment RGS Sample (CHEERS), which is a sample of 44 bright local giant ellipticals, groups and clusters of galaxies observed with XMM-Newton. This paper focuses on the abundance measurements of O and Fe using the reflection grating spectrometer (RGS). The deep exposures and the size of the sample allow us to quantify the intrinsic scatter and the systematic uncertainties in the abundances using spectral modeling techniques. We report the oxygen and iron abundances as measured with RGS in the core regions of all objects in the sample. We do not find a significant trend of O/Fe as a function of cluster temperature, but we do find an intrinsic scatter in the O and Fe abundances from cluster to cluster. The level of systematic uncertainties in the O/Fe ratio is estimated to be around 20-30%, while the systematic uncertainties in the absolute O and Fe abundances can be as high as 50% in extreme cases. We were able to identify and correct a systematic bias in the oxygen abundance determination, which was due to an inaccuracy in the spectral model. The lack of dependence of O/Fe on temperature suggests that the enrichment of the ICM does not depend on cluster mass and that most of the enrichment likely took place before the ICM was formed. We find that the observed scatter in the O/Fe ratio is due to a combination of intrinsic scatter in the source and systematic uncertainties in the spectral fitting, which we are unable to disentangle. The astrophysical source of intrinsic scatter could be due to differences in AGN activity and ongoing star formation in the BCG. The systematic scatter is due to uncertainties in the spatial line broadening, absorption column, multi-temperature structure and the thermal plasma models. (Abbreviated).


title: Lower Bounds for Searching Robots, some Faulty

abstract: Suppose we are sending out $k$ robots from $0$ to search the real line at constant speed (with turns) to find a target at an unknown location; $f$ of the robots are faulty, meaning that they fail to report the target although visiting its location (called crash type). The goal is to find the target in time at most $\lambda |d|$, if the target is located at $d$, $|d| \ge 1$, for $\lambda$ as small as possible. We show that this cannot be achieved for $$\lambda < 2\frac{\rho^\rho}{(\rho-1)^{\rho-1}}+1,~~ \rho := \frac{2(f+1)}{k}~, $$ which is tight due to earlier work (see J. Czyzowitz, E. Kranakis, D. Krizanc, L. Narayanan, J. Opatrny, PODC'16, where this problem was introduced). This also gives some better than previously known lower bounds for so-called Byzantine-type faulty robots that may actually wrongly report a target. In the second part of the paper, we deal with the $m$-rays generalization of the problem, where the hidden target is to be detected on $m$ rays all emanating at the same point. Using a generalization of our methods, along with a useful relaxation of the original problem, we establish a tight lower for this setting as well (as above, with $\rho := m(f+1)/k$). When specialized to the case $f=0$, this resolves the question on parallel search on $m$ rays, posed by three groups of scientists some 15 to 30 years ago: by Baeza-Yates, Culberson, and Rawlins; by Kao, Ma, Sipser, and Yin; and by Bernstein, Finkelstein, and Zilberstein. The $m$-rays generalization is known to have connections to other, seemingly unrelated, problems, including hybrid algorithms for on-line problems, and so-called contract algorithms.


title: Possible spin gapless semiconductor type behaviour in CoFeMnSi epitaxial thin films

abstract: Spin-gapless semiconductors with their unique band structures have recently attracted much attention due to their interesting transport properties that can be utilized in spintronics applications. We have successfully deposited the thin films of quaternary spin-gapless semiconductor CoFeMnSi Heusler alloy on MgO (001) substrates using a pulsed laser deposition system. These films show epitaxial growth along (001) direction and display uniform and smooth crystalline surface. The magnetic properties reveal that the film is ferromagnetically soft along the in-plane direction and its Curie temperature is well above 400 K. The electrical conductivity of the film is low and exhibits a nearly temperature independent semiconducting behaviour. The estimated temperature coefficient of resistivity for the film is -7x10^-10 Ohm.m/K, which is comparable to the values reported for spin-gapless semiconductors.


title: On generalized commuting probability of finite rings

abstract: Let $R$ be a finite ring and $r \in R$. The aim of this paper is to study the probability that the commutator of a randomly chosen pair of elements of $R$ equals $r$.


title: IRIS Burst Spectra Co-Spatial To A Quiet-Sun Ellerman-Like Brightening

abstract: Ellerman bombs (EBs) have been widely studied over the past two decades; however, only recently have counterparts of these events been observed in the quiet-Sun. The aim of this article is to further understand small-scale quiet-Sun Ellerman-like brightenings (QSEBs) through research into their spectral signatures, including investigating whether the hot signatures associated with some EBs are also visible co-spatial to any QSEBs. We combine H$\alpha$ and Ca II $8542$ \AA\ line scans at the solar limb with spectral and imaging data sampled by the Interface Region Imaging Spectrograph (IRIS). Twenty one QSEBs were identified with average lifetimes, lengths, and widths measured to be around $120$ s, $0.63$", and $0.35$", respectively. Three of these QSEBs displayed clear repetitive flaring through their lifetimes, comparable to the behaviour of EBs in Active Regions (ARs). Two QSEBs in this sample occurred co-spatial with increased emission in SDO/AIA $1600$ \AA\ and IRIS slit-jaw imager $1400$ \AA\ data, however, these intensity increases were smaller than reported co-spatial to EBs. One QSEB was also sampled by the IRIS slit during its lifetime, displaying increases in intensity in the Si IV $1393$ \AA\ and Si IV $1403$ \AA\ cores as well as the C II and Mg II line wings, analogous to IRIS bursts (IBs). Using RADYN simulations, we are unable to reproduce the observed QSEB H$\alpha$ and Ca II $8542$ \AA\ line profiles leaving the question of the temperature stratification of QSEBs open. Our results imply that some QSEBs could be heated to Transition Region temperatures, suggesting that IB profiles should be observed throughout the quiet-Sun.


title: Parity doubling of baryons in a chiral approach with three flavors

abstract: We formulate a set of mass relations for the baryon octet and decuplet with positive and negative parity in terms of the order parameter of QCD chiral symmetry. The Gell-Mann--Okubo mass formula and Gell-Mann's equal spacing rule hold manifestly in this approach. Thermal masses of the baryons are calculated in the mean field approximation for various pion masses, and the results are compared with the recent lattice studies. A general trend of the nucleon, $\Delta$ and $\Omega$ parity-doublers seen in the available lattice data can be understood qualitatively. Expected mass modifications of other strange baryons are also given with the physical and heavier pion masses.


title: Downgrade Attack on TrustZone

abstract: Security-critical tasks require proper isolation from untrusted software. Chip manufacturers design and include trusted execution environments (TEEs) in their processors to secure these tasks. The integrity and security of the software in the trusted environment depend on the verification process of the system. We find a form of attack that can be performed on the current implementations of the widely deployed ARM TrustZone technology. The attack exploits the fact that the trustlet (TA) or TrustZone OS loading verification procedure may use the same verification key and may lack proper rollback prevention across versions. If an exploit works on an out-of-date version, but the vulnerability is patched on the latest version, an attacker can still use the same exploit to compromise the latest system by downgrading the software to an older and exploitable version. We did experiments on popular devices on the market including those from Google, Samsung and Huawei, and found that all of them have the risk of being attacked. Also, we show a real-world example to exploit Qualcomm's QSEE. In addition, in order to find out which device images share the same verification key, pattern matching schemes for different vendors are analyzed and summarized.


title: Eigenvalues and Wiener index of the Zero Divisor graph $\Gamma[\mathbb {Z}_n]$

abstract: The Zero divisor Graph of a commutative ring $R$, denoted by $\Gamma[R]$, is a graph whose vertices are non-zero zero divisors of $R$ and two vertices are adjacent if their product is zero. In this paper, we consider the zero divisor graph $\Gamma[\mathbb{Z}_n]$ for $n=p^3$ and $n=p^2q$ with $p$ and $q$ primes. We discuss the adjacency matrix and eigenvalues of the zero divisor graph $\Gamma[\mathbb{Z}_n]$. We also calculate the energy of the graph $\Gamma[\mathbb{Z}_n]$.


title: Analytic Theory of Wannier-Stark Quantization in Two Dimensions

abstract: For the first time, one-particle theory of Wannier-Stark quantization for a $a(N$$-$1)-long chain affected by a homogeneous electric field $E_e$ is extended to the 2D case of $L_N$=$a(N$$-$1)-long and $L_{\cal N}$=$a$$({\cal N}$$-$1)-wide conductor, which is modeled by the atomic square lattice with the electron site-energy change from atom to atom in the direction parallel to $\cal N$ axis by the amount of electric field parameter (efp) $\varepsilon \equiv aeE_e/|t| $ in units of $|t|$. It is shown that each field-provoked $\mu$-level in the chain spectrum gives birth to the $\mu$-subband of field-independent levels due to the electron-transfer interaction in the direction perpendicular to $E_e$. The level spacing and hence, the width of $\mu$-subbands $E^0_{\rm bw}$, is dictated by the conductor length, the hopping integral $t$, and by the lattice constant $a$. Another principal result is that the levels, which are within the energy interval $0.5E^0_{\rm bw}$ on either sides of the spectrum (that is the edge spectrum), correspond to the delocalized states which are extended in the direction perpendicular to the electric field. In this direction, the electron spectrum width $E^{\perp}_{\rm bw}$ is larger by $E^0_{\rm bw}$ than the spectrum width in the field direction $E^{\parallel}_{\rm bw}$. Several special cases of the interrelation between the electron energy versus applied voltage are identified, when the spacing between the $\mu$-subband centers is equal either to integer or fraction ($>1$) portion of dimensionless $\varepsilon$. Otherwise, the level spacing is shown to be irregular and, depending on $N$, $\cal N$, and $\varepsilon$, it can be equal to any portion of $\varepsilon$. It is argued that one of straightforward applications of the presented theory is the quantum-mechanical explanation of Hall effect in two dimensions.


title: Conservative Dynamics of Binary Systems of Compact Objects at the Fourth Post-Newtonian Order

abstract: We review our recent derivation of a Fokker action describing the conservative dynamics of a compact binary system at the fourth post-Newtonian (4PN) approximation of general relativity. The two bodies are modeled by point particles, which induces ultraviolet (UV) divergences that are cured by means of dimensional regularization combined with a renormalization of the particle's wordlines. Associated with the propagation of wave tails at infinity is the appearance of a non-local-in-time conservative tail effect at the 4PN order in the Lagrangian. In turn this implies the appearance of infrared (IR) divergent integrals which are also regularized by means of dimensional regularization. We compute the Noetherian conserved energy and periastron advance for circular orbits at 4PN order, paying special attention to the treatment of the non-local terms. One ambiguity parameter remaining in the current formalism is determined by comparing those quantities, expressed as functions of the orbital frequency, with self-force results valid in the small mass ratio limit.


title: On explicit order 1.5 approximations with varying coefficients: the case of super-linear diffusion coefficients

abstract: A conjecture appears in \cite{milsteinscheme}, in the form of a remark, where it is stated that it is possible to construct, in a specified way, any high order explicit numerical schemes to approximate the solutions of SDEs with superlinear coefficients. We answer this conjecture affirmatively for the case of order 1.5 approximations and show that the suggested methodology works. Moreover, we explore the case of having H\"{o}lder continuous derivatives for the diffusion coefficients.


title: Some NIP-like phenomena in NTP$_{2}$

abstract: We introduce the notion of an NTP$_{2}$-smooth measure and prove that they exist assuming NTP$_{2}$. Using this, we propose a notion of distality in NTP$_{2}$ that unfortunately does not intersect simple theories trivially. We then prove a finite alternation theorem for a subclass of NTP$_{2}$ that contains resilient theories. In the last section we prove that under NIP, any type over a model of singular size is finitely satisfiable in a smaller model, and ask if a parallel result (with non-forking replacing finite satisfiability) holds in NTP$_{2}$.


title: Bayesian Quantum Noise Spectroscopy

abstract: As commonly understood, the noise spectroscopy problem---characterizing the statistical properties of a noise process affecting a quantum system by measuring its response---is ill-posed. Ad-hoc solutions assume implicit structure which is often never determined. Thus it is unclear when the method will succeed or whether one should trust the solution obtained. Here we propose to treat the problem from the point of view of statistical estimation theory. We develop a Bayesian solution to the problem which allows one to easily incorporate assumptions which render the problem solvable. We compare several numerical techniques for noise spectroscopy and find the Bayesian approach to be superior in many respects.


title: Environmental stochasticity and the speed of evolution

abstract: Biological populations are subject to two types of noise: demographic stochasticity due to fluctuations in the reproductive success of individuals, and environmental variations that affect coherently the relative fitness of entire populations. The rate in which the average fitness of a community increases has been considered so far using models with pure demographic stochasticity; here we present some theoretical considerations and numerical results for the general case where environmental variations are taken into account. When the competition is pairwise, fitness fluctuations are shown to reduce the speed of evolution, while under global competition the speed increases due to environmental stochasticity.


title: Radial velocity measurements and orbit determination of eight single-lined spectroscopic binary systems

abstract: Since early 2015 a new radial velocity monitoring campaign is going on at the University Observatory Jena. The aim of this project is to obtain current radial velocity measurements of selected single-lined spectroscopic binary systems, to redetermine and/or constrain their orbital solutions. In this paper we characterize the properties of the target sample of the project, describe the spectroscopic observations, the data-reduction and analysis and present the first results of the project, taken with the fiber-linked astronomical spectrograph FLECHAS. We present 391 radial velocity measurements of eight spectroscopic binaries, which were taken within an epoch difference of 1.6 years. These radial velocities were used to determine the spectroscopic orbital elements of the observed binary systems, which exhibit orbital periods in the range between nearly one up to several dozens of days. We could constrain the orbital solutions of seven of these binary systems, and redetermine the orbital solution of phi Dra, whose orbit exhibits >4 times longer orbital period and is more eccentric than given in the 9th Catalogue of Spectroscopic Binary Orbits.


title: RDV: An Alternative To Proof-of-Work And A Real Decentralized Consensus For Blockchain

abstract: A blockchain is a decentralized ledger where all transactions are recorded. For having a reliable blockchain and double-spending prevention, we need a decentralized consensus and agreement on a blockchain. Bitcoin uses proof-of-work (PoW). It is a cryptographic puzzle that is difficult to solve but easy to verify. However, because of significant latency of proof-of-work for transactions confirmation, this consensus mechanism is vulnerable against double-spending. On the other hand, PoW consumes a significant amount of energy that by growing the network, it becomes a major problematic of this consensus mechanism. In this paper, we introduce an alternative to PoW, because of all its major problems and security issues that may lead to collapsing decentralization of the blockchain, while a full decentralized system is the main purpose of using blockchain technology. The approach we introduce is based on a distributed voting process and called "RDV: Register, Deposit, Vote". Since in RDV algorithm, there is no mining process, so it is appropriate for low-level energy devices and Internet of Things (IoT).


title: Conformally covariant differential operators for the diagonal action of O(p, q) on real quadrics

abstract: Let $X=G/P$ be a real projective quadric, where $G=O(p,q)$ and $P$ is a parabolic subgroup of $G$. Let $\left(\pi_{\lambda,\epsilon}, \mathcal{H}_{\lambda,\epsilon}\right)_{ (\lambda,\epsilon)\in \mathbb {C}\times \{\pm\}}$ be the family of (smooth) representations of $G$ induced from the characters of $P$. For $(\lambda, \epsilon), (\mu, \eta)\in \mathbb{C} \times \{\pm\}$, a differential operator $\mathbf{D}_{(\lambda,\epsilon), (\mu,\eta)}^{reg}$ on $X\times X$, acting $G$-covariantly from $\mathcal{H}_{\lambda,\epsilon} \otimes \mathcal{H}_{\mu, \eta}$ into $\mathcal{H}_{\lambda+1,-\epsilon} \otimes \mathcal{H}_{\mu+1, -\eta}$ is constructed.


title: External boundary control of the motion of a rigid body immersed in a perfect two-dimensional fluid

abstract: We consider the motion of a rigid body due to the pressure of a surrounded two-dimensional irrotational perfect incompressible fluid, the whole system being confined in a bounded domain with an impermeable condition on a part of the external boundary. Thanks to an impulsive control strategy we prove that there exists an appropriate boundary condition on the remaining part of the external boundary (allowing some fluid going in and out the domain) such that the immersed rigid body is driven from some given initial position and velocity to some final position and velocity in a given positive time, without touching the external boundary. The controlled part of the external boundary is assumed to have a nonvoid interior and the final position is assumed to be in the same connected component of the set of possible positions as the initial position.


title: Piatetski-Shapiro sequences via Beatty sequences

abstract: Integer sequences of the form $\lfloor n^c\rfloor$, where $1<c<2$, can be locally approximated by sequences of the form $\lfloor n\alpha+\beta\rfloor$ in a very good way. Following this approach, we are led to an estimate of the difference \[\sum_{n\leq x}\varphi\left(\lfloor n^c\rfloor\right)-\frac 1c\sum_{n\leq x^c}\varphi(n)n^{\frac 1c-1},\] which measures the deviation of the mean value of $\varphi$ on the subsequence $\lfloor n^c\rfloor$ from the expected value, by an expression involving exponential sums. As an application we prove that for $1<c\leq 1.42$ the subsequence of the Thue-Morse sequence indexed by $\lfloor n^c\rfloor$ attains both of its values with asymptotic density $1/2$.


title: Truly Sub-cubic Algorithms for Language Edit Distance and RNA Folding via Fast Bounded-Difference Min-Plus Product

abstract: It is a major open problem whether the $(\min,+)$-product of two $n\times n$ matrices has a truly sub-cubic (i.e. $O(n^{3-\epsilon})$ for $\epsilon>0$) time algorithm, in particular since it is equivalent to the famous All-Pairs-Shortest-Paths problem (APSP) in $n$-vertex graphs. Some restrictions of the $(\min,+)$-product to special types of matrices are known to admit truly sub-cubic algorithms, each giving rise to a special case of APSP that can be solved faster. In this paper we consider a new, different and powerful restriction in which all matrix entries are integers and one matrix can be arbitrary, as long as the other matrix has "bounded differences" in either its columns or rows, i.e. any two consecutive entries differ by only a small amount. We obtain the first truly sub-cubic algorithm for this bounded-difference $(\min,+)$-product (answering an open problem of Chan and Lewenstein). Our new algorithm, combined with a strengthening of an approach of L.~Valiant for solving context-free grammar parsing with matrix multiplication, yields the first truly sub-cubic algorithms for the following problems: Language Edit Distance (a major problem in the parsing community), RNA-folding (a major problem in bioinformatics) and Optimum Stack Generation (answering an open problem of Tarjan).


title: Effective risk aversion in thin risk-sharing markets

abstract: We consider thin incomplete financial markets, where traders with heterogeneous preferences and risk exposures have motive to behave strategically regarding the demand schedules they submit, thereby impacting prices and allocations. We argue that traders relatively more exposed to market risk tend to submit more elastic demand functions. Noncompetitive equilibrium prices and allocations result as an outcome of a game among traders. General sufficient conditions for existence and uniqueness of such equilibrium are provided, with an extensive analysis of two-trader transactions. Even though strategic behaviour causes inefficient social allocations, traders with sufficiently high risk tolerance and/or large initial exposure to market risk obtain more utility gain in the noncompetitive equilibrium, when compared to the competitive one.


title: Investigation of channel model for weakly coupled multicore fiber

abstract: We investigate the evolution of decorrelation bandwidth of inter core crosstalk (IC-XT) in homogeneous weakly coupled multicore fibers (WC-MCFs). The modified mode-coupled equations (MCEs) are numerically solved by combining the fourth order Runge-Kutta method and compound Simpson integral method. It can be theoretically and numerically observed that the decorrelation bandwidth of IC-XT decreases with transmission distance by fractional linear function. The evolution rule of IC-XT's decorrelation bandwidth is further confirmed by experiments, which can be used as an evaluation criterion for channel model. Finally, we propose a new channel model with the coupling matrix of IC-XT generated automatically by phase transfer function (PTF), which is in good agreement with the above evaluation criterion. We believe the proposed channel model can provide a good simulation platform for homogeneous WC-MCF based communication systems.


title: Characterizing the harmonic manifolds by the eigenfunctions of the Laplacian

abstract: The space forms, the complex hyperbolic spaces and the quaternionic hyperbolic spaces are characterized as the harmonic manifolds with specific radial eigenfunctions of the Laplacian.


title: Extension of i-modularity

abstract: Let $ K / k $ be a purely inseparable extension of characteristic $ p> 0 $ and of finite size. We recall that $K/k$ is modular if for every $n \in \mathbb{N}$,$K^{p^n}$ and $k$ are $k\cap K^{p^ n}$-linearly disjoint. A natural generalization of this notion is to say that $K/k$ is $lq$-modular if $K$ is modular over a finite extension of $k$. Our main objective is to extend in definite form the results and definitions of the $lq$-modularity that have already been obtained in the case limited by the finiteness condition imposed on $[k :k^p]$ in a rather general framework (framework of extensions of finite size called also $q$-finite extensions).First, by means of invariants, we characterize the $lq$-modularity of a $q$-finite extension. Next, we show that any intersection of a $q$-finite extensions covering $k$ or $K$ preserves the $lq$-modularity. We also prove that any $q$-finite extension $ K/k $ contains a greater $lq$-modular and relatively perfect sub-extension. In particular, this result is very useful for defining the modularity of order $i$ linked to a $q$-finite extension $ K/k $.Moreover, we give a necessary and sufficient condition for $K/k$ to be $i$-modular. Certainly, the modularity level of $ K / k $ never exceeds the sizeof $K/k$. Notably, we explicitly describe the extension $K/k $ whose degree of modularity is the size of $ K / k $. In the end, we examine a particular decomposition of $ K/k $ defined by inverse chaining.


title: Three-dimensional band structure of LaSb and CeSb:Absence of band inversion

abstract: We have performed angle-resolved photoemission spectroscopy (ARPES) of LaSb and CeSb, a candidate of topological insulator. Using soft-x-ray photons, we have accurately determined the three-dimensional bulk band structure and revealed that the band inversion at the Brillouin-zone corner - a prerequisite for realizing topological-insulator phase - is absent in both LaSb and CeSb. Moreover, unlike the ARPES data obtained with soft-x-ray photons, those with vacuum ultraviolet (VUV) photons were found to suffer significant $k_z$ broadening. These results suggest that LaSb and CeSb are topologically trivial semimetals, and unusual Dirac-cone-like states observed with VUV photons are not of the topological origin.


title: On consistency of optimal pricing algorithms in repeated posted-price auctions with strategic buyer

abstract: We study revenue optimization learning algorithms for repeated posted-price auctions where a seller interacts with a single strategic buyer that holds a fixed private valuation for a good and seeks to maximize his cumulative discounted surplus. For this setting, first, we propose a novel algorithm that never decreases offered prices and has a tight strategic regret bound in $\Theta(\log\log T)$ under some mild assumptions on the buyer surplus discounting. This result closes the open research question on the existence of a no-regret horizon-independent weakly consistent pricing. The proposed algorithm is inspired by our observation that a double decrease of offered prices in a weakly consistent algorithm is enough to cause a linear regret. This motivates us to construct a novel transformation that maps a right-consistent algorithm to a weakly consistent one that never decreases offered prices. Second, we outperform the previously known strategic regret upper bound of the algorithm PRRFES, where the improvement is achieved by means of a finer constant factor $C$ of the principal term $C\log\log T$ in this upper bound. Finally, we generalize results on strategic regret previously known for geometric discounting of the buyer's surplus to discounting of other types, namely: the optimality of the pricing PRRFES to the case of geometrically concave decreasing discounting; and linear lower bound on the strategic regret of a wide range of horizon-independent weakly consistent algorithms to the case of arbitrary discounts.


title: Digital Investigation of PDF Files: Unveiling Traces of Embedded Malware

abstract: Over the last decade, malicious software (or malware, for short) has shown an increasing sophistication and proliferation, fueled by a flourishing underground economy, in response to the increasing complexity of modern defense mechanisms. PDF documents are among the major vectors used to convey malware, thanks to the flexibility of their structure and the ability of embedding different kinds of content, ranging from images to JavaScript code. Despite the numerous efforts made by the research and industrial communities, PDF malware is still one of the major threats on the cyber-security landscape. In this paper, we provide an overview of the current attack techniques used to convey PDF malware, and discuss state-of-the-art PDF malware analysis tools that provide valuable support to digital forensic investigations. We finally discuss limitations and open issues of the current defense mechanisms, and sketch some interesting future research directions.


title: Macroscopic Floquet topological crystalline steel pump

abstract: The transport of a steel sphere on top of two dimensional periodic magnetic patterns is studied experimentally. Transport of the sphere is achieved by moving an external permanent magnet on a closed loop around the two dimensional crystal. The transport is topological i.e. the steel sphere is transported by a primitive unit vector of the lattice when the external magnet loop winds around specific directions. We experimentally determine the set of directions the loops must enclose for nontrivial transport of the steel sphere into various directions.


title: Systems Applications of Social Networks

abstract: The aim of this article is to provide an understanding of social networks as a useful addition to the standard tool-box of techniques used by system designers. To this end, we give examples of how data about social links have been collected and used in di erent application contexts. We develop a broad taxonomy-based overview of common properties of social networks, review how they might be used in di erent applications, and point out potential pitfalls where appropriate. We propose a framework, distinguishing between two main types of social network-based user selection-personalised user selection which identi es target users who may be relevant for a given source node, using the social network around the source as a context, and generic user selection or group delimitation, which lters for a set of users who satisfy a set of application requirements based on their social properties. Using this framework, we survey applications of social networks in three typical kinds of application scenarios: recommender systems, content-sharing systems (e.g., P2P or video streaming), and systems which defend against users who abuse the system (e.g., spam or sybil attacks). In each case, we discuss potential directions for future research that involve using social network properties.


title: Classification of finite groups that admit an oriented regular representation

abstract: This is the third, and last, of a series of papers dealing with oriented regular representations. Here we complete the classification of finite groups that admit an oriented regular representation (or ORR for short), and give a complete answer to a 1980 question of Laszlo Babai: "Which [finite] groups admit an oriented graph as a DRR?" It is easy to see and well-understood that generalised dihedral groups do not admit ORRs. We prove that, with 11 small exceptions (having orders ranging from 8 to 64), every finite group that is not generalised dihedral has an ORR.


title: Markov loops topology

abstract: Since the work of Lawler and Werner on "loop soups", these ensembles have also been the object of many investigations. Their properties can be studied in the context of rather general Markov processes, in particular Markov chains on graphs. The purpose of the present work is to explore their topological properties.


title: Asymmetric Type-Ia supernova origin of W49B as revealed from spatially resolved X-ray spectroscopic study

abstract: The origin of the asymmetric supernova remnant (SNR) W49B has been a matter of debate: is it produced by a rare jet-driven core-collapse supernova, or by a normal supernova that is strongly shaped by its dense environment? Aiming to uncover the explosion mechanism and origin of the asymmetric, centrally filled X-ray morphology of W49B, we have performed spatially resolved X-ray spectroscopy and a search for potential point sources. We report new candidate point sources inside W49B. The Chandra X-ray spectra from W49B are well-characterized by two-temperature gas components ($\sim 0.27$ keV + 0.6--2.2 keV). The hot component gas shows a large temperature gradient from the northeast to the southwest and is over-ionized in most regions with recombination timescales of 1--$10\times 10^{11}$ cm$^{-3}$ s. The Fe element shows strong lateral distribution in the SNR east, while the distribution of Si, S, Ar, Ca is relatively smooth and nearly axially symmetric. Asymmetric Type-Ia explosion of a Chandrasekhar-mass white dwarf well-explains the abundance ratios and metal distribution of W49B, whereas a jet-driven explosion and normal core-collapse models fail to describe the abundance ratios and large masses of iron-group elements. A model based on a multi-spot ignition of the white dwarf can explain the observed high $M_{\rm Mn}/M_{\rm Cr}$ value (0.8--2.2). The bar-like morphology is mainly due to a density enhancement in the center, given the good spatial correlation between gas density and X-ray brightness. The recombination ages and the Sedov age consistently suggest a revised SNR age of 5--6 kyr. This study suggests that despite the presence of candidate point sources projected within the boundary of this SNR, W49B is likely a Type-Ia SNR, which suggests that Type-Ia supernovae can also result in mixed-morphology SNRs.


title: Dynamic Semiparametric Models for Expected Shortfall (and Value-at-Risk)

abstract: Expected Shortfall (ES) is the average return on a risky asset conditional on the return being below some quantile of its distribution, namely its Value-at-Risk (VaR). The Basel III Accord, which will be implemented in the years leading up to 2019, places new attention on ES, but unlike VaR, there is little existing work on modeling ES. We use recent results from statistical decision theory to overcome the problem of "elicitability" for ES by jointly modelling ES and VaR, and propose new dynamic models for these risk measures. We provide estimation and inference methods for the proposed models, and confirm via simulation studies that the methods have good finite-sample properties. We apply these models to daily returns on four international equity indices, and find the proposed new ES-VaR models outperform forecasts based on GARCH or rolling window models.


title: Monge surfaces and planar geodesic foliations

abstract: A Monge surface is a surface obtained by sweeping a generating plane curve along a trajectory that is orthogonal to the moving plane containing the curve. Locally, they are characterized as being foliated by a family of planar geodesic lines of curvature. We call surfaces with the latter property PGF surfaces, and investigate the global properties of these two naturally defined objects. The only compact orientable PGF surfaces are tori; these are globally Monge surfaces, and they have a simple characterization in terms of the directrix. We show how to produce many examples of Monge tori and Klein bottles, as well as tori that do not have a closed directrix.


title: Control of a Quadrotor with Reinforcement Learning

abstract: In this paper, we present a method to control a quadrotor with a neural network trained using reinforcement learning techniques. With reinforcement learning, a common network can be trained to directly map state to actuator command making any predefined control structure obsolete for training. Moreover, we present a new learning algorithm which differs from the existing ones in certain aspects. Our algorithm is conservative but stable for complicated tasks. We found that it is more applicable to controlling a quadrotor than existing algorithms. We demonstrate the performance of the trained policy both in simulation and with a real quadrotor. Experiments show that our policy network can react to step response relatively accurately. With the same policy, we also demonstrate that we can stabilize the quadrotor in the air even under very harsh initialization (manually throwing it upside-down in the air with an initial velocity of 5 m/s). Computation time of evaluating the policy is only 7 {\mu}s per time step which is two orders of magnitude less than common trajectory optimization algorithms with an approximated model.


title: Deviations from Wick's theorem in the canonical ensemble

abstract: Wick's theorem for the expectation values of products of field operators for a system of noninteracting fermions or bosons plays an important role in the perturbative approach to the quantum many body problem. A finite temperature version holds in the framework of the grand canonical ensemble but not for the canonical ensemble appropriate for systems with fixed particle number like ultracold quantum gases in optical lattices. Here we present new formulas for expectation values of products of field operators in the canonical ensemble using a method in the spirit of Gaudin's proof of Wick's theorem for the grand canonical case. The deviations from Wick's theorem are examined quantitatively for two simple models of noninteracting fermions.


title: Normality of the Thue--Morse sequence along Piatetski-Shapiro sequences

abstract: We prove that for $1<c<4/3$ the subsequence of the Thue--Morse sequence $\mathbf t$ indexed by $\lfloor n^c\rfloor$ defines a normal sequence, that is, each finite sequence $(\varepsilon_0,\ldots,\varepsilon_{T-1})\in \{0,1\}^T$ occurs as a contiguous subsequence of the sequence $n\mapsto \mathbf t\left(\lfloor n^c\rfloor\right)$ with asymptotic frequency $2^{-T}$.


title: Lagrangians for generalized Argyres-Douglas theories

abstract: We continue the study of Lagrangian descriptions of $\mathcal{N}=2$ Argyres-Douglas theories. We use our recent interpretation in terms of sequential confinement to guess the Lagrangians of all the Argyres-Douglas models with Abelian three dimensional mirror. We find classes of four dimensional $\mathcal{N}=1$ quivers that flow in the infrared to generalized Argyres-Douglas theories, such as the $(A_k,A_{kN+N-1})$ models. We study in detail how the $\mathcal{N}=1$ chiral rings map to the Coulomb and Higgs Branches of the $\mathcal{N}=2$ CFT's. The three dimensional mirror RG flows are shown to land on the $\mathcal{N}=4$ complete graph quivers. We also compactify to three dimensions the gauge theory dual to $(A_1,D_4)$, and find the expected Abelianization duality with $\mathcal{N}=4$ SQED with $3$ flavors.


title: Towards Bidirectional Hierarchical Representations for Attention-Based Neural Machine Translation

abstract: This paper proposes a hierarchical attentional neural translation model which focuses on enhancing source-side hierarchical representations by covering both local and global semantic information using a bidirectional tree-based encoder. To maximize the predictive likelihood of target words, a weighted variant of an attention mechanism is used to balance the attentive information between lexical and phrase vectors. Using a tree-based rare word encoding, the proposed model is extended to sub-word level to alleviate the out-of-vocabulary (OOV) problem. Empirical results reveal that the proposed model significantly outperforms sequence-to-sequence attention-based and tree-based neural translation models in English-Chinese translation tasks.


title: The Power of Constraint Grammars Revisited

abstract: Sequential Constraint Grammar (SCG) (Karlsson, 1990) and its extensions have lacked clear connections to formal language theory. The purpose of this article is to lay a foundation for these connections by simplifying the definition of strings processed by the grammar and by showing that Nonmonotonic SCG is undecidable and that derivations similar to the Generative Phonology exist. The current investigations propose resource bounds that restrict the generative power of SCG to a subset of context sensitive languages and present a strong finite-state condition for grammars as wholes. We show that a grammar is equivalent to a finite-state transducer if it is implemented with a Turing machine that runs in o(n log n) time. This condition opens new finite-state hypotheses and avenues for deeper analysis of SCG instances in the way inspired by Finite-State Phonology.


title: To Normalize, or Not to Normalize: The Impact of Normalization on Part-of-Speech Tagging

abstract: Does normalization help Part-of-Speech (POS) tagging accuracy on noisy, non-canonical data? To the best of our knowledge, little is known on the actual impact of normalization in a real-world scenario, where gold error detection is not available. We investigate the effect of automatic normalization on POS tagging of tweets. We also compare normalization to strategies that leverage large amounts of unlabeled data kept in its raw form. Our results show that normalization helps, but does not add consistently beyond just word embedding layer initialization. The latter approach yields a tagging model that is competitive with a Twitter state-of-the-art tagger.


title: Majorana splitting from critical currents in Josephson junctions

abstract: A semiconducting nanowire with strong Rashba spin-orbit coupling and coupled to a superconductor can be tuned by an external Zeeman field into a topological phase with Majorana zero modes. Here we theoretically investigate how this exotic topological superconductor phase manifests in Josephson junctions based on such proximitized nanowires. In particular, we focus on critical currents in the short junction limit ($L_{\rm N}\ll \xi$, where $L_{\rm N}$ is the junction length and $\xi$ is the superconducting coherence length) and show that they contain important information about nontrivial topology and Majoranas. This includes signatures of the gap inversion at the topological transition and a unique oscillatory pattern that originates from Majorana interference. Interestingly, this pattern can be modified by tuning the transmission across the junction, thus providing complementary evidence of Majoranas and their energy splittings beyond standard tunnel spectroscopy experiments, while offering further tunability by virtue of the Josephson effect.


title: LIG-CRIStAL System for the WMT17 Automatic Post-Editing Task

abstract: This paper presents the LIG-CRIStAL submission to the shared Automatic Post- Editing task of WMT 2017. We propose two neural post-editing models: a monosource model with a task-specific attention mechanism, which performs particularly well in a low-resource scenario; and a chained architecture which makes use of the source sentence to provide extra context. This latter architecture manages to slightly improve our results when more training data is available. We present and discuss our results on two datasets (en-de and de-en) that are made available for the task.


title: Analytical solutions to slender-ribbon theory

abstract: The low-Reynolds number hydrodynamics of slender ribbons is accurately captured by slender-ribbon theory, an asymptotic solution to the Stokes equation which assumes that the three length scales characterising the ribbons are well separated. We show in this paper that the force distribution across the width of an isolated ribbon located in a infinite fluid can be determined analytically, irrespective of the ribbon's shape. This, in turn, reduces the surface integrals in the slender-ribbon theory equations to a line integral analogous to the one arising in slender-body theory to determine the dynamics of filaments. This result is then used to derive analytical solutions to the motion of a rigid plate ellipsoid and a ribbon torus and to propose a ribbon resistive-force theory, thereby extending the resistive-force theory for slender filaments.


title: The geometry of Casimir W-algebras

abstract: Let $\mathfrak{g}$ be a simply laced Lie algebra, $\widehat{\mathfrak{g}}_1$ the corresponding affine Lie algebra at level one, and $\mathcal{W}(\mathfrak{g})$ the corresponding Casimir W-algebra. We consider $\mathcal{W}(\mathfrak{g})$-symmetric conformal field theory on the Riemann sphere. To a number of $\mathcal{W}(\mathfrak{g})$-primary fields, we associate a Fuchsian differential system. We compute correlation functions of $\widehat{\mathfrak{g}}_1$-currents in terms of solutions of that system, and construct the bundle where these objects live. We argue that cycles on that bundle correspond to parameters of the conformal blocks of the W-algebra, equivalently to moduli of the Fuchsian system.


title: Parallel transport for vector bundles on p-adic varieties

abstract: We develop a theory of \'etale parallel transport for vector bundles with numerically flat reduction on a $p$-adic variety. This construction is compatible with natural operations on vector bundles, Galois equivariant and functorial with respect to morphisms of varieties. In particular, it provides a continuous $p$-adic representation of the \'etale fundamental group for every vector bundle with numerically flat reduction. The results in the present paper generalize previous work by the authors on curves. They can be seen as a $p$-adic analog of higher-dimensional generalizations of the classical Narasimhan-Seshadri correspondence on complex varieties. Moreover, they provide new insights into Faltings' $p$-adic Simpson correspondence between small Higgs bundles and small generalized representations by establishing a class of vector bundles with vanishing Higgs field giving rise to actual (not only generalized) representations.


title: High Isolation Improvement in a Compact UWB MIMO Antenna

abstract: A compact multiple-input-multiple-output (MIMO) antenna with very high isolation is proposed for ultrawide-band (UWB) applications. The antenna with a compact size of 30.1x20.5 mm^2 (0.31${\lambda}_0$ x0.21${\lambda}_0$ ) consists of two planar-monopole antenna elements. It is found that isolation of more than 25 dB can be achieved between two parallel monopole antenna elements. For the low-frequency isolation, an efficient technique of bending the feed-line and applying a new protruded ground is introduced. To increase isolation, a design based on suppressing surface wave, near-field, and far-field coupling is applied. The simulation and measurement results of the proposed antenna with the good agreement are presented and show a bandwidth with S 11 < -10 dB, S 12 < -25 dB ranged from 3.1 to 10.6 GHz making the proposed antenna a good candidate for UWB MIMO systems.


title: Purely Combinatorial Algorithms for Approximate Directed Minimum Degree Spanning Trees

abstract: Given a directed graph $G$ on $n$ vertices with a special vertex $s$, the directed minimum degree spanning tree problem requires computing a incoming spanning tree rooted at $s$ whose maximum tree in-degree is the smallest among all such trees. The problem is known to be NP-hard, since it generalizes the Hamiltonian path problem. The best LP-based polynomial time algorithm can achieve an approximation of $\Delta^*+2$ [Bansal et al, 2009], where $\Delta^*$ denotes the optimal maximum tree in-degree. As for purely combinatorial algorithms (algorithms that do not use LP), the best approximation is $O(\Delta^*+\log n)$ [Krishnan and Raghavachari, 2001] but the running time is quasi-polynomial. In this paper, we focus on purely combinatorial algorithms and try to bridge the gap between LP-based approaches and purely combinatorial approaches. As a result, we propose a purely combinatorial polynomial time algorithm that also achieves an $O(\Delta^* + \log n)$ approximation. Then we improve this algorithm to obtain a $(1+\epsilon)\Delta^* + O(\frac{\log n}{\log\log n})$ for any constant $0<\epsilon<1$ approximation in polynomial time.


title: Tight Analysis of Randomized Greedy MIS

abstract: We provide a tight analysis which settles the round complexity of the well-studied parallel randomized greedy MIS algorithm, thus answering the main open question of Blelloch, Fineman, and Shun [SPAA'12]. The parallel/distributed randomized greedy Maximal Independent Set (MIS) algorithm works as follows. An order of the vertices is chosen uniformly at random. Then, in each round, all vertices that appear before their neighbors in the order are added to the independent set and removed from the graph along with their neighbors. The main question of interest is the number of rounds it takes until the graph is empty. This algorithm has been studied since 1987, initiated by Coppersmith, Raghavan, and Tompa [FOCS'87], and the previously best known bounds were $O(\log n)$ rounds in expectation for Erd\H{o}s-R\'{e}nyi random graphs by Calkin and Frieze [Random Struc. \& Alg. '90] and $O(\log^2 n)$ rounds with high probability for general graphs by Blelloch, Fineman, and Shun [SPAA'12]. We prove a high probability upper bound of $O(\log n)$ on the round complexity of this algorithm in general graphs, and that this bound is tight. This also shows that parallel randomized greedy MIS is as fast as the celebrated algorithm of Luby [STOC'85, JALG'86].


title: Primordial perturbations from inflation with a hyperbolic field-space

abstract: We study primordial perturbations from hyperinflation, proposed recently and based on a hyperbolic field-space. In the previous work, it was shown that the field-space angular momentum supported by the negative curvature modifies the background dynamics and enhances fluctuations of the scalar fields qualitatively, assuming that the inflationary background is almost de Sitter. In this work, we confirm and extend the analysis based on the standard approach of cosmological perturbation in multi-field inflation. At the background level, to quantify the deviation from de Sitter, we introduce the slow-varying parameters and show that steep potentials, which usually can not drive inflation, can drive inflation. At the linear perturbation level, we obtain the power spectrum of primordial curvature perturbation and express the spectral tilt and running in terms of the slow-varying parameters. We show that hyperinflation with power-law type potentials has already been excluded by the recent Planck observations, while exponential-type potential with the exponent of order unity can be made consistent with observations as far as the power spectrum is concerned. We also argue that, in the context of a simple $D$-brane inflation, the hyperinflation requires exponentially large hyperbolic extra dimensions but that masses of Kaluza-Klein gravitons can be kept relatively heavy.


title: The General Subclasses of the Analytic Functions and Their Various Properties

abstract: The object of the present paper is to introduce and investigate two new general subclasses ${{S}^{*}}C(\alpha ,\beta ;\gamma )$ and $T{{S}^{*}}C(\alpha ,\beta ;\gamma )~~(\alpha, \beta \in [0,1),~\gamma \in [0,1])$ of the analytic functions. Here, we give sufficient conditions as well as necessary and sufficient conditions for the functions belonging to the classes.


title: Neural Reranking for Named Entity Recognition

abstract: We propose a neural reranking system for named entity recognition (NER). The basic idea is to leverage recurrent neural network models to learn sentence-level patterns that involve named entity mentions. In particular, given an output sentence produced by a baseline NER model, we replace all entity mentions, such as \textit{Barack Obama}, into their entity types, such as \textit{PER}. The resulting sentence patterns contain direct output information, yet is less sparse without specific named entities. For example, "PER was born in LOC" can be such a pattern. LSTM and CNN structures are utilised for learning deep representations of such sentences for reranking. Results show that our system can significantly improve the NER accuracies over two different baselines, giving the best reported results on a standard benchmark.


title: Differentially Private Testing of Identity and Closeness of Discrete Distributions

abstract: We study the fundamental problems of identity testing (goodness of fit), and closeness testing (two sample test) of distributions over $k$ elements, under differential privacy. While the problems have a long history in statistics, finite sample bounds for these problems have only been established recently. In this work, we derive upper and lower bounds on the sample complexity of both the problems under $(\varepsilon, \delta)$-differential privacy. We provide optimal sample complexity algorithms for identity testing problem for all parameter ranges, and the first results for closeness testing. Our closeness testing bounds are optimal in the sparse regime where the number of samples is at most $k$. Our upper bounds are obtained by privatizing non-private estimators for these problems. The non-private estimators are chosen to have small sensitivity. We propose a general framework to establish lower bounds on the sample complexity of statistical tasks under differential privacy. We show a bound on differentially private algorithms in terms of a coupling between the two hypothesis classes we aim to test. By constructing carefully chosen priors over the hypothesis classes, and using Le Cam's two point theorem we provide a general mechanism for proving lower bounds. We believe that the framework can be used to obtain strong lower bounds for other statistical tasks under privacy.


title: Status of the HIE-ISOLDE project at CERN

abstract: The HIE-ISOLDE project represents a major upgrade of the ISOLDE nuclear facility with a mandate to significantly improve the quality and increase the intensity and energy of radioactive nuclear beams produced at CERN. The project will expand the experimental nuclear physics programme at ISOLDE by focusing on an upgrade of the existing Radioactive ion beam EXperiment (REX) linac with a 40 MV superconducting linac comprising thirty-two niobium-on-copper sputter-coated quarter-wave resonators housed in six cryomodules. The new linac will raise the energy of post-accelerated beams from 3 MeV/u to over 10 MeV/u. The upgrade will be staged to first deliver beam energies of 5.5 MeV/u using two high-$\beta$ cryomodules placed downstream of REX, before the energy variable section of the existing linac is replaced with two low-$\beta$ cryomodules and two additional high-$\beta$ cryomodules are installed to attain over 10 MeV/u with full energy variability above 0.45 MeV/u. An overview of the project including a status summary of the different R&D activities and the schedule will outlined.


title: CALIFA reveals Prolate Rotation in Massive Early-type Galaxies: A Polar Galaxy Merger Origin?

abstract: We present new evidence for eight early-type galaxies (ETGs) from the CALIFA Survey that show clear rotation around their major photometric axis ("prolate rotation"). These are LSBCF560-04, NGC 0647, NGC 0810, NGC 2484, NGC 4874, NGC 5216, NGC 6173 and NGC 6338. Including NGC 5485, a known case of an ETG with stellar prolate rotation, as well as UGC 10695, a further possible candidate for prolate rotation, we report ten CALIFA galaxies in total that show evidence for such a feature in their stellar kinematics. Prolate rotators correspond to ~9% of the volume-corrected sample of CALIFA ETGs, a fraction much higher than previously reported. We find that prolate rotation is more common among the most massive ETGs. We investigate the implications of these findings by studying N-body merger simulations, and show that a prolate ETG with rotation around its major axis could be the result of a major polar merger, with the amplitude of prolate rotation depending on the initial bulge-to-total stellar mass ratio of its progenitor galaxies. Additionally, we find that prolate ETGs resulting from this formation scenario show a correlation between their stellar line-of-sight velocity and higher order moment h_3, opposite to typical oblate ETGs, as well as a double peak of their stellar velocity dispersion along their minor axis. Finally, we investigate the origin of prolate rotation in polar galaxy merger remnants. Our findings suggest that prolate rotation in massive ETGs might be more common than previously expected, and can help towards a better understanding of their dynamical structure and formation origin.


title: Interpreting quantum coherence through a quantum measurement process

abstract: Recently, there has been a renewed interest in the quantification of coherence or other coherence-like concepts within the framework of quantum resource theory. However, rigorously defined or not, the notion of coherence or decoherence has already been used by the community for decades since the advent of quantum theory. Intuitively, the definitions of coherence and decoherence should be the two sides of the same coin. Therefore, a natural question is raised: how can the conventional decoherence processes, such as the von Neumann-L\"{u}ders (projective) measurement postulation or partially dephasing channels, fit into the bigger picture of the recently established theoretic framework? Here we show that the state collapse rules of the von Neumann or L\"{u}ders-type measurements, as special cases of genuinely incoherent operations (GIO), are consistent with the resource theories of quantum coherence. New hierarchical measures of coherence are proposed for the L\"{u}ders-type measurement and their relationship with measurement-dependent discord is addressed. Moreover, utilizing the fixed point theory for $C^\ast$-algebra, we prove that GIO indeed represent a particular type of partially dephasing (phase-damping) channels which have a matrix representation based on the Schur product. By virtue of the Stinespring's dilation theorem, the physical realizations of incoherent operations are investigated in detail and we find that GIO in fact constitute the core of strictly incoherent operations (SIO) and generally incoherent operations (IO) and the unspeakable notion of coherence induced by GIO can be transferred to the theories of speakable coherence by the corresponding permutation or relabeling operators.


title: The downward directed grounds hypothesis and very large cardinals

abstract: A transitive model $M$ of ZFC is called a ground if the universe $V$ is a set forcing extension of $M$. We show that the grounds of $V$ are downward set-directed. Consequently, we establish some fundamental theorems on the forcing method and the set-theoretic geology. For instance, (1) the mantle, the intersection of all grounds, must be a model of ZFC. (2) $V$ has only set many grounds if and only if the mantle is a ground. We also show that if the universe has some very large cardinal, then the mantle must be a ground.