title: Holomorphic Legendrian curves

abstract: In this paper we study holomorphic Legendrian curves in the standard holomorphic contact structure on $\mathbb{C}^{2n+1}$ for any $n\in\mathbb{N}$. We provide several approximation and desingularization results which enable us to prove general existence theorems, settling some of the open problems in the subject. In particular, we show that every open Riemann surface $M$ admits a proper holomorphic Legendrian embedding $M\hookrightarrow\mathbb{C}^{2n+1}$, and we prove that for every compact bordered Riemann surface $M=\mathring M\cup bM$ there exists a topological embedding $M\hookrightarrow \mathbb{C}^{2n+1}$ whose restriction to the interior is a complete holomorphic Legendrian embedding $\mathring M\hookrightarrow \mathbb{C}^{2n+1}$. As a consequence, we infer that every complex contact manifold $W$ carries relatively compact holomorphic Legendrian curves, normalized by any given bordered Riemann surface, which are complete with respect to any Riemannian metric on $W$.


title: Diffractive $\phi$ electroproduction with a holographic meson wavefunction

abstract: We predict the cross-section for diffractive $\phi$ electroproduction within the dipole model, using a holographic meson wavefunction for the $\phi$. For the dipole cross-section, we use the Color Glass Condensate dipole model whose parameters are fitted to the latest 2015 combined HERA data on Deep Inelastic Scattering. Choosing a strange quark mass of $0.14$ GeV, we find good agreement with the available data.


title: The analytical aspect to the linear stability of elliptic equilibrium points of the Robe's restricted three-body problem

abstract: We study the Robe's restricted three-body problem. Such a motion was firstly studied by A. G. Robe in \cite{Robe}, which is used to model small oscillations of the earth's inner core taking into account the moon attraction. For the linear stability of elliptic equilibrium points of the Robe's restricted three-body problem, earlier results of such linear stability problem depend on a lot of numerical computations, while we give an analytic approach to it. The linearized Hamiltonian system near the elliptic relative equilibrium point in our problem coincides with the linearized system near the Euler elliptic relative equilibria in the classical three-body problem except for the rang of the mass parameter. We first establish some relations from the linear stability problem to symplectic paths and its corresponding linear operators. Then using the Maslov-type $\omega$-index theory of symplectic paths and the theory of linear operators, we compute $\omega$-indices and obtain certain properties of the linear stability of elliptic equilibrium points of the Robe's restricted three-body problem.


title: Tilting and cluster tilting for preprojective algebras and Coxeter groups

abstract: We study the stable category of the factor algebra of the preprojective algebra associated with an element $w$ of the Coxeter group of a quiver. We show that there exists a silting object $M(\bf{w})$ of this category associated with each reduced expression $\bf{w}$ of $w$ and give a sufficient condition on $\bf{w}$ such that $M(\bf{w})$ is a tilting object. In particular, the stable category is triangle equivalent to the derived category of the endomorphism algebra of $M(\bf{w})$. Moreover, we compare it with a triangle equivalence given by Amiot-Reiten-Todorov for a cluster category.


title: Time-Inconsistent Stochastic Linear-quadratic Differential Game

abstract: We consider a general time-inconsistent stochastic linear-quadratic differential game. The time-inconsistency arises from the presence of quadratic terms of the expected state as well as state-dependent term in the objective functionals. We define an equilibrium strategy, which is different from the classical one, and derived a sufficient conditions for equilibrium strategies via a system of forward-backward stochastic differential equations. When the state is one-dimensional and the coefficients are all deterministic, we find an explicit equilibrium strategy. The uniqueness of such equilibrium strategy is also given.


title: Spin waves and magnetic exchange interactions in the spin ladder compound RbFe$_2$Se$_3$

abstract: We report an inelastic neutron scattering study of the spin waves of the one-dimensional antiferromagnetic spin ladder compound RbFe$_2$Se$_3$. The results reveal that the products, $SJ$'s, of the spin $S$ and the magnetic exchange interactions $J$'s along the antiferromagnetic (leg) direction and the ferromagnetic (rung) direction are comparable with those for the stripe ordered phase of the parent compounds of the iron-based superconductors. The universality of the $SJ$'s implies nearly universal spin wave dynamics and the irrelevance of the fermiology for the existence of the stripe antiferromagnetic order among various Fe-based materials.


title: Lepton-pair Cerenkov radiation emitted by tachyonic neutrinos: Lorentz-covariant approach and IceCube data

abstract: Current experiments do not exclude the possibility that one or more neutrinos are very slightly superluminal or that they have a very small tachyonic mass. Important bounds on the size of a hypothetical tachyonic neutrino mass term are set by lepton pair Cerenkov radiation (LPCR), i.e., by the decay channel nu -> e^+ e^- nu which proceeds via a virtual Z0 boson. Here, we use a Lorentz-invariant dispersion relation which leads to very tight constraints on the tachyonic mass of neutrinos; we also calculate decay and energy loss rates. A possible cutoff seen in the IceCube neutrino spectrum for E_nu > 2 PeV, due to the potential onset of LPCR, is discussed.


title: A dynamical gravitational wave source in a dense cluster

abstract: Making use of a new N-body model to describe the evolution of a moderate-size globular cluster we investigate the characteristics of the population of black holes within such a cluster. This model reaches core-collapse and achieves a peak central density typical of the dense globular clusters of the Milky Way. Within this high-density environment we see direct confirmation of the merging of two stellar remnant black-holes in a dynamically-formed binary, a gravitational wave source. We describe how the formation, evolution and ultimate ejection/destruction of binary systems containing black holes impacts the evolution of the cluster core. Also, through comparison with previous models of lower density, we show that the period distribution of black hole binaries formed through dynamical interactions in this high-density model favours the production of gravitational wave sources. We confirm that the number of black holes remaining in a star cluster at late times and the characteristics of the binary black hole population depend on the nature of the star cluster, critically on the number density of stars and by extension the relaxation timescale.


title: Lattice Defects and the Mechanical Anisotropy of Borophene

abstract: Using density functional theory combined with a semi-empirical van der Waals dispersion correction, we have investigated the stability of lattice defects including boron vacancy, substitutional and interstitial X (X=H, C, B, N, O) and $\Sigma$5 tilt grain boundaries in borophene and their influence on the anisotropic mechanical properties of this two-dimensional system. The pristine borophene has significant in-plane Young's moduli and Poisson's ratio anisotropy due to its strong and highly coordinated B-B bonds. The concentration of B vacancy and $\Sigma$5 grain boundary could be rather high given that their formation energies are as low as 0.10 eV and 0.06 eV/$\AA$ respectively. In addition, our results also suggest that borophene can react easily with H$_2$, O$_2$ and N$_2$ when exposed to these molecules. We find that the mechanical properties of borophene are remarkably degraded by these defects. The anisotropy in Poisson's ratio, however, can be tuned by some of them. Furthermore, the adsorbed H or substitutional C may induce remarkably negative Poisson's ratio in borophene, and the substitutional C or N can significantly increase the Poisson's ratio by contrast.


title: More indecomposable polyhedra

abstract: We apply combinatorial methods to a geometric problem: the classification of polytopes, in terms of Minkowski decomposability. Various properties of skeletons of polytopes are exhibited, each sufficient to guarantee indecomposability of a significant class of polytopes. We illustrate further the power of these techniques, compared with the traditional method of examining triangular faces, with several applications. In any dimension $d\neq 2$, we show that of all the polytopes with $d^2+\frac{d}{2}$ or fewer edges, only one is decomposable. In 3 dimensions, we complete the classification, in terms of decomposability, of the 260 combinatorial types of polyhedra with 15 or fewer edges.


title: Nearest Neighbor-based Rendezvous for Sparsely Connected Mobile Agents

abstract: In this paper a convergent, nearest-neighbor, control protocol is suggested for agents with nontrivial dynamics. The protocol guarantees convergence to a common point in space even if each agent is restricted to communicate with a single nearest neighbor. The neighbor, however, is required to lie outside an arbitrarily small priority zone surrounding the agent. The control protocol consists of two layers interconnected in a provably-correct manner. The first layer provides the guidance signal to a rendezvous point assuming that the agents have first order dynamics. The other layer converts in a decentralized manner the guidance signal to a control signal that suits realistic agents such as UGVs, UAVs and holonomic agents with second order dynamics.


title: On the variety of shapes in digital trees

abstract: We study the joint distribution of the number of occurrences of members of a collection of nonoverlapping motifs in digital data. We deal with finite and countably infinite collections. For infinite collections, the setting requires that we be very explicit about the specification of the underlying measure-theoretic formulation. We show that (under appropriate normalization) for such a collection, any linear combination of the number of occurrences of each of the motifs in the data has a limiting normal distribution. In many instances, this can be interpreted in terms of the number of occurrences of individual motifs: They have a multivariate normal distribution. The methods of proof include combinatorics on words, integral transforms, and poissonization.


title: Phase behaviour and structure of a superionic liquid in nonpolarized nanoconfinement

abstract: The ion-ion interactions become exponentially screened for ions confined in ultranarrow metallic pores. To study the phase behaviour of an assembly of such ions, called a superionic liquid, we develop a statistical theory formulated on bipartite lattices, which allows an analytical solution within the Bethe-lattice approach. Our solution predicts the existence of ordered and disordered phases in which ions form a crystal-like structure and a homogeneous mixture, respectively. The transition between these two phases can potentially be first or second order, depending on the ion diameter, degree of confinement and pore ionophobicity. We supplement our analytical results by three-dimensional off-lattice Monte Carlo simulations of an ionic liquid in slit nanopores. The simulations predict formation of ionic clusters and ordered snake-like patterns, leading to characteristic close-standing peaks in the cation-cation and anion-anion radial distribution functions.


title: A Survey of Point-of-interest Recommendation in Location-based Social Networks

