title: An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)

abstract: We present a KE-tableau-based procedure for the main TBox and ABox reasoning tasks for the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})$, in short $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$. The logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$, representable in the decidable multi-sorted quantified set-theoretic fragment $\mathsf{4LQS^R}$, combines the high scalability and efficiency of rule languages such as the Semantic Web Rule Language (SWRL) with the expressivity of description logics. Our algorithm is based on a variant of the KE-tableau system for sets of universally quantified clauses, where the KE-elimination rule is generalized in such a way as to incorporate the $\gamma$-rule. The novel system, called KE$^\gamma$-tableau, turns out to be an improvement of the system introduced in \cite{RR2017} and of standard first-order KE-tableau \cite{dagostino94}. Suitable benchmark test sets executed on C++ implementations of the three mentioned systems show that the performances of the KE$^\gamma$-tableau-based reasoner are often up to about 400% better than the ones of the other two systems. This a first step towards the construction of efficient reasoners for expressive OWL ontologies based on fragments of computable set-theory.


title: Distributed deterministic asynchronous algorithms in time-varying graphs through Dykstra splitting

abstract: Consider the setting where each vertex of a graph has a function, and communications can only occur between vertices connected by an edge. We wish to minimize the sum of these functions. For the case when each function is the sum of a strongly convex quadratic and a convex function, we propose a distributed version of Dykstra's algorithm. The computations to optimize the dual objective function can run asynchronously without a global clock, and in a distributed manner without a central controller. Convergence to the primal minimizer is deterministic instead of being probabilistic, and is guaranteed as long as in each cycle, the edges where two-way communications occur connects all vertices. We also look at an accelerated algorithm, and an algorithm for the case when the functions on the nodes are not strongly convex.


title: EggCounts: a Bayesian hierarchical toolkit to model faecal egg count reductions

abstract: This is a vignette for the R package eggCounts version 2.0. The package implements a suite of Bayesian hierarchical models dealing with faecal egg count reductions. The models are designed for a variety of practical situations, including individual treatment efficacy, zero inflation, small sample size (less than 10) and potential outliers. The functions are intuitive to use and their output are easy to interpret, such that users are protected from being exposed to complex Bayesian hierarchical modelling tasks. In addition, the package includes plotting functions to display data and results in a visually appealing manner. The models are implemented in Stan modelling language, which provides efficient sampling technique to obtain posterior samples. This vignette briefly introduces different models, and provides a short walk-through analysis with example data.


title: Automatic Metric Validation for Grammatical Error Correction

abstract: Metric validation in Grammatical Error Correction (GEC) is currently done by observing the correlation between human and metric-induced rankings. However, such correlation studies are costly, methodologically troublesome, and suffer from low inter-rater agreement. We propose MAEGE, an automatic methodology for GEC metric validation, that overcomes many of the difficulties with existing practices. Experiments with \maege\ shed a new light on metric quality, showing for example that the standard $M^2$ metric fares poorly on corpus-level ranking. Moreover, we use MAEGE to perform a detailed analysis of metric behavior, showing that correcting some types of errors is consistently penalized by existing metrics.


title: Sample Size for Concurrent Species Detection in a Species-Rich Assemblage

abstract: Monitoring the distribution of microfossils in stratigraphic successions is an essential tool for biostratigraphic, evolutionary and paleoecologic/paleoceanographic studies. To estimate the relative abundance (%) of a given species, it is necessary to estimate in advance the minimum number of specimens to be used in the count (n). This requires an a priori assumption about a specified level of confidence, and about the species population proportion (p). It is common use to apply the binomial distribution to determine n to detect the presence of more than one species in the same sample, although the multinomial distribution should necessarily be used instead. The mathematical theory of sample size computation using the multinomial distribution is adapted to the computation of n for any number of species to be detected together (K) at any level of confidence. Easy-to-use extensive tables show n, for a combination of K and p. These tables indicate a large difference for n between that indicated by the binomial and those by the multinomial distribution when many species are to be detected simultaneously. Counting only 300 specimens (with 95 % confidence level) or 500 (99 %) is not enough to detect more than one taxon. The reconstructed history of the micro-biosphere may therefore, in many instances, need to be largely revised. This revision should affect our understanding of the ecological and evolutionary relationships between the past changes in the biosphere and the other major reservoirs (hydrosphere, geosphere and atmosphere). In biostratigraphy and biochronology, using a much larger sample size, when more than one marker species is to be detected in the neighborhood of the same biozone boundary, may help clarifying the nature of the apparent inconsistencies given by the observed reversals in the ordinal (rank) biostratigraphic data shown as intersections of the correlation lines


title: Decoupling Respiratory and Angular Variation in Rotational X-ray Scans Using a Prior Bilinear Model

abstract: Data-driven respiratory signal extraction from rotational X-ray scans is a challenge as angular effects overlap with respiration-induced change in the scene. In this paper, we use the linearity of the X-ray transform to propose a bilinear model based on a prior 4D scan to separate angular and respiratory variation. The bilinear estimation process is supported by a B-spline interpolation using prior knowledge about the trajectory angle. Consequently, extraction of respiratory features simplifies to a linear problem. Though the need for a prior 4D CT seems steep, our proposed use-case of driving a respiratory motion model in radiation therapy usually meets this requirement. We evaluate on DRRs of 5 patient 4D CTs in a leave-one-phase-out manner and achieve a mean estimation error of 3.01 % in the gray values for unseen viewing angles. We further demonstrate suitability of the extracted weights to drive a motion model for treatments with a continuously rotating gantry.


title: Dilated Temporal Relational Adversarial Network for Generic Video Summarization

abstract: The large amount of videos popping up every day, make it more and more critical that key information within videos can be extracted and understood in a very short time. Video summarization, the task of finding the smallest subset of frames, which still conveys the whole story of a given video, is thus of great significance to improve efficiency of video understanding. We propose a novel Dilated Temporal Relational Generative Adversarial Network (DTR-GAN) to achieve frame-level video summarization. Given a video, it selects the set of key frames, which contain the most meaningful and compact information. Specifically, DTR-GAN learns a dilated temporal relational generator and a discriminator with three-player loss in an adversarial manner. A new dilated temporal relation (DTR) unit is introduced to enhance temporal representation capturing. The generator uses this unit to effectively exploit global multi-scale temporal context to select key frames and to complement the commonly used Bi-LSTM. To ensure that summaries capture enough key video representation from a global perspective rather than a trivial randomly shorten sequence, we present a discriminator that learns to enforce both the information completeness and compactness of summaries via a three-player loss. The loss includes the generated summary loss, the random summary loss, and the real summary (ground-truth) loss, which play important roles for better regularizing the learned model to obtain useful summaries. Comprehensive experiments on three public datasets show the effectiveness of the proposed approach.


title: Global Oscillation Pattern in Succeeding Solar Flares

abstract: The temporal recurrence of micro-flare events is studied in a time interval before and after of major solar flares. Our sample is based on the x-ray flare observations by the Geostationary Operational Environmental Satellite (GOES) and Reuven Ramaty High Energy Solar Spectroscopic Imager (RHESSI). The analysed data contains 1330/301 M- and X-class GOES/RHESSI energetic solar flares and 4062/4119 GOES/RHESSI micro-flares covering the period elapsed since 2002. The temporal analysis of recurrence, by Fast Fourier Transform (FFT), of the micro-flares shows multiple significant periods. Based on the GOES and RHESSI data, the temporal analysis also demonstrates that multiple periods manifest simultaneously in both statistical samples without any significant shift over time. In the GOES sample, the detected significant periods are: $11.33$, $5.61$, $3.75$, $2.80$ and $2.24$ minutes. The RHESSI data shows similar significant periods at $8.54$, $5.28$, $3.66$, $2.88$ and $2.19$ minutes. The periods are interpreted as signatures of standing oscillations, with the longest period ($P_{1}$) being the fundamental and others as higher harmonic modes. The period ratio of the fundamental and higher harmonics ($P_{1}/P_{N}$) is also analysed. The standing modes may be signatures of global oscillations of the entire solar atmosphere encompassing magnetised plasma from photosphere to corona in active regions.


title: Cosmology

abstract: Cosmology and particle physics are deeply interrelated. Among the common problems are dark energy, dark matter and baryon asymmetry of the Universe. We discuss these problems in general terms, and concentrate on several particular hypotheses. On the dark matter side, we consider weakly interacting massive particles and axions/axion-like particles as cold dark matter, sterile neutrinos and gravitinos as warm dark matter. On the baryon asymmetry side, we discuss electroweak baryogenesis as a still-viable mechanism. We briefly describe diverse experimental and observational approaches towards checking these hypotheses. We then turn to the earliest cosmology. We give arguments showing that the hot stage was preceded by another epoch at which density perturbations and possibly primordial gravity waves were generated. The best guess here is inflation, which is consistent with everything we know of density perturbations, but there are alternative scenarios. Future measurements of the properties of density perturbations and possible discovery of primordial gravity waves have strong potential in this regard.


title: Single-Nitrogen-vacancy-center quantum memory for a superconducting flux qubit mediated by a ferromagnet

abstract: We propose a quantum memory scheme to transfer and store the quantum state of a superconducting flux qubit (FQ) into the electron spin of a single nitrogen-vacancy (NV) center in diamond via yttrium iron garnet (YIG), a ferromagnet. Unlike an ensemble of NV centers, the YIG moderator can enhance the effective FQ-NV-center coupling strength without introducing additional appreciable decoherence. We derive the effective interaction between the FQ and the NV center by tracing out the degrees of freedom of the collective mode of the YIG spins. We demonstrate the transfer, storage, and retrieval procedures, taking into account the effects of spontaneous decay and pure dephasing. Using realistic experimental parameters for the FQ, NV center and YIG, we find that a combined transfer, storage, and retrieval fidelity higher than 0.9, with a long storage time of 10 ms, can be achieved. This hybrid system not only acts as a promising quantum memory, but also provides an example of enhanced coupling between various systems through collective degrees of freedom.


title: Characterisation of a candidate dual AGN

