title: Deterministic Genericity for Polynomial Ideals

abstract: We consider several notions of genericity appearing in algebraic geometry and commutative algebra. Special emphasis is put on various stability notions which are defined in a combinatorial manner and for which a number of equivalent algebraic characterisations are provided. It is shown that in characteristic zero the corresponding generic positions can be obtained with a simple deterministic algorithm. In positive characteristic, only adapted stable positions are reachable except for quasi-stability which is obtainable in any characteristic.


title: Reinforced Mnemonic Reader for Machine Reading Comprehension

abstract: In this paper, we introduce the Reinforced Mnemonic Reader for machine reading comprehension tasks, which enhances previous attentive readers in two aspects. First, a reattention mechanism is proposed to refine current attentions by directly accessing to past attentions that are temporally memorized in a multi-round alignment architecture, so as to avoid the problems of attention redundancy and attention deficiency. Second, a new optimization approach, called dynamic-critical reinforcement learning, is introduced to extend the standard supervised method. It always encourages to predict a more acceptable answer so as to address the convergence suppression problem occurred in traditional reinforcement learning algorithms. Extensive experiments on the Stanford Question Answering Dataset (SQuAD) show that our model achieves state-of-the-art results. Meanwhile, our model outperforms previous systems by over 6% in terms of both Exact Match and F1 metrics on two adversarial SQuAD datasets.


title: $2\pi$-flux loop semimetals

abstract: We introduce a model of $2\pi$-flux loop semimetals which holds nodal loops described by a winding number $\nu=2$. By adding some extra terms, this model can be transformed into a recently discovered Hopf-link semimetal, and the symmetries distinguishing these two phases are studied. We also propose a simpler physical implementation of $2\pi$-flux loops and of the Hopf-link semimetals which only involves nearest-neighbor hoppings, although in the presence of spin-orbit interaction. Finally, we investigate the Floquet properties of the $2\pi$-flux loop, and find that such a loop may be driven into two separated $\pi$-flux loops or four Weyl points by light with circular polarization in certain directions.


title: Measurements of the nuclear modification factor and elliptic flow of leptons from heavy-flavour hadron decays in Pb--Pb collisions at $\sqrt{s_{\rm NN}}$ = 2.76 and 5.02 TeV with ALICE

abstract: We present the ALICE results on the nuclear modification factor and elliptic flow of electrons and muons from open heavy-flavour hadron decays at mid-rapidity and forward rapidity in Pb--Pb collisions at $\sqrt{s_{\rm NN}}$ = 2.76 and 5.02 TeV for different centrality intervals. The results are compared to model calculations that include interactions of heavy quarks with the medium.


title: Graph Embedding Techniques, Applications, and Performance: A Survey