abstract: Point-of-interest (POI) recommendation that suggests new places for users to visit arises with the popularity of location-based social networks (LBSNs). Due to the importance of POI recommendation in LBSNs, it has attracted much academic and industrial interest. In this paper, we offer a systematic review of this field, summarizing the contributions of individual efforts and exploring their relations. We discuss the new properties and challenges in POI recommendation, compared with traditional recommendation problems, e.g., movie recommendation. Then, we present a comprehensive review in three aspects: influential factors for POI recommendation, methodologies employed for POI recommendation, and different tasks in POI recommendation. Specifically, we propose three taxonomies to classify POI recommendation systems. First, we categorize the systems by the influential factors check-in characteristics, including the geographical information, social relationship, temporal influence, and content indications. Second, we categorize the systems by the methodology, including systems modeled by fused methods and joint methods. Third, we categorize the systems as general POI recommendation and successive POI recommendation by subtle differences in the recommendation task whether to be bias to the recent check-in. For each category, we summarize the contributions and system features, and highlight the representative work. Moreover, we discuss the available data sets and the popular metrics. Finally, we point out the possible future directions in this area and conclude this survey.


title: Quasi-matrix-free hybrid multigrid on dynamically adaptive Cartesian grids

abstract: We present a family of spacetree-based multigrid realizations using the tree's multiscale nature to derive coarse grids. They align with matrix-free geometric multigrid solvers as they never assemble the system matrices which is cumbersome for dynamically adaptive grids and full multigrid. The most sophisticated realizations use BoxMG to construct operator-dependent prolongation and restriction in combination with Galerkin/Petrov-Galerkin coarse-grid operators. This yields robust solvers for nontrivial elliptic problems. We embed the algebraic, problem- and grid-dependent multigrid operators as stencils into the grid and evaluate all matrix-vector products in-situ throughout the grid traversals. While such an approach is not literally matrix-free---the grid carries the matrix---we propose to switch to a hierarchical representation of all operators. Only differences of algebraic operators to their geometric counterparts are held. These hierarchical differences can be stored and exchanged with small memory footprint. Our realizations support arbitrary dynamically adaptive grids while they vertically integrate the multilevel operations through spacetree linearization. This yields good memory access characteristics, while standard colouring of mesh entities with domain decomposition allows us to use parallel manycore clusters. All realization ingredients are detailed such that they can be used by other codes.


title: A novel technique for the measurement of the avalanche fluctuation of gaseous detectors

abstract: We have developed a novel technique for the measurement of the avalanche fluctuation of gaseous detectors using a UV laser. The technique is simple and requires a short data-taking time of about ten minutes. Furthermore, it is applicable for relatively low gas gains. Our experimental setup as well as the measurement principle, and the results obtained with a stack of Gas Electron Multipliers (GEMs) operated in several gas mixtures are presented.


title: The effects of the U$_\textrm{Y}$(1) Chern-Simons term and its baryonic contribution on matter asymmetries and hypermagnetic fields

abstract: In this paper, we study the significance of the U$_\textrm{Y}$(1) Chern-Simons term in general, and its baryonic contribution in particular, for the evolution of the matter asymmetries and the hypermagnetic field in the temperature range $100$GeV$\leq T \leq 10$TeV. We show that an initial helical hypermagnetic field, denoted by $B_Y^{(0)}$, can grow matter asymmetries from zero initial value. However, the growth which is initially quadratic with respect to $B_Y^{(0)}$, saturates for values larger than a critical value. The inclusion of the baryonic contribution reduces this critical value, leading to smaller final matter asymmetries. Meanwhile, $B_Y(T_{EW})$ becomes slightly larger than $B_Y^{(0)}$. In the absence of the U$_\textrm{Y}$(1) Chern-Simons term, the final values of matter asymmetries grow without saturation. Conversely, we show that an initial matter asymmetry can grow an initial seed of hypermagnetic field, provided the Chern-Simons term is taken into account. The growth process saturates when the matter asymmetry drops abruptly. When the baryonic contribution is included, the saturation occurs at an earlier time, and $B_Y (T_{EW})$ becomes larger. We also show the results can be within the acceptable range of present day data, provided the inverse cascade process is also taken into account.


title: Maximum efficiency of the collisional Penrose process

abstract: We consider collision of two particles that move in the equatorial plane near a general stationary rotating axially symmetric extremal black hole. One of particles is critical (with fine-tuned parameters) and moves in the outward direction. The second particle (usual, not fine-tuned) comes from infinity. We examine the efficiency $\eta $ of the collisional Penrose process. There are two relevant cases here: (i) a particle falling into a black hole after collision is heavy, (ii) it has a finite mass. We show that the maximum of $\eta $ in case (ii) is less or equal to that in case (i). It is argued that for superheavy particles, the bound applies to nonequatorial motion as well. As an example, we analyze collision in the Kerr-Newman background. When the bound is the same for processes (i) and (ii), $\eta =3$ for this metric. For the Kerr black hole, recent results in literature are reproduced.


title: Fuzzy sets in $\le$-hypergroupoids

abstract: This paper serves as an example to show the way we pass from ordered groupoids (ordered semigroups) to ordered hypergroupoids (ordered hypersemigroups), from groupoids (semigroups) to hypergroupoids (hypersemigroups). The results on semigroups (or on ordered semigroup) can be transferred to hypersemigroups (or to ordered hypersemigroups) in the way indicated in the present paper.


title: node2vec: Scalable Feature Learning for Networks

abstract: Prediction tasks over nodes and edges in networks require careful effort in engineering features used by learning algorithms. Recent research in the broader field of representation learning has led to significant progress in automating prediction by learning the features themselves. However, present feature learning approaches are not expressive enough to capture the diversity of connectivity patterns observed in networks. Here we propose node2vec, an algorithmic framework for learning continuous feature representations for nodes in networks. In node2vec, we learn a mapping of nodes to a low-dimensional space of features that maximizes the likelihood of preserving network neighborhoods of nodes. We define a flexible notion of a node's network neighborhood and design a biased random walk procedure, which efficiently explores diverse neighborhoods. Our algorithm generalizes prior work which is based on rigid notions of network neighborhoods, and we argue that the added flexibility in exploring neighborhoods is the key to learning richer representations. We demonstrate the efficacy of node2vec over existing state-of-the-art techniques on multi-label classification and link prediction in several real-world networks from diverse domains. Taken together, our work represents a new way for efficiently learning state-of-the-art task-independent representations in complex networks.


title: The quest for the ultimate anisotropic Banach space

abstract: We present a new scale $U^{t,s}_p$ (with $s<-t<0$ and $1 \le p <\infty$) of anisotropic Banach spaces, defined via Paley-Littlewood, on which the transfer operator associated to a hyperbolic dynamical system has good spectral properties. When $p=1$ and $t$ is an integer, the spaces are analogous to the "geometric" spaces considered by Gou\"ezel and Liverani. When $p>1$ and $-1+1/p<s<-t<0<t<1/p$, the spaces are somewhat analogous to the geometric spaces considered by Demers and Liverani. In addition, just like for the "microlocal" spaces defined by Baladi-Tsujii, the spaces $U^{t,s}_p$ are amenable to the kneading approach of Milnor-Thurson to study dynamical determinants and zeta functions. In v2, following referees' reports, typos have been corrected (in particular (39) and (43)). Section 4 now includes a formal statement (Theorem 4.1) about the essential spectral radius if $d_s=1$ (its proof includes the content of Section 4.2 from v1). The Lasota-Yorke Lemma 4.2 (Lemma 4.1 in v1) includes the claim that $\cal M_b$ is compact. Version v3 contains an additional text "Corrections and complements" showing that s> t-(r-1) is needed in Section 4.


title: The End of a Myth: Distributed Transactions Can Scale

abstract: The common wisdom is that distributed transactions do not scale. But what if distributed transactions could be made scalable using the next generation of networks and a redesign of distributed databases? There would be no need for developers anymore to worry about co-partitioning schemes to achieve decent performance. Application development would become easier as data placement would no longer determine how scalable an application is. Hardware provisioning would be simplified as the system administrator can expect a linear scale-out when adding more machines rather than some complex sub-linear function, which is highly application specific. In this paper, we present the design of our novel scalable database system NAM-DB and show that distributed transactions with the very common Snapshot Isolation guarantee can indeed scale using the next generation of RDMA-enabled network technology without any inherent bottlenecks. Our experiments with the TPC-C benchmark show that our system scales linearly to over 6.5 million new-order (14.5 million total) distributed transactions per second on 56 machines.


title: A Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Plan Caching

abstract: This article presents an agent architecture for controlling an autonomous agent in stochastic environments. The architecture combines the partially observable Markov decision process (POMDP) model with the belief-desire-intention (BDI) framework. The Hybrid POMDP-BDI agent architecture takes the best features from the two approaches, that is, the online generation of reward-maximizing courses of action from POMDP theory, and sophisticated multiple goal management from BDI theory. We introduce the advances made since the introduction of the basic architecture, including (i) the ability to pursue multiple goals simultaneously and (ii) a plan library for storing pre-written plans and for storing recently generated plans for future reuse. A version of the architecture without the plan library is implemented and is evaluated using simulations. The results of the simulation experiments indicate that the approach is feasible.


title: Non-negative versus positive scalar curvature

abstract: We show that results about spaces or moduli spaces of positive scalar curvature metrics proved using index theory can typically be extended to non-negative scalar curvature metrics. We illustrate this by providing explicit generalizations of some classical results concerning moduli spaces of positive scalar curvature metrics.


title: Complexity and Computation of Connected Zero Forcing

abstract: Zero forcing is an iterative graph coloring process whereby a colored vertex with a single uncolored neighbor forces that neighbor to be colored. It is NP-hard to find a minimum zero forcing set - a smallest set of initially colored vertices which forces the entire graph to be colored. We show that the problem remains NP-hard when the initially colored set induces a connected subgraph. We also give structural results about the connected zero forcing sets of a graph related to the graph's density, separating sets, and certain induced subgraphs, and we characterize the cardinality of the minimum connected zero forcing sets of unicyclic graphs and variants of cactus and block graphs. Finally, we identify several families of graphs whose connected zero forcing sets define greedoids and matroids.


title: Robust Deep Appearance Models

abstract: This paper presents a novel Robust Deep Appearance Models to learn the non-linear correlation between shape and texture of face images. In this approach, two crucial components of face images, i.e. shape and texture, are represented by Deep Boltzmann Machines and Robust Deep Boltzmann Machines (RDBM), respectively. The RDBM, an alternative form of Robust Boltzmann Machines, can separate corrupted/occluded pixels in the texture modeling to achieve better reconstruction results. The two models are connected by Restricted Boltzmann Machines at the top layer to jointly learn and capture the variations of both facial shapes and appearances. This paper also introduces new fitting algorithms with occlusion awareness through the mask obtained from the RDBM reconstruction. The proposed approach is evaluated in various applications by using challenging face datasets, i.e. Labeled Face Parts in the Wild (LFPW), Helen, EURECOM and AR databases, to demonstrate its robustness and capabilities.