abstract: We present Chandra and optical observations of a candidate dual AGN discovered serendipitously while searching for recoiling black holes via a cross-correlation between the serendipitous XMM source catalog (2XMMi) and SDSS-DR7 galaxies with a separation no larger than ten times the sum of their Petrosian radii. The system has a stellar mass ratio M$_{1}$/M$_{2}\approx 0.7$. One of the galaxies (Source 1) shows clear evidence for AGN activity in the form of hard X-ray emission and optical emission-line diagnostics typical of AGN ionisation. The nucleus of the other galaxy (Source 2) has a soft X-ray spectrum, bluer colours, and optical emission line ratios dominated by stellar photoionisation with a "composite" signature, which might indicate the presence of a weak AGN. When plotted on a diagram with X-ray luminosity vs [OIII] luminosity both nuclei fall within the locus defined by local Seyfert galaxies. From the optical spectrum we estimate the electron densities finding n$_{1} < 27$ e$^{-}$ cm$^{-3}$ and n$_{2} \approx 200$ e$^{-}$ cm$^{-3}$. From a 2D decomposition of the surface brightness distribution we infer that both galaxies host rotationally supported bulges (Sersic index $< 1$). While the active nature of Source 1 can be established with confidence, whether the nucleus of Source 2 is active remains a matter of debate. Evidence that a faint AGN might reside in its nucleus is, however, tantalising.


title: Combinatorial knot Floer homology and cyclic branched covers

abstract: Using a Heegaard diagram for the pullback of a knot $K \subset S^3$ in its cyclic branched cover $\Sigma_m(K)$ obtained from a grid diagram for $K$, we give a combinatorial proof for the invariance of the associated combinatorial knot Floer homology over $\mathbb{Z}$.


title: Control strategies for off-line testing of timed systems

abstract: Partial observability and controllability are two well-known issues in test-case synthesis for interactive systems. We address the problem of partial control in the synthesis of test cases from timed-automata specifications. Building on the tioco timed testing framework, we extend a previous game interpretation of the test-synthesis problem from the untimed to the timed setting. This extension requires a deep reworking of the models, game interpretation and test-synthesis algorithms. We exhibit strategies of a game that tries to minimize both control losses and distance to the satisfaction of a test purpose, and prove they are winning under some fairness assumptions. This entails that when turning those strategies into test cases, we get properties such as soundness and exhaustiveness of the test synthesis method.


title: The Birman exact sequence does not virtually split

abstract: This paper answers a basic question about the Birman exact sequence in the theory of mapping class groups. We prove that the Birman exact sequence does not admit a section over any subgroup $\Gamma$ contained in the Torelli group with finite index. A fortiori this proves that there is no section of the Birman exact sequence for any finite-index subgroup of the full mapping class group. This theorem was announced in a 1990 preprint of G. Mess, but an error was uncovered and described in a recent paper of the first author.


title: Unwinding Short-Range Entanglement

abstract: Symmetry-Protected Topological (SPT) phases are gapped phases of quantum matter protected by global symmetries that cannot be adiabatically deformed to a trivial phase without breaking symmetry. In this work, we show that, for several SPT phases that are short range entangled (SRE), enlarging symmetries may effectively achieve the consequences of explicitly breaking symmetries. In other words, we demonstrate that non-trivial SPT phases can be unwound to trivial ones by symmetry extension- through a path where the Hilbert space is enlarged and the Hamiltonian is invariant under an extended symmetry group applying the idea of Wang, Wen and Witten in arXiv:1705.06728. We show examples of both bosonic and fermionic SPT phases in 1+1 dimensions, including Haldane's bosonic spin chain and layers of Kitaev's fermionic Majorana chains. By adding degrees of freedom into the boundary/bulk, we can lift the zero mode degeneracy, or unwind the whole system. Furthermore, based on properties of Schur cover, we sketch a general picture of unwinding applicable to any 1+1 D bosonic SPT phase protected by on-site finite symmetry. Altogether we show that SRE states can be unwound by symmetry breaking, inversion and symmetry extension.


title: Deep learning improved by biological activation functions