abstract: Graphs, such as social networks, word co-occurrence networks, and communication networks, occur naturally in various real-world applications. Analyzing them yields insight into the structure of society, language, and different patterns of communication. Many approaches have been proposed to perform the analysis. Recently, methods which use the representation of graph nodes in vector space have gained traction from the research community. In this survey, we provide a comprehensive and structured analysis of various graph embedding techniques proposed in the literature. We first introduce the embedding task and its challenges such as scalability, choice of dimensionality, and features to be preserved, and their possible solutions. We then present three categories of approaches based on factorization methods, random walks, and deep learning, with examples of representative algorithms in each category and analysis of their performance on various tasks. We evaluate these state-of-the-art methods on a few common datasets and compare their performance against one another. Our analysis concludes by suggesting some potential applications and future directions. We finally present the open-source Python library we developed, named GEM (Graph Embedding Methods, available at https://github.com/palash1992/GEM), which provides all presented algorithms within a unified interface to foster and facilitate research on the topic.


title: Directed Information as Privacy Measure in Cloud-based Control

abstract: We consider cloud-based control scenarios in which clients with local control tasks outsource their computational or physical duties to a cloud service provider. In order to address privacy concerns in such a control architecture, we first investigate the issue of finding an appropriate privacy measure for clients who desire to keep local state information as private as possible during the control operation. Specifically, we justify the use of Kramer's notion of causally conditioned directed information as a measure of privacy loss based on an axiomatic argument. Then we propose a methodology to design an optimal "privacy filter" that minimizes privacy loss while a given level of control performance is guaranteed. We show in particular that the optimal privacy filter for cloud-based Linear-Quadratic-Gaussian (LQG) control can be synthesized by a Linear-Matrix-Inequality (LMI) algorithm. The trade-off in the design is illustrated by a numerical example.


title: Connected numbers and the embedded topology of plane curves

abstract: The splitting number of a plane irreducible curve for a Galois cover is effective to distinguish the embedded topologies of plane curves. In this paper, we define a connected number of any plane curve for a Galois cover whose branch divisor has no common components with the plane curve, which is similar to the splitting number. We classify the embedded topology of Artal arrangements of degree $b\geq 4$ by the connected number, where an Artal arrangement of degree $b$ is a plane curve consisting of one smooth curve of dgree $b$ and three total inflectional tangents.


title: Exchange coupling of a perpendicular ferromagnet to a half-metallic compensated ferrimagnet via a thin hafnium interlayer

abstract: A thin Hafnium film is shown to act both as an effective diffusion barrier for manganese at a thickness of 0.7 nm, and as an effective exchange coupling layer in a sandwich structure with perpendicular magnetic anisotropy. The magnetic layers are Co$_{20}$Fe$_{60}$B$_{20}$ and the low moment ferrimagnet Mn$_2$Ru$_x$Ga (MRG). The coupling changes sign at the compensation temperature of MRG and the exchange energy reaches 0.11 mJm$^{-2}$ for the thinnest Hf interlayers. Ruthenium, the usual metal of choice for coupling ferromagnetic layers in thin film heterostructures, cannot be used with the zero-moment half metal MRG because of Ru interdiffusion. Due to its large coercivity near compensation, the MRG can act as an effective source of exchange pinning.


title: Existence of regular solutions for a certain type of non-Newtonian Navier-Stokes equations

abstract: We are concerned with existence of regular solutions for non-Newtonian fluids in dimension three. For a certain type of non-Newtonian fluids we prove local existence of unique regular solutions, provided that the initial data are sufficiently smooth. Moreover, if the $H^3$-norm of initial data is sufficiently small, then the regular solution exists globally in time.


title: Chiral perturbation theory and nucleon-pion-state contaminations in lattice QCD

abstract: Multi-particle states with additional pions are expected to be a non-negligible source of excited-state contamination in lattice simulations at the physical point. It is shown that baryon chiral perturbation theory can be employed to calculate the contamination due to two-particle nucleon-pion states in various nucleon observables. Leading order results are presented for the nucleon axial, tensor and scalar charge and three Mellin moments of parton distribution functions (quark momentum fraction, helicity and transversity moment). Taking into account phenomenological results for the charges and moments the impact of the nucleon-pion-states on lattice estimates for these observables can be estimated. The nucleon-pion-state contribution results in an overestimation of all charges and moments obtained with the plateau method. The overestimation is at the 5-10% level for source-sink separations of about 2 fm. The source-sink separations accessible in contemporary lattice simulations are found to be too small for chiral perturbation theory to be directly applicable.


title: Systematic efficiency study of line-doubled zone plates

abstract: Line-doubled Fresnel zone plates provide nanoscale, high aspect ratio structures required for efficient high resolution imaging in the multi-keV x-ray range. For the fabrication of such optics a high aspect ratio HSQ resist template is produced by electron-beam lithography and then covered with Ir by atomic layer deposition (ALD).


title: Towards Reduced Instruction Sets for Synchronization

abstract: Contrary to common belief, a recent work by Ellen, Gelashvili, Shavit, and Zhu has shown that computability does not require multicore architectures to support "strong" synchronization instructions like compare-and-swap, as opposed to combinations of "weaker" instructions like decrement and multiply. However, this is the status quo, and in turn, most efficient concurrent data-structures heavily rely on compare-and-swap (e.g. for swinging pointers and in general, conflict resolution). We show that this need not be the case, by designing and implementing a concurrent linearizable Log data-structure (also known as a History object), supporting two operations: append(item), which appends the item to the log, and get-log(), which returns the appended items so far, in order. Readers are wait-free and writers are lock-free, and this data-structure can be used in a lock-free universal construction to implement any concurrent object with a given sequential specification. Our implementation uses atomic read, xor, decrement, and fetch-and-increment instructions supported on X86 architectures, and provides similar performance to a compare-and-swap-based solution on today's hardware. This raises a fundamental question about minimal set of synchronization instructions that the architectures have to support.


title: Applications of L systems to group theory

abstract: L systems generalise context-free grammars by incorporating parallel rewriting, and generate languages such as EDT0L and ET0L that are strictly contained in the class of indexed languages. In this paper we show that many of the languages naturally appearing in group theory, and that were known to be indexed or context-sensitive, are in fact ET0L and in many cases EDT0L. For instance, the language of primitives in the free group on two generators, the Bridson-Gilman normal forms for the fundamental groups of 3-manifolds or orbifolds, and the co-word problem of Grigorchuk's group can be generated by L systems. To complement the result on primitives in free groups, we show that the language of primitives, and primitive sets, in free groups of rank higher than two is context-sensitive. We also show the existence of EDT0L and ET0L languages of intermediate growth.


title: The homotopy limit problem and the cellular Picard group of Hermitian $K$-theory

abstract: We use descent theoretic methods to solve the homotopy limit problem for Hermitian $K$-theory over quasi-compact and quasi-separated base schemes. As another application of these descent theoretic methods, we compute the cellular Picard group of 2-complete Hermitian $K$-theory over $\mathop{Spec}(\mathbb{C})$, showing that the only invertible cellular spectra are suspensions of the tensor unit.


title: Four-qubit Systems and Dyonic Black Hole-Black Branes in Superstring Theory

abstract: Using dyonic solutions in the type IIA superstring theory on Calabi-Yau manifolds, we reconsider the study of black objects and quantum information theory using string/string duality in six dimensions. Concretely, we relate four-qubits with a stringy quaternionic moduli space of type IIA compactification associated with a dyonic black solution formed by black holes (BH) and black 2-branes (B2B) carrying 8 electric charges and 8 magnetic charges. This connection is made by associating the cohomology classes of the heterotic superstring on T^{4} to four-qubit states. These states are interpreted in terms of such dyonic charges resulting from the quaternionic symmetric space \frac{SO(4,4)}{SO(4)\times SO(4)} corresponding to a N=4 sigma model superpotential in two dimensions. The superpotential is considered as a functional depending on four quaternionic fields mapped to a class of Clifford algebras denoted as Cl_{0,4}. A link between such an algebra and the cohomology classes of T^4 in heterotic superstring theory is also given.


title: Exploring the volatile composition of comets C/2012 F6 (Lemmon) and C/2012 S1 (ISON) with ALMA

abstract: Comets formed in the outer and cold parts of the disk which eventually evolved into our Solar System. Assuming that the comets have undergone no major processing, studying their composition provides insight in the pristine composition of the Solar Nebula. We derive production rates for a number of volatile coma species and explore how molecular line ratios can help constrain the uncertainties of these rates. We analyse observations obtained with the Atacama Large Millimetre/Submillimetre Array of the volatile composition of the comae of comets C/2012 F6 (Lemmon) and C/2012 S1 (ISON) at heliocentric distances of ~1.45 AU and ~0.56 AU, respectively. Assuming a Haser profile with constant outflow velocity, we model the line intensity of each transition using a 3D radiative transfer code and derive molecular production rates and parent scale lengths. We report the first detection of CS in comet ISON obtained with the ALMA array and derive a parent scale length for CS of ~200 km. Due to the high spatial resolution of ALMA, resulting in a synthesised beam with a size slightly smaller than the derived parent scale length, we are able to tentatively identify CS as a daughter species, i.e., a species produced in the coma and/or sublimated from icy grains, rather than a parent species. In addition we report the detection of several CH3OH transitions and confirm the previously reported detections of HCN, HNC and H2CO as well as dust in the coma of each comet, and report 3sigma upper limits for HCO+. We derive molecular production rates relative to water of 0.2% for CS, 0.06-0.1% for HCN, 0.003-0.05% for HNC, 0.1-0.2% for H2CO and 0.5-1.0% for CH3OH, and show that the modelling uncertainties due to unknown collision rates and kinematic temperatures are modest and can be mitigated by available observations of different transitions of HCN.


title: On the Height of Towers of Subsequences and Prefixes

abstract: A tower is a sequence of words alternating between two languages in such a way that every word is a subsequence of the following word. The height of the tower is the number of words in the sequence. If there is no infinite tower (a tower of infinite height), then the height of all towers between the languages is bounded. We study upper and lower bounds on the height of maximal finite towers with respect to the size of the NFA (the DFA) representation of the languages. We show that the upper bound is polynomial in the number of states and exponential in the size of the alphabet, and that it is asymptotically tight if the size of the alphabet is fixed. If the alphabet may grow, then, using an alphabet of size approximately the number of states of the automata, the lower bound on the height of towers is exponential with respect to that number. In this case, there is a gap between the lower and upper bound, and the asymptotically optimal bound remains an open problem. Since, in many cases, the constructed towers are sequences of prefixes, we also study towers of prefixes.


title: N=4 l-conformal Galilei superalgebra

abstract: An N=4 supersymmetric extension of the l-conformal Galilei algebra is constructed. This is achieved by combining generators of spatial symmetries from the l-conformal Galilei algebra and those underlying the most general superconformal group in one dimension D(2,1;a). The value of the group parameter a is fixed from the requirement that the resulting superalgebra is finite-dimensional. The analysis reveals a=-1/2 thus reducing D(2,1;a) to OSp(4|2).


title: Aggregation and Disaggregation of Energetic Flexibility from Distributed Energy Resources

abstract: A variety of energy resources has been identified as being flexible in their electric energy consumption or generation. This energetic flexibility can be used for various purposes such as minimizing energy procurement costs or providing ancillary services to power grids. To fully leverage the flexibility available from distributed small-scale resources, their flexibility must be quantified and aggregated. This paper introduces a generic and scalable approach for flexible energy systems to quantitatively describe and price their flexibility based on zonotopic sets. The description proposed allows aggregators to efficiently pool the flexibility of large numbers of systems and to make control and market decisions on the aggregate level. In addition, an algorithm is presented that distributes aggregate-level control decisions among the individual systems of the pool in an economically fair and computationally efficient way. Finally, it is shown how the zonotopic description of flexibility enables an efficient computation of aggregate regulation power bid-curves.


title: Finite-Blocklength Bounds on the Maximum Coding Rate of Rician Fading Channels with Applications to Pilot-Assisted Transmission

abstract: We present nonasymptotic bounds on the maximum coding rate achievable over a Rician block-fading channel for a fixed packet size and a fixed packet error probability. Our bounds, which apply to the scenario where no a priori channel state information is available at the receiver, allow one to quantify the tradeoff between the rate gains resulting from the exploitation of time-frequency diversity and the rate loss resulting from fast channel variations and pilot-symbol overhead.


title: Efficient classical verification of quantum computations

abstract: We propose an efficient scheme for verifying quantum computations in the `high complexity' regime i.e. beyond the remit of classical computers. Previously proposed schemes remarkably provide confidence against arbitrarily malicious adversarial behaviour in the misfunctioning of the quantum computing device. Our scheme is not secure against arbitrarily adversarial behaviour, but may nevertheless be sufficiently acceptable in many practical situations. With this concession we gain in manifest simplicity and transparency, and in contrast to previous schemes, our verifier is entirely classical. It is based on the fact that adaptive Clifford circuits on general product state inputs provide universal quantum computation, while the same processes without adaptation are always classically efficiently simulatable.


title: Just-infinite C*-algebras and their invariants

abstract: Just-infinite C*-algebras, i.e., infinite dimensional C*-algebras, whose proper quotients are finite dimensional, were investigated in [Grigorchuk-Musat-Rordam, 2016]. One particular example of a just-infinite residually finite dimensional AF-algebras was constructed in that article. In this paper we extend that construction by showing that each infinite dimensional metrizable Choquet simplex is affinely homeomorphic to the trace simplex of a just-infinite residually finite dimensional C*-algebras. The trace simplex of any unital residually finite dimensional C*-algebra is hence realized by a just-infinite one. We determine the trace simplex of the particular residually finite dimensional AF-algebras constructed in the above mentioned article, and we show that it has precisely one extremal trace of type II_1. We give a complete description of the Bratteli diagrams corresponding to residually finite dimensional AF-algebras. We show that a modification of any such Bratteli diagram, similar to the modification that makes an arbitrary Bratteli diagram simple, will yield a just-infinite residually finite dimensional AF-algebra.


title: On degree sum conditions for 2-factors with a prescribed number of cycles

abstract: For a vertex subset $X$ of a graph $G$, let $\Delta_{t}(X)$ be the maximum value of the degree sums of the subsets of $X$ of size $t$. In this paper, we prove the following result: Let $k$ be a positive integer, and let $G$ be an $m$-connected graph of order $n \ge 5k - 2$. If $\Delta_{2}(X) \ge n$ for every independent set $X$ of size $\lceil m/k \rceil+1$ in $G$, then $G$ has a 2-factor with exactly $k$ cycles. This is a common generalization of the results obtained by Brandt et al. [Degree conditions for 2-factors, J. Graph Theory 24 (1997) 165-173] and Yamashita [On degree sum conditions for long cycles and cycles through specified vertices, Discrete Math. 308 (2008) 6584-6587], respectively.


title: Activity induced first order transition for the current in a disordered medium

abstract: It is well known that particles can get trapped by randomly placed obstacles when they are pushed too much. We present a model where the current in a disordered medium dies at a large external field, but is reborn when the activity is increased. By activity we mean the time-variation of the external driving at a constant time-averaged field. A different interpretation of the resurgence of the current is that the particles are capable of taking an infinite sequence of potential barriers via a mechanism similar to stochastic resonance. We add a discussion regarding the role of "shaking" in processes of relaxation.


title: Finite-time attitude synchronization with distributed discontinuous protocols

abstract: The finite-time attitude synchronization problem is considered in this paper, where the rotation of each rigid body is expressed using the axis-angle representation. Two discontinuous and distributed controllers using the vectorized signum function are proposed, which guarantee almost global and local convergence, respectively. Filippov solutions and non-smooth analysis techniques are adopted to handle the discontinuities. Sufficient conditions are provided to guarantee finite-time convergence and boundedness of the solutions. Simulation examples are provided to verify the performances of the control protocols designed in this paper.


title: Rank Vertex Cover as a Natural Problem for Algebraic Compression

abstract: The question of the existence of a polynomial kernelization of the Vertex Cover Above LP problem has been a longstanding, notorious open problem in Parameterized Complexity. Five years ago, the breakthrough work by Kratsch and Wahlstrom on representative sets has finally answered this question in the affirmative [FOCS 2012]. In this paper, we present an alternative, algebraic compression of the Vertex Cover Above LP problem into the Rank Vertex Cover problem. Here, the input consists of a graph G, a parameter k, and a bijection between V (G) and the set of columns of a representation of a matriod M, and the objective is to find a vertex cover whose rank is upper bounded by k.


title: The Blank Stare: Retrieving Unique Eye Tracking Signatures Independent of Visual Stimuli

abstract: Using Low Cost Portable Eye Tracking for Biometric Identification Or Verification: Eye tracking technologies have in recent years become available outside of specialised labs, and are starting to become integrated in tablets and virtual reality headsets. This offers new opportunities for use in common office- and home environments, such as for biometric recognition (identification or verification), alone or in combination with other technologies. This paper exposes two fundamentally different approaches that have been suggested, based on spatial and temporal signatures respectively. While deploying different stimulation paradigms for recording, it also proposes an alternative way to analyze spatial domain signatures using Fourier transformation. Empirical data recorded from two subjects over two weeks, three months apart, are found to support previous results. Further, variations and stability of some of the proposed signatures are analyzed over the extended timeframe and under slightly varying conditions.


title: Some regional control problems for population dynamics

abstract: This paper deals with some control problems related to structured population dynamics with diffusion. Firstly, we investigate the regional control for an optimal harvesting problem (the control acts in a subregion $\omega$ of the whole domain $\Omega$). Using the necessary optimality conditions, for a fixed $\omega$, we get the structure of the harvesting effort which gives the maximum harvest; with this optimal effort we investigate the best choice of the subregion $\omega$ in order to maximize the harvest. We introduce an iterative numerical method to increase the total harvest at each iteration by changing the subregion where the effort acts. Numerical tests are used to illustrate the effectiveness of the theoretical results. We also consider the problem of eradication of an age-structured pest population dynamics with diffusion and logistic term, which is a zero-stabilization problem with constraints. We derive a necessary condition and a sufficient condition for zero-stabilizability. We formulate a related optimal control problem which takes into account the cost of intervention in the subregion $\omega$.


title: Disentangling magnetic order on nanostructured surfaces

abstract: We present a synchrotron-based X-ray scattering technique which allows disentangling magnetic properties of heterogeneous systems with nanopatterned surfaces. This technique combines the nmrange spatial resolution of surface morphology features provided by Grazing Incidence Small Angle X-ray Scattering and the high sensitivity of Nuclear Resonant Scattering to magnetic order. A single experiment thus allows attributing magnetic properties to structural features of the sample; chemical and structural properties may be correlated analogously. We demonstrate how this technique shows the correlation between structural growth and evolution of magnetic properties for the case of a remarkable magnetization reversal in a structurally and magnetically nanopatterned sample system.


title: Discriminant analysis in small and large dimensions

abstract: We study the distributional properties of the linear discriminant function under the assumption of normality by comparing two groups with the same covariance matrix but different mean vectors. A stochastic representation for the discriminant function coefficients is derived which is then used to obtain their asymptotic distribution under the high-dimensional asymptotic regime. We investigate the performance of the classification analysis based on the discriminant function in both small and large dimensions. A stochastic representation is established which allows to compute the error rate in an efficient way. We further compare the calculated error rate with the optimal one obtained under the assumption that the covariance matrix and the two mean vectors are known. Finally, we present an analytical expression of the error rate calculated in the high-dimensional asymptotic regime. The finite-sample properties of the derived theoretical results are assessed via an extensive Monte Carlo study.


title: Extending structures for associative conformal algebras

abstract: In this paper, we give a study of the $\mathbb{C}[\partial]$-split extending structures problem for associative conformal algebras. Using the unified product as a tool, which includes interesting products such as bicrossed product, cocycle semi-direct product and so on, a cohomological type object is constructed to characterize the $\mathbb{C}[\partial]$-split extending structures for associative conformal algebras. Moreover, using this theory, the extending structures of an associative conformal algebra $A$ which is free as a $\mathbb{C}[\partial]$-module by the $\mathbb{C}[\partial]$-module $Q=\mathbb{C}[\partial]x$ are described using flag datums of $A$. Furthermore, we give a classification of the extending structures of $A$ by $Q=\mathbb{C}[\partial]x$ in detail up to equivalence when $A$ is a free associative conformal algebra of rank 1.


title: Faster tuple lattice sieving using spherical locality-sensitive filters

abstract: To overcome the large memory requirement of classical lattice sieving algorithms for solving hard lattice problems, Bai-Laarhoven-Stehl\'{e} [ANTS 2016] studied tuple lattice sieving, where tuples instead of pairs of lattice vectors are combined to form shorter vectors. Herold-Kirshanova [PKC 2017] recently improved upon their results for arbitrary tuple sizes, for example showing that a triple sieve can solve the shortest vector problem (SVP) in dimension $d$ in time $2^{0.3717d + o(d)}$, using a technique similar to locality-sensitive hashing for finding nearest neighbors. In this work, we generalize the spherical locality-sensitive filters of Becker-Ducas-Gama-Laarhoven [SODA 2016] to obtain space-time tradeoffs for near neighbor searching on dense data sets, and we apply these techniques to tuple lattice sieving to obtain even better time complexities. For instance, our triple sieve heuristically solves SVP in time $2^{0.3588d + o(d)}$. For practical sieves based on Micciancio-Voulgaris' GaussSieve [SODA 2010], this shows that a triple sieve uses less space and less time than the current best near-linear space double sieve.


title: Non-autonomous bright solitons and their stability in Rabi coupled binary Bose-Einstein Condensates

abstract: The dynamics of non-autonomous bright matter-wave solitons in Rabi coupled binary Bose-Einstein condensates is explored. By performing a unitary and similarity/lens-type transformation, we reduce the non-autonomous Gross-Pitaevskii equation into the celebrated Manakov model. Then, we construct the exact bright solitons of the non-autonomous Gross-Pitaevskii system in the presence of time dependent nonlinearities for two specific forms, namely hyperbolic nonlinearities, which are of physical interest. The experimental possibilities of realizing the forms of temporally modulated potentials corresponding to these time dependent nonlinearities and supporting such localized structures are explored. Our study on the propagation of one soliton shows that the amplitude, velocity and shape of the bright soliton are altered by the time-dependent scattering length. We also analyse the non-trivial energy sharing collision of Manakov solitons in the presence of Rabi coupling and aforementioned nonlinearities. We find that breathers arise in two-soliton collisions and the nature of energy sharing collisions is altered from that of Manakov system due to Rabi coupling only. Further in the presence of time-dependent nonlinearities the collision scenario is again altered significantly. Finally, the stability of these localized structures is examined using a recently developed powerful analytic method by Quintero et. al., [Phys. Rev. E 91, 012905 (2015)] and it is shown that the non- autonomous bright solitons are indeed stable. The evolution of position and velocity is also studied.


title: Random time changes of Feller processes

abstract: We show that the SDE $dX_t = \sigma(X_{t-}) \, dL_t$, $X_0 \sim \mu$ driven by a one-dimensional symnmetric $\alpha$-stable L\'evy process $(L_t)_{t \geq 0}$, $\alpha \in (0,2]$, has a unique weak solution for any continuous function $\sigma: \mathbb{R} \to (0,\infty)$ which grows at most linearly. Our approach relies on random time changes of Feller processes. We study under which assumptions the random-time change of a Feller process is a conservative $C_b$-Feller process and prove the existence of a class of Feller processes with decomposable symbols. In particular, we establish new existence results for Feller processes with unbounded coefficients. As a by-product, we obtain a sufficient condition in terms of the symbol of a Feller process $(X_t)_{t \geq 0}$ for the perpetual integral $\int_{(0,\infty)} f(X_{s}) \, ds$ to be infinite almost surely.


title: What is a noncommutative topos?

abstract: In 1702.04949 noncommutative frames were introduced, generalizing the usual notion of frames of open sets of a topological space. In this paper we extend this notion to noncommutative Grothendieck topologies and their associated noncommutative toposes of sheaves of sets.


title: Penumbral thermal structure below the visible surface

abstract: $Context$. The thermal structure of the penumbra below its visible surface (i.e., $\tau_5 \ge 1$) has important implications for our present understanding of sunspots and their penumbrae: their brightness and energy transport, mode conversion of magneto-acoustic waves, sunspot seismology, and so forth. $Aims$. We aim at determining the thermal stratification in the layers immediately beneath the visible surface of the penumbra: $\tau_5 \in [1,3]$ ($\approx 70-80$ km below the visible continuum-forming layer). $Methods$. We analyzed spectropolarimetric data (i.e., Stokes profiles) in three Fe \textsc{i} lines located at 1565 nm observed with the GRIS instrument attached to the 1.5-meter solar telescope GREGOR. The data are corrected for the smearing effects of wide-angle scattered light and then subjected to an inversion code for the radiative transfer equation in order to retrieve, among others, the temperature as a function of optical depth $T(\tau_5)$. $Results$. We find that the temperature gradient below the visible surface of the penumbra is smaller than in the quiet Sun. This implies that in the region $\tau_5 \ge 1$ the penumbral temperature diverges from that of the quiet Sun. The same result is obtained when focusing only on the thermal structure below the surface of bright penumbral filaments. We interpret these results as evidence of a thick penumbra, whereby the magnetopause is not located near its visible surface. In addition, we find that the temperature gradient in bright penumbral filaments is lower than in granules. This can be explained in terms of the limited expansion of a hot upflow inside a penumbral filament relative to a granular upflow, as magnetic pressure and tension forces from the surrounding penumbral magnetic field hinder an expansion like this.


title: Phase transitions of the coherently coupled two-component Bose gas in a square optical lattice

abstract: We investigate properties of an ultracold, two-component bosonic gas in a square optical lattice at unit filling. In addition to density-density interactions, the atoms are subject to coherent light-matter interactions that couple different internal states. We examine the influence of this coherent coupling on the system and its quantum phases by using Gutzwiller mean field theory as well as bosonic dynamical mean field theory. We find that the interplay of strong inter-species repulsion and coherent coupling affects the Mott insulator to superfluid transition and shifts the tip of the Mott lobe toward higher values of the tunneling amplitude. In the strongly interacting Mott regime, the resulting Bose-Hubbard model can be mapped onto an effective spin Hamiltonian that offers additional insights into the observed phenomena.


title: Flow equations for cold Bose gases

abstract: We derive flow equations for cold atomic gases with one macroscopically populated energy level. The generator is chosen such that the ground state decouples from all other states in the system as the renormalization group flow progresses. We propose a self-consistent truncation scheme for the flow equations at the level of three-body operators and show how they can be used to calculate the ground state energy of a general $N$-body system. Moreover, we provide a general method to estimate the truncation error in the calculated energies. Finally, we test our scheme by benchmarking to the exactly solvable Lieb-Liniger model and find good agreement for weak and moderate interaction strengths.


title: $\theta_0$ thermal Josephson junction

abstract: We predict the thermal counterpart of the anomalous Josephson effect in superconductor/ferromagnet/superconductor junctions with non-coplanar magnetic texture. The heat current through the junction is shown to have the phase-sensitive interference component proportional to $\cos(\theta - \theta_0)$, where $\theta$ is the Josephson phase difference and $\theta_0$ is the texture-dependent phase shift. In the generic tri-layer magnetic structure with the spin-filtering tunnel barrier $\theta_0$ is determined by the spin chirality of magnetic configuration and can be considered as the direct manifestation of the energy transport with participation of spin-triplet Cooper pairs. In case of the ideal spin filter the phase shift is shown to be robust against spin relaxation caused by the spin-orbital scattering. Possible applications of the coupling between heat flow and magnetic precession are discussed.


title: Discretisation of regularity structures

abstract: We introduce a general framework allowing to apply the theory of regularity structures to discretisations of stochastic PDEs. The approach pursued in this article is that we do not focus on any one specific discretisation procedure. Instead, we assume that we are given a scale $\varepsilon > 0$ and a "black box" describing the behaviour of our discretised objects at scales below $\varepsilon $.


title: On a class of optimization-based robust estimators

abstract: We consider in this paper the problem of estimating a parameter matrix from observations which are affected by two types of noise components: (i) a sparse noise sequence which, whenever nonzero can have arbitrarily large amplitude (ii) and a dense and bounded noise sequence of "moderate" amount. This is termed a robust regression problem. To tackle it, a quite general optimization-based framework is proposed and analyzed. When only the sparse noise is present, a sufficient bound is derived on the number of nonzero elements in the sparse noise sequence that can be accommodated by the estimator while still returning the true parameter matrix. While almost all the restricted isometry-based bounds from the literature are not verifiable, our bound can be easily computed through solving a convex optimization problem. Moreover, empirical evidence tends to suggest that it is generally tight. If in addition to the sparse noise sequence, the training data are affected by a bounded dense noise, we derive an upper bound on the estimation error.


title: The adiabatic theorem and linear response theory for extended quantum systems

abstract: The adiabatic theorem refers to a setup where an evolution equation contains a time-dependent parameter whose change is very slow, measured by a vanishing parameter $\epsilon$. Under suitable assumptions the solution of the time-inhomogenous equation stays close to an instantaneous fixpoint. In the present paper, we prove an adiabatic theorem with an error bound that is independent of the number of degrees of freedom. Our setup is that of quantum spin systems where the manifold of ground states is separated from the rest of the spectrum by a spectral gap. One important application is the proof of the validity of linear response theory for such extended, genuinely interacting systems. In general, this is a long-standing mathematical problem, which can be solved in the present particular case of a gapped system, relevant e.g.~for the integer quantum Hall effect.


title: Kinks and branes in models with hyperbolic interactions

abstract: In this work we investigate several models described by a single real scalar field with non-polynomial interactions, constructed to support topological solutions. We do this using the deformation procedure to introduce a function which allows to construct two distinct families of hyperbolic potentials, controlled by three distinct parameters, in the standard formalism. In this way, the procedure allows us to get analytical solutions, and then investigate the energy density, linear stability and zero mode. We move on and introduce a non-standard formalism to obtain compact solutions, analytically. We also investigate these hyperbolic models in the braneworld context, considering both the standard and non-standard possibilities. The results show how to construct distinct braneworld models which are implemented via the first order formalism and are stable against fluctuation of the metric tensor.


title: Mutually cooperative epidemics on power-law networks

abstract: The spread of an infectious disease can, in some cases, promote the propagation of other pathogens favouring violent outbreaks, which cause a discontinuous transition to an endemic state. The topology of the contact network plays a crucial role in these cooperative dynamics. We consider a susceptible--infected--removed (SIR) type model with two mutually cooperative pathogens: an individual already infected with one disease has an increased probability of getting infected by the other. We present an heterogeneous mean-field theoretical approach to the co--infection dynamics on generic uncorrelated power-law degree-distributed networks and validate its results by means of numerical simulations. We show that, when the second moment of the degree distribution is finite, the epidemic transition is continuous for low cooperativity, while it is discontinuous when cooperativity is sufficiently high. For scale-free networks, i.e. topologies with diverging second moment, the transition is instead always continuous. In this way we clarify the effect of heterogeneity and system size on the nature of the transition and we validate the physical interpretation about the origin of the discontinuity.


title: The Edge-Wiener Index, the Szeged Indices and the PI Index of Benzenoid Systems in Sub-Linear Time

abstract: In this paper, we investigate the edge-Wiener index, the Szeged index, the edge-Szeged index, and the PI index, which are some of the most studied distance-based topological indices. As the main result we show that for benzenoid systems these indices can be computed in sub-linear time with respect to the number of vertices. More precisely, they can be computed in the time dependent on the length of the boundary cycle of a benzenoid system.


title: Dynamics of homogeneous shear turbulence: A key role of the nonlinear transverse cascade in the bypass concept

abstract: To understand the self-sustenance of subcritical turbulence in spectrally stable shear flows, we performed direct numerical simulations of homogeneous shear turbulence for different aspect ratios of the flow domain and analyzed the dynamical processes in Fourier space. There are no exponentially growing modes in such flows and the turbulence is energetically supported only by the linear growth of perturbation harmonics due to the shear flow non-normality. This non-normality-induced, or nonmodal growth is anisotropic in spectral space, which, in turn, leads to anisotropy of nonlinear processes in this space. As a result, a transverse (angular) redistribution of harmonics in Fourier space appears to be the main nonlinear process in these flows, rather than direct or inverse cascades. We refer to this type of nonlinear redistribution as the nonlinear transverse cascade. It is demonstrated that the turbulence is sustained by a subtle interplay between the linear nonmodal growth and the nonlinear transverse cascade that exemplifies a well-known bypass scenario of subcritical turbulence. These two basic processes mainly operate at large length scales, comparable to the domain size. Therefore, this central, small wave number area of Fourier space is crucial in the self-sustenance; we defined its size and labeled it as the vital area of turbulence. Outside the vital area, the nonmodal growth and the transverse cascade are of secondary importance. Although the cascades and the self-sustaining process of turbulence are qualitatively the same at different aspect ratios, the number of harmonics actively participating in this process varies, but always remains quite large. This implies that the self-sustenance of subcritical turbulence cannot be described by low-order models.

categories: physics.flu-dyn astro-ph.SR nlin.AO physics.plasm-ph


title: Block-Parallel IDA* for GPUs (Extended Manuscript)

abstract: We investigate GPU-based parallelization of Iterative-Deepening A* (IDA*). We show that straightforward thread-based parallelization techniques which were previously proposed for massively parallel SIMD processors perform poorly due to warp divergence and load imbalance. We propose Block-Parallel IDA* (BPIDA*), which assigns the search of a subtree to a block (a group of threads with access to fast shared memory) rather than a thread. On the 15-puzzle, BPIDA* on a NVIDIA GRID K520 with 1536 CUDA cores achieves a speedup of 4.98 compared to a highly optimized sequential IDA* implementation on a Xeon E5-2670 core.


title: Formalising opencypher Graph Queries in Relational Algebra

abstract: Graph database systems are increasingly adapted for storing and processing heterogeneous network-like datasets. However, due to the novelty of such systems, no standard data model or query language has yet emerged. Consequently, migrating datasets or applications even between related technologies often requires a large amount of manual work or ad-hoc solutions, thus subjecting the users to the possibility of vendor lock-in. To avoid this threat, vendors are working on supporting existing standard languages (e.g. SQL) or creating standardised languages. In this paper, we present a formal specification for openCypher, a high-level declarative graph query language with an ongoing standardisation effort. We introduce relational graph algebra, which extends relational operators by adapting graph-specific operators and define a mapping from core openCypher constructs to this algebra. We propose an algorithm that allows systematic compilation of openCypher queries.


title: Chaotic zones around rotating small bodies

abstract: Small bodies of the Solar system, like asteroids, trans-Neptunian objects, cometary nuclei, planetary satellites, with diameters smaller than one thousand kilometers usually have irregular shapes, often resembling dumb-bells, or contact binaries. The spinning of such a gravitating dumb-bell creates around it a zone of chaotic orbits. We determine its extent analytically and numerically. We find that the chaotic zone swells significantly if the rotation rate is decreased, in particular, the zone swells more than twice if the rotation rate is decreased ten times with respect to the "centrifugal breakup" threshold. We illustrate the properties of the chaotic orbital zones in examples of the global orbital dynamics about asteroid 243 Ida (which has a moon, Dactyl, orbiting near the edge of the chaotic zone) and asteroid 25143 Itokawa.


title: Semi-Markov models and motion in heterogeneous media

abstract: In this paper we study continuous time random walks (CTRWs) such that the holding time in each state has a distribution depending on the state itself. For such processes, we provide integro-differential (backward and forward) equations of Volterra type, exhibiting a position dependent convolution kernel. Particular attention is devoted to the case where the holding times have a power-law decaying density, whose exponent depends on the state itself, which leads to variable order fractional equations. A suitable limit yields a variable order fractional heat equation, which models anomalous diffusions in heterogeneous media.


title: Single Charge-Exchange Reactions and the Neutron Density at the Surface of the Nucleus

abstract: In this work we study the charge-exchange reaction to Isobaric Analog State using two types of transition densities. We show that for projectiles that do not probe the interior of the nucleus but mostly the surface of this nucleus, distinct differences in the cross-section arise when the two types of transition densities are employed. We demonstrate this by considering the (3He,t) reaction.


title: Goldberg, Fuller, Caspar, Klug and Coxeter and a general approach to local symmetry-preserving operations

abstract: Cubic polyhedra with icosahedral symmetry where all faces are pentagons or hexagons have been studied in chemistry and biology as well as mathematics. In chemistry one of these is buckminsterfullerene, a pure carbon cage with maximal symmetry, whereas in biology they describe the structure of spherical viruses. Parameterized operations to construct all such polyhedra were first described by Goldberg in 1937 in a mathematical context and later by Caspar and Klug -- not knowing about Goldberg's work -- in 1962 in a biological context. In the meantime Buckminster Fuller also used subdivided icosahedral structures for the construction of his geodesic domes. In 1971 Coxeter published a survey article that refers to these constructions. Subsequently, the literature often refers to the Goldberg-Coxeter construction. This construction is actually that of Caspar and Klug. Moreover, there are essential differences between this (Caspar/Klug/Coxeter) approach and the approaches of Fuller and of Goldberg. We will sketch the different approaches and generalize Goldberg's approach to a systematic one encompassing all local symmetry-preserving operations on polyhedra.


title: The influence of magnetic order on the magnetoresistance anisotropy of Fe$_{1+\delta-x}$Cu$_{x}$Te

abstract: We performed resistance measurements on Fe$_{1+\delta-x}$Cu$_{x}$Te with $x_{EDX}\leq 0.06$ in the presence of in-plane applied magnetic fields, revealing a resistance anisotropy that can be induced at a temperature far below the structural and magnetic zero-field transition temperatures. The observed resistance anisotropy strongly depends on the field orientation with respect to the crystallographic axes, as well as on the field-cooling history. Our results imply a correlation between the observed features and the low-temperature magnetic order. Hysteresis in the angle-dependence indicates a strong pinning of the magnetic order within a temperature range that varies with the Cu content. The resistance anisotropy vanishes at different temperatures depending on whether an external magnetic field or a remnant field is present: the closing temperature is higher in the presence of an external field. For $x_{EDX} = 0.06$ the resistance anisotropy closes above the structural transition, at the same temperature at which the zero-field short-range magnetic order disappears and the sample becomes paramagnetic. Thus we suggest that under an external magnetic field the resistance anisotropy mirrors the magnetic order parameter. We discuss similarities to nematic order observed in other iron pnictide materials.


title: Learning Product Automata

abstract: In this paper we give an optimization for active learning algorithms, applicable to learning Moore machines where the output comprises several observables. These machines can be decomposed themselves by projecting on each observable, resulting in smaller components. These components can then be learnt with fewer queries. This is in particular interesting for learning software, where compositional methods are important for guaranteeing scalability.


title: Flat Parallelization

abstract: There are two intertwined factors that affect performance of concurrent data structures: the ability of processes to access the data in parallel and the cost of synchronization. It has been observed that for a large class of "concurrency-unfriendly" data structures, fine-grained parallelization does not pay off: an implementation based on a single global lock outperforms fine-grained solutions. The flat combining paradigm exploits this by ensuring that a thread holding the global lock sequentially combines requests and then executes the combined requests on behalf of concurrent threads. In this paper, we propose a synchronization technique that unites flat combining and parallel bulk updates borrowed from parallel algorithms designed for the PRAM model. The idea is that the combiner thread assigns waiting threads to perform concurrent requests in parallel. We foresee the technique to help in implementing efficient "concurrency-ambivalent" data structures, which can benefit from both parallelism and serialization, depending on the operational context. To validate the idea, we considered heap-based implementations of a priority queue. These data structures exhibit two important features: concurrent remove operations are likely to conflict and thus may benefit from combining, while concurrent insert operations can often be at least partly applied in parallel thus may benefit from parallel batching. We show that the resulting flat parallelization algorithm performs well compared to state-of-the-art priority queue implementations.


title: Dynamical Insights into the Decomposition of 1,2-Dioxetane

abstract: Chemiluminescence in 1,2-dioxetane occurs through a thermally activated decomposition reaction into two formaldehyde molecules. Both ground-state and nonadiabatic dynamics (including singlet excited states) of the decomposition reaction have been simulated, starting from the first O-O bond-breaking transition structure. The ground-state dissociation occurs between t = 30 fs and t = 140 fs. The so-called entropic trap leads to frustrated dissociations, postponing the decomposition reaction. Specific geometrical conditions are necessary for the trajectories to escape from the entropic trap and for dissociation to be possible. The singlet excited states participate as well in the trapping of the molecule: dissociation including the nonadiabatic transitions to singlet excited states now occurs from t = 30 fs to t = 250 fs and later. Specific regions of the seam of the S0/S1 conical intersections that would "retain" the molecule for longer on the excited state have been identified.


title: Geometric Properties of Isostables and Basins of Attraction of Monotone Systems

abstract: In this paper, we study geometric properties of basins of attraction of monotone systems. Our results are based on a combination of monotone systems theory and spectral operator theory. We exploit the framework of the Koopman operator, which provides a linear infinite-dimensional description of nonlinear dynamical systems and spectral operator-theoretic notions such as eigenvalues and eigenfunctions. The sublevel sets of the dominant eigenfunction form a family of nested forward-invariant sets and the basin of attraction is the largest of these sets. The boundaries of these sets, called isostables, allow studying temporal properties of the system. Our first observation is that the dominant eigenfunction is increasing in every variable in the case of monotone systems. This is a strong geometric property which simplifies the computation of isostables. We also show how variations in basins of attraction can be bounded under parametric uncertainty in the vector field of monotone systems. Finally, we study the properties of the parameter set for which a monotone system is multistable. Our results are illustrated on several systems of two to four dimensions.


title: Video Processing for Barycenter Trajectory Identification in Diving

abstract: The aim of this paper is to show a procedure for identify the barycentre of a diver by means of video processing. This procedure is aimed to introduce quantitative analysis tools and diving performance measurement and therefore in diving training. Sport performance analysis is a trend that is growing exponentially for all level athletes: it has been applied extensively in some sports such as cycling. Sport performance analysis has been applied mainly for high level athletes; in order to be used also for middle or low level athletes the proposed technique has to be flexible and low cost. Video processing is suitable to fulfil both these requirements. In diving, the first analysis that has to be done is the barycentre trajectory tracking.


title: Relaxor ferroelectric behavior and intrinsic magnetodielectric behavior near room temperature in Li2Ni2Mo3O12, a compound with distorted honeycomb and spin-chains

abstract: Keeping current interests to identify materials with intrinsic magnetodielectric behavior near room temperature and with novel pyroelectric current anomalies, we report temperature and magnetic-field dependent behavior of complex dielectric permittivity and pyroelectric current for an oxide, Li2Ni2Mo3O12, containing magnetic ions with (distorted) honey-comb and chain arrangement and ordering magnetically below 8 K. The dielectric data reveal the existence of relaxor ferroelectricity behavior in the range 160-240 K and there are corresponding Raman mode anomalies as well in that temperature range. Pyrocurrent behavior is also consistent with this interpretation, with the pyrocurrent peak-temperature interestingly correlating with the poling temperature. 7Li NMR offer an evidence for crystallographic disorder intrinsic to this compound and we therefore conclude that such a disorder is apparently responsible for the randomness of local electric field leading to relaxor ferroelectric property. Another observation of emphasis is that there is a notable decrease in the dielectric constant with the application of magnetic field to the tune of about -2.4% at 300 K, with the magnitude varying mariginally with temperature. Small loss factor values validate intrinsic behavior of the magnetodielectric effect at room temperature.


title: Elementary proof and application of the generating function for generalized Hall-Littlewood functions

abstract: In this note we define a generalization of Hall-Littlewood symmetric functions using formal group law and give an elementary proof of the generating function formula for the generalized Hall-Littlewood symmetric functions. We also give some applications of this formula.


title: A Combinatorial Approach to the Opposite Bi-Free Partial $S$-Transform

abstract: In this paper, we present a combinatorial approach to the opposite 2-variable bi-free partial $S$-transforms where the opposite multiplication is used on the right. In addition, extensions of this partial $S$-transforms to the conditional bi-free and operator-valued bi-free settings are discussed.


title: High-scale baryogenesis with testable neutron-antineutron oscillation and dark matter

abstract: We propose a new scenario for predicting a one-loop neutron-antineutron oscillation at a testable level, meanwhile, realizing a thermal or inflationary baryogenesis at a very high scale. Besides the standard model content, this scenario involves two real singlet scalars with very heavy masses, two color-triplet and iso-singlet scalars at the TeV scale, as well as a Majorana singlet fermion for a dark matter candidate.


title: Traveling-wave parametric amplifier based on three-wave mixing in a Josephson metamaterial

abstract: We have developed a recently proposed Josephson traveling-wave parametric amplifier with three-wave mixing [A. B. Zorin, Phys. Rev. Applied 6, 034006, 2016]. The amplifier consists of a microwave transmission line formed by a serial array of nonhysteretic one-junction SQUIDs. These SQUIDs are flux-biased in a way that the phase drops across the Josephson junctions are equal to 90 degrees and the persistent currents in the SQUID loops are equal to the Josephson critical current values. Such a one-dimensional metamaterial possesses a maximal quadratic nonlinearity and zero cubic (Kerr) nonlinearity. This property allows phase matching and exponential power gain of traveling microwaves to take place over a wide frequency range. We report the proof-of-principle experiment performed at a temperature of T = 4.2 K on Nb trilayer samples, which has demonstrated that our concept of a practical broadband Josephson parametric amplifier is valid and very promising for achieving quantum-limited operation.


title: Fabrication of diamond diffraction gratings for experiments with intense hard x-rays

abstract: The demands on optical components to tolerate high radiation dose and manipulate hard x-ray beams that can fit the experiment requirements, are constantly increasing due to the advancements in the available x-ray sources. Here we have successfully fabricated the transmission type gratings using diamond, with structure sizes ranging from few tens of nanometres up to micrometres, and aspect ratio of up to 20. The efficiencies of the gratings were measured over a wide range of photon energies and their radiation tolerance was confirmed using the most intense x-ray source in the world. The fidelity of these grating structures was confirmed by the quality of the measured experimental results.


title: Concurrent Constraint Conditional-Branching Timed Interactive Scores

abstract: Multimedia scenarios have multimedia content and interactive events associated with computer programs. Interactive Scores (IS) is a formalism to represent such scenarios by temporal objects, temporal relations (TRs) and interactive events. IS describe TRs, but IS cannot represent TRs together with conditional branching. We propose a model for conditional branching timed IS in the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. We ran a prototype of our model in Ntccrt (a real-time capable interpreter for ntcc) and the response time was acceptable for real-time interaction. An advantage of ntcc over Max/MSP or Petri Nets is that conditions and global constraints are represented declaratively.


title: Asymptotic analysis of the EPRL model with timelike tetrahedra

abstract: We perform the stationary phase analysis of the vertex amplitude for the EPRL spin foam model extended to include timelike tetrahedra. We analyse both, tetrahedra of signature $---$ (standard EPRL), as well as of signature $+--$ (Hnybida-Conrady extension), in a unified fashion. However, we assume all faces to be of signature $--$. The stationary points of the extended model are described again by $4$-simplices and the phase of the amplitude is equal to the Regge action. Interestingly, in addition to the Lorentzian and Euclidean sectors there appear also split signature $4$-simplices.


title: Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences

abstract: Analyzing and reasoning about safety properties of software systems becomes an especially challenging task for programs with complex flow and, in particular, with loops or recursion. For such programs one needs additional information, for example in the form of loop invariants, expressing properties to hold at intermediate program points. In this paper we study program loops with non-trivial arithmetic, implementing addition and multiplication among numeric program variables. We present a new approach for automatically generating all polynomial invariants of a class of such programs. Our approach turns programs into linear ordinary recurrence equations and computes closed form solutions of these equations. These closed forms express the most precise inductive property, and hence invariant. We apply Gr\"obner basis computation to obtain a basis of the polynomial invariant ideal, yielding thus a finite representation of all polynomial invariants. Our work significantly extends the class of so-called P-solvable loops by handling multiplication with the loop counter variable. We implemented our method in the Mathematica package Aligator and showcase the practical use of our approach.


title: Quantum phase transitions of the Majorana toric code in the presence of finite Cooper-pair tunneling

abstract: The toric code based on Majorana fermions on mesoscopic superconducting islands is a promising candidate for quantum information processing. In the limit of vanishing Cooper-pair tunneling, it has been argued that the phase transition separating the topologically ordered phase of the toric code from the trivial one is in the universality class of (2+1)D-XY. On the other hand, in the limit of infinitely large Cooper-pair tunneling, the phase transition is in the universality class of (2+1)D-Ising. In this work, we treat the case of finite Cooper-pair tunneling and address the question of how the continuous XY symmetry breaking phase transition turns into a discrete $\mathbb{Z}_2$ symmetry breaking one when the Cooper-pair tunneling rate is increased. We show that this happens through a couple of tricritical points and first order phase transitions. Using a Jordan-Wigner transformation, we map the problem to that of spins coupled to quantum rotors and subsequently, propose a Landau field theory for this model that matches the known results in the respective limits. We calculate the effective field theories and provide the relevant critical exponents for the different phase transitions. Our results are relevant for predicting the stability of the topological phase in realistic experimental implementations.


title: Spontaneous symmetry breaking in a quadratically-driven nonlinear photonic lattice

abstract: We investigate the occurrence of a phase transition, characterized by the spontaneous breaking of a discrete symmetry, in a driven-dissipative Bose-Hubbard lattice in presence of two-photon coherent driving. The driving term does not lift the original $U(1)$ symmetry completely and a discrete $\mathbb{Z}_2$ symmetry is left. When driving the bottom of the Bose-Hubbard band, a mean-field analysis of the steady state reveals a second-order transition from a symmetric phase to a quasi-coherent state with a finite expectation value of the Bose field. For larger driving frequency, the phase diagram shows a third region, where both phases are stable and the transition becomes of first order.


title: Cooling of chiral heat transport in the quantum Hall effect graphene

abstract: In the quantum Hall effect (QHE) regime, heat is carried by electrons in the edge states of Landau levels. Here, we study cooling of hot electrons propagating along the edge of graphene at the filling factor $\nu=\pm2$, mediated by acoustic phonons. We determine the temperature profile extended from a hot spot, where the Hall current is injected into graphene from a metallic contact, taking into account specifics of boundary conditions for lattice displacements in graphene in a van der Waals heterostructure with an insulating substrate. Our calculations, performed using generic boundary conditions for Dirac electrons, show that emission of phonons can explain a short cooling length observed in graphene-based QHE devices by Nahm, Hwang and Lee [PRL 110, 226801 (2013)].


title: Inverse Modeling for MEG/EEG data

abstract: We provide an overview of the state-of-the-art for mathematical methods that are used to reconstruct brain activity from neurophysiological data. After a brief introduction on the mathematics of the forward problem, we discuss standard and recently proposed regularization methods, as well as Monte Carlo techniques for Bayesian inference. We classify the inverse methods based on the underlying source model, and discuss advantages and disadvantages. Finally we describe an application to the pre-surgical evaluation of epileptic patients.


title: Re-entrant spin-glass freezing and magneto-dielectric behavior of Li3NiRuO6, a layered rock-salt related oxide

abstract: We report the results of neutron diffraction, ac and dc magnetization, heat-capacity, complex permittivity, and pyrocurrent measurements on an oxide, Li3NiRuO5, hitherto not paid much attention in the literature, except for a previous report on its promising electrochemical performance. We emphasize on the following findings: (i) Observation of re-entrant spin-glass behavior; that is, this oxide undergoes ferrilmagnetic ordering below 8- K, entering spin-glass regime around 12 K. (ii) There is no prominent feature in the complex dielectric permittivity (in particular, at the magnetic transitions) in the absence of external magnetic field, indicative of the absence of ferroelectricity. However, there is a distinct evidence for magneto-dielectric (MDE) coupling. The sign of MDE coupling also changes as the sample is cooled from ferrimagnetic state to spin-glass regime. (iii) There are pyroelectric anomalies in the vicinity of 30-70 K, presumably from thermally stimulated depolarization current.


title: On the estimation of moisture permeability and advection coefficients of a wood fibre material using the optimal experiment design approach

abstract: This paper presents a practical application of the concept of Optimal Experiment Design (OED) for the determination of properties of porous materials with in-situ measurements and an identification method. First, an experimental set-up was presented and used for the measurement of relative humidity within a wood fibre material submitted to single and multiple steps of relative humidity variation. Then, the application of OED enabled to plan the experimental conditions in terms of sensor positioning and boundary conditions out of 20 possible designs. The OED search was performed using the Fisher information matrix and a priori knowledge of the parameters. It ensures to provide the best accuracy of the identification method and thus the estimated parameter. Optimal design results have been found for single steps from the relative humidity phi = 10 to 75%, with one sensor located at the position X between 4 and 6 cm, for the estimation of moisture permeability coefficients, while from phi = 75% to phi = 33%, with one sensor located at X{\deg} = 3 cm, for the estimation of the advection coefficient. The OED has also been applied for the identification of couples of parameters. A sample submitted to multiple relative humidity steps (phi = 10-75-33-75%) with a sensor placed at X{\deg} = 5 cm was found as the best option for determining both properties with the same experiment. These OED parameters have then been used for the determination of moisture permeability and advection coefficients. The estimated moisture permeability coefficients are twice higher than the a priori values obtained using standard methods. The advection parameter corresponds to the mass average velocity of the order of v = 0.01 mm/s within the material and may play an important role on the simulation of moisture front.


title: Random Inscribed Polytopes Have Similar Radius Functions as Poisson-Delaunay Mosaics

abstract: Using the geodesic distance on the $n$-dimensional sphere, we study the expected radius function of the Delaunay mosaic of a random set of points. Specifically, we consider the partition of the mosaic into intervals of the radius function and determine the expected number of intervals whose radii are less than or equal to a given threshold. Assuming the points are not contained in a hemisphere, the Delaunay mosaic is isomorphic to the boundary complex of the convex hull in $\mathbb{R}^{n+1}$, so we also get the expected number of faces of a random inscribed polytope. We find that the expectations are essentially the same as for the Poisson-Delaunay mosaic in $n$-dimensional Euclidean space. As proved by Antonelli and collaborators, an orthant section of the $n$-sphere is isometric to the standard $n$-simplex equipped with the Fisher information metric. It follows that the latter space has similar stochastic properties as the $n$-dimensional Euclidean space. Our results are therefore relevant in information geometry and in population genetics.


title: Non-local magnon transport in the compensated ferrimagnet GdIG

abstract: We study the diffusive transport of magnons through the compensated ferrimagnetic insulator Gd3Fe5O12 (GdIG). The magnons are injected and detected electrically in a non-local measurement configuration via two parallel Pt strips deposited on top of the ferrimagnet. GdIG exhibits a rich magnon spectrum, with several thermally populated magnon bands at room temperature. We observe a strong temperature and field dependence of the non-local voltage in the detector strip. Just below the magnetization compensation temperature we find that the increasing magnetic field causes an unexpected enhancement of the non-local signal. A comparison with GdIG spin wave spectra obtained from atomistic modeling indicates that the thermal magnon population is important for understanding the non-local voltage signal.


title: Thermalization of overpopulated systems in the 2PI formalism

abstract: Based on the two-particle irreducible (2PI) formalism to next-to-leading order in the $1/N$ expansion, we study the thermalization of overpopulated systems in scalar $O(N)$ theories with moderate coupling. We focus in particular on the growth of soft modes, and examine whether this can lead to the formation of a transient Bose-Einstein condensate (BEC) when the initial occupancy is high enough. For the value of the coupling constant used in our simulations, we find that while the system rapidly approaches the condensation threshold, the formation of a BEC is eventually hindered by particle number changing processes.


title: Hydrodynamic signatures of stationary Marangoni-driven surfactant transport

abstract: We experimentally study steady Marangoni-driven surfactant transport on the interface of a deep water layer. Using hydrodynamic measurements, and without using any knowledge of the surfactant physico-chemical properties, we show that sodium dodecyl sulphate and Tergitol 15-S-9 introduced in low concentrations result in a flow driven by adsorbed surfactant. At higher surfactant concentration, the flow is dominated by the dissolved surfactant. Using Camphoric acid, whose properties are {\it a priori} unknown, we demonstrate this method's efficacy by showing its spreading is adsorption dominated.


title: Helimagnon resonances in an intrinsic chiral magnonic crystal

abstract: We experimentally study magnetic resonances in the helical and conical magnetic phases of the chiral magnetic insulator Cu$_2$OSeO$_3$ at the temperature $T$=5 K. Using a broadband microwave spectroscopy technique based on vector network analysis, we identify three distinct sets of helimagnon resonances in the frequency range 2 GHz $\leq f \leq$ 20 GHz. The extracted resonance frequencies are in accordance with calculations of the helimagnon bandstructure found in an intrinsic chiral magnonic crystal. The periodic modulation of the equilibrium spin direction that leads to the formation of the magnonic crystal is a direct consequence of the chiral magnetic ordering caused by the Dzyaloshinskii-Moriya interaction. The opening of magnon band-gaps allows for excitation of helimagnons with wave vectors that are multiples of the spiral wave vector.


title: Inner/Outer Ratio Similarity Scaling for 2-D Wall-bounded Turbulent Flows

abstract: The turbulent boundary layer scaling parameters for the velocity profile are usually associated with either the inner viscous region or the outer boundary layer region. It has been a long-held view that complete similarity of the velocity profile can only occur if the inner and outer region scaling parameters change proportionally as one moves from station to station along the wall. However, it appears that complete similarity is not possible for the wall-bounded turbulent boundary layer. Hence, the outer/inner ratio would seem to be of little use. However, recent revelations revive the need for identifying likely experimental datasets that display outer region similarity. It is our contention that likely datasets can be identified by finding datasets in which the inner-outer thickness ratio is almost constant. This inner-outer thickness ratio is usually associated with the Rotta scaling ratio. Unfortunately, the Rotta ratio proportional change condition has never been shown to be a similarity requirement. In contrast, we show that a recently developed thickness ratio based on the integral moment method must change proportionately from station to station if similarity is present.


title: Parallelized Kalman-Filter-Based Reconstruction of Particle Tracks on Many-Core Processors and GPUs

abstract: For over a decade now, physical and energy constraints have limited clock speed improvements in commodity microprocessors. Instead, chipmakers have been pushed into producing lower-power, multi-core processors such as GPGPU, ARM and Intel MIC. Broad-based efforts from manufacturers and developers have been devoted to making these processors user-friendly enough to perform general computations. However, extracting performance from a larger number of cores, as well as specialized vector or SIMD units, requires special care in algorithm design and code optimization. One of the most computationally challenging problems in high-energy particle experiments is finding and fitting the charged-particle tracks during event reconstruction. This is expected to become by far the dominant problem in the High-Luminosity Large Hadron Collider (HL-LHC), for example. Today the most common track finding methods are those based on the Kalman filter. Experience with Kalman techniques on real tracking detector systems has shown that they are robust and provide high physics performance. This is why they are currently in use at the LHC, both in the trigger and offline. Previously we reported on the significant parallel speedups that resulted from our investigations to adapt Kalman filters to track fitting and track building on Intel Xeon and Xeon Phi. Here, we discuss our progresses toward the understanding of these processors and the new developments to port Kalman filter to NVIDIA GPUs.


title: Ultra Reliable UAV Communication Using Altitude and Cooperation Diversity

abstract: The use of unmanned aerial vehicles (UAVs) that serve as aerial base stations is expected to become predominant in the next decade. However, in order for this technology to unfold its full potential it is necessary to develop a fundamental understanding of the distinctive features of air-to-ground (A2G) links. As a contribution in this direction, this paper proposes a generic framework for the analysis and optimization of the A2G systems. In contrast to the existing literature, this framework incorporates both height-dependent path loss exponent and small-scale fading, and unifies a widely used ground-to-ground channel model with that of A2G for analysis of large-scale wireless networks. We derive analytical expressions for the optimal UAV height that minimizes the outage probability of a given A2G link. Moreover, our framework allows us to derive a height-dependent closed-form expression and a tight lower bound for the outage probability of an \textit{A2G cooperative communication} network. Our results suggest that the optimal location of the UAVs with respect to the ground nodes does not change by the inclusion of ground relays. This enables interesting insights in the deployment of future A2G networks, as the system reliability could be adjusted dynamically by adding relaying nodes without requiring changes in the position of the corresponding UAVs.


title: Solution of the Hyperbolic Partial Differential Equation on Graphs and Digital Spaces: a Klein Bottle a Projective Plane and a 4D Sphere

abstract: In many cases, analytic solutions of partial differential equations may not be possible. For practical problems, it is more reasonable to carry out computational solutions. However, the standard grid in the finite difference approximation is not a correct model of the continuous domain in terms of digital topology. In order to avoid serious problems in computational solutions it is necessary to use topologically correct digital domains. This paper studies the structure of the hyperbolic partial differential equation on graphs and digital n-dimensional manifolds, which are digital models of continuous n-manifolds. Conditions for the existence of solutions are determined and investigated. Numerical solutions of the equation on graphs and digital n-manifolds are presented.


title: Electronic and optical properties of graphite-related systems

abstract: A systematic review is made for the AA-, AB- and ABC-stacked graphites. The generalized tight-binding model, accompanied with the effective-mass approximation and the Kubo formula, is developed to investigate electronic and optical properties in the presence/absence of a uniform magnetic field. The unusual electronic properties cover the stacking-dependent Dirac-cone structures, the significant energy widths along the stacking direction, the Landau subbands (LSs) crossing the Fermi level, the $B_0$-dependent LS energy spectra with crossings and anti-crossings, and the monolayer- or bilayer-like Landau wavefunctions. There exist the configuration-created special structures in density of states and optical spectra. Three kinds of graphites quite differ from one another in the available inter-LS excitation channels, including the number, frequency, intensity and structures of absorption peaks. The dimensional crossover presents the main similarities and differences between graphites and graphenes; furthermore, the quantum confinement enriches the magnetic quantization phenomena in carbon nanotubes and graphene nanoribbons. The cooperative/competitive relations among the interlayer atomic interactions, dimensions and magnetic quantization are responsible for the diversified essential properties. Part of theoretical predictions are consistent with the experimental measurements.


title: Descent of Deligne-Getzler $\infty$-groupoids

abstract: We prove that Getzler's higher generalization of the Deligne groupoid commutes with totalization and homotopy limits.


title: Boundedness of solutions for Duffing equation with low regularity in time

abstract: It is shown that all solutions are bounded for Duffing equation $\ddot{x}+ x^{2n+1}+\sum_{j=0}^{2n}P_{j}(t)x^{j}=0,$ provided that for each $n+1\le j\le 2n$, $P_j(t)\in C^{\gamma}(\mathbb T)$ with $\gamma>1-\frac1n$ and for each $0\le j\le n$, $P_j\in L(\mathbb T^1)$.


title: End-to-End Simulation of 5G mmWave Networks

abstract: Due to its potential for multi-gigabit and low latency wireless links, millimeter wave (mmWave) technology is expected to play a central role in 5th generation cellular systems. While there has been considerable progress in understanding the mmWave physical layer, innovations will be required at all layers of the protocol stack, in both the access and the core network. Discrete-event network simulation is essential for end-to-end, cross-layer research and development. This paper provides a tutorial on a recently developed full-stack mmWave module integrated into the widely used open-source ns--3 simulator. The module includes a number of detailed statistical channel models as well as the ability to incorporate real measurements or ray-tracing data. The Physical (PHY) and Medium Access Control (MAC) layers are modular and highly customizable, making it easy to integrate algorithms or compare Orthogonal Frequency Division Multiplexing (OFDM) numerologies, for example. The module is interfaced with the core network of the ns--3 Long Term Evolution (LTE) module for full-stack simulations of end-to-end connectivity, and advanced architectural features, such as dual-connectivity, are also available. To facilitate the understanding of the module, and verify its correct functioning, we provide several examples that show the performance of the custom mmWave stack as well as custom congestion control algorithms designed specifically for efficient utilization of the mmWave channel.


title: A Dual-Source Approach for 3D Human Pose Estimation from a Single Image

abstract: In this work we address the challenging problem of 3D human pose estimation from single images. Recent approaches learn deep neural networks to regress 3D pose directly from images. One major challenge for such methods, however, is the collection of training data. Specifically, collecting large amounts of training data containing unconstrained images annotated with accurate 3D poses is infeasible. We therefore propose to use two independent training sources. The first source consists of accurate 3D motion capture data, and the second source consists of unconstrained images with annotated 2D poses. To integrate both sources, we propose a dual-source approach that combines 2D pose estimation with efficient 3D pose retrieval. To this end, we first convert the motion capture data into a normalized 2D pose space, and separately learn a 2D pose estimation model from the image data. During inference, we estimate the 2D pose and efficiently retrieve the nearest 3D poses. We then jointly estimate a mapping from the 3D pose space to the image and reconstruct the 3D pose. We provide a comprehensive evaluation of the proposed method and experimentally demonstrate the effectiveness of our approach, even when the skeleton structures of the two sources differ substantially.


title: Proving Correctness of Concurrent Objects by Validating Linearization Points

abstract: Concurrent data structures or CDS such as concurrent stacks, queues, sets etc. have become very popular in the past few years partly due to the rise of multi-core systems. But one of the greatest challenges with CDSs has been developing correct structures and then proving the correctness of these structures. We believe that techniques that help prove the correctness of these CDSs can also guide in developing new CDSs. An intuitive technique to prove the correctness of CDSs is using Linearization Points or LPs. An LP is an atomic event in the execution interval of each method such that the execution of the entire method seems to have taken place in the instant of that event. One of the main challenges with the LP based approach is to identify the correct LPs of a CDS. Identifying the correct LPs can be deceptively wrong in many cases. In fact, in many cases, the LP identified or even worse the CDS itself could be wrong. To address these issues, several automatic tools for verifying linearizability have been developed. But we believe that these tools don't provide insight to a programmer to develop the correct concurrent programs or identify the LPs. Considering the complexity of developing a CDS and verifying its correctness, we address the most basic problem of this domain in this paper: given the set of LPs of a CDS, how to show its correctness? We assume that we are given a CDS and its LPs. We have developed a hand-crafted technique of proving the correctness of the CDS by validating its LPs. As observed earlier, identifying the correct LPs is very tricky and erroneous. But since our technique is hand-crafted, we believe that the process of proving correctness might provide insight to identify the correct LPs, if the currently chosen LP is incorrect. We also believe that this technique might also offer the programmer some insight to develop more efficient variants of the CDS.


title: On the smallest non-abelian quotient of $\mathrm{Aut}(F_n)$

abstract: We show that the smallest non-abelian quotient of $\mathrm{Aut}(F_n)$ is $\mathrm{PSL}_n(\mathbb{Z}/2\mathbb{Z}) = \mathrm{L}_n(2)$, thus confirming a conjecture of Mecchia--Zimmermann. In the course of the proof we give an exponential (in $n$) lower bound for the cardinality of a set on which $\mathrm{SAut}(F_n)$, the unique index $2$ subgroup of $\mathrm{Aut}(F_n)$, can act non-trivially. We also offer new results on the representation theory of $\mathrm{SAut(F_n)}$ in small dimensions over small, positive characteristics, and on rigidity of maps from $\mathrm{SAut}(F_n)$ to finite groups of Lie type and algebraic groups in characteristic $2$.


title: Relation-theoretic metrical coincidence and common fixed point theorems under nonlinear contractions

abstract: In this paper, we prove coincidence and common fixed points results under nonlinear contractions on a metric space equipped with an arbitrary binary relation. Our results extend, generalize, modify and unify several known results especially those are contained in Berzig [J. Fixed Point Theory Appl. 12, 221-238 (2012))] and Alam and Imdad [To appear in Filomat (arXiv:1603.09159 (2016))]. Interestingly, a corollary to one of our main results under symmetric closure of a binary relation remains a sharpened version of a theorem due to Berzig. Finally, we use examples to highlight the accomplished improvements in the results of this paper.


title: Generative Cooperative Net for Image Generation and Data Augmentation

abstract: How to build a good model for image generation given an abstract concept is a fundamental problem in computer vision. In this paper, we explore a generative model for the task of generating unseen images with desired features. We propose the Generative Cooperative Net (GCN) for image generation. The idea is similar to generative adversarial networks except that the generators and discriminators are trained to work accordingly. Our experiments on hand-written digit generation and facial expression generation show that GCN's two cooperative counterparts (the generator and the classifier) can work together nicely and achieve promising results. We also discovered a usage of such generative model as an data-augmentation tool. Our experiment of applying this method on a recognition task shows that it is very effective comparing to other existing methods. It is easy to set up and could help generate a very large synthesized dataset.


title: MOJAVE - XIV. Shapes and opening angles of AGN jets

abstract: We present 15 GHz stacked VLBA images of 373 jets associated with active galactic nuclei (AGN) having at least five observing epochs within a 20 yr time interval 1994-2015 from the MOJAVE programme and/or its precursor, the 2 cm VLBA Survey. These data are supplemented by 1.4 GHz single-epoch VLBA observations of 135 MOJAVE AGNs to probe larger scale jet structures. The typical jet geometry is found to be close to conical on scales from hundreds to thousands of parsecs, while a number of galaxies show quasi-parabolic streamlines on smaller scales. A true jet geometry in a considerable fraction of AGNs appears only after stacking epochs over several years. The jets with significant radial accelerated motion undergo more active collimation. We have analysed total intensity jet profiles transverse to the local jet ridgeline and derived both apparent and intrinsic opening angles of the flows, with medians of $21.5\deg$ and $1.3\deg$, respectively. The Fermi LAT-detected gamma-ray AGNs in our sample have, on average, wider apparent and narrower intrinsic opening angle, and smaller viewing angle than non LAT-detected AGNs. We have established a highly significant correlation between the apparent opening angle and gamma-ray luminosity, driven by Doppler beaming and projection effects.


title: Superradiant to subradiant phase transition in the open system Dicke model: Dark state cascades

abstract: Collectivity in ensembles of atoms gives rise to effects like super- and subradiance. While superradiance is well studied and experimentally accessible, subradiance remains elusive since it is difficult to track experimentally as well as theoretically. Here we present a new type of phase transition in the resonantly driven, open Dicke model that leads to a deterministic generation of subradiant states. At the transition the system switches from a predominantly superradiant to a predominantly subradiant state. Clear experimental signatures for the effect are presented and entanglement properties are discussed. Letting the system relax into the ground state generates a cascade of dark Dicke states, with dark state populations up to unity. Furthermore we introduce a collectivity measure that allows to quantify collective behavior.


title: Ubiquitous quasi-Fuchsian surfaces in cusped hyperbolic 3-manifolds

abstract: This paper proves that every finite volume hyperbolic 3-manifold M contains a ubiquitous collection of closed, immersed, quasi-Fuchsian surfaces. These surfaces are ubiquitous in the sense that their preimages in the universal cover separate any pair of disjoint, non-asymptotic geodesic planes. The proof relies in a crucial way on the corresponding theorem of Kahn and Markovic for closed 3-manifolds. As a corollary of this result and a companion statement about surfaces with cusps, we recover Wise's theorem that the fundamental group of M acts freely and cocompactly on a CAT(0) cube complex.


title: Geometry and Dynamics for Markov Chain Monte Carlo

abstract: Markov Chain Monte Carlo methods have revolutionised mathematical computation and enabled statistical inference within many previously intractable models. In this context, Hamiltonian dynamics have been proposed as an efficient way of building chains which can explore probability densities efficiently. The method emerges from physics and geometry and these links have been extensively studied by a series of authors through the last thirty years. However, there is currently a gap between the intuitions and knowledge of users of the methodology and our deep understanding of these theoretical foundations. The aim of this review is to provide a comprehensive introduction to the geometric tools used in Hamiltonian Monte Carlo at a level accessible to statisticians, machine learners and other users of the methodology with only a basic understanding of Monte Carlo methods. This will be complemented with some discussion of the most recent advances in the field which we believe will become increasingly relevant to applied scientists.


title: State-to-state chemistry at ultra-low temperature

abstract: Fully understanding a chemical reaction on the quantum level is a long-standing goal in physics and chemistry. Experimental investigation of such state-to-state chemistry requires both the preparation of the reactants and the detection of the products in a quantum state resolved way, which has been a long term challenge. Using the high level control in the ultracold domain, we prepare a few-body quantum state of reactants and demonstrate state-to-state chemistry with unprecedented resolution. We present measurements and accompanying theoretical analysis for the recombination of three spin-polarized ultracold Rb atoms forming a weakly bound Rb$_2$ dimer. Detailed insights of the reaction process are obtained that suggest propensity rules for the distribution of reaction products. The scheme can readily be adapted to other species and opens a door to detailed investigations of inelastic or reactive processes in domains never before accessible.


title: Multi Resolution LSTM For Long Term Prediction In Neural Activity Video

abstract: Epileptic seizures are caused by abnormal, overly syn- chronized, electrical activity in the brain. The abnor- mal electrical activity manifests as waves, propagating across the brain. Accurate prediction of the propagation velocity and direction of these waves could enable real- time responsive brain stimulation to suppress or prevent the seizures entirely. However, this problem is very chal- lenging because the algorithm must be able to predict the neural signals in a sufficiently long time horizon to allow enough time for medical intervention. We consider how to accomplish long term prediction using a LSTM network. To alleviate the vanishing gradient problem, we propose two encoder-decoder-predictor structures, both using multi-resolution representation. The novel LSTM structure with multi-resolution layers could significantly outperform the single-resolution benchmark with similar number of parameters. To overcome the blurring effect associated with video prediction in the pixel domain using standard mean square error (MSE) loss, we use energy- based adversarial training to improve the long-term pre- diction. We demonstrate and analyze how a discriminative model with an encoder-decoder structure using 3D CNN model improves long term prediction.


title: Geometric GAN

abstract: Generative Adversarial Nets (GANs) represent an important milestone for effective generative models, which has inspired numerous variants seemingly different from each other. One of the main contributions of this paper is to reveal a unified geometric structure in GAN and its variants. Specifically, we show that the adversarial generative model training can be decomposed into three geometric steps: separating hyperplane search, discriminator parameter update away from the separating hyperplane, and the generator update along the normal vector direction of the separating hyperplane. This geometric intuition reveals the limitations of the existing approaches and leads us to propose a new formulation called geometric GAN using SVM separating hyperplane that maximizes the margin. Our theoretical analysis shows that the geometric GAN converges to a Nash equilibrium between the discriminator and generator. In addition, extensive numerical results show that the superior performance of geometric GAN.

categories: stat.ML cond-mat.dis-nn cs.AI cs.CV cs.LG


title: Covariance Matrix Estimation in Massive MIMO

abstract: Interference during the uplink training phase significantly deteriorates the performance of a massive MIMO system. The impact of the interference can be reduced by exploiting second order statistics of the channel vectors, e.g., to obtain minimum mean squared error estimates of the channel. In practice, the channel covariance matrices have to be estimated. The estimation of the covariance matrices is also impeded by the interference during the training phase. However, the coherence interval of the covariance matrices is larger than that of the channel vectors. This allows us to derive methods for accurate covariance matrix estimation by appropriate assignment of pilot sequences to users in consecutive channel coherence intervals.