title: Minimal tilings of a unit square

abstract: Tile the unit square with $n$ small squares. We determine the minimum of the sum of the side lengths of the $n$ small squares, where the minimum is taken over all tilings of the unit square with $n$ squares.


title: IAU Meteor Data Center | the shower database: a status report

abstract: Currently, the meteor shower part of Meteor Data Center database includes: 112 established showers, 563 in the working list, among them 36 have the pro tempore status. The list of shower complexes contains 25 groups, 3 have established status and 1 has the pro tempore status. In the past three years, new meteor showers submitted to the MDC database were detected amongst the meteors observed by CAMS stations (Cameras for Allsky Meteor Surveillance), those included in the EDMOND (European viDeo MeteOr Network Database), those collected by the Japanese SonotaCo Network, recorded in the IMO (International Meteor Organization) database, observed by the Croatian Meteor Network and on the Southern Hemisphere by the SAAMER radar. At the XXIXth General Assembly of the IAU in Honolulu, Hawaii in 2015, the names of 18 showers were officially accepted and moved to the list of established ones. Also, one shower already officially named (3/SIA the Southern iota Aquariids) was moved back to the working list of meteor showers. At the XXIXth GA IAU the basic shower nomenclature rule was modified, the new formulation predicates \The general rule is that a meteor shower (and a meteoroid stream) should be named after the constellation that contains the nearest star to the radiant point, using the possessive Latin form". Over the last three years the MDC database was supplemented with the earlier published original data on meteor showers, which permitted verification of the correctness of the MDC data and extension of bibliographic information. Slowly but surely new database software options are implemented, and software bugs are corrected.


title: Unsupervised Learning of 3D Structure from Images

abstract: A key goal of computer vision is to recover the underlying 3D structure from 2D observations of the world. In this paper we learn strong deep generative models of 3D structures, and recover these structures from 3D and 2D images via probabilistic inference. We demonstrate high-quality samples and report log-likelihoods on several datasets, including ShapeNet [2], and establish the first benchmarks in the literature. We also show how these models and their inference networks can be trained end-to-end from 2D images. This demonstrates for the first time the feasibility of learning to infer 3D representations of the world in a purely unsupervised manner.


title: Thermal mock-up studies of the DEPFET pixel vertex detector for Belle II

abstract: The Belle II experiment currently under construction at the $e^+e^-$-collider SuperKEKB in Japan is designed to explore new physics beyond the standard model with an approximately 50 times larger data sample compared to its predecessor. The vertex detector (VXD), comprising a two layer DEPFET pixel detector (PXD) surrounded by four layers of double sided silicon strip detector (SVD), is indispensable for the accurate determination of the decay point of $B$ or $D$ meson as well as track reconstruction of low momentum particles. The DEPFET sensors in Belle II are thinned down to 75 $\mu$m with low power consumption and low intrinsic noise. In the DEPFET concept, the front-end electronics is placed outside of the sensitive area, and thus no cooling components are necessary inside the physics acceptance of the detector. Evaporative two-phase CO$_2$ cooling in combination with forced air flow has been chosen as the scheme for the PXD cooling. To guarantee the DEPFET detector operation condition and verify the cooling concept, a PXD mockup is constructed at DESY. Studies of the thermal and mechanical performance are presented in this paper.


title: Asymptotics of quantum representations of surface groups

abstract: For a banded link $L$ in a surface times a circle, the Witten-Reshetikhin-Turaev invariants are topological invariants depending on a sequence of complex $2p$-th roots of unity $(A_p)_{p\in 2\mathbb{N}}$. We show that there exists a polynomial $P_L$ such that these normalized invariants converge to $P_L(u)$ when $A_p$ converges to $u$, for all but a finite number of $u$'s in $S^1$. This is related to the AMU conjecture which predicts that non-simple curves have infinite order under quantum representations (for big enough levels). Estimating the degree of $P_L$, we exhibit particular types of curves which satisfy this conjecture. Along the way we prove the Witten asymptotic conjecture for links in a surface times a circle.


title: The 1-D Dirac equation with concentrated nonlinearity

abstract: We define and study the Cauchy problem for a 1-D nonlinear Dirac equation with nonlinearities concentrated at one point. Global well-posedness is provided and conservation laws for mass and energy are shown. Several examples, including nonlinear Gesztesy-\v{S}eba models and the concentrated versions of the Bragg Resonance, Gross-Neveu, and Soler type models, all within the scope of the present paper, are given. The key point of the proof consists in the reduction of the original equation to a nonlinear integral equation for an auxiliary, space-independent variable (the "charge").


title: Space, matter and topology

abstract: An old branch of mathematics, Topology, has opened the road to the discovery of new phases of matter. A hidden topology in the energy spectrum is the key for novel conducting/insulating properties of topological matter.

categories: cond-mat.mes-hall hep-th math-ph math.MP physics.pop-ph quant-ph


title: Reducing the Energy Cost of Inference via In-sensor Information Processing

abstract: There is much interest in incorporating inference capabilities into sensor-rich embedded platforms such as autonomous vehicles, wearables, and others. A central problem in the design of such systems is the need to extract information locally from sensed data on a severely limited energy budget. This necessitates the design of energy-efficient sensory embedded system. A typical sensory embedded system enforces a physical separation between sensing and computational subsystems - a separation mandated by the differing requirements of the sensing and computational functions. As a consequence, the energy consumption in such systems tends to be dominated by the energy consumed in transferring data over the sensor-processor interface (communication energy) and the energy consumed in processing the data in digital processor (computational energy). In this article, we propose an in-sensor computing architecture which (mostly) eliminates the sensor-processor interface by embedding inference computations in the noisy sensor fabric in analog and retraining the hyperparameters in order to compensate for non-ideal computations. The resulting architecture referred to as the Compute Sensor - a sensor that computes in addition to sensing - represents a radical departure from the conventional. We show that a Compute Sensor for image data can be designed by embedding both feature extraction and classification functions in the analog domain in close proximity to the CMOS active pixel sensor (APS) array. Significant gains in energy-efficiency are demonstrated using behavioral and energy models in a commercial semiconductor process technology. In the process, the Compute Sensor creates a unique opportunity to develop machine learning algorithms for information extraction from data on a noisy underlying computational fabric.


title: Join and slices for strict $\infty$-categories

abstract: The goal of this paper is to develop a theory of join and slices for strict $\infty$-categories. To any pair of strict $\infty$-categories, we associate a third one that we call their join. This operation is compatible with the usual join of categories up to truncation. We show that the join defines a monoidal category structure on the category of strict $\infty$-categories and that it respects connected inductive limits in each variable. In particular, we obtain the existence of some right adjoints; these adjoints define $\infty$-categorical slices, in a generalized sense. We state some conjectures about the functoriality of the join and the slices with respect to higher lax and oplax transformations and we prove some first results in this direction. These results are used in another paper to establish a Quillen Theorem A for strict $\infty$-categories. Finally, in an appendix, we revisit the Gray tensor product of strict $\infty$-categories. One of the main tools used in this paper is Steiner's theory of augmented directed complexes.


title: Understanding the Energy and Precision Requirements for Online Learning

abstract: It is well-known that the precision of data, hyperparameters, and internal representations employed in learning systems directly impacts its energy, throughput, and latency. The precision requirements for the training algorithm are also important for systems that learn on-the-fly. Prior work has shown that the data and hyperparameters can be quantized heavily without incurring much penalty in classification accuracy when compared to floating point implementations. These works suffer from two key limitations. First, they assume uniform precision for the classifier and for the training algorithm and thus miss out on the opportunity to further reduce precision. Second, prior works are empirical studies. In this article, we overcome both these limitations by deriving analytical lower bounds on the precision requirements of the commonly employed stochastic gradient descent (SGD) on-line learning algorithm in the specific context of a support vector machine (SVM). Lower bounds on the data precision are derived in terms of the the desired classification accuracy and precision of the hyperparameters used in the classifier. Additionally, lower bounds on the hyperparameter precision in the SGD training algorithm are obtained. These bounds are validated using both synthetic and the UCI breast cancer dataset. Additionally, the impact of these precisions on the energy consumption of a fixed-point SVM with on-line training is studied.


title: Generalizations of Furstenberg's Diophantine result

abstract: We prove two generalizations of Furstenberg's Diophantine result regarding density of an orbit of an irrational point in the one-torus under the action of multiplication by a non-lacunary multiplicative semi-group of $\mathbb{N}$. We show that for any sequences $\{a_{n} \},\{b_{n} \}\subset\mathbb{Z}$ for which the quotients of successive elements tend to $1$ as $n$ goes to infinity, and any infinite sequence $\{c_{n} \}$, the set $\{a_{n}b_{m}c_{k}x : n,m,k\in\mathbb{N} \}$ is dense modulo $1$ for every irrational $x$. Moreover, by ergodic-theoretical methods, we prove that if $\{a_{n} \},\{b_{n} \}$ are sequence having smooth $p$-adic interpolation for some prime number $p$, then for every irrational $x$, the sequence $\{p^{n}a_{m}b_{k}x : n,m,k\in\mathbb{N} \}$ is dense modulo 1.


title: Spectral properties and phase diagram of correlated lattice bosons in an optical cavity within the B-DMFT

abstract: We use the Bose-Hubbard model with an effective infinite-range interaction to describe the correlated lattice bosons in an optical cavity. We study both static and spectral properties of such system within the bosonic dynamical mean-field theory (B-DMFT), which is the state of the art method for strongly correlated bosonic systems. Both similarities and differences are found and discussed between our results and these obtained within different theoretical methods and experiment.


title: New detections of embedded clusters in the Galactic halo