abstract: `Biologically inspired' activation functions, such as the logistic sigmoid, have been instrumental in the historical advancement of machine learning. However in the field of deep learning, they have been largely displaced by rectified linear units (ReLU) or similar functions, such as its exponential linear unit (ELU) variant, to mitigate the effects of vanishing gradients associated with error back-propagation. The logistic sigmoid however does not represent the true input-output relation in neuronal cells under physiological conditions. Here, bionodal root unit (BRU) activation functions are introduced, exhibiting input-output non-linearities that are substantially more biologically plausible since their functional form is based on known biophysical properties of neuronal cells. In order to evaluate the learning performance of BRU activations, deep networks are constructed with identical architectures except differing in their transfer functions (ReLU, ELU, and BRU). Multilayer perceptrons, stacked auto-encoders, and convolutional networks are used to test supervised and unsupervised learning based on the MNIST and CIFAR-10/100 datasets. Comparisons of learning performance, quantified using loss and error measurements, demonstrate that bionodal networks both train faster than their ReLU and ELU counterparts and result in the best generalised models even in the absence of formal regularisation. These results therefore suggest that revisiting the detailed properties of biological neurones and their circuitry might prove invaluable in the field of deep learning for the future.


title: Privacy Preserving Machine Learning: Threats and Solutions

abstract: For privacy concerns to be addressed adequately in current machine learning systems, the knowledge gap between the machine learning and privacy communities must be bridged. This article aims to provide an introduction to the intersection of both fields with special emphasis on the techniques used to protect the data.


title: Structured Weight Matrices-Based Hardware Accelerators in Deep Neural Networks: FPGAs and ASICs

abstract: Both industry and academia have extensively investigated hardware accelerations. In this work, to address the increasing demands in computational capability and memory requirement, we propose structured weight matrices (SWM)-based compression techniques for both \emph{field programmable gate array} (FPGA) and \emph{application-specific integrated circuit} (ASIC) implementations. In algorithm part, SWM-based framework adopts block-circulant matrices to achieve a fine-grained tradeoff between accuracy and compression ratio. The SWM-based technique can reduce computational complexity from O($n^2$) to O($n\log n$) and storage complexity from O($n^2$) to O($n$) for each layer and both training and inference phases. For FPGA implementations on deep convolutional neural networks (DCNNs), we achieve at least 152X and 72X improvement in performance and energy efficiency, respectively using the SWM-based framework, compared with the baseline of IBM TrueNorth processor under same accuracy constraints using the data set of MNIST, SVHN, and CIFAR-10. For FPGA implementations on long short term memory (LSTM) networks, the proposed SWM-based LSTM can achieve up to 21X enhancement in performance and 33.5X gains in energy efficiency compared with the baseline accelerator. For ASIC implementations, the SWM-based ASIC design exhibits impressive advantages in terms of power, throughput, and energy efficiency. Experimental results indicate that this method is greatly suitable for applying DNNs onto both FPGAs and mobile/IoT devices.


title: A blind robust watermarking method based on Arnold Cat map and amplified pseudo-noise strings with weak correlation

abstract: In this paper, a robust and blind watermarking method is proposed, which is highly resistant to the common image watermarking attacks, such as noises, compression, and image quality enhancement processing. In this method, Arnold Cat map is used as a pre-processing on the host image, which increases the security and imperceptibility of embedding watermark bits with a strong gain factor. Moreover, two pseudo-noise strings with weak correlation are used as the symbol of each 0 or 1 bit of the watermark, which increases the accuracy in detecting the state of watermark bits at extraction phase in comparison to using two random pseudo-noise strings. In this method, to increase the robustness and further imperceptibility of the embedding, the Arnold Cat mapped image is subjected to non-overlapping blocking, and then the high frequency coefficients of the approximation sub-band of the FDCuT transform are used as the embedding location for each block. Comparison of the proposed method with recent robust methods under the same experimental conditions indicates the superiority of the proposed method.


title: Violence originated from Facebook: A case study in Bangladesh

abstract: Facebook as in social network is a great innovation of modern times. Among all social networking sites, Facebook is the most popular social network all over the world. Bangladesh is no exception. People use Facebook for various reasons e.g. social networking and communication, online shopping and business, knowledge and experience sharing etc. However, some recent incidents in Bangladesh, originated from or based on Facebook activities, led to arson and violence. Social network i.e. Facebook was used in these incidents mostly as a tool to trigger hatred and violence. This case study discusses these technology related incidents and recommends possible future measurements to prevent such violence.


title: Homology-Preserving Multi-Scale Graph Skeletonization Using Mapper on Graphs

abstract: Node-link diagrams are a popular method for representing graphs that capture relationships between individuals, businesses, proteins, and telecommunication endpoints. However, node-link diagrams may fail to convey insights regarding graph structures, even for moderately sized data of a few hundred nodes, due to visual clutter. We propose to apply the mapper construction -- a popular tool in topological data analysis -- to graph visualization, which provides a strong theoretical basis for summarizing the data while preserving their core structures. We develop a variation of the mapper construction targeting weighted, undirected graphs, called {\mog}, which generates homology-preserving skeletons of graphs. We further show how the adjustment of a single parameter enables multi-scale skeletonization of the input graph. We provide a software tool that enables interactive explorations of such skeletons and demonstrate the effectiveness of our method for synthetic and real-world data.


title: An Event Detection Approach Based On Twitter Hashtags

abstract: Twitter is one of the most popular microblogging services in the world. The great amount of information within Twitter makes it an important information channel for people to learn and share news. Twitter hashtag is an popular feature that can be viewed as human-labeled information which people use to identify the topic of a tweet. Many researchers have proposed event-detection approaches that can monitor Twitter data and determine whether special events, such as accidents, extreme weather, earthquakes, or crimes take place. Although many approaches use hashtags as one of their features, few of them explicitly focus on the effectiveness of using hashtags on event detection. In this study, we proposed an event detection approach that utilizes hashtags in tweets. We adopted the feature extraction used in STREAMCUBE and applied a clustering K-means approach to it. The experiments demonstrated that the K-means approach performed better than STREAMCUBE in the clustering results. A discussion on optimal K values for the K-means approach is also provided.


title: On factor-free Dyck words with half-integer slope

abstract: We study a class of rational Dyck paths with slope (2m+1)/2 corresponding to factor-free Dyck words, as introduced by P. Duchon. We show that, for the slopes considered in this paper, the language of factor-free Dyck words is generated by an auxiliary language that we examine from the algebraic and combinatorial points of view. We provide a lattice path description of this language, and give an explicit enumeration formula in terms of partial Bell polynomials. As a corollary, we obtain new formulas for the number of associated factor-free generalized Dyck words.


title: On Thurston's Stretch Lines in Teichm\"uller Space

abstract: The Teichm\"uller space $\mathcal{T}(\Sigma)$ of a surface $\Sigma$ is equipped with Thurston's asymmetric metric. Stretch lines are oriented geodesics for this metric on $\mathcal{T}(\Sigma)$. We give the asymptotic behavior of the lengths of the measured geodesic laminations as one follows a stretch line in the positive direction.


title: Particle Physics Instrumentation

abstract: This reports summarizes the three lectures on particle physics instrumentation given during the AEPSHEP school in November 2014 at Puri-India. The lectures were intended to give an overview of the interaction of particles with matter and basic particle detection principles in the context of large detector systems like the Large Hadron Collider.


title: ReHabgame A non-immersive virtual reality rehabilitation system with applications in neuroscience

abstract: This paper proposes the use of a non-immersive virtual reality rehabilitation system ReHabgame developed using Microsoft Kinect and the Thalmic Labs Myo gesture control armband. The ReHabgame was developed based on two third-person video games that provide a feasible possibility of assessing postural control and functional reach tests. It accurately quantifies specific postural control mechanisms including timed standing balance, functional reach tests using real-time anatomical landmark orientation, joint velocity, and acceleration while end trajectories were calculated using an inverse kinematics algorithm. The game was designed to help patients with neurological impairment to be subjected to physiotherapy activity and practice postures of daily activities. The subjective experience of the ReHabgame was studied through the development of an Engagement Questionnaire (EQ) for qualitative, quantitative and Rasch model. The Monte-Carlo Tree Search (MCTS) and Random object (ROG) generator algorithms were used to adapt the physical and gameplay intensity in the ReHabgame based on the Motor Assessment Scale (MAS) and Hierarchical Scoring System (HSS). Rasch analysis was conducted to assess the psychometric characteristics of the ReHabgame and to identify if these are any misfitting items in the game. Rasch rating scale model (RSM) was used to assess the engagement of players in the ReHabgame and evaluate the effectiveness and attractiveness of the game. The results showed that the scales assessing the rehabilitation process met Rasch expectations of reliability, and unidimensionality. Infit and outfit mean squares values are in the range of (0.68 1.52) for all considered 16 items. The Root Mean Square Residual (RMSR) and the person separation reliability were acceptable. The item/person map showed that the persons and items were clustered symmetrically.


title: reductus: a stateless Python data-reduction service with a browser frontend

abstract: The online data reduction service reductus transforms measurements in experimental science from laboratory coordinates into physically meaningful quantities with accurate estimation of uncertainties based on instrumental settings and properties. This reduction process is based on a few well-known transformations, but flexibility in the application of the transforms and algorithms supports flexibility in experiment design, supporting a broader range of measurements than a rigid reduction scheme for data. The user interface allows easy construction of arbitrary pipelines from well-known data transforms using a visual dataflow diagram. Source data is drawn from a networked, open data repository. The Python backend uses intelligent caching to store intermediate results of calculations for a highly responsive user experience. The reference implementation allows immediate reduction of measurements as they are recorded for the three neutron reflectometry instruments at the NIST Center for Neutron Research (NCNR), without the need for visiting scientists to install additional software on their own computers.


title: The impracticalities of multiplicatively-closed codon models: a retreat to linear alternatives

abstract: A matrix Lie algebra is a linear space of matrices closed under the operation $ [A, B] = AB-BA $. The "Lie closure" of a set of matrices is the smallest matrix Lie algebra which contains the set. In the context of Markov chain theory, if a set of rate matrices form a Lie algebra, their corresponding Markov matrices are closed under matrix multiplication; this has been found to be a useful property in phylogenetics. Inspired by previous research involving Lie closures of DNA models, it was hypothesised that finding the Lie closure of a codon model could help to solve the problem of mis-estimation of the non-synonymous/synonymous rate ratio, $ \omega $. We propose two different methods of finding a linear space from a model: the first is the \emph{linear closure} which is the smallest linear space which contains the model, and the second is the \emph{linear version} which changes multiplicative constraints in the model to additive ones. For each of these linear spaces we then find the Lie closures of them. Under both methods, it was found that closed codon models would require thousands of parameters, and that any partial solution to this problem that was of a reasonable size violated stochasticity. Investigation of toy models indicated that finding the Lie closure of matrix linear spaces which deviated only slightly from a simple model resulted in a Lie closure that was close to having the maximum number of parameters possible. Given that Lie closures are not practical, we propose further consideration of the two variants of linearly closed models.


title: Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis

abstract: First-order resolution has been used for type inference for many years, including in Hindley- Milner type inference, type-classes, and constrained data types. Dependent types are a new trend in functional languages. In this paper, we show that proof-relevant first-order resolution can play an important role in automating type inference and term synthesis for dependently typed languages. We propose a calculus that translates type inference and term synthesis problems in a dependently typed language to a logic program and a goal in the proof-relevant first-order Horn clause logic. The computed answer substitution and proof term then provide a solution to the given type inference and term synthesis problem. We prove the decidability and soundness of our method. The paper is under consideration for acceptance in TPLP.


title: BomJi at SemEval-2018 Task 10: Combining Vector-, Pattern- and Graph-based Information to Identify Discriminative Attributes

abstract: This paper describes BomJi, a supervised system for capturing discriminative attributes in word pairs (e.g. yellow as discriminative for banana over watermelon). The system relies on an XGB classifier trained on carefully engineered graph-, pattern- and word embedding based features. It participated in the SemEval- 2018 Task 10 on Capturing Discriminative Attributes, achieving an F1 score of 0:73 and ranking 2nd out of 26 participant systems.


title: Completely Invariant Escaping Set of Transcendental Semigroup

abstract: For a non-trivial transcendental semigroup, escaping set I(S) is in general S-forward invariant and it is S-completely invariant if semigroup S is abelian. In the contrary of this result, we investigate completely invariant escaping set K(S) in different way even if semigroup S is not abelian and we discuss some properties and structure of such type of escaping set. Also, we establish some relations between completely invariant escaping set K(S) and the general escaping set I(S).


title: Global solutions to elliptic and parabolic $\Phi^4$ models in Euclidean space

abstract: We prove existence of global solutions to singular SPDEs on $\mathbb{R}^d$ with cubic nonlinearities and additive white noise perturbation, both in the elliptic setting in dimensions $d=4,5$ and in the parabolic setting for $d=2,3$. We prove uniqueness and coming down from infinity for the parabolic equations. A motivation for considering these equations is the construction of scalar interacting Euclidean quantum field theories. The parabolic equations are related to the $\Phi^4_d$ Euclidean quantum field theory via Parisi--Wu stochastic quantization, while the elliptic equations are linked to the $\Phi^4_{d-2}$ Euclidean quantum field theory via the Parisi--Sourlas dimensional reduction mechanism.


title: Inherent Biases in Reference based Evaluation for Grammatical Error Correction and Text Simplification

abstract: The prevalent use of too few references for evaluating text-to-text generation is known to bias estimates of their quality ({\it low coverage bias} or LCB). This paper shows that overcoming LCB in Grammatical Error Correction (GEC) evaluation cannot be attained by re-scaling or by increasing the number of references in any feasible range, contrary to previous suggestions. This is due to the long-tailed distribution of valid corrections for a sentence. Concretely, we show that LCB incentivizes GEC systems to avoid correcting even when they can generate a valid correction. Consequently, existing systems obtain comparable or superior performance compared to humans, by making few but targeted changes to the input. Similar effects on Text Simplification further support our claims.


title: Adiabatic theorems for general linear operators with time-dependent domains

abstract: We establish adiabatic theorems with and without spectral gap condition for general -- typically dissipative -- linear operators $A(t): D(A(t)) \subset X \to X$ with time-dependent domains $D(A(t))$ in some Banach space $X$. In these theorems, we do not require the considered spectral values $\lambda(t)$ of $A(t)$ to be (weakly) semisimple. We then apply our general theorems to the special case of skew-adjoint operators $A(t) = 1/i A_{a(t)}$ defined by symmetric sesquilinear forms $a(t)$ and thus generalize, in a very simple way, the only adiabatic theorem for operators with time-dependent domains known so far.


title: On the Feasibility of Real-Time 3D Hand Tracking using Edge GPGPU Acceleration

abstract: This paper presents the case study of a non-intrusive porting of a monolithic C++ library for real-time 3D hand tracking, to the domain of edge-based computation. Towards a proof of concept, the case study considers a pair of workstations, a computationally powerful and a computationally weak one. By wrapping the C++ library in Java container and by capitalizing on a Java-based offloading infrastructure that supports both CPU and GPGPU computations, we are able to establish automatically the required server-client workflow that best addresses the resource allocation problem in the effort to execute from the weak workstation. As a result, the weak workstation can perform well at the task, despite lacking the sufficient hardware to do the required computations locally. This is achieved by offloading computations which rely on GPGPU, to the powerful workstation, across the network that connects them. We show the edge-based computation challenges associated with the information flow of the ported algorithm, demonstrate how we cope with them, and identify what needs to be improved for achieving even better performance.


title: Non-adiabatic dynamics in d+id-wave fermionic superfluids

abstract: We consider a problem of non-adiabatic dynamics of a 2D fermionic system with $d+id$-wave symmetry of paring amplitude. Under the mean-field approximation, we determine the asymptotic behavior of the pairing amplitude following a sudden change of coupling strength. We also study an extended $d+id$ pairing system for which the long-time asymptotic states of the pairing amplitude in the collisionless regime can be determined exactly. By using numerical methods, we have identified three non-equilibrium steady states described by different long-time asymptotes of the pairing amplitude for both the non-integrable and the integrable versions of $d+id$-wave models. We found that despite of its lack of integrability, long-time dynamics resulting from pairing quenches in the non-integrable $d+id$ model are essentially similar to the ones found for its exactly-integrable extended $d+id$ model. We also obtain the long-time phase diagram of the extended $d+id$ model through the Lax construction that exploits underlying integrability showing that the dynamic phases obtained by numerics are consistent with the dynamics of the exactly integrable approach. Both models describe a topological fermionic system with a topologically non-trivial BCS phase appearing at weak coupling strength. We show that the presence of oscillating order parameter region in the chiral $d+id$ pairing dynamics differs from the d-wave ($d_{x^2-y^2}$), which may be used to probe pairing symmetries of chiral superconductors.


title: Toward Diverse Text Generation with Inverse Reinforcement Learning

abstract: Text generation is a crucial task in NLP. Recently, several adversarial generative models have been proposed to improve the exposure bias problem in text generation. Though these models gain great success, they still suffer from the problems of reward sparsity and mode collapse. In order to address these two problems, in this paper, we employ inverse reinforcement learning (IRL) for text generation. Specifically, the IRL framework learns a reward function on training data, and then an optimal policy to maximum the expected total reward. Similar to the adversarial models, the reward and policy function in IRL are optimized alternately. Our method has two advantages: (1) the reward function can produce more dense reward signals. (2) the generation policy, trained by "entropy regularized" policy gradient, encourages to generate more diversified texts. Experiment results demonstrate that our proposed method can generate higher quality texts than the previous methods.


title: Interpreting weight maps in terms of cognitive or clinical neuroscience: nonsense?

abstract: Since machine learning models have been applied to neuroimaging data, researchers have drawn conclusions from the derived weight maps. In particular, weight maps of classifiers between two conditions are often described as a proxy for the underlying signal differences between the conditions. Recent studies have however suggested that such weight maps could not reliably recover the source of the neural signals and even led to false positives (FP). In this work, we used semi-simulated data from ElectroCorticoGraphy (ECoG) to investigate how the signal-to-noise ratio and sparsity of the neural signal affect the similarity between signal and weights. We show that not all cases produce FP and that it is unlikely for FP features to have a high weight in most cases.


title: Unveiling spectral purity and tunability of terahertz quantum cascade laser sources based on intra-cavity difference frequency generation

abstract: Terahertz sources based on intra-cavity difference-frequency generation in mid-infrared quantum cascade lasers (THz DFG-QCLs) have recently emerged as the first monolithic electrically-pumped semiconductor sources capable of operating at room-temperature (RT) across the 1-6 THz range. Despite tremendous progress in power output, that now exceeds 1mW in pulsed and 10 {\mu}W in continuous-wave regime at room-temperature, knowledge of the major figure of merits of these devices for high precision spectroscopy, such as spectral purity and absolute frequency tunability, is still lacking. Here, by exploiting a metrological grade system comprising a terahertz frequency comb synthesizer, we measure, for the first time, the free-running emission linewidth (LW), the tuning characteristics, and the absolute frequency of individual emission lines of these sources with an uncertainty of 4 x 10-10. The unveiled emission LW (400 kHz at 1ms integration time) indicates that DFG-QCLs are well suited to operate as local oscillators and to be used for a variety of metrological, spectroscopic, communication, and imaging applications requiring narrow-linewidth THz sources.


title: Probing topological insulators surface states via plasma-wave Terahertz detection

abstract: Topological insulators (TIs) represent a novel quantum state of matter, characterized by edge or surface-states, showing up on the topological character of the bulk wave functions. Allowing electrons to move along their surface, but not through their inside, they emerged as an intriguing material platform for the exploration of exotic physical phenomena, somehow resembling the graphene Dirac-cone physics, as well as for exciting applications in optoelectronics, spintronics, nanoscience, low-power electronics, and quantum computing. Investigation of topological surface states (TSS) is conventionally hindered by the fact that in most of experimental conditions the TSS properties are mixed up with those of bulk-states. Here, we devise a novel tool to unveil TSS and to probe related plasmonic effects. By engineering Bi2Te(3-x)Sex stoichiometry, and by gating the surface of nanoscale field-effect-transistors, exploiting thin flakes of Bi2Te2.2Se0.8 or Bi2Se3, we provide the first demonstration of room-temperature Terahertz (THz) detection mediated by over-damped plasma-wave oscillations on the "activated" TSS of a Bi2Te2.2Se0.8 flake. The reported detection performances allow a realistic exploitation of TSS for large-area, fast imaging, promising superb impacts on THz photonics.


title: Photonic Devices Based On Black-Phosphorus and Combined Hybrid 2D nanomaterials

abstract: Artificial semiconductor heterostructures played a pivotal role in modern electronic and photonic technologies, providing a highly effective mean for the manipulation and control of carriers, from the visible to the far-infrared. Despite the exceptional versatility, they commonly require challenging epitaxial growth procedures due to the need of clean and abrupt interfaces, which proved to be a major obstacle for the realization of room-temperature (RT), high-efficiency devices, like source, detectors or modulators. The discovery of graphene and the related fascinating capabilities have triggered an unprecedented interest in devices based on inorganic two-dimensional (2D) materials. Amongst them black-phosphorus (BP) recently showed an extraordinary potential in a variety of applications across micro-electronics and photonics. With an energy gap in-between the gapless graphene and the larger gap transition metal dichalcogenides, BP can form the basis for a new generation of high-performance photonic devices that could be engineered from "scratch" like transparent saturable absorbers, fast photocounductive switch and low noise photodetectors, exploiting its peculiar electrical, thermal and optical anisotropy. This paper will review the latest achievements in black phosphorus-based THz photonics and discuss future perspectives of this rapidly developing research field.


title: Terahertz detection of magnetic field-driven topological phase transition in HgTe-based transistors

abstract: We report on Terahertz detection by inverted band structure HgTe-based Field Effect Transistor up to room temperature. At low temperature, we show that nonlinearities of the transistor channel allows for the observation of the quantum phase transition due to the avoided crossing of zero-mode Landau levels in HgTe 2D topological insulators. These results pave the way towards Terahertz topological Field Effect Transistors.


title: Mueller matrix spectroscopy of Fano resonance in Plasmonic Oligomers

abstract: Fano resonance in plasmonic oligomers originating from the interference of a spectrally broad superradiant mode and a discrete subradiant mode is under intensive recent investigations due to numerous potential applications. In this regard, development of experimental means to understand and control the complex Fano interference process and to modulate the resulting asymmetric Fano spectral line shape is highly sought after. Here we present a polarization Mueller matrix measurement and inverse analysis approach for quantitative understanding and interpretation of the complex interference process that lead to Fano resonance in symmetry broken plasmonic oligomers. The spectral Mueller matrices of the plasmonic oligomers were recorded using a custom designed dark-field Mueller matrix spectroscopy system. These were subsequently analyzed using differential Mueller matrix decomposition technique to yield the quantitative sample polarimetry characteristics, namely, polarization diattenuation (d) and linear retardance ({\delta}) parameters. The unique signature of the interference of the superradiant dipolar plasmon mode and the subradiant quadrupolar mode of the symmetry broken plasmonic oligomers manifested as rapid spectral variation of the diattenuation and the linear retardance parameters across the Fano spectral dip. The polarization information contained in the Mueller matrix was further utilized to desirably control the Fano spectral line shape. The experimental Mueller matrix analysis was complemented with finite element based numerical simulations, which enabled quantitative understanding of the interference of the superradiant and the subradiant plasmon modes and its link with the polarization diattenuation and retardance parameters.


title: Mosaic: An Application-Transparent Hardware-Software Cooperative Memory Manager for GPUs

abstract: Modern GPUs face a trade-off on how the page size used for memory management affects address translation and demand paging. Support for multiple page sizes can help relax the page size trade-off so that address translation and demand paging optimizations work together synergistically. However, existing page coalescing and splintering policies require costly base page migrations that undermine the benefits multiple page sizes provide. In this paper, we observe that GPGPU applications present an opportunity to support multiple page sizes without costly data migration, as the applications perform most of their memory allocation en masse (i.e., they allocate a large number of base pages at once). We show that this en masse allocation allows us to create intelligent memory allocation policies which ensure that base pages that are contiguous in virtual memory are allocated to contiguous physical memory pages. As a result, coalescing and splintering operations no longer need to migrate base pages. We introduce Mosaic, a GPU memory manager that provides application-transparent support for multiple page sizes. Mosaic uses base pages to transfer data over the system I/O bus, and allocates physical memory in a way that (1) preserves base page contiguity and (2) ensures that a large page frame contains pages from only a single memory protection domain. This mechanism allows the TLB to use large pages, reducing address translation overhead. During data transfer, this mechanism enables the GPU to transfer only the base pages that are needed by the application over the system I/O bus, keeping demand paging overhead low.


title: Systematic investigation of the deformation mechanisms of a {\gamma}-TiAl single crystal

abstract: We propose a theoretical framework to predict the deformation mechanism of the {\gamma}-TiAl single crystal without lattice defects by combining the generalized stacking fault energy and the Schmid factor. Our theory is validated against an excellent testbed, the single crystal nanowire, by correctly predicting four major deformation mechanisms, namely, ordinary slip, super slip, twinning, and mixed slip/fracture observed during the tensile and compressive tests along 10 different orientations using molecular dynamics simulations. Interestingly, although lattice defects are not taken into account, the theoretical predictions match well with existing experiments on bulk specimen with only a few exceptions; the exceptions are discussed based on the size-dependent deformation mechanism in the presence of preexisting dislocation sources. We expect that the method in this paper can be generalized to study various ductile intermetallic crystals where conventional Schmid law does not hold well.


title: Nonparametric Bayesian inference for Gamma-type L\'evy subordinators

abstract: Given discrete time observations over a growing time interval, we consider a nonparametric Bayesian approach to estimation of the L\'evy density of a L\'evy process belonging to a flexible class of infinite activity subordinators. Posterior inference is performed via MCMC, and we circumvent the problem of the intractable likelihood via the data augmentation device, that in our case relies on bridge process sampling via Gamma process bridges. Our approach also requires the use of a new infinite-dimensional form of a reversible jump MCMC algorithm. We show that our method leads to good practical results in challenging simulation examples. On the theoretical side, we establish that our nonparametric Bayesian procedure is consistent: in the low frequency data setting, with equispaced in time observations and intervals between successive observations remaining fixed, the posterior asymptotically, as the sample size $n\rightarrow\infty$, concentrates around the L\'evy density under which the data have been generated. Finally, we test our method on a classical insurance dataset.


title: Improving Performance of Iterative Methods by Lossy Checkponting

abstract: Iterative methods are commonly used approaches to solve large, sparse linear systems, which are fundamental operations for many modern scientific simulations. When the large-scale iterative methods are running with a large number of ranks in parallel, they have to checkpoint the dynamic variables periodically in case of unavoidable fail-stop errors, requiring fast I/O systems and large storage space. To this end, significantly reducing the checkpointing overhead is critical to improving the overall performance of iterative methods. Our contribution is fourfold. (1) We propose a novel lossy checkpointing scheme that can significantly improve the checkpointing performance of iterative methods by leveraging lossy compressors. (2) We formulate a lossy checkpointing performance model and derive theoretically an upper bound for the extra number of iterations caused by the distortion of data in lossy checkpoints, in order to guarantee the performance improvement under the lossy checkpointing scheme. (3) We analyze the impact of lossy checkpointing (i.e., extra number of iterations caused by lossy checkpointing files) for multiple types of iterative methods. (4)We evaluate the lossy checkpointing scheme with optimal checkpointing intervals on a high-performance computing environment with 2,048 cores, using a well-known scientific computation package PETSc and a state-of-the-art checkpoint/restart toolkit. Experiments show that our optimized lossy checkpointing scheme can significantly reduce the fault tolerance overhead for iterative methods by 23%~70% compared with traditional checkpointing and 20%~58% compared with lossless-compressed checkpointing, in the presence of system failures.


title: Two extremal problems on intersecting families

abstract: In this short note, we address two problems in extremal set theory regarding intersecting families. The first problem is a question posed by Kupavskii: is it true that given two disjoint cross-intersecting families $\mathcal{A}, \mathcal{B} \subset \binom{[n]}{k}$, they must satisfy $\min\{|\mathcal{A}|, |\mathcal{B}|\} \le \frac{1}{2} \binom{n-1}{k-1}$? We give an affirmative answer for $n \ge 2k^2$, and construct families showing that this range is essentially the best one could hope for, up to a constant factor. The second problem is a conjecture of Frankl. It states that for $n \ge 3k$, the maximum diversity of an intersecting family $\mathcal{F} \subset \binom{[n]}{k}$ is equal to $\binom{n-3}{k-2}$. We are able to find a construction beating the conjectured bound for $n$ slightly larger than $3k$, which also disproves a conjecture of Kupavskii.


title: Dynamic Active Constraints for Surgical Robots using Vector Field Inequalities

abstract: Robotic assistance allows surgeons to perform dexterous and tremor-free procedures, but robotic aid is still underrepresented in procedures with constrained workspaces, such as deep brain neurosurgery and endonasal surgery. In these procedures, surgeons have restricted vision to areas near the surgical tooltips, which increases the risk of unexpected collisions between the shafts of the instruments and their surroundings. In this work, our vector-field-inequalities method is extended to provide dynamic active-constraints to any number of robots and moving objects sharing the same workspace. The method is evaluated with experiments and simulations in which robot tools have to avoid collisions autonomously and in real-time, in a constrained endonasal surgical environment. Simulations show that with our method the combined trajectory error of two robotic systems is optimal. Experiments using a real robotic system show that the method can autonomously prevent collisions between the moving robots themselves and between the robots and the environment. Moreover, the framework is also successfully verified under teleoperation with tool-tissue interactions.


title: Gaussian Process Behaviour in Wide Deep Neural Networks

abstract: Whilst deep neural networks have shown great empirical success, there is still much work to be done to understand their theoretical properties. In this paper, we study the relationship between random, wide, fully connected, feedforward networks with more than one hidden layer and Gaussian processes with a recursive kernel definition. We show that, under broad conditions, as we make the architecture increasingly wide, the implied random function converges in distribution to a Gaussian process, formalising and extending existing results by Neal (1996) to deep networks. To evaluate convergence rates empirically, we use maximum mean discrepancy. We then compare finite Bayesian deep networks from the literature to Gaussian processes in terms of the key predictive quantities of interest, finding that in some cases the agreement can be very close. We discuss the desirability of Gaussian process behaviour and review non-Gaussian alternative models from the literature.


title: A study of light travel time effect in short-period MOA eclipsing binaries via eclipse timing

abstract: A sample of 542 eclipsing binaries (EBs) with periods shorter than 2 d were selected from the Microlensing Observations in Astrophysics (MOA) EB catalogue (Li et al. 2017) for eclipse-time variation analysis. For this sample we were able to obtain the time series from MOA-II that span 9.5yr. We discovered 91 EBs, out of the 542 EBs, with detected light-travel-time effect signals suggesting the presence of tertiary companions of orbiting periods from 250 d-28 yr. The frequency of EBs with tertiary companions in our sample increases as the period decreases and reaches a value of 0.65 for contact binaries with periods shorter than 0.3 d. If only the contact binaries of periods < 0.26d are considered, the frequency even goes to the unit. Our results suggest that contact binaries with periods close to the 0.22-d contact binary limit are commonly accompanied by relatively close tertiary companions.


title: Truncated Solutions of Painlev\'e Equation ${\rm P}_{\rm V}$

abstract: We obtain convergent representations (as Borel summed transseries) for the five one-parameter families of truncated solutions of the fifth Painlev\'e equation with nonzero parameters, valid in half planes, for large independent variable. We also find the position of the first array of poles, bordering the region of analyticity. For a special value of this parameter they represent tri-truncated solutions, analytic in almost the full complex plane, for large independent variable. A brief historical note, and references on truncated solutions of the other Painlev\'e equations are also included.


title: Stellar Stratifications on Classifying Spaces

abstract: We extend Bj\"orner's characterization of the face poset of finite CW complexes to a certain class of stratified spaces, called cylindrically normal stellar complexes. As a direct consequence, we obtain a discrete analogue of cell decompositions in smooth Morse theory, by using the classifying space model introduced in arXiv:1612.08429. As another application, we show that the exit-path simplicial set $\mathrm{Exit}(X)$ of a finite cylindrically normal CW stellar complex $X$ is a quasicategory.


title: LUT-Lock: A Novel LUT-based Logic Obfuscation for FPGA-Bitstream and ASIC-Hardware Protection

abstract: In this work, we propose LUT-Lock, a novel Look-Up-Table-based netlist obfuscation algorithm, for protecting the intellectual property that is mapped to an FPGA bitstream or an ASIC netlist. We, first, illustrate the effectiveness of several key features that make the LUT-based obfuscation more resilient against SAT attacks and then we embed the proposed key features into our proposed LUT-Lock algorithm. We illustrates that LUT-Lock maximizes the resiliency of the LUT-based obfuscation against SAT attacks by forcing a near exponential increase in the execution time of a SAT solver with respect to the number of obfuscated gates. Hence, by adopting LUT-Lock algorithm, SAT attack execution time could be made unreasonably long by increasing the number of utilized LUTs.


title: 4D Temporally Coherent Light-field Video

abstract: Light-field video has recently been used in virtual and augmented reality applications to increase realism and immersion. However, existing light-field methods are generally limited to static scenes due to the requirement to acquire a dense scene representation. The large amount of data and the absence of methods to infer temporal coherence pose major challenges in storage, compression and editing compared to conventional video. In this paper, we propose the first method to extract a spatio-temporally coherent light-field video representation. A novel method to obtain Epipolar Plane Images (EPIs) from a spare light-field camera array is proposed. EPIs are used to constrain scene flow estimation to obtain 4D temporally coherent representations of dynamic light-fields. Temporal coherence is achieved on a variety of light-field datasets. Evaluation of the proposed light-field scene flow against existing multi-view dense correspondence approaches demonstrates a significant improvement in accuracy of temporal coherence.


title: Superspecial trigonal curves of genus $5$

abstract: This paper provides an algorithm enumerating superspecial trigonal curves of genus $5$ over finite fields. Executing the algorithm over a computer algebra system Magma, we enumerate them over finite fields $\mathbb{F}_{p^a}$ for any natural number $a$ if $p \leq 7$ and for odd $a$ if $p \leq 13$.


title: On the Interaction between Autonomous Mobility-on-Demand and Public Transportation Systems

abstract: In this paper we study models and coordination policies for intermodal Autonomous Mobility-on-Demand (AMoD), wherein a fleet of self-driving vehicles provides on-demand mobility jointly with public transit. Specifically, we first present a network flow model for intermodal AMoD, where we capture the coupling between AMoD and public transit and the goal is to maximize social welfare. Second, leveraging such a model, we design a pricing and tolling scheme that allows to achieve the social optimum under the assumption of a perfect market with selfish agents. Finally, we present a real-world case study for New York City. Our results show that the coordination between AMoD fleets and public transit can yield significant benefits compared to an AMoD system operating in isolation.


title: Primordial fluctuations and non-Gaussianities in sidetracked inflation

abstract: Heavy scalar fields can undergo an instability during inflation as a result of their kinetic couplings with the inflaton. This is known as the geometrical destabilization of inflation, as it relies on the effect of the negative curvature of the field-space manifold overcoming the stabilizing force of the potential. This instability can drive the system away from its original path in field space into a new inflationary attractor, a scenario that we dub sidetracked inflation. We study this second phase and its observable consequences in several classes of two-field models. We show that cosmological fluctuations exhibit varied behaviours depending on the potential and the field space geometry, and that they can be captured by single-field effective theories with either a modified dispersion relation, a reduced speed of sound, or an imaginary one --- the latter case describing a transient tachyonic growth of the fluctuations. We also numerically calculate the bispectrum with the transport approach, finding large non-Gaussianities of equilateral and orthogonal shapes. In the hyperbolic geometry the potentials of our models present a pole at the boundary of the Poincar\'e disk and we discuss their relationships with $\alpha$-attractors.


title: Reflections on digital innovation

abstract: The paper by Henfridsson et al. opens up a new agenda for IS research on the content and process of digital innovation. The crucial element in their perspective is the role of recombination in innovation. They supplement an emphasis on design recombination with a symmetrical emphasis on use recombination. While supporting Henfridsson et al.s overall argument, I point out how central parts overlap with and are extended in disciplines outside IS research.


title: The Generation of the Distant Kuiper Belt by Planet Nine from an Initially Broad Perihelion Distribution

abstract: The observation that the orbits of long-period Kuiper Belt objects are anomalously clustered in physical space has recently prompted the Planet Nine hypothesis - the proposed existence of a distant and eccentric planetary member of our solar system. Within the framework of this model, a Neptune-like perturber sculpts the orbital distribution of distant Kuiper Belt objects through a complex interplay of resonant and secular effects, such that in addition to perihelion-circulating objects, the surviving orbits get organized into apsidally aligned and anti-aligned configurations with respect to Planet Nine's orbit. In this work, we investigate the role of Kuiper Belt initial conditions on the evolution of the outer solar system using numerical simulations. Intriguingly, we find that the final perihelion distance distribution depends strongly on the primordial state of the system, and demonstrate that a bimodal structure corresponding to the existence of both aligned and anti-aligned clusters is only reproduced if the initial perihelion distribution is assumed to extend well beyond $\sim 36$ AU. The bimodality in the final perihelion distance distribution is due to the existence of permanently stable objects, with the lower perihelion peak corresponding to the anti-aligned orbits and the higher perihelion peak corresponding to the aligned orbits. We identify the mechanisms which enable the persistent stability of these objects and locate the regions of phase space in which they reside. The obtained results contextualize the Planet Nine hypothesis within the broader narrative of solar system formation, and offer further insight into the observational search for Planet Nine.


title: Isochrony in 3D radial potentials. From Michel H\'enon ideas to isochrone relativity: classification, interpretation and applications

abstract: Revisiting and extending an old idea of Michel H\'enon, we geometrically and algebraically characterize the whole set of isochrone potentials. Such potentials are fundamental in potential theory. They appear in spherically symmetrical systems formed by a large amount of charges (electrical or gravitational) of the same type considered in mean-field theory. Such potentials are defined by the fact that the radial period of a test charge in such potentials, provided that it exists, depends only on its energy and not on its angular momentum. Our characterization of the isochrone set is based on the action of a real affine subgroup on isochrone potentials related to parabolas in the $\mathbb{R}^2$ plane. Furthermore, any isochrone orbits are mapped onto associated Keplerian elliptic ones by a generalization of the Bohlin transformation. This mapping allows us to understand the isochrony property of a given potential as relative to the reference frame in which its parabola is represented. We detail this isochrone relativity in the special relativity formalism. We eventually exploit the completeness of our characterization and the relativity of isochrony to propose a deeper understanding of general symmetries such as Kepler's Third Law and Bertrand's theorem.

categories: math-ph astro-ph.GA gr-qc math.MP physics.class-ph


title: Newsroom: A Dataset of 1.3 Million Summaries with Diverse Extractive Strategies

abstract: We present NEWSROOM, a summarization dataset of 1.3 million articles and summaries written by authors and editors in newsrooms of 38 major news publications. Extracted from search and social media metadata between 1998 and 2017, these high-quality summaries demonstrate high diversity of summarization styles. In particular, the summaries combine abstractive and extractive strategies, borrowing words and phrases from articles at varying rates. We analyze the extraction strategies used in NEWSROOM summaries against other datasets to quantify the diversity and difficulty of our new data, and train existing methods on the data to evaluate its utility and challenges.


title: Simple Distances for Trajectories via Landmarks

abstract: We develop a new class of distances for objects including lines, hyperplanes, and trajectories, based on the distance to a set of landmarks. These distances easily and interpretably map objects to a Euclidean space, are simple to compute, and perform well in data analysis tasks. For trajectories, they match and in some cases significantly out-perform all state-of-the-art other metrics, can effortlessly be used in k-means clustering, and directly plugged into approximate nearest neighbor approaches which immediately out-perform the best recent advances in trajectory similarity search by several orders of magnitude. These distances do not require a geometry distorting dual (common in the line or halfspace case) or complicated alignment (common in trajectory case). We show reasonable and often simple conditions under which these distances are metrics.


title: Adversarially Robust Generalization Requires More Data

abstract: Machine learning models are often susceptible to adversarial perturbations of their inputs. Even small perturbations can cause state-of-the-art classifiers with high "standard" accuracy to produce an incorrect prediction with high confidence. To better understand this phenomenon, we study adversarially robust learning from the viewpoint of generalization. We show that already in a simple natural data model, the sample complexity of robust learning can be significantly larger than that of "standard" learning. This gap is information theoretic and holds irrespective of the training algorithm or the model family. We complement our theoretical results with experiments on popular image classification datasets and show that a similar gap exists here as well. We postulate that the difficulty of training robust classifiers stems, at least partially, from this inherently larger sample complexity.


title: Charged fluid structures around a rotating compact object with a magnetic dipole field

abstract: We study stationary, electrically charged fluid structures encircling a rotating compact object with a dipole magnetic field oriented along the rotation axis. This situation is described in an idealized way by the Kerr metric and a magnetic dipole "test" field, that does not affect the spacetime. The self-gravitational and self-electromagnetic field of the fluid are neglected and the fluid is assumed to be non conductive and in rigid motion. Our work generalizes a previous study by Kov\'a\v{r} et al.(2016) by taking into account the rotation of the central object. Therefore, we focus on the influence of the rotation onto the existence and position of bound fluid structures. Frame dragging effects allow the existence of polar clouds, which could not be found in non-rotating case. Furthermore counter-rotating equatorial tori become more preferred the faster the central object is spinning.


title: Computing Approximate Statistical Discrepancy

abstract: Consider a geometric range space $(X,\c{A})$ where each data point $x \in X$ has two or more values (say $r(x)$ and $b(x)$). Also consider a function $\Phi(A)$ defined on any subset $A \in (X,\c{A})$ on the sum of values in that range e.g., $r_A = \sum_{x \in A} r(x)$ and $b_A = \sum_{x \in A} b(x)$. The $\Phi$-maximum range is $A^* = \arg \max_{A \in (X,\c{A})} \Phi(A)$. Our goal is to find some $\hat{A}$ such that $|\Phi(\hat{A}) - \Phi(A^*)| \leq \varepsilon.$ We develop algorithms for this problem for range spaces with bounded VC-dimension, as well as significant improvements for those defined by balls, halfspaces, and axis-aligned rectangles. This problem has many applications in many areas including discrepancy evaluation, classification, and spatial scan statistics.


title: Multiplicity bounds in prime characteristic

abstract: We extend a result by Huneke and Watanabe bounding the multiplicity of $F$-pure local rings of prime characteristic in terms of their dimension and embedding dimensions to the case of $F$-injective, generalized Cohen-Macaulay rings. We then produce an upper bound for the multiplicity of any local Cohen-Macaulay ring of prime characteritic in terms of their dimensions, embedding dimensions and HSL numbers. Finally, we extend the upper bounds for the multiplicity of generalized Cohen-Macaulay rings in characteristic zero which have dense $F$-injective type.


title: Exclusive decays $\chi_{cJ}\to K^*(892)K$ within the effective field theory framework

abstract: We study hadronic decays $\chi_{cJ}\rightarrow K^*(892)\bar{K} $ within the effective field theory framework. We consider the colour-singlet and colour-octet contributions and study their properties using (p)NRQCD effective theory. We show that infrared singularities in collinear integrals of the colour-singlet amplitudes can be absorbed into the renormalisation of the colour-octet matrix elements. The heavy quark spin symmetry allows us to establish a relation between the colour-octet matrix elements and to define the spin symmetry breaking corrections which are free from infrared singularities. We apply obtained results for a phenomenological description of the branching fractions.


title: Well-posedness and regularity for a generalized fractional Cahn-Hilliard system

abstract: In this paper, we investigate a rather general system of two operator equations that has the structure of a viscous or nonviscous Cahn--Hilliard system in which nonlinearities of double-well type occur. Standard cases like regular or logarithmic potentials, as well as non-differentiable potentials involving indicator functions, are admitted. The operators appearing in the system equations are fractional versions of general linear operators $A$ and $B$, where the latter are densely defined, unbounded, self-adjoint and monotone in a Hilbert space of functions defined in a smooth domain and have compact resolvents. We remark that our definition of the fractional power of operators uses the approach via spectral theory. Typical cases are given by standard second-order elliptic operators (e.g., the Laplacian) with zero Dirichlet or Neumann boundary conditions, but also other cases like fourth-order systems or systems involving the Stokes operator are covered by the theory. We derive general well-posedness and regularity results that extend corresponding results which are known for either the non-fractional Laplacian with zero Neumann boundary condition or the fractional Laplacian with zero Dirichlet condition. It turns out that the first eigenvalue $\lambda_1$ of $A$ plays an important und not entirely obvious role: if $\lambda_1$ is positive, then the operators $\,A\,$ and $\,B\,$ may be completely unrelated; if, however, $\lambda_1=0$, then it must be simple and the corresponding one-dimensional eigenspace has to consist of the constant functions and to be a subset of the domain of definition of a certain fractional power of $B$. We are able to show general existence, uniqueness, and regularity results for both these cases, as well as for both the viscous and the nonviscous system.


title: Sharp Strichartz inequalities for fractional and higher order Schr\"odinger equations

abstract: We investigate a class of sharp Fourier extension inequalities on the planar curves $s=|y|^p$, $p>1$. We identify the mechanism responsible for the possible loss of compactness of nonnegative extremizing sequences, and prove that extremizers exist if $1<p<p_0$, for some $p_0>4$. In particular, this resolves the dichotomy of Jiang, Pausader & Shao concerning the existence of extremizers for the Strichartz inequality for the fourth order Schr\"odinger equation in one spatial dimension. One of our tools is a geometric comparison principle for $n$-fold convolutions of certain singular measures in $\mathbb{R}^d$, developed in a companion paper. We further show that any extremizer exhibits fast $L^2$-decay in physical space, and so its Fourier transform can be extended to an entire function on the whole complex plane. Finally, we investigate the extent to which our methods apply to the case of the planar curves $s=y|y|^{p-1}$, $p>1$.


title: Cohomology of coinvariant differential forms

abstract: Let $M$ be a smooth manifold and $\Gamma$ a group acting on $M$ by diffeomorphisms; which means that there is a group morphism $\rho:\Gamma\rightarrow \mathrm{Diff}(M)$ from $\Gamma$ to the group of diffeomorphisms of $M$. For any such action we associate a cohomology $\mathrm{H}(\Omega(M)_\Gamma)$ which we call the cohomology of $\Gamma$-coinvariant forms. This is the cohomology of the graded vector space generated by the differentiable forms $\omega -\rho(\gamma)^*\omega$ where $\omega$ is a differential form with compact support and $\gamma\in \Gamma$. The present paper is an introduction to the study of this cohomology. More precisely, we study the relations between this cohomology, the de Rham cohomology and the cohomology of invariant forms $\mathrm{H}(\Omega(M)^\Gamma)$ in the case of isometric actions on compact Riemannian oriented manifolds and in the case of properly discontinuous actions on manifolds.


title: Spectral theory of Liouvillians for dissipative phase transitions

abstract: A state of an open quantum system is described by a density matrix, whose dynamics is governed by a Liouvillian superoperator. Within a general framework, we explore fundamental properties of both first-order dissipative phase transitions and second-order dissipative phase transitions associated with a symmetry breaking. In the critical region, we determine the general form of the steady-state density matrix and of the Liouvillian eigenmatrix whose eigenvalue defines the Liouvillian spectral gap. We illustrate our exact results by studying some paradigmatic quantum optical models exhibiting critical behavior.


title: Stack-U-Net: Refinement Network for Image Segmentation on the Example of Optic Disc and Cup

abstract: In this work, we propose a special cascade network for image segmentation, which is based on the U-Net networks as building blocks and the idea of the iterative refinement. The model was mainly applied to achieve higher recognition quality for the task of finding borders of the optic disc and cup, which are relevant to the presence of glaucoma. Compared to a single U-Net and the state-of-the-art methods for the investigated tasks, very high segmentation quality has been achieved without a need for increasing the volume of datasets. Our experiments include comparison with the best-known methods on publicly available databases DRIONS-DB, RIM-ONE v.3, DRISHTI-GS, and evaluation on a private data set collected in collaboration with University of California San Francisco Medical School. The analysis of the architecture details is presented, and it is argued that the model can be employed for a broad scope of image segmentation problems of similar nature.


title: Algorithms for Deciding Membership in Polytopes of General Dimension

abstract: We study the fundamental problem of polytope membership aiming at large convex polytopes, i.e. in high dimension and with many facets, given as an intersection of halfspaces. Standard data-structures as well as brute force methods cannot scale, due to the curse of dimen- sionality. We design an efficient algorithm, by reduction to the approx- imate Nearest Neighbor (ANN) problem based on the construction of a Voronoi diagram with the polytope being one bounded cell. We thus trade exactness for efficiency so as to obtain complexity bounds polyno- mial in the dimension, by exploiting recent progress in the complexity of ANN search. We employ this algorithm to present a novel boundary data structure based on a Newton-like iterative intersection procedure. We implement our algorithms and compare with brute-force approaches to show that they scale very well as the dimension and number of facets grow larger.


title: A Formal Transformation Method for Automated Fault Tree Generation from a UML Activity Model

abstract: Fault analysis and resolution of faults should be part of any end-to-end system development process. This paper is concerned with developing a formal transformation method that maps control flows modeled in UML Activities to semantically equivalent Fault Trees. The transformation method developed features the use of propositional calculus and probability theory. Fault Propagation Chains are introduced to facilitate the transformation method. An overarching metamodel comprised of transformations between models is developed and is applied to an understood Traffic Management System of Systems problem to demonstrate the approach. In this way, the relational structure of the system behavior model is reflected in the structure of the Fault Tree. The paper concludes with a discussion of limitations of the transformation method and proposes approaches to extend it to object flows, State Machines and functional allocations.


title: Sampling strategies in Siamese Networks for unsupervised speech representation learning

abstract: Recent studies have investigated siamese network architectures for learning invariant speech representations using same-different side information at the word level. Here we investigate systematically an often ignored component of siamese networks: the sampling procedure (how pairs of same vs. different tokens are selected). We show that sampling strategies taking into account Zipf's Law, the distribution of speakers and the proportions of same and different pairs of words significantly impact the performance of the network. In particular, we show that word frequency compression improves learning across a large range of variations in number of training pairs. This effect does not apply to the same extent to the fully unsupervised setting, where the pairs of same-different words are obtained by spoken term discovery. We apply these results to pairs of words discovered using an unsupervised algorithm and show an improvement on state-of-the-art in unsupervised representation learning using siamese networks.


title: Determination of weak values of quantum operators using only strong measurements

abstract: Weak values have been shown to be helpful especially when considering them as the outcomes of weak measurements. In this paper we show that in principle, the real and imaginary parts of the weak value of any operator may be elucidated from expectation values of suitably defined density, flux and hermitian commutator operators. Expectation values are the outcomes of strong (projective) measurements implying that weak values are general properties of operators in association with pre- and post-selection and they need not be preferentially associated with weak measurements. They should be considered as an important measurable property which provides added information as compared with the "standard" diagonal expectation value of an operator. As a first specific example we consider the determination of the real and imaginary parts of the weak value of the momentum operator employing projective time of flight experiments. Then the results are analyzed from the point of view of Bohmian mechanics. Finally we consider recent neutron interferometry experiments used to determine the weak values of the neutron spin.


title: On geometric and analytic mixing scales: comparability and convergence rates for transport problems

abstract: In this article we are interested in the geometric and analytic mixing scales of solutions to passive scalar problems. Here, we show that both notions are comparable after possibly removing large scale projections. In order to discuss our techniques in a transparent way, we further introduce a dyadic model problem. In a second part of our article we consider the question of sharp decay rates for both scales for Sobolev regular initial data when evolving under the transport equation and related active and passive scalar equations. Here, we show that slightly faster rates than the expected algebraic decay rates are optimal.


title: A toolbox for rendering virtual acoustic environments in the context of audiology

abstract: A toolbox for creation and rendering of dynamic virtual acoustic environments (TASCAR) that allows direct user interaction was developed for application in hearing aid research and audiology. This technical paper describes the general software structure and the time-domain simulation methods, i.e., transmission model, image source model, and render formats, used to produce virtual acoustic environments with moving objects. Implementation-specific properties are described, and the computational performance of the system was measured as a function of simulation complexity. Results show that on commercially available commonly used hardware the simulation of several hundred virtual sound sources is possible in the time domain.


title: Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes

abstract: The paper deals with finite-state Markov decision processes (MDPs) with integer weights assigned to each state-action pair. New algorithms are presented to classify end components according to their limiting behavior with respect to the accumulated weights. These algorithms are used to provide solutions for two types of fundamental problems for integer-weighted MDPs. First, a polynomial-time algorithm for the classical stochastic shortest path problem is presented, generalizing known results for special classes of weighted MDPs. Second, qualitative probability constraints for weight-bounded (repeated) reachability conditions are addressed. Among others, it is shown that the problem to decide whether a disjunction of weight-bounded reachability conditions holds almost surely under some scheduler belongs to $\textrm{NP}\cap \textrm{coNP}$, is solvable in pseudo-polynomial time and is at least as hard as solving two-player mean-payoff games, while the corresponding problem for universal quantification over schedulers is solvable in polynomial time.


title: Improved bounds for the Erd\H{o}s-Rogers function

abstract: The Erd\H{o}s-Rogers function $f_{s,t}$ measures how large a $K_s$-free induced subgraph there must be in a $K_t$-free graph on $n$ vertices. While good estimates for $f_{s,t}$ are known for some pairs $(s,t)$, notably when $t=s+1$, in general there are significant gaps between the best known upper and lower bounds. We improve the upper bounds when $s+2\leq t\leq 2s-1$. For each such pair we obtain for the first time a proof that $f_{s,t}\leq n^{\alpha_{s,t}+o(1)}$ with an exponent $\alpha_{s,t}<1/2$, answering a question of Dudek, Retter and R\"{o}dl.


title: Analyzing the spectral (a)symmetry of the massless Dirac operator on the 3-torus

abstract: We analyze the spectrum of the massless Dirac operator on the 3-torus $\mathbb{T}^3$. It is known that it is possible to calculate this spectrum explicitly, that it is symmetric about zero and that each eigenvalue has even multiplicity. However, for a general oriented closed Riemannian 3-manifold $(M,g)$ there is no reason for the spectrum of the massless Dirac operator to be symmetric. Using perturbation theory, we derive the asymptotic formulae for its eigenvalues and prove that by the perturbation of the Euclidean metric on the 3-torus, it is possible to obtain spectral asymmetry of the massless Dirac operator in the axisymmetric case.


title: Hilbert's basis theorem for non-associative and hom-associative Ore extensions

abstract: We prove a hom-associative version of Hilbert's basis theorem, which includes as special cases both a non-associative version and the classical associative Hilbert's basis theorem for Ore extensions. Along the way, we develop hom-module theory. We conclude with some examples of both non-associative and hom-associative Ore extensions which are all noetherian by our theorem.


title: A weak comparison principle in tubular neighbourhoods of embedded manifolds

abstract: We study weak solutions to degenerate quasilinear elliptic equations, involving first order terms, in unbounded tubular domains. In particular we show that, under suitable hypotheses, the weak comparison principle holds if the domain is narrow enough.


title: Bound state equations in Riemannian geometry

abstract: We study formulations of bound state (Bethe-Salpeter) equations on arbitrary Riemannian manifolds. We obtain a hierarchy of equations for multipartice wave functions. These equations, at each number of particles, depend on certain choices of combinatorial origin, which together with the metric, define the equations completely.


title: Practical Low-Dimensional Halfspace Range Space Sampling

abstract: We develop, analyze, implement, and compare new algorithms for creating $\varepsilon$-samples of range spaces defined by halfspaces which have size sub-quadratic in $1/\varepsilon$, and have runtime linear in the input size and near-quadratic in $1/\varepsilon$. The key to our solution is an efficient construction of partition trees. Despite not requiring any techniques developed after the early 1990s, apparently such a result was not ever explicitly described. We demonstrate that our implementations, including new implementations of several variants of partition trees, do indeed run in time linear in the input, appear to run linear in output size, and observe smaller error for the same size sample compared to the ubiquitous random sample (which requires size quadratic in $1/\varepsilon$). This result has direct applications in speeding up discrepancy evaluation, approximate range counting, and spatial anomaly detection.


title: The Schur Multipliers of $p$-Groups of Order $p^5$

abstract: In this article, we compute the Schur multiplier, non-abelian tensor square and exterior square of non-abelian $p$-groups of order $p^5$. As an application we determine the capability of groups of order $p^5$.


title: Extreme [OIII] Emitters at z $\sim$ 0.5

abstract: We have found a sample of extreme emission-line galaxies (EELGs) with strong [OIII]$\lambda$5007 emission at z $\sim$ 0.5. Using broadband photometric selection and requiring small uncertainties in photometry, we searched the 14th Data Release (DR14) of the Sloan Digital Sky Survey (SDSS) and found 2658 candidates with strong i-band excess (i - z $\leqslant$ r - i - 0.7). We further obtained 649 SDSS spectra of these objects, and visually identified 22 [OIII] emitters lying at 0.40 $<$ z $<$ 0.63. Having constructed their UV-IR spectral energy distributions (SED) we found that they have fairly blue r-W2 and red W1-W4 colors, indicative of strong warm dust emission. Their rest-frame [OIII]$\lambda$5007 equivalent widths are mostly 200-600 \AA, and their high [OIII]$\lambda$5007/H$\beta$ ratios put them at the boundary of star-forming galaxies and AGNs on line ratio classification diagrams. The typical E(B-V) and electron temperature of [OIII] emitters are $\sim$ 0.1-0.3 mag and $\sim$ 10$^4$ K, respectively. The lowest metallicity of our [OIII] emitters with S/N$_{\rm [OIII]\lambda4363}$ $>$ 3 is 12 + log(O/H) = 7.98$^{+0.12}_{-0.02}$, with a median value of 8.24$^{+0.05}_{-0.04}$. Our [OIII] emitters exhibit remarkably high line luminosity - 18/22 have L$_{\rm [OIII]\lambda5007}$ $>$ 5$\times$10$^{42}$ erg $\rm s^{-1}$ and 5/22 have L$_{\rm [OIII]\lambda5007}$ $>$ 10$^{43}$ erg $\rm s^{-1}$. Their estimated volume number density at z $\sim$ 0.5 is $\sim$ 2$\times$10$^{-8}$ Mpc$^{-3}$, with L$_{\rm [OIII]\lambda5007}$ down to $\sim$ 3$\times$10$^{42}$ erg $\rm s^{-1}$. The cumulative number fraction distribution of EELGs across different redshifts is indicative of a strong redshift evolution at the bright end of the [OIII] luminosity function.


title: Unveiling Stimulation Secrets of Electrical Excitation of Neural Tissue Using a Circuit Probability Theory

abstract: A new theory, named the Circuit-Probability theory, is proposed to unveil the secret of electrical nerve stimulation, essentially explain the nonlinear and resonant phenomena observed when neural and non-neural tissues are electrically stimulated. For the explanation of frequency dependent response, an inductor is involved in the neural circuit model. Furthermore, predicted response to varied stimulation strength is calculated stochastically. Based on this theory, many empirical models, such as strength-duration relationship and LNP model, can be theoretically explained, derived, and amended. This theory can explain the complex nonlinear interactions in electrical stimulation and fit in vivo experiment data on stimulation-responses of many experiments. As such, the C-P theory should be able to guide novel experiments and more importantly, offer an in-depth physical understanding of the neural tissue. As a promising neural model, we can even further explore the more accurate circuit configuration and probability equation to better describe the electrical stimulation of neural tissues in the future.


title: Towards a source of multi-photon entangled states for linear optical quantum computing

abstract: We propose a scheme to make use of recent advances in cavity QED-enhanced resonance fluorescence from quantum dots to generate a stream of entangled and indistinguishable photons. We then demonstrate that we can optically manipulate the state of a trapped hole spin to achieve complete coherent control of a qubit. In combination with the selective cavity enhancement of the resonantly excited transition, we use this capability to perform a proof-of-principle demonstration of our proposal by showing that the time bin of a single photon is dependent on the measured state of the trapped spin.


title: Performance Evaluation of an Algorithm-based Asynchronous Checkpoint-Restart Fault Tolerant Application Using Mixed MPI/GPI-2

abstract: One of the hardest challenges of the current Big Data landscape is the lack of ability to process huge volumes of information in an acceptable time. The goal of this work, is to ascertain if it is useful to use typical Big Data tools to solve High Performance Computing problems, by exploring and comparing a distributed computing framework implemented on a commodity cluster architecture: the experiment will depend on the computational time required using tools such as Apache Spark. This will be compared to "equivalent more traditional" approaches such as using a distributed memory model with MPI on a distributed file system such as HDFS (Hadoop Distributed File System) and native C libraries that create an interface to encapsulate this file system functionalities, and using the GPI-2 implementation for the GASPI protocol and it's in-memory checkpointing library to provide an application with Fault Tolerance features. To be more precise, we've chosen the K-means algorithm as experiment, that will be ran on variable size datasets, and then we will compare the computational run time and time resilience of both approaches.


title: How Robust are Deep Neural Networks?

abstract: Convolutional and Recurrent, deep neural networks have been successful in machine learning systems for computer vision, reinforcement learning, and other allied fields. However, the robustness of such neural networks is seldom apprised, especially after high classification accuracy has been attained. In this paper, we evaluate the robustness of three recurrent neural networks to tiny perturbations, on three widely used datasets, to argue that high accuracy does not always mean a stable and a robust (to bounded perturbations, adversarial attacks, etc.) system. Especially, normalizing the spectrum of the discrete recurrent network to bound the spectrum (using power method, Rayleigh quotient, etc.) on a unit disk produces stable, albeit highly non-robust neural networks. Furthermore, using the $\epsilon$-pseudo-spectrum, we show that training of recurrent networks, say using gradient-based methods, often result in non-normal matrices that may or may not be diagonalizable. Therefore, the open problem lies in constructing methods that optimize not only for accuracy but also for the stability and the robustness of the underlying neural network, a criterion that is distinct from the other.


title: Gaugino Mediation with Large Trilinears

abstract: Gaugino mediation is an attractive supersymmetry breaking scheme naturally avoiding flavor problems by suppressing the soft sfermion masses at a high-energy scale. We consider an extension of the original model which yields non-vanishing trilinear scalar couplings. This increases the viable parameter space predicting a sufficiently large Higgs mass. Assuming the gravitino to be the lightest superparticle, we consider additional constraints from direct searches at the LHC, finding allowed points with a neutralino, sneutrino or stau next-to-lightest superparticle.


title: Comment on "A Spin Entanglement Witness for Quantum Gravity" and on "Gravitationally Induced Entanglement between Two Massive Particles is Sufficient Evidence of Quantum Effects in Gravity"

abstract: This is a comment on articles Phys. Rev. Lett. 119, 240401 (2017) [arXiv:1707.06050] and Phys. Rev. Lett. 119, 240402 (2017) [arXiv:1707.06036]. We argue that gravity-induced entanglement by Newtonian forces is agnostic to the quantum or classical nature of the gravitational true degrees of freedom.


title: SIT measures and Transience

abstract: A graph is called (edge)-SIT if for some probability measure on paths, the number of mutual edges in two independent paths has finite mean. We show that transience is equivalent to the property of (edge)-SIT.


title: Hybrid Forests for Left Ventricle Segmentation using only the first slice label

abstract: Machine learning models produce state-of-the-art results in many MRI images segmentation. However, most of these models are trained on very large datasets which come from experts manual labeling. This labeling process is very time consuming and costs experts work. Therefore finding a way to reduce this cost is on high demand. In this paper, we propose a segmentation method which exploits MRI images sequential structure to nearly drop out this labeling task. Only the first slice needs to be manually labeled to train the model which then infers the next slice's segmentation. Inference result is another datum used to train the model again. The updated model then infers the third slice and the same process is carried out until the last slice. The proposed model is an combination of two Random Forest algorithms: the classical one and a recent one namely Mondrian Forests. We applied our method on human left ventricle segmentation and results are very promising. This method can also be used to generate labels.


title: The Weak Form of Malle's Conjecture and Solvable Groups

abstract: For a fixed finite solvable group $G$ and number field $K$, we prove an upper bound for the number of $G$-extensions $L/K$ with restricted local behavior (at infinitely many places) and ${\rm inv}(L/K)<X$ for a general invariant $"{\rm inv}"$. When the invariant is given by the discriminant for a transitive embedding of a nilpotent group $G\subset S_n$, this realizes the upper bound given in the weak form of Malle's conjecture. For other solvable groups, the upper bound depends on the size of torsion of the class group of number fields with fixed degree. In particular, the bounds we prove realize the upper bound given in the weak form of Malle's conjecture for the transitive embedding of a solvable group $G\subset S_n$ if we assume that for each finite abelian group $A$ the average size of class group torsion $|{\rm Hom}({\rm Cl}(L),A)|$ is smaller than $X^{\epsilon}$ as $L/K$ varies over certain families of extensions with ${\rm inv}(L/K)<X$.