abstract: Until recently it was thought that high Galactic latitude clouds were a non-star-forming ensemble. However, in a previous study we reported the discovery of two embedded clusters (ECs) far away from the Galactic plane ($\sim5$ kpc). In our recent star cluster catalogue we provided additional high and intermediate latitude cluster candidates. This work aims to clarify if our previous detection of star clusters far away from the disc represents just an episodic event or if the star cluster formation is currently a systematic phenomenon in the Galactic halo. We analyse the nature of four clusters found in our recent catalogue and report the discovery of three new ECs with unusually high latitude and distance from the Galactic disc midplane. All of these clusters are younger than 5 Myr. The high-latitude ECs C 932, C 934, and C 939 appear to be related to a cloud complex about 5 kpc below the Galactic disc, under the Local arm. The other clusters are above the disc, C 1074 and C 1100 with a vertical distance of $\sim3$ kpc, C 1099 with $\sim2$ kpc, and C 1101 with $\sim1.8$ kpc. According to the derived parameters there occur ECs located below and above the disc, which is an evidence of widespread star cluster formation throughout the Galactic halo. Thus, this study represents a paradigm shift, in the sense that a sterile halo becomes now a host of ongoing star formation. The origin and fate of these ECs remain open. There are two possibilities for their origin, Galactic fountain or infall. The discovery of ECs far from the disc suggests that the Galactic halo is more actively forming stars than previously thought and since most ECs do not survive the \textit{infant mortality} it may be raining stars from the halo into the disc, and/or the halo harbours generations of stars formed in clusters like those hereby detected.


title: Dynamic network models and graphon estimation

abstract: In the present paper we consider a dynamic stochastic network model. The objective is estimation of the tensor of connection probabilities $\Lambda$ when it is generated by a Dynamic Stochastic Block Model (DSBM) or a dynamic graphon. In particular, in the context of the DSBM, we derive a penalized least squares estimator $\widehat{\Lambda}$ of $\Lambda$ and show that $\widehat{\Lambda}$ satisfies an oracle inequality and also attains minimax lower bounds for the risk. We extend those results to estimation of $\Lambda$ when it is generated by a dynamic graphon function. The estimators constructed in the paper are adaptive to the unknown number of blocks in the context of the DSBM or to the smoothness of the graphon function. The technique relies on the vectorization of the model and leads to much simpler mathematical arguments than the ones used previously in the stationary set up. In addition, all results in the paper are non-asymptotic and allow a variety of extensions.


title: Estimation of anthracnose dynamics by nonlinear filtering

abstract: In this paper, we apply the nonlinear filtering theory to the estimation of the partially observed dynamics of anthracnose which is a phytopathology. The signal here is the inhibition rate and the observations are the fruit volume ant the rotted volume. We propose stochastic models based on the deterministic models given in the references [21, 22], in order to represent the noise introduced by uncontrolled variation on parameters and errors on the measurements. Under the assumption of Brownian noises we prove the well-posedness the models either they take into account the space variable or not. The filtering problem is solved for the non-spatial model giving Zakai and Kushner-Stratonovich equations satisfied respectively by the unnormalized and the normalized conditional distribution of the signal with respect to the observations. A prevision problem and a discrete filtering problem are also studied for the realistic cases of discrete and possibly incomplete observations. We illustrate the filter behaviour through numerical simulations corresponding to different scenarios KeyWords: Anthracnose modelling, State estimation, Nonlinear filtering.


title: Statistical physics of linear and bilinear inference problems

abstract: The recent development of compressed sensing has led to spectacular advances in the understanding of sparse linear estimation problems as well as in algorithms to solve them. It has also triggered a new wave of developments in the related fields of generalized linear and bilinear inference problems, that have very diverse applications in signal processing and are furthermore a building block of deep neural networks. These problems have in common that they combine a linear mixing step and a nonlinear, probabilistic sensing step, producing indirect measurements of a signal of interest. Such a setting arises in problems as different as medical or astronomical imaging, clustering, matrix completion or blind source separation. The aim of this thesis is to propose efficient algorithms for this class of problems and to perform their theoretical analysis. To this end, it uses belief propagation, thanks to which high-dimensional distributions can be sampled efficiently, thus making a Bayesian approach to inference tractable. The resulting algorithms undergo phase transitions just as physical systems do. These phase transitions can be analyzed using the replica method, initially developed in statistical physics of disordered systems. The analysis reveals phases in which inference is easy, hard or impossible. These phases correspond to different energy landscapes of the problem. The main contributions of this thesis can be divided into three categories. First, the application of known algorithms to concrete problems: community detection, superposition codes and an innovative imaging system. Second, a new, efficient message-passing algorithm for a class of problems called blind sensor calibration. Third, a theoretical analysis of matrix compressed sensing and of instabilities in Bayesian bilinear inference algorithms.


title: Study of MSSM heavy Higgs bosons decaying into charginos and neutralinos

abstract: A multitude of searches have already been performed by the ATLAS and CMS collaborations at the LHC to probe the heavy Higgses of the Minimal Supersymmetric Standard Model (MSSM) through their decay to the Standard Model particles. In this paper, we study the decay of the MSSM heavy Higgses into neutralino and chargino pairs and estimate the maximum possible branching ratios for these `ino' modes being consistent with the present LHC data. After performing a random scan of the relevant electroweakino parameters, we impose the SM 125 GeV Higgs constraints, low energy flavour data as well as current bounds on heavy Higgses from the LHC run-I and run-II data. The present limits on the electroweakino masses and couplings are also considered in our analysis. We choose a few representative benchmark points satisfying all the above-mentioned constraints, and then perform a detailed collider simulation, including fast detector effects, and analyze all the potential SM backgrounds in order to estimate the discovery reach of these heavy Higgses at the LHC. We restrict ourselves within the leptonic cascade decay modes of these heavy Higgses and study the mono-X + MET (X=W,Z) and trilepton + MET signatures in the context of high luminosity run of the 14 TeV LHC.


title: On equicontinuity of some class of mappings, which are quasiconformal in the mean

abstract: A behavior of open discrete mappings, which are quasiconformal in the mean, is investigated. It is proved that the classes of mappings mentioned above are equicontinuous (normal).


title: Optimizing the Expected Mean Payoff in Energy Markov Decision Processes

abstract: Energy Markov Decision Processes (EMDPs) are finite-state Markov decision processes where each transition is assigned an integer counter update and a rational payoff. An EMDP configuration is a pair s(n), where s is a control state and n is the current counter value. The configurations are changed by performing transitions in the standard way. We consider the problem of computing a safe strategy (i.e., a strategy that keeps the counter non-negative) which maximizes the expected mean payoff.


title: Drag reduction in turbulent channel flow laden with finite-size oblate spheroids

abstract: We study suspensions of oblate rigid particles in a viscous fluid for different values of the particle volume fractions. Direct numerical simulations have been performed using a direct-forcing immersed boundary method to account for the dispersed phase, combined with a soft-sphere collision model and lubrication corrections for short-range particle-particle and particle-wall interactions. With respect to the single phase flow, we show that in flows laden with oblate spheroids the drag is reduced and the turbulent fluctuations attenuated. In particular, the turbulence activity decreases to lower values than those obtained by only accounting for the effective suspension viscosity. To explain the observed drag reduction we consider the particle dynamics and the interactions of the particles with the turbulent velocity field and show that the particle wall layer, previously observed and found to be responsible for the increased dissipation in suspensions of spheres, disappears in the case of oblate particles. These rotate significantly slower than spheres near the wall and tend to stay with their major axes parallel to the wall, which leads to a decrease of the Reynolds stresses and turbulence production and so to the overall drag reduction.


title: Metallic phase of hydrogen at the pressure 500GPa

abstract: The first-principle method of mathematical modeling was used to calculate the structural, electronic, phonon, and other characteristics of the normal metallic phase of hydrogen at a pressure of 500 GPa. It has been shown that metal hydrogen having a lattice symmetry I41 / AMD cell is a stable phase under a high pressure hydrostatic compression. The resulting structure is a locally stable one with respect to the phonon spectrum.


title: Local well-posedness and Global stability of the Two-Phase Stefan problem

abstract: The two-phase Stefan problem describes the temperature distribution in a homogeneous medium undergoing a phase transition such as ice melting to water. This is accomplished by solving the heat equation on a time-dependent domain, composed of two regions separated by an a priori unknown moving boundary which is transported by the difference (or jump) of the normal derivatives of the temperature in each phase. We establish local-in-time well-posedness and a global-in-time stability result for arbitrary sufficiently smooth domains and small initial temperatures. To this end, we develop a higher-order energy with natural weights adapted to the problem and combine it with Hopf-type inequalities. This extends the previous work by Hadzic and Shkoller [31,32] on the one-phase Stefan problem to the setting of two-phase problems, and simplifies the proof significantly.


title: Large time asymptotics for the parabolic Anderson model driven by space and time correlated noise

abstract: We consider the linear stochastic heat equation on $\mathbb{R}^\ell$, driven by a Gaussian noise which is colored in time and space. The spatial covariance satisfies general assumptions and includes examples such as the Riesz kernel in any dimension and the covariance of the fractional Brownian motion with Hurst parameter $H\in (\frac 14, \frac 12]$ in dimension one. First we establish the existence of a unique mild solution and we derive a Feynman-Kac formula for its moments using a family of independent Brownian bridges and assuming a general integrability condition on the initial data. In the second part of the paper we compute Lyapunov exponents and lower and upper exponential growth indices in terms of a variational quantity.


title: Destruction or Preservation As You Like It

abstract: The Gap Forcing Theorem, a key contribution of this paper, implies essentially that after any reverse Easton iteration of closed forcing, such as the Laver preparation, every supercompactness measure on a supercompact cardinal extends a measure from the ground model. Thus, such forcing can create no new supercompact cardinals, and, if the GCH holds, neither can it increase the degree of supercompactness of any cardinal; in particular, it can create no new measurable cardinals. In a crescendo of what I call exact preservation theorems, I use this new technology to perform a kind of partial Laver preparation, and thereby finely control the class of posets which preserve a supercompact cardinal. Eventually, I prove the `As You Like It' Theorem, which asserts that the class of ${<}\kappa$-directed closed posets which preserve a supercompact cardinal $\kappa$ can be made by forcing to conform with any pre-selected local definition which respects the equivalence of forcing. Along the way I separate completely the levels of the superdestructibility hierarchy, and, in an epilogue, prove that the notions of fragility and superdestructibility are orthogonal---all four combinations are possible.


title: Small Forcing Makes Any Cardinal Superdestructible

abstract: Small forcing always ruins the indestructibility of an indestructible supercompact cardinal. In fact, after small forcing, any cardinal $\kappa$ becomes superdestructible---any further ${<}\kappa$-closed forcing which adds a subset to $\kappa$ will destroy the measurability, even the weak compactness, of $\kappa$. Nevertheless, after small forcing indestructible cardinals remain resurrectible, but never strongly resurrectible.


title: Meta-conformal invariance and the boundedness of two-point correlation functions

abstract: The covariant two-point functions, derived from Ward identities in direct space, can be affected by consistency problems and can become unbounded for large time- or space-separations. This difficulty arises for several extensions of dynamical scaling, for example Schr\"odinger-invariance, conformal Galilei invariance or meta-conformal invariance, but not for standard ortho-conformal invariance. For meta-conformal invariance in 1+1 dimensions, these difficulties can be cured by going over to a dual space and an extension of these dynamical symmetries through the construction of a new generator in the Cartan sub-algebra. This provides a canonical interpretation of meta-conformally covariant two-point functions as correlators. Galilei-conformal correlators can be obtained from meta-conformal invariance through a simple contraction. In contrast, by an analogus construction, Schr\"odinger-covariant two-point functions are causal response functions. All these two-point functions are bounded at large separations, for sufficiently positive values of the scaling exponents.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: The structure of graphs with forbidden $C_4$, $\overline{C}_4$, $C_5$, chair and co-chair

abstract: We find the structure of graphs that have no $C_4$, $\overline{C}_4$, $C_5$, chair and co-chair as induced subgraphs.


title: Fuchs' problem for dihedral groups

abstract: More than 50 years ago, Laszlo Fuchs asked which abelian groups can be the group of units of a ring. Though progress has been made, the question remains open. One could equally well pose the question for various classes of nonabelian groups. In this paper, we prove that D_2, D_4, D_6, D_8, and D_12 are the only dihedral groups that appear as the group of units of a ring of positive characteristic (or, equivalently, of a finite ring), and D_2 and D_4k, where k is odd, are the only dihedral groups that appear as the group of units of a ring of characteristic 0.


title: HATS-22b, HATS-23b and HATS-24b: Three new transiting Super-Jupiters from the HATSouth Project

abstract: We report the discovery of three moderately high-mass transiting hot Jupiters from the HATSouth survey: HATS-22b, HATS-23b and HATS-24b. These planets add to the numbers of known planets in the ~2MJ regime. HATS-22b is a 2.74+/-0.11 MJ mass and 0.953+0.048/-0.029 RJ radius planet orbiting a V = 13.455 +/- 0.040 sub-silar mass (M_star = 0.759+/-0.019 M_sun; R_star = 0.759+/-0.019 R_sun) K-dwarf host star on an eccentric (e = 0.079 +/- 0.026) orbit. This planet's high planet-to-stellar mass ratio is further evidence that migration mechanisms for hot Jupiters may rely on exciting orbital eccentricities that bring planets closer to their parent stars followed by tidal circularisation. HATS-23b is a 1.478 +/- 0.080 MJ mass and 1.69 +/- 0.24 RJ radius planet on a grazing orbit around a V = 13.901 +/- 0.010 G-dwarf with properties very similar to those of the Sun (M_star = 1.115 +/- 0.054 M_sun; R_star = 1.145 +/- 0.070 R_sun). HATS-24b orbits a moderately bright V = 12.830 +/- 0.010 F-dwarf star (M_star = 1.218 +/- 0.036 M_sun; R_star = 1.194+0.066/-0.041 R_sun). This planet has a mass of 2.39 +0.21/-0.12 MJ and an inflated radius of 1.516 +0.085/-0.065 RJ.


title: Besov continuity for pseudo-differential operators on compact homogeneous manifolds

abstract: In this paper we study the Besov continuity of pseudo-differential operators on compact homogeneous manifolds $M=G/K.$ We use the global quantization of these operators in terms of the representation theory of compact homogeneous manifolds.


title: Isobaric multiplet mass equation in the $A=31$ $T = 3/2$ quartets

abstract: The observed mass excesses of analog nuclear states with the same mass number $A$ and isospin $T$ can be used to test the isobaric multiplet mass equation (IMME), which has, in most cases, been validated to a high degree of precision. A recent measurement [Kankainen et al., Phys. Rev. C 93 041304(R) (2016)] of the ground-state mass of $^{31}$Cl led to a substantial breakdown of the IMME for the lowest $A = 31, T = 3/2$ quartet. The second-lowest $A = 31, T = 3/2$ quartet is not complete, due to uncertainties associated with the identity of the $^{31}$S member state. Using a fast $^{31}$Cl beam implanted into a plastic scintillator and a high-purity Ge $\gamma$-ray detection array, $\gamma$ rays from the $^{31}$Cl$(\beta\gamma)$$^{31}$S sequence were measured. Shell-model calculations using USDB and the recently-developed USDE interactions were performed for comparison. Isospin mixing between the $^{31}$S isobaric analog state (IAS) at 6279.0(6) keV and a nearby state at 6390.2(7) keV was observed. The second $T = 3/2$ state in $^{31}$S was observed at $E_x = 7050.0(8)$ keV. Isospin mixing in $^{31}$S does not by itself explain the IMME breakdown in the lowest quartet, but it likely points to similar isospin mixing in the mirror nucleus $^{31}$P, which would result in a perturbation of the $^{31}$P IAS energy. USDB and USDE calculations both predict candidate $^{31}$P states responsible for the mixing in the energy region slightly above $E_x = 6400$ keV. The second quartet has been completed thanks to the identification of the second $^{31}$S $T = 3/2$ state, and the IMME is validated in this quartet.


title: Mapping the Structure of Directed Networks: Beyond the "Bow-tie" Diagram

abstract: We reveal a hierarchical, multilayer organization of finite components -- i.e., tendrils and tubes -- around the giant connected components in directed networks and propose efficient algorithms allowing one to uncover the entire organization of key real-world directed networks, such as the World Wide Web, the neural network of \emph{Caenorhabditis elegans}, and others. With increasing damage, the giant components decrease in size while the number and size of tendril layers increase, enhancing the susceptibility of the networks to damage.


title: Three-Dimensional Simulations of Tearing and Intermittency in Coronal Jets

abstract: Observations of coronal jets increasingly suggest that local fragmentation and intermittency play an important role in the dynamics of these events. In this work we investigate this fragmentation in high-resolution simulations of jets in the closed-field corona. We study two realizations of the embedded-bipole model, whereby impulsive helical outflows are driven by reconnection between twisted and untwisted field across the domed fan plane of a magnetic null. We find that the reconnection region fragments following the onset of a tearing-like instability, producing multiple magnetic null points and flux-rope structures within the current layer. The flux ropes formed within the weak-field region in the center of the current layer are associated with "blobs" of density enhancement that become filamentary threads as the flux ropes are ejected from the layer, whereupon new flux ropes form behind them. This repeated formation and ejection of flux ropes provides a natural explanation for the intermittent outflows, bright blobs of emission, and filamentary structure observed in some jets. Additional observational signatures of this process are discussed. Essentially all jet models invoke reconnection between regions of locally closed and locally open field as the jet-generation mechanism. Therefore, we suggest that this repeated tearing process should occur at the separatrix surface between the two flux systems in all jets. A schematic picture of tearing-mediated jet reconnection in three dimensions is outlined.


title: Exploring the locally low dimensional structure in solving random elliptic PDEs

abstract: We propose a stochastic multiscale finite element method (StoMsFEM) to solve random elliptic partial differential equations with a high stochastic dimension. The key idea is to simultaneously upscale the stochastic solutions in the physical space for all random samples and explore the low stochastic dimensions of the stochastic solution within each local patch. We propose two effective methods to achieve this simultaneous local upscaling. The first method is a high order interpolation method in the stochastic space that explores the high regularity of the local upscaled quantities with respect to the random variables. The second method is a reduced-order method that explores the low rank property of the multiscale basis functions within each coarse grid patch. Our complexity analysis shows that compared with the standard FEM on a fine grid, the StoMsFEM can achieve computational saving in the order of $(H/h)^{d}/(\log(H/h))^k$, where $H/h$ is the ratio between the coarse and the fine gird sizes, $d$ is the physical dimension and $k$ is the local stochastic dimension. Several numerical examples are presented to demonstrate the accuracy and effectiveness of the proposed methods. In the high contrast example, we observe a factor of 2000 speed-up.


title: Sachdev-Ye-Kitaev Model as Liouville Quantum Mechanics

abstract: We show that the proper inclusion of soft reparameterization modes in the Sachdev-Ye-Kitaev model of $N$ randomly interacting Majorana fermions reduces its long-time behavior to that of Liouville quantum mechanics. As a result, all zero temperature correlation functions decay with the universal exponent $\propto \tau^{-3/2}$ for times larger than the inverse single particle level spacing $\tau\gg N\ln N$. In the particular case of the single particle Green function this behavior is manifestation of the zero-bias anomaly, or scaling in energy as $\epsilon^{1/2}$. We also present exact diagonalization study supporting our conclusions.


title: Can we reach Pareto optimal outcomes using bottom-up approaches?

abstract: Traditionally, researchers in decision making have focused on attempting to reach Pareto Optimality using horizontal approaches, where optimality is calculated taking into account every participant at the same time. Sometimes, this may prove to be a difficult task (e.g., conflict, mistrust, no information sharing, etc.). In this paper, we explore the possibility of achieving Pareto Optimal outcomes in a group by using a bottom-up approach: discovering Pareto optimal outcomes by interacting in subgroups. We analytically show that Pareto optimal outcomes in a subgroup are also Pareto optimal in a supergroup of those agents in the case of strict, transitive, and complete preferences. Then, we empirically analyze the prospective usability and practicality of bottom-up approaches in a variety of decision making domains.


title: Variational limits of k-NN graph based functionals on data clouds

abstract: This paper studies the large sample asymptotics of data analysis procedures based on the optimization of functionals defined on $k$-NN graphs on point clouds. The paper is framed in the context of minimization of balanced cut functionals, but our techniques, ideas and results can be adapted to other functionals of relevance. We rigorously show that provided the number of neighbors in the graph $k:=k_n$ scales with the number of points in the cloud as $n \gg k_n \gg \log(n)$, then with probability one, the solution to the graph cut optimization problem converges towards the solution of an analogue variational problem at the continuum level.


title: Neural ideals and stimulus space visualization

abstract: A neural code $\mathcal{C}$ is a collection of binary vectors of a given length n that record the co-firing patterns of a set of neurons. Our focus is on neural codes arising from place cells, neurons that respond to geographic stimulus. In this setting, the stimulus space can be visualized as subset of $\mathbb{R}^2$ covered by a collection $\mathcal{U}$ of convex sets such that the arrangement $\mathcal{U}$ forms an Euler diagram for $\mathcal{C}$. There are some methods to determine whether such a convex realization $\mathcal{U}$ exists; however, these methods do not describe how to draw a realization. In this work, we look at the problem of algorithmically drawing Euler diagrams for neural codes using two polynomial ideals: the neural ideal, a pseudo-monomial ideal; and the neural toric ideal, a binomial ideal. In particular, we study how these objects are related to the theory of piercings in information visualization, and we show how minimal generating sets of the ideals reveal whether or not a code is $0$, $1$, or $2$-inductively pierced.


title: The Econometrics of Randomized Experiments

abstract: In this review, we present econometric and statistical methods for analyzing randomized experiments. For basic experiments we stress randomization-based inference as opposed to sampling-based inference. In randomization-based inference, uncertainty in estimates arises naturally from the random assignment of the treatments, rather than from hypothesized sampling from a large population. We show how this perspective relates to regression analyses for randomized experiments. We discuss the analyses of stratified, paired, and clustered randomized experiments, and we stress the general efficiency gains from stratification. We also discuss complications in randomized experiments such as non-compliance. In the presence of non-compliance we contrast intention-to-treat analyses with instrumental variables analyses allowing for general treatment effect heterogeneity. We consider in detail estimation and inference for heterogeneous treatment effects in settings with (possibly many) covariates. These methods allow researchers to explore heterogeneity by identifying subpopulations with different treatment effects while maintaining the ability to construct valid confidence intervals. We also discuss optimal assignment to treatment based on covariates in such settings. Finally, we discuss estimation and inference in experiments in settings with interactions between units, both in general network settings and in settings where the population is partitioned into groups with all interactions contained within these groups.


title: The State of Applied Econometrics - Causality and Policy Evaluation

abstract: In this paper we discuss recent developments in econometrics that we view as important for empirical researchers working on policy evaluation questions. We focus on three main areas, where in each case we highlight recommendations for applied work. First, we discuss new research on identification strategies in program evaluation, with particular focus on synthetic control methods, regression discontinuity, external validity, and the causal interpretation of regression methods. Second, we discuss various forms of supplementary analyses to make the identification strategies more credible. These include placebo analyses as well as sensitivity and robustness analyses. Third, we discuss recent advances in machine learning methods for causal effects. These advances include methods to adjust for differences between treated and control units in high-dimensional settings, and methods for identifying and estimating heterogeneous treatment effects.


title: G\'en\'eralisation des congruences de Wolstenholme et de Morley

abstract: In this paper, we prove that for any odd prime $p$ and for any $p$-integer $\alpha $,we have $ \binom{\alpha p-1}{p-1}\equiv 1-\alpha (\alpha -1)(\alpha ^{2}-\alpha -1)p\sum_{k=1}^{p-1}\frac{1}{k}+\alpha ^{2} (\alpha-1)^{2}p^{2}\sum_{1\leq i<j\leq p-1}\frac{1}{ij} \ \pmod{p^{m}}$, where $m=7$ if $p\neq 7$ and $m=6$ if $p=7$. this congruence generalizes the congruences of Wolstenholme, Morley, Glaisher, Carlitz, McIntosh, Tauraso and Me\v{s}trovi\'c. It allows one to rediscover the congruences of Glaisher, Carlitz and Zhao in a simple way


title: Reanalysis of the $X(4140)$ as axialvector tetraquark state with QCD sum rules

abstract: In this article, we take the $X(4140)$ as the diquark-antidiquark type $cs\bar{c}\bar{s}$ tetraquark state with $J^{PC}=1^{++}$, and study the mass and pole residue with the QCD sum rules in details by constructing two types interpolating currents. The numerical results $M_{X_{L,+}}=3.95\pm0.09\,\rm{GeV}$ and $M_{X_{H,+}}=5.00\pm0.10\,\rm{GeV}$ disfavor assigning the $X(4140)$ to be the $J^{PC}=1^{++}$ diquark-antidiquark type $cs\bar{c}\bar{s}$ tetraquark state. Moreover, we obtain the masses of the $J^{PC}=1^{+-}$ diquark-antidiquark type $cs\bar{c}\bar{s}$ tetraquark states as a byproduct. The present predictions can be confronted to the experimental data in the future.


title: A sparse decomposition of low rank symmetric positive semi-definite matrices

abstract: Suppose that $A \in \mathbb{R}^{N \times N}$ is symmetric positive semidefinite with rank $K \le N$. Our goal is to decompose $A$ into $K$ rank-one matrices $\sum_{k=1}^K g_k g_k^T$ where the modes $\{g_{k}\}_{k=1}^K$ are required to be as sparse as possible. In contrast to eigen decomposition, these sparse modes are not required to be orthogonal. Such a problem arises in random field parametrization where $A$ is the covariance function and is intractable to solve in general. In this paper, we partition the indices from 1 to $N$ into several patches and propose to quantify the sparseness of a vector by the number of patches on which it is nonzero, which is called patch-wise sparseness. Our aim is to find the decomposition which minimizes the total patch-wise sparseness of the decomposed modes. We propose a domain-decomposition type method, called intrinsic sparse mode decomposition (ISMD), which follows the "local-modes-construction + patching-up" procedure. The key step in the ISMD is to construct local pieces of the intrinsic sparse modes by a joint diagonalization problem. Thereafter a pivoted Cholesky decomposition is utilized to glue these local pieces together. Optimal sparse decomposition, consistency with different domain decomposition and robustness to small perturbation are proved under the so called regular-sparse assumption (see Definition 1.2). We provide simulation results to show the efficiency and robustness of the ISMD. We also compare the ISMD to other existing methods, e.g., eigen decomposition, pivoted Cholesky decomposition and convex relaxation of sparse principal component analysis [25] and [40].


title: Topological complexity and efficiency of motion planning algorithms

abstract: We introduce a variant of Farber's topological complexity, defined for smooth compact orientable Riemannian manifolds, which takes into account only motion planners with the lowest possible "average length" of the output paths. We prove that it never differs from topological complexity by more than $1$, thus showing that the latter invariant addresses the problem of the existence of motion planners which are "efficient".


title: Neutrino Flux Predictions for the NuMI Beam

abstract: Knowledge of the neutrino flux produced by the Neutrinos at the Main Injector (NuMI) beamline is essential to the neutrino oscillation and neutrino interaction measurements of the MINERvA, MINOS+, NOvA and MicroBooNE experiments at Fermi National Accelerator Laboratory. We have produced a flux prediction which uses all available and relevant hadron production data, incorporating measurements of particle production off of thin targets as well as measurements of particle yields from a spare NuMI target exposed to a 120 GeV proton beam. The result is the most precise flux prediction achieved for a neutrino beam in the one to tens of GeV energy region. We have also compared the prediction to in situ measurements of the neutrino flux and find good agreement.


title: Towards a Numerical Unitarity Approach for Two-loop Amplitudes in QCD

abstract: The numerical unitarity approach has been important for obtaining reliable QCD predictions for the LHC. Here I discuss the extension of the approach beyond the leading quantum corrections for computing multi-loop amplitudes. The numerical unitarity approach requires a suitable parametrisation of the loop integrands as a sum of terms that integrate to zero (surface terms) and master integrands. The construction and classification of suitable surface terms which match the propagators structures of Feynman amplitudes is the main technical advance discussed. A number of spin-offs for integral reduction and further formal questions are briefly reviewed.


title: A Semi-supervised learning approach to enhance health care Community-based Question Answering: A case study in alcoholism

abstract: Community-based Question Answering (CQA) sites play an important role in addressing health information needs. However, a significant number of posted questions remain unanswered. Automatically answering the posted questions can provide a useful source of information for online health communities. In this study, we developed an algorithm to automatically answer health-related questions based on past questions and answers (QA). We also aimed to understand information embedded within online health content that are good features in identifying valid answers. Our proposed algorithm uses information retrieval techniques to identify candidate answers from resolved QA. In order to rank these candidates, we implemented a semi-supervised leaning algorithm that extracts the best answer to a question. We assessed this approach on a curated corpus from Yahoo! Answers and compared against a rule-based string similarity baseline. On our dataset, the semi-supervised learning algorithm has an accuracy of 86.2%. UMLS-based (health-related) features used in the model enhance the algorithm's performance by proximately 8 %. A reasonably high rate of accuracy is obtained given that the data is considerably noisy. Important features distinguishing a valid answer from an invalid answer include text length, number of stop words contained in a test question, a distance between the test question and other questions in the corpus as well as a number of overlapping health-related terms between questions. Overall, our automated QA system based on historical QA pairs is shown to be effective according to the data set in this case study. It is developed for general use in the health care domain which can also be applied to other CQA sites.


title: Iteration formulae of the Maslov-type index theory in weak symplectic Hilbert spaces

abstract: In this paper, we prove a splitting formula for the Maslov-type indices of symplectic paths induced by the splitting of the nullity in weak symplectic Hilbert space. Then we give a direct proof of iteration formulae for the Maslov-type indices of symplectic paths.


title: Vortex motion and flux-flow resistivity in dirty multiband superconductors

abstract: The conductivity of vortex lattices in multiband superconductors with high concentration of impurities is calculated based on microscopic kinetic theory. Both the limits of high and low fields are considered, when the magnetic induction is close to or much smaller than the critical field strength $H_{c2}$, respectively. It is shown that in contrast to single-band superconductors the resistive properties are not universal but depend on the pairing constants and ratios of diffusivities in different bands. The low-field magneto-resistance can strongly exceed Bardeen-Stephen estimation in a quantitative agreement with experimental data for two-band superconductor MgB$_2$.


title: New computations of the Riemann zeta function on the critical line

abstract: We present highlights of computations of the Riemann zeta function around large values and high zeros. The main new ingredient in these computations is an implementation of the second author's fast algorithm for numerically evaluating quadratic exponential sums. In addition, we use a new simple multi-evaluation method to compute the zeta function in a very small range at little more than the cost of evaluation at a single point.


title: Automatic Generation of Probabilistic Programming from Time Series Data

abstract: Probabilistic programming languages represent complex data with intermingled models in a few lines of code. Efficient inference algorithms in probabilistic programming languages make possible to build unified frameworks to compute interesting probabilities of various large, real-world problems. When the structure of model is given, constructing a probabilistic program is rather straightforward. Thus, main focus have been to learn the best model parameters and compute marginal probabilities. In this paper, we provide a new perspective to build expressive probabilistic program from continue time series data when the structure of model is not given. The intuition behind of our method is to find a descriptive covariance structure of time series data in nonparametric Gaussian process regression. We report that such descriptive covariance structure efficiently derives a probabilistic programming description accurately.


title: Optimal Energy Allocation For Delay-Constrained Traffic Over Fading Multiple Access Channels

abstract: In this paper, we consider a multiple-access fading channel where $N$ users transmit to a single base station (BS) within a limited number of time slots. We assume that each user has a fixed amount of energy available to be consumed over the transmission window. We derive the optimal energy allocation policy for each user that maximizes the total system throughput under two different assumptions on the channel state information. First, we consider the offline allocation problem where the channel states are known a priori before transmission. We solve a convex optimization problem to maximize the sum-throughput under energy and delay constraints. Next, we consider the online allocation problem, where the channels are causally known to the BS and obtain the optimal energy allocation via dynamic programming when the number of users is small. We also develop a suboptimal resource allocation algorithm whose performance is close to the optimal one. Numerical results are presented showing the superiority of the proposed algorithms over baseline algorithms in various scenarios.


title: Orthogonal Separation of the Hamilton-Jacobi Equation on Spaces of Constant Curvature

abstract: We review the theory of orthogonal separation of variables of the Hamilton-Jacobi equation on spaces of constant curvature, highlighting key contributions to the theory by Benenti. This theory revolves around a special type of conformal Killing tensor, hereafter called a concircular tensor. First, we show how to extend original results given by Benenti to intrinsically characterize all (orthogonal) separable coordinates in spaces of constant curvature using concircular tensors. This results in the construction of a special class of separable coordinates known as Kalnins-Eisenhart-Miller coordinates. Then we present the Benenti-Eisenhart-Kalnins-Miller separation algorithm, which uses concircular tensors to intrinsically search for Kalnins-Eisenhart-Miller coordinates which separate a given natural Hamilton-Jacobi equation. As a new application of the theory, we show how to obtain the separable coordinate systems in the two dimensional spaces of constant curvature, Minkowski and (Anti-)de Sitter space. We also apply the Benenti-Eisenhart-Kalnins-Miller separation algorithm to study the separability of the three dimensional Calogero-Moser and Morosi-Tondo systems.


title: Deformations and generalized derivations of Hom-Lie conformal algebras

abstract: The purpose of this paper is to extend the cohomology and conformal derivation theories of the classical Lie conformal algebras to Hom-Lie conformal algebras. In this paper, we develop cohomology theory of Hom-Lie conformal algebras and discuss some applications to the study of deformations of regular Hom-Lie conformal algebras. Also, we introduce $\alpha^k$-derivations of multiplicative Hom-Lie conformal algebras and study their properties.


title: Stochastic Modeling of Hybrid Cache Systems

abstract: In recent years, there is an increasing demand of big memory systems so to perform large scale data analytics. Since DRAM memories are expensive, some researchers are suggesting to use other memory systems such as non-volatile memory (NVM) technology to build large-memory computing systems. However, whether the NVM technology can be a viable alternative (either economically and technically) to DRAM remains an open question. To answer this question, it is important to consider how to design a memory system from a "system perspective", that is, incorporating different performance characteristics and price ratios from hybrid memory devices. This paper presents an analytical model of a "hybrid page cache system" so to understand the diverse design space and performance impact of a hybrid cache system. We consider (1) various architectural choices, (2) design strategies, and (3) configuration of different memory devices. Using this model, we provide guidelines on how to design hybrid page cache to reach a good trade-off between high system throughput (in I/O per sec or IOPS) and fast cache reactivity which is defined by the time to fill the cache. We also show how one can configure the DRAM capacity and NVM capacity under a fixed budget. We pick PCM as an example for NVM and conduct numerical analysis. Our analysis indicates that incorporating PCM in a page cache system significantly improves the system performance, and it also shows larger benefit to allocate more PCM in page cache in some cases. Besides, for the common setting of performance-price ratio of PCM, "flat architecture" offers as a better choice, but "layered architecture" outperforms if PCM write performance can be significantly improved in the future.


title: Path planning with Inventory-driven Jump-Point-Search

abstract: In many navigational domains the traversability of cells is conditioned on the path taken. This is often the case in video-games, in which a character may need to acquire a certain object (i.e., a key or a flying suit) to be able to traverse specific locations (e.g., doors or high walls). In order for non-player characters to handle such scenarios we present invJPS, an "inventory-driven" pathfinding approach based on the highly successful grid-based Jump-Point-Search (JPS) algorithm. We show, formally and experimentally, that the invJPS preserves JPS's optimality guarantees and its symmetry breaking advantages in inventory-based variants of game maps.


title: An Algebraic Approach to Non-Orthogonal General Joint Block Diagonalization

abstract: The exact/approximate non-orthogonal general joint block diagonalization ({\sc nogjbd}) problem of a given real matrix set $\mathcal{A}=\{A_i\}_{i=1}^m$ is to find a nonsingular matrix $W\in\mathbb{R}^{n\times n}$ (diagonalizer) such that $W^T A_i W$ for $i=1,2,\dots, m$ are all exactly/approximately block diagonal matrices with the same diagonal block structure and with as many diagonal blocks as possible. In this paper, we show that a solution to the exact/approximate {\sc nogjbd} problem can be obtained by finding the exact/approximate solutions to the system of linear equations $A_iZ=Z^TA_i$ for $i=1,\dots, m$, followed by a block diagonalization of $Z$ via similarity transformation. A necessary and sufficient condition for the equivalence of the solutions to the exact {\sc nogjbd} problem is established. Two numerical methods are proposed to solve the {\sc nogjbd} problem, and numerical examples are presented to show the merits of the proposed methods.


title: Some Conformal Positive Mass Theorems

abstract: W. Simon proved a conformal positive mass theorem, which was used to prove uniqueness of black holes later. In this note, we will generalize Simon's conformal positive mass theorem in two directions. First we will consider spacetime version of conformal positive mass theorems on asymptotically flat initial data set. Next, we will prove a conformal positive mass theorem on asymptotically hyperbolic manifolds.


title: Towards Abstraction from Extraction: Multiple Timescale Gated Recurrent Unit for Summarization

abstract: In this work, we introduce temporal hierarchies to the sequence to sequence (seq2seq) model to tackle the problem of abstractive summarization of scientific articles. The proposed Multiple Timescale model of the Gated Recurrent Unit (MTGRU) is implemented in the encoder-decoder setting to better deal with the presence of multiple compositionalities in larger texts. The proposed model is compared to the conventional RNN encoder-decoder, and the results demonstrate that our model trains faster and shows significant performance gains. The results also show that the temporal hierarchies help improve the ability of seq2seq models to capture compositionalities better without the presence of highly complex architectural hierarchies.


title: Coarse2Fine: Two-Layer Fusion For Image Retrieval

abstract: This paper addresses the problem of large-scale image retrieval. We propose a two-layer fusion method which takes advantage of global and local cues and ranks database images from coarse to fine (C2F). Departing from the previous methods fusing multiple image descriptors simultaneously, C2F is featured by a layered procedure composed by filtering and refining. In particular, C2F consists of three components. 1) Distractor filtering. With holistic representations, noise images are filtered out from the database, so the number of candidate images to be used for comparison with the query can be greatly reduced. 2) Adaptive weighting. For a certain query, the similarity of candidate images can be estimated by holistic similarity scores in complementary to the local ones. 3) Candidate refining. Accurate retrieval is conducted via local features, combining the pre-computed adaptive weights. Experiments are presented on two benchmarks, \emph{i.e.,} Holidays and Ukbench datasets. We show that our method outperforms recent fusion methods in terms of storage consumption and computation complexity, and that the accuracy is competitive to the state-of-the-arts.


title: An Empirical Evaluation Of Social Influence Metrics

abstract: Predicting when an individual will adopt a new behavior is an important problem in application domains such as marketing and public health. This paper examines the perfor- mance of a wide variety of social network based measurements proposed in the literature - which have not been previously compared directly. We study the probability of an individual becoming influenced based on measurements derived from neigh- borhood (i.e. number of influencers, personal network exposure), structural diversity, locality, temporal measures, cascade mea- sures, and metadata. We also examine the ability to predict influence based on choice of classifier and how the ratio of positive to negative samples in both training and testing affect prediction results - further enabling practical use of these concepts for social influence applications.


title: Recursive utility optimization with concave coefficients

abstract: This paper concerns the recursive utility maximization problem. We assume that the coefficients of the wealth equation and the recursive utility are concave. Then some interesting and important cases with nonlinear and nonsmooth coefficients satisfy our assumption. After given an equivalent backward formulation of our problem, we employ the Fenchel-Legendre transform and derive the corresponding variational formulation. By the convex duality method, the primal "sup-inf" problem is translated to a dual minimization problem and the saddle point of our problem is derived. Finally, we obtain the optimal terminal wealth. To illustrate our results, three cases for investors with ambiguity aversion are explicitly worked out under some special assumptions.


title: On the cluster nature and quantization of geometric $R$-matrices

abstract: We define cluster $R$-matrices as sequences of mutations in triangular grid quivers on a cylinder, and show that the affine geometric $R$-matrix of symmetric power representations for the quantum affine algebra $U_q^\prime(\hat{\mathfrak{sl}}_n)$ can be obtained from our cluster $R$-matrix. A quantization of the affine geometric $R$-matrix is defined, compatible with the cluster structure. We construct invariants of the quantum affine geometric $R$-matrix as quantum loop symmetric functions.


title: The Ground Axiom

abstract: The ground axiom is the assertion that the set-theoretic universe is not obtainable by forcing over any inner model. Although this appears at first to be a second-order assertion, it is actually first-order expressible in the language of set theory. This article is the extended abstract for a talk at the 2005 Workshop in Set Theory at the Mathematisches Forschungsinstitut Oberwolfach.


title: Optimal Dividend and Investment Problems under Sparre Andersen Model

abstract: In this paper we study a class of optimal dividend and investment problems assuming that the underlying reserve process follows the Sparre Andersen model, that is, the claim frequency is a "renewal" process, rather than a standard compound Poisson process. The main feature of such problems is that the underlying reserve dynamics, even in its simplest form, is no longer Markovian. By using the backward Markovization technique we recast the problem in a Markovian framework with expanded dimension representing the time elapsed after the last claim, with which we investigate the regularity of the value function, and validate the dynamic programming principle. Furthermore, we show that the value function is the unique constrained viscosity solution} to the associated HJB equation on a cylindrical domain on which the problem is well-defined.


title: Location of Gamma-ray emission and magnetic field strengths in OJ 287

abstract: The Gamma-ray BL Lac object OJ 287 is known to exhibit inner-parsec "jet-wobbling", high degrees of variability at all wavelengths and quasi-stationary features including an apparent (~100 deg) position angle change in projection on the sky plane. Sub-50 micro-arcsecond resolution 86 GHz observations with the global mm-VLBI array (GMVA) supplement ongoing multi-frequency VLBI blazar monitoring at lower frequencies. Using these maps together with cm/mm total intensity and Gamma-ray observations from Fermi/LAT from 2008-2014, we aimed to determine the location of Gamma-ray emission and to explain the inner-mas structural changes. Observations with the GMVA offer approximately double the angular resolution compared with 43 GHz VLBA observations and allow us to observe above the synchrotron self-absorption peak frequency. The jet was spectrally decomposed at multiple locations along the jet. From this we derived estimates of the magnetic field. How the field decreases down the jet allowed an estimate of the distance to the jet apex and an estimate of the magnetic field strength at the jet apex and in the broad line region. Combined with accurate kinematics we attempt to locate the site of Gamma-ray activity, radio flares and spectral changes. Strong Gamma-ray flares appeared to originate from either the "core" region, a downstream stationary feature, or both, with Gamma-ray activity significantly correlated with radio flaring in the downstream quasi-stationary feature. Magnetic field estimates were determined at multiple locations along the jet, with the magnetic field found to be >1.6 G in the "core" and >0.4 G in the downstream quasi-stationary feature. We therefore found upper limits on the location of the "core" as >6.0 pc from the jet apex and determined an upper limit on the magnetic field near the jet base of the order of thousands of Gauss.


title: Frobenius-Chern-Simons gauge theory

abstract: Given a set of differential forms on an odd-dimensional noncommutative manifold valued in an internal associative algebra H, we show that the most general cubic covariant Hamiltonian action, without mass terms, is controlled by an Z_2-graded associative algebra F with a graded symmetric nondegenerate bilinear form. The resulting class of models provide a natural generalization of the Frobenius-Chern-Simons model (FCS) that was proposed in arXiv:1505.04957 as an off-shell formulation of the minimal bosonic four-dimensional higher spin gravity theory. If F is unital and the Z_2-grading is induced from a Klein operator that is outer to a proper Frobenius subalgebra, then the action can be written on a form akin to topological open string field theory in terms of a superconnection valued in the direct product of H and F. We give a new model of this type based on a twisting of C[Z_2 x Z_4], which leads to self-dual complexified gauge fields on AdS_4. If F is 3-graded, the FCS model can be truncated consistently as to zero-form constraints on-shell. Two examples thereof are a twisting of C[(Z_2)^3] that yields the original model, and the Clifford algebra Cl_2n which provides an FCS formulation of the bosonic Konstein--Vasiliev model with gauge algebra hu(4^{n-1},0).


title: Differential Poisson Sigma Models with Extended Supersymmetry

abstract: The induced two-dimensional topological N=1 supersymmetric sigma model on a differential Poisson manifold M presented in arXiv:1503.05625 is shown to be a special case of the induced Poisson sigma model on the bi-graded supermanifold T[0,1]M. The bi-degree comprises the standard N-valued target space degree, corresponding to the form degree on the worldsheet, and an additional Z-valued fermion number, corresponding to the degree in the differential graded algebra of forms on M. The N=1 supersymmetry stems from the compatibility between the (extended) differential Poisson bracket and the de Rham differential on M. The latter is mapped to a nilpotent vector field Q of bi-degree (0,1) on T*[1,0](T[0,1]M), and the covariant Hamiltonian action is Q-exact. New extended supersymmetries arise as inner derivatives along special bosonic Killing vectors on M that induce Killing supervector fields of bi-degree (0,-1) on T*[1,0](T[0,1]M).


title: Higher Spin Currents in the Enhanced N=3 Kazama-Suzuki Model

abstract: The N=3 Kazama-Suzuki model at the `critical' level has been found by Creutzig, Hikida and Ronne. We construct the lowest higher spin currents of spins (3/2, 2,2,2,5/2, 5/2, 5/2, 3) in terms of various fermions. In order to obtain the operator product expansions (OPEs) between these higher spin currents, we describe three N=2 OPEs between the two N=2 higher spin currents denoted by (3/2, 2, 2, 5/2) and (2, 5/2, 5/2, 3) (corresponding 36 OPEs in the component approach). Using the various Jacobi identities, the coefficient functions appearing on the right hand side of these N=2 OPEs are determined in terms of central charge completely. Then we describe them as one single N=3 OPE in the N=3 superspace. The right hand side of this N=3 OPE contains the SO(3)-singlet N=3 higher spin multiplet of spins (2, 5/2, 5/2, 5/2, 3,3,3, 7/2), the SO(3)-singlet N=3 higher spin multiplet of spins (5/2, 3,3,3, 7/2, 7/2, 7/2, 4), and the SO(3)-triplet N=3 higher spin multiplets where each multiplet has the spins (3, 7/2, 7/2, 7/2, 4,4,4, 9/2), in addition to N=3 superconformal family of the identity operator. Finally, by factoring out the spin-1/2 current of N=3 linear superconformal algebra generated by eight currents of spins (1/2, 1,1,1, 3/2, 3/2, 3/2, 2), we obtain the extension of so-called SO(3) nonlinear Knizhnik Bershadsky algebra.


title: Retrofitting mutual authentication to GSM using RAND hijacking

abstract: As has been widely discussed, the GSM mobile telephony system only offers unilateral authentication of the mobile phone to the network; this limitation permits a range of attacks. While adding support for mutual authentication would be highly beneficial, changing the way GSM serving networks operate is not practical. This paper proposes a novel modification to the relationship between a Subscriber Identity Module (SIM) and its home network which allows mutual authentication without changing any of the existing mobile infrastructure, including the phones; the only necessary changes are to the authentication centres and the SIMs. This enhancement, which could be deployed piecemeal in a completely transparent way, not only addresses a number of serious vulnerabilities in GSM but is also the first proposal for enhancing GSM authentication that possesses such transparency properties.


title: A Two-Streamed Network for Estimating Fine-Scaled Depth Maps from Single RGB Images

abstract: Estimating depth from a single RGB image is an ill-posed and inherently ambiguous problem. State-of-the-art deep learning methods can now estimate accurate 2D depth maps, but when the maps are projected into 3D, they lack local detail and are often highly distorted. We propose a fast-to-train two-streamed CNN that predicts depth and depth gradients, which are then fused together into an accurate and detailed depth map. We also define a novel set loss over multiple images; by regularizing the estimation between a common set of images, the network is less prone to over-fitting and achieves better accuracy than competing methods. Experiments on the NYU Depth v2 dataset shows that our depth predictions are competitive with state-of-the-art and lead to faithful 3D projections.


title: Perspectives on Kuperberg flows

abstract: The "Seifert Conjecture" asks, "Does every non-singular vector field on the 3-sphere ${\mathbb S}^3$ have a periodic orbit?" In a celebrated work, Krystyna Kuperberg gave a construction of a smooth aperiodic vector field on a plug, which is then used to construct counter-examples to the Seifert Conjecture for smooth flows on the $3$-sphere, and on compact 3-manifolds in general. The dynamics of the flows in these plugs have been extensively studied, with more precise results known in special "generic" cases of the construction. Moreover, the dynamical properties of smooth perturbations of Kuperberg's construction have been considered. In this work, we recall some of the results obtained to date for the Kuperberg flows and their perturbations. Then the main point of this work is to focus attention on how the known results for Kuperberg flows depend on the assumptions imposed on the flows, and to discuss some of the many interesting questions and problems that remain open about their dynamical and ergodic properties.


title: Ultrahigh-Energy Cosmic Ray Production by Turbulence in Gamma-Ray Burst Jets and Cosmogenic Neutrinos

abstract: We propose a novel model to produce ultrahigh-energy cosmic-rays (UHECRs) in gamma-ray burst jets. After the prompt gamma-ray emission, hydrodynamical turbulence is excited in the GRB jets at or before the afterglow phase. The mildly relativistic turbulence stochastically accelerates protons. The acceleration rate is much slower than the usual first-order shock acceleration rate, but in this case it can be energy-independent. The resultant UHECR spectrum is so hard that the bulk energy is concentrated in the highest energy range, resulting in a moderate requirement for the typical cosmic ray luminosity of $\sim 10^{53.5}~\mbox{erg}~\mbox{s}^{-1}$. In this model, the secondary gamma-ray and neutrino emissions initiated by photopion production are significantly suppressed. Although the UHECR spectrum at injection shows a curved feature, this does not conflict with the observed UHECR spectral shape. The cosmogenic neutrino spectrum in the $10^{17}$--$10^{18}$ eV range becomes distinctively hard in this model, which may be verified by future observations.


title: Generalized multiplicities of edge ideals

abstract: We explore connections between the generalized multiplicities of square-free monomial ideals and the combinatorial structure of the underlying hypergraphs using methods of commutative algebra and polyhedral geometry. For instance, we show the $j$-multiplicity is multiplicative over the connected components of a hypergraph, and we explicitly relate the $j$-multiplicity of the edge ideal of a properly connected uniform hypergraph to the Hilbert-Samuel multiplicity of its special fiber ring. In addition, we provide general bounds for the generalized multiplicities of the edge ideals and compute these invariants for classes of uniform hypergraphs.