title: Being Negative but Constructively: Lessons Learnt from Creating Better Visual Question Answering Datasets

abstract: Visual question answering (Visual QA) has attracted a lot of attention lately, seen essentially as a form of (visual) Turing test that artificial intelligence should strive to achieve. In this paper, we study a crucial component of this task: how can we design good datasets for the task? We focus on the design of multiple-choice based datasets where the learner has to select the right answer from a set of candidate ones including the target (\ie the correct one) and the decoys (\ie the incorrect ones). Through careful analysis of the results attained by state-of-the-art learning models and human annotators on existing datasets, we show that the design of the decoy answers has a significant impact on how and what the learning models learn from the datasets. In particular, the resulting learner can ignore the visual information, the question, or both while still doing well on the task. Inspired by this, we propose automatic procedures to remedy such design deficiencies. We apply the procedures to re-construct decoy answers for two popular Visual QA datasets as well as to create a new Visual QA dataset from the Visual Genome project, resulting in the largest dataset for this task. Extensive empirical studies show that the design deficiencies have been alleviated in the remedied datasets and the performance on them is likely a more faithful indicator of the difference among learning models. The datasets are released and publicly available via http://www.teds.usc.edu/website_vqa/.


title: Visual-Based Analysis of Classification Measures with Applications to Imbalanced Data

abstract: With a plethora of available classification performance measures, choosing the right metric for the right task requires careful thought. To make this decision in an informed manner, one should study and compare general properties of candidate measures. However, analysing measures with respect to complete ranges of their domain values is a difficult and challenging task. In this study, we attempt to support such analyses with a specialized visualization technique, which operates in a barycentric coordinate system using a 3D tetrahedron. Additionally, we adapt this technique to the context of imbalanced data and put forward a set of properties which should be taken into account when selecting a classification performance measure. As a result, we compare 22 popular measures and show important differences in their behaviour. Moreover, for parametric measures such as the F$_{\beta}$ and IBA$_\alpha$(G-mean), we analytically derive parameter thresholds that change measure properties. Finally, we provide an online visualization tool that can aid the analysis of complete domain ranges of performance measures.


title: Joint Spectrum Reservation and On-demand Request for Mobile Virtual Network Operators

abstract: With wireless network virtualization, Mobile Virtual Network Operators (MVNOs) can develop new services on a low-cost platform by leasing virtual resources from mobile network owners. In this paper, we investigate a two-stage spectrum leasing framework, where an MVNO acquires radio spectrum through both advance reservation and on-demand request. To maximize its surplus, the MVNO jointly optimizes the amount of spectrum to lease in the two stages by taking into account the traffic distribution, random user locations, wireless channel statistics, Quality of Service (QoS) requirements, and the prices differences. Meanwhile, the acquired spectrum resources are dynamically allocated to the MVNO's mobile subscribers (users) according to fast channel fadings in order to maximize the utilization of the resources. The MVNO's surplus maximization problem is naturally formulated as a tri-level nested optimization problem that consists of Dynamic Resource Allocation (DRA), on-demand request, and advance reservation subproblems. To solve the problem efficiently, we rigorously analyze the structure of the optimal solution in the DRA problem, and the optimal value is used to find the optimal leasing decisions in the two stages. In particular, we derive closed-form expressions of the optimal advance reservation and on-demand requests when the proportional fair utility function is adopted. We further extend the analysis to general utility functions and derive a Stochastic Gradient Decent (SGD) algorithm to find the optimal leasing decisions. Simulation results show that the two-stage spectrum leasing strategy can take advantage of both the price discount of advance reservation and the flexibility of on-demand request to deal with traffic variations.


title: Compositional abstraction and safety synthesis using overlapping symbolic models

abstract: In this paper, we develop a compositional approach to abstraction and safety synthesis for a general class of discrete time nonlinear systems. Our approach makes it possible to define a symbolic abstraction by composing a set of symbolic subsystems that are overlapping in the sense that they can share some common state variables. We develop compositional safety synthesis techniques using such overlapping symbolic subsystems. Comparisons, in terms of conservativeness and of computational complexity, between abstractions and controllers obtained from different system decompositions are provided. Numerical experiments show that the proposed approach for symbolic control synthesis enables a significant complexity reduction with respect to the centralized approach, while reducing the conservatism with respect to compositional approaches using non-overlapping subsystems.


title: Higher Markov and Bernstein inequalities and fast decreasing polynomials with prescribed zeros

abstract: Higher order Bernstein- and Markov-type inequalities are established for trigonometric polynomials on compact subsets of the real line and algebraic polynomials on compact subsets of the unit circle. In the case of Markov-type inequalities we assume that the compact set satisfies an interval condition.


title: Some identities of degeenrate ordered Bell polynomials and numbers arising from umbral calculus

abstract: In this paper, we study degenerate ordered Bell polynomials with the viewpoint of Carlitz's degenerate Bernoulli and Euler polynomials and derive by using umbral calculus some properties and new identities for the degenerate ordered Bell polynomials associated with special polynomials.


title: Radiative corrections to false vacuum decay in quantum mechanics

abstract: We consider radiative corrections to false vacuum decay within the framework of quantum mechanics for the general potential of the form 1/2 M q^2 (q-A)(q-B), where M , A and B are arbitrary parameters. For this type of potential we provide analytical results for Green function in the background of corresponding bounce solution together with one loop expression for false vacuum decay rate. Next, we discuss the computation of higher order corrections for false vacuum decay rate and provide numerical expressions for two and three loop contributions.


title: An isogeometric boundary element method for electromagnetic scattering with compatible B-spline discretizations

abstract: We outline the construction of compatible B-splines on 3D surfaces that satisfy the continuity requirements for electromagnetic scattering analysis with the boundary element method (method of moments). Our approach makes use of Non-Uniform Rational B-splines to represent model geometry and compatible B-splines to approximate the surface current, and adopts the isogeometric concept in which the basis for analysis is taken directly from CAD (geometry) data. The approach allows for high-order approximations and crucially provides a direct link with CAD data structures that allows for efficient design workflows. After outlining the construction of div- and curl-conforming B-splines defined over 3D surfaces we describe their use with the electric and magnetic field integral equations using a Galerkin formulation. We use B\'ezier extraction to accelerate the computation of NURBS and B-spline terms and employ H-matrices to provide accelerated computations and memory reduction for the dense matrices that result from the boundary integral discretization. The method is verified using the well known Mie scattering problem posed over a perfectly electrically conducting sphere and the classic NASA almond problem. Finally, we demonstrate the ability of the approach to handle models with complex geometry directly from CAD without mesh generation.


title: An Analysis of Action Recognition Datasets for Language and Vision Tasks

abstract: A large amount of recent research has focused on tasks that combine language and vision, resulting in a proliferation of datasets and methods. One such task is action recognition, whose applications include image annotation, scene under- standing and image retrieval. In this survey, we categorize the existing ap- proaches based on how they conceptualize this problem and provide a detailed review of existing datasets, highlighting their di- versity as well as advantages and disad- vantages. We focus on recently devel- oped datasets which link visual informa- tion with linguistic resources and provide a fine-grained syntactic and semantic anal- ysis of actions in images.


title: Learning Symmetric Collaborative Dialogue Agents with Dynamic Knowledge Graph Embeddings

abstract: We study a symmetric collaborative dialogue setting in which two agents, each with private knowledge, must strategically communicate to achieve a common goal. The open-ended dialogue state in this setting poses new challenges for existing dialogue systems. We collected a dataset of 11K human-human dialogues, which exhibits interesting lexical, semantic, and strategic elements. To model both structured knowledge and unstructured language, we propose a neural model with dynamic knowledge graph embeddings that evolve as the dialogue progresses. Automatic and human evaluations show that our model is both more effective at achieving the goal and more human-like than baseline neural and rule-based models.


title: The VLT-FLAMES Tarantula Survey XXVII. Physical parameters of B-type main-sequence binary systems in the Tarantula nebula

abstract: A spectroscopic analysis has been undertaken for the B-type multiple systems (excluding those with supergiant primaries) in the VLT-FLAMES Tarantula Survey (VFTS). Projected rotational velocities, $v$sin$i$, for the primaries have been estimated using a Fourier Transform technique and confirmed by fitting rotationally broadened profiles. A subset of 33 systems with $v$sin$i$$\leq$ 80 km/s have been analysed using a TLUSTY grid of model atmospheres to estimate stellar parameters and surface abundances for the primaries. The effects of a potential flux contribution from an unseen secondary have also been considered. For 20 targets it was possible to reliably estimate their effective temperatures (T$_{eff}$) but for the other 13 objects it was only possible to provide a constraint of 20,000$\leq$T$_{eff}$$\leq$26,000 K -- the other parameters estimated for these targets will be consequently less reliable. The estimated stellar properties are compared with evolutionary models and are generally consistent with their membership of 30 Doradus, while the nature of the secondaries of 3 SB2 system is discussed. A comparison with a sample of single stars with $v$sin$i$$\leq$ 80 km/s obtained from the VFTS and analysed with the same techniques implies that the atmospheric parameters and nitrogen abundances of the two samples are similar. However, the binary sample may have a lack of primaries with significant nitrogen enhancements, which would be consistent with them having low rotational velocities and having effectively evolved as single stars without significant rotational mixing. This result, which may be actually a consequence of the limitations of the pathfinder investigation presented in this paper, should be considered as a motivation for spectroscopic abundance analysis of large samples of binary stars, with high quality observational data.


title: Lattice field theory simulations of Dirac semimetals

abstract: In this paper the observed Dirac semimetals Na$_3$Bi and Cd$_3$As$_2$ are studied within lattice simulation. We formulate lattice field theory with rooted staggered fermions on anisotropic lattice. It is shown that in the limit of zero temporal lattice spacing this theory reproduces low energy effective theory of Dirac semimetals. Using this lattice theory we study the phase diagram of Dirac semimetals in the plane effective coupling constant--Fermi velocity anisotropy. Within the formulated theory the results are practically volume independent in contrast with our previous study. Our results confirm our previous finding that within the Dirac model with bare Coulomb interaction both Na$_3$Bi and Cd$_3$As$_2$ lie deep in the insulator phase.


title: Beeping a Maximal Independent Set Fast

abstract: We adapt a recent algorithm by Ghaffari [SODA'16] for computing a Maximal Independent Set in the LOCAL model, so that it works in the significantly weaker BEEP model. For networks with maximum degree $\Delta$, our algorithm terminates locally within time $O((\log \Delta + \log (1/\epsilon)) \cdot \log(1/\epsilon))$, with probability at least $1 - \epsilon$. The key idea of the modification is to replace explicit messages about transmission probabilities with estimates based on the number of received messages. After the successful introduction (and implicit use) of local analysis, e.g., by Barenboim et al. [JACM'16], Chung et al. [PODC'14], Ghaffari [SODA'16], and Halldorsson et al. [PODC'15], we study this concept in the BEEP model for the first time. By doing so, we improve over local bounds that are implicitly derived from previous work (that uses traditional global analysis) on computing a Maximal Independent Set in the \beep model for a large range of values of the parameter $\Delta$. At the same time, we show that our algorithm in the \beep model only needs to pay a $\log(1/\epsilon)$ factor in the runtime compared to the best known MIS algorithm in the much more powerful \local model. We demonstrate that this overhead is negligible, as communication via beeps can be implemented using significantly less resources than communication in the LOCAL model. In particular, when looking at implementing these models, one round of the \local model needs at least $O(\Delta)$ time units, while one round in the BEEP model needs $O(\log\Delta)$ time units, an improvement that diminishes the loss of a $\log(1/\epsilon)$ factor in most settings.


title: Non-uniform scaling of the magnetic field variations before the $M_w$9.0 Tohoku earthquake in 2011

abstract: Applying Detrended Fluctuation Analysis (DFA) to the geomagnetic data recorded at three measuring stations in Japan, Rong et al. in 2012 reported that anomalous magnetic field variations were identified well before the occurrence of the disastrous Tohoku $M_w$9.0 earthquake that occurred on 11 March 2011 in Japan exhibiting increased "non-uniform" scaling behavior. Here, we provide an explanation for the appearance of this increase of "non-uniform" scaling on the following grounds: These magnetic field variations are the ones that accompany the electric field variations termed Seismic Electric Signals (SES) activity which have been repeatedly reported that precede major earthquakes. DFA as well as multifractal DFA reveal that the latter electric field variations exhibit scaling behavior as shown by analyzing SES activities observed before major earthquakes in Greece. Hence, when these variations are superimposed on a background of pseudosinusoidal trend, their long range correlation properties -quantified by DFA- are affected resulting in an increase of the "non-uniform" scaling behavior. The same is expected to hold for the former magnetic field variations.


title: Bernoulli-Carlitz and Cauchy-Carlitz numbers with Stirling-Carlitz numbers

abstract: Recently, the Cauchy-Carlitz number was defined as the counterpart of the Bernoulli-Carlitz number. Both numbers can be expressed explicitly in terms of so-called Stirling-Carlitz numbers. In this paper, we study the second analogue of Stirling-Carlitz numbers and give some general formulae, including Bernoulli and Cauchy numbers in formal power series with complex coefficients, and Bernoulli-Carlitz and Cauchy-Carlitz numbers in function fields. We also give some applications of Hasse-Teichm\"uller derivative to hypergeometric Bernoulli and Cauchy numbers in terms of associated Stirling numbers.


title: On the anomalous {changes of seismicity and} geomagnetic field prior to the 2011 $M_w$ 9.0 Tohoku earthquake

abstract: Xu et al. [J. Asian Earth Sci. {\bf 77}, 59-65 (2013)] It has just been reported that approximately 2 months prior to the $M_w$9.0 Tohoku earthquake that occurred in Japan on 11 March 2011 anomalous variations of the geomagnetic field have been observed in the vertical component at a measuring station about 135 km from the epicenter for about 10 days (4 to 14 January 2011). Here, we show that this observation is in striking agreement with independent recent results obtained from natural time analysis of seismicity in Japan. In particular, this analysis has revealed that an unprecedented minimum of the order parameter fluctuations of seismicity was observed around 5 January 2011, thus pointing to the initiation at that date of a strong precursory Seismic Electric Signals activity accompanied by the anomalous geomagnetic field variations. Starting from this date, natural time analysis of the subsequent seismicity indicates that a strong mainshock was expected in a few days to one week after 08:40 LT on 10 March 2011.


title: Sequential measurements: Busch-Gleason theorem and its applications

abstract: Probabilities enter quantum mechanics via Born's rule, the uniqueness of which was proven by Gleason. Busch subsequently relaxed the assumptions of this proof, expanding its domain of applicability in the process. Extending this work to sequential measurement processes is the aim of this paper. Given only a simple set of postulates, a probability measure is derived utilising the concept of Liouville space and the most general permissible quantum channel arises in the same manner. Super-Liouville space is constructed and a Bayesian interpretation of this object is provided. An important application of the new method is demonstrated, providing an axiomatic derivation of important results of the BB84 protocol in quantum cryptography.


title: Lexically Constrained Decoding for Sequence Generation Using Grid Beam Search

abstract: We present Grid Beam Search (GBS), an algorithm which extends beam search to allow the inclusion of pre-specified lexical constraints. The algorithm can be used with any model that generates a sequence $ \mathbf{\hat{y}} = \{y_{0}\ldots y_{T}\} $, by maximizing $ p(\mathbf{y} | \mathbf{x}) = \prod\limits_{t}p(y_{t} | \mathbf{x}; \{y_{0} \ldots y_{t-1}\}) $. Lexical constraints take the form of phrases or words that must be present in the output sequence. This is a very general way to incorporate additional knowledge into a model's output without requiring any modification of the model parameters or training data. We demonstrate the feasibility and flexibility of Lexically Constrained Decoding by conducting experiments on Neural Interactive-Predictive Translation, as well as Domain Adaptation for Neural Machine Translation. Experiments show that GBS can provide large improvements in translation quality in interactive scenarios, and that, even without any user input, GBS can be used to achieve significant gains in performance in domain adaptation scenarios.


title: An Aposteriorical Clusterability Criterion for $k$-Means++ and Simplicity of Clustering

abstract: We define the notion of a well-clusterable data set combining the point of view of the objective of $k$-means clustering algorithm (minimising the centric spread of data elements) and common sense (clusters shall be separated by gaps). We identify conditions under which the optimum of $k$-means objective coincides with a clustering under which the data is separated by predefined gaps. We investigate two cases: when the whole clusters are separated by some gap and when only the cores of the clusters meet some separation condition. We overcome a major obstacle in using clusterability criteria due to the fact that known approaches to clusterability checking had the disadvantage that they are related to the optimal clustering which is NP hard to identify. Compared to other approaches to clusterability, the novelty consists in the possibility of an a posteriori (after running $k$-means) check if the data set is well-clusterable or not. As the $k$-means algorithm applied for this purpose has polynomial complexity so does therefore the appropriate check. Additionally, if $k$-means++ fails to identify a clustering that meets clusterability criteria, with high probability the data is not well-clusterable.


title: Recovery of a fast oscillating free term in the wave equation by asymptotics of the solution

abstract: Three problems about recovery of a high-frequency free term in the one-dimension wave equation with homogeneous initial-boundary conditions by some information about partial asymptotics of its solution have been solved. It is shoun, that the free term can be completely recovered from a specific data about incomplete (three-terms) asymptotics of the solution. Before formulation of the each problem about recovery of free term, construction and justification of the asymptotics of the solution of original initial-boundary problem are given.


title: Bayesian radiocarbon modelling for beginners

abstract: Due to freely available, tailored software, Bayesian statistics is fast becoming the dominant paradigm in archaeological chronology construction. Such software provides users with powerful tools for Bayesian inference for chronological models with little need to undertake formal study of statistical modelling or computer programming. This runs the risk that it is reduced to the status of a black-box which is not sensible given the power and complexity of the modelling tools it implements. In this paper we seek to offer intuitive insight to ensure that readers from the archaeological research community who use Bayesian chronological modelling software will be better able to make well educated choices about the tools and techniques they adopt. Our hope is that they will then be both better informed about their own research designs and better prepared to offer constructively critical assessments of the modelling undertaken by others.


title: Dense 3D Facial Reconstruction from a Single Depth Image in Unconstrained Environment

abstract: With the increasing demands of applications in virtual reality such as 3D films, virtual Human-Machine Interactions and virtual agents, the analysis of 3D human face analysis is considered to be more and more important as a fundamental step for those virtual reality tasks. Due to information provided by an additional dimension, 3D facial reconstruction enables aforementioned tasks to be achieved with higher accuracy than those based on 2D facial analysis. The denser the 3D facial model is, the more information it could provide. However, most existing dense 3D facial reconstruction methods require complicated processing and high system cost. To this end, this paper presents a novel method that simplifies the process of dense 3D facial reconstruction by employing only one frame of depth data obtained with an off-the-shelf RGB-D sensor. The experiments showed competitive results with real world data.


title: Electronic properties and the nature of metal-insulator transition in NdNiO3 prepared at ambient oxygen pressure

abstract: We report the electronic properties of the NdNiO3, prepared at the ambient oxygen pressure condition. The metal-insulator transition temperature is observed at 192 K, but the low temperature state is found to be less insulating compared to the NdNiO3 prepared at high oxygen pressure. The electric resistivity, Seebeck coefficient and thermal conductivity of the compound show large hysteresis below the metal-insulator transition. The large value of the effective mass (m* ~ 8me) in the metallic state indicate the narrow character of the 3d band. The electric conduction at low temperatures (T = 2 - 20 K) is governed by the variable range hopping of the charge carriers.


title: Bootstrap percolation in random $k$-uniform hypergraphs

abstract: We investigate bootstrap percolation with infection threshold $r> 1$ on the binomial $k$-uniform random hypergraph $H_k(n,p)$ in the regime $n^{-1}\ll n^{k-2}p \ll n^{-1/r}$, when the initial set of infected vertices is chosen uniformly at random from all sets of given size. We establish a threshold such that if there are less vertices in the initial set of infected vertices, then whp only a few additional vertices become infected, while if the initial set of infected vertices exceeds the threshold then whp almost every vertex becomes infected. In addition, for $k=2$, we show that the probability of failure decreases exponentially.


title: Exploiting Feature Confidence for Forward Motion Estimation

abstract: Visual-Inertial Odometry (VIO) utilizes an Inertial Measurement Unit (IMU) to overcome the limitations of Visual Odometry (VO). However, the VIO for vehicles in large-scale outdoor environments still has some difficulties in estimating forward motion with distant features. To solve these difficulties, we propose a robust VIO method based on the analysis of feature confidence in forward motion estimation using an IMU. We first formulate the VIO problem by using effective trifocal tensor geometry. Then, we infer the feature confidence by using the motion information obtained from an IMU and incorporate the confidence into the Bayesian estimation framework. Experimental results on the public KITTI dataset show that the proposed VIO outperforms the baseline VIO, and it also demonstrates the effectiveness of the proposed feature confidence analysis and confidence-incorporated egomotion estimation framework.


title: Found in Translation: Reconstructing Phylogenetic Language Trees from Translations

abstract: Translation has played an important role in trade, law, commerce, politics, and literature for thousands of years. Translators have always tried to be invisible; ideal translations should look as if they were written originally in the target language. We show that traces of the source language remain in the translation product to the extent that it is possible to uncover the history of the source language by looking only at the translation. Specifically, we automatically reconstruct phylogenetic language trees from monolingual texts (translated from several source languages). The signal of the source language is so powerful that it is retained even after two phases of translation. This strongly indicates that source language interference is the most dominant characteristic of translated texts, overshadowing the more subtle signals of universal properties of translation.


title: A Neural Network model with Bidirectional Whitening

abstract: We present here a new model and algorithm which performs an efficient Natural gradient descent for Multilayer Perceptrons. Natural gradient descent was originally proposed from a point of view of information geometry, and it performs the steepest descent updates on manifolds in a Riemannian space. In particular, we extend an approach taken by the "Whitened neural networks" model. We make the whitening process not only in feed-forward direction as in the original model, but also in the back-propagation phase. Its efficacy is shown by an application of this "Bidirectional whitened neural networks" model to a handwritten character recognition data (MNIST data).


title: Interface magnetism and electronic structure: ZnO(0001)/Co3O4(111)

abstract: We have studied the structural, electronic and magnetic properties of spinel $\rm Co_3O_4$(111) surfaces and their interfaces with ZnO (0001) using density functional theory (DFT) within the Generalized Gradient Approximation with on-site Coulomb repulsion term (GGA+U). Two possible forms of spinel surface, containing $\rm Co^{2+} $ and $\rm Co^{3+} $ ions and terminated with either cobalt or oxygen ions were considered, as well as their interface with zinc oxide. Our calculations demonstrate that $\rm Co^{3+} $ ions attain non-zero magnetic moments at the surface and interface, in contrast to the bulk, where they are not magnetic, leading to the ferromagnetic ordering. Since heavily Co-doped ZnO samples can contain $\rm Co_3O_4 $ secondary phase, such a magnetic ordering at the interface might explain the origin of the magnetism in these diluted magnetic semiconductors (DMS).


title: Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus

abstract: This paper positively solves an open problem if it is possible to provide a Hilbert system to Epistemic Logic of Friendship (EFL) by Seligman, Girard and Liu. To find a Hilbert system, we first introduce a sound, complete and cut-free tree (or nested) sequent calculus for EFL, which is an integrated combination of Seligman's sequent calculus for basic hybrid logic and a tree sequent calculus for modal logic. Then we translate a tree sequent into an ordinary formula to specify a Hilbert system of EFL and finally show that our Hilbert system is sound and complete for the intended two-dimensional semantics.


title: The Teichm\"uller Stack

abstract: This paper is a comprehensive introduction to the results of [7]. It grew as an expanded version of a talk given at INdAM Meeting Complex and Symplectic Geometry, held at Cortona in June 12-18, 2016. It deals with the construction of the Teichm\"uller space of a smooth compact manifold M (that is the space of isomorphism classes of complex structures on M) in arbitrary dimension. The main problem is that, whenever we leave the world of surfaces, the Teichm\"uller space is no more a complex manifold or an analytic space but an analytic Artin stack. We explain how to construct explicitly an atlas for this stack using ideas coming from foliation theory. Throughout the article, we use the case of $\mathbb{S}^3\times\mathbb{S}^1$ as a recurrent example.


title: Can we measure $\theta_{23}$ octant in 3+1 scheme?

abstract: Current 3$\nu$ global fits predict two degenerate solutions for $\theta_{23}$: one lies in lower octant ($\theta_{23} <\pi/4$), and the other belongs to higher octant ($\theta_{23} >\pi/4$). Here, we study how the measurement of $\theta_{23}$ octant would be affected in the upcoming Deep Underground Neutrino Experiment (DUNE) if there exist a light eV-scale sterile neutrino. We show that in 3+1 scheme, a new interference term in $\nu_\mu \to \nu_e$ oscillation probability can spoil the chances of measuring $\theta_{23}$ octant completely.


title: Asymptotic multivariate expectiles

abstract: In [16], a new family of vector-valued risk measures called multivariate expectiles is introduced. In this paper, we focus on the asymptotic behavior of these measures in a multivariate regular variations context. For models with equivalent tails, we propose an estimator of these multivariate asymptotic expectiles, in the Fr{\'e}chet attraction domain case, with asymptotic independence, or in the comonotonic case.


title: Relativistic corrections for the ground electronic state of molecular hydrogen

abstract: We recalculate the leading relativistic corrections for the ground electronic state of the hydrogen molecule using variational method with explicitly correlated functions which satisfy the interelectronic cusp condition. The new computational approach allowed for the control of the numerical precision which reached about 8 significant digits. More importantly, the updated theoretical energies became discrepant with the known experimental values and we conclude that the yet unknown relativistic recoil corrections might be larger than previously anticipated.


title: Can MPTCP Secure Internet Communications from Man-in-the-Middle Attacks?

abstract: -Multipath communications at the Internet scale have been a myth for a long time, with no actual protocol being deployed so that multiple paths could be taken by a same connection on the way towards an Internet destination. Recently, the Multipath Transport Control Protocol (MPTCP) extension was standardized and is undergoing a quick adoption in many use-cases, from mobile to fixed access networks, from data-centers to core networks. Among its major benefits -- i.e., reliability thanks to backup path rerouting; throughput increase thanks to link aggregation; and confidentiality thanks to harder capacity to intercept a full connection -- the latter has attracted lower attention. How interesting would it be using MPTCP to exploit multiple Internet-scale paths hence decreasing the probability of man-in-the-middle (MITM) attacks is a question to which we try to answer. By analyzing the Autonomous System (AS) level graph, we identify which countries and regions show a higher level of robustness against MITM AS-level attacks, for example due to core cable tapping or route hijacking practices.


title: Spatial random multiple access with multiple departure

abstract: We introduce a new model of spatial random multiple access systems with a non-standard departure policy: all arriving messages are distributed uniformly on a finite sphere in the space, and when a successful transmission of a single message occurs, the transmitted message leaves the system together with all its neighbours within a ball of a given radius centred at the message's location. We consider three classes of protocols: centralised protocols and decentralised protocols with either ternary or binary feedback; and analyse their stability. Further, we discuss some asymptotic properties of stable protocols.


title: Semi-supervised Multitask Learning for Sequence Labeling

abstract: We propose a sequence labeling framework with a secondary training objective, learning to predict surrounding words for every word in the dataset. This language modeling objective incentivises the system to learn general-purpose patterns of semantic and syntactic composition, which are also useful for improving accuracy on different sequence labeling tasks. The architecture was evaluated on a range of datasets, covering the tasks of error detection in learner texts, named entity recognition, chunking and POS-tagging. The novel language modeling objective provided consistent performance improvements on every benchmark, without requiring any additional annotated or unannotated data.


title: Watset: Automatic Induction of Synsets from a Graph of Synonyms

abstract: This paper presents a new graph-based approach that induces synsets using synonymy dictionaries and word embeddings. First, we build a weighted graph of synonyms extracted from commonly available resources, such as Wiktionary. Second, we apply word sense induction to deal with ambiguous words. Finally, we cluster the disambiguated version of the ambiguous input graph into synsets. Our meta-clustering approach lets us use an efficient hard clustering algorithm to perform a fuzzy clustering of the graph. Despite its simplicity, our approach shows excellent results, outperforming five competitive state-of-the-art methods in terms of F-score on three gold standard datasets for English and Russian derived from large-scale manually constructed lexical resources.


title: An Integrated Decision and Control Theoretic Solution to Multi-Agent Co-Operative Search Problems

abstract: This paper considers the problem of autonomous multi-agent cooperative target search in an unknown environment using a decentralized framework under a no-communication scenario. The targets are considered as static targets and the agents are considered to be homogeneous. The no-communication scenario translates as the agents do not exchange either the information about the environment or their actions among themselves. We propose an integrated decision and control theoretic solution for a search problem which generates feasible agent trajectories. In particular, a perception based algorithm is proposed which allows an agent to estimate the probable strategies of other agents' and to choose a decision based on such estimation. The algorithm shows robustness with respect to the estimation accuracy to a certain degree. The performance of the algorithm is compared with random strategies and numerical simulation shows considerable advantages.


title: On the radius and the attachment number of tetravalent half-arc-transitive graphs

abstract: In this paper, we study the relationship between the radius $r$ and the attachment number $a$ of a tetravalent graph admitting a half-arc-transitive group of automorphisms. These two parameters were first introduced in~[{\em J.~Combin.~Theory Ser.~B} {73} (1998), 41--76], where among other things it was proved that $a$ always divides $2r$. Intrigued by the empirical data from the census~[{\em Ars Math.\ Contemp.} {8} (2015)] of all such graphs of order up to 1000 we pose the question of whether all examples for which $a$ does not divide $r$ are arc-transitive. We prove that the answer to this question is positive in the case when $a$ is twice an odd number. In addition, we completely characterize the tetravalent graphs admitting a half-arc-transitive group with $r = 3$ and $a=2$, and prove that they arise as non-sectional split $2$-fold covers of line graphs of $2$-arc-transitive cubic graphs.


title: Body Joint guided 3D Deep Convolutional Descriptors for Action Recognition

abstract: Three dimensional convolutional neural networks (3D CNNs) have been established as a powerful tool to simultaneously learn features from both spatial and temporal dimensions, which is suitable to be applied to video-based action recognition. In this work, we propose not to directly use the activations of fully-connected layers of a 3D CNN as the video feature, but to use selective convolutional layer activations to form a discriminative descriptor for video. It pools the feature on the convolutional layers under the guidance of body joint positions. Two schemes of mapping body joints into convolutional feature maps for pooling are discussed. The body joint positions can be obtained from any off-the-shelf skeleton estimation algorithm. The helpfulness of the body joint guided feature pooling with inaccurate skeleton estimation is systematically evaluated. To make it end-to-end and do not rely on any sophisticated body joint detection algorithm, we further propose a two-stream bilinear model which can learn the guidance from the body joints and capture the spatio-temporal features simultaneously. In this model, the body joint guided feature pooling is conveniently formulated as a bilinear product operation. Experimental results on three real-world datasets demonstrate the effectiveness of body joint guided pooling which achieves promising performance.


title: Robust Secure Transmission of Using Main-Lobe-Integration Based Leakage Beaforming in Directional Modulation MU-MIMO Systems

abstract: In the paper, we make an investigation of robust beamforming for secure directional modulation in the multi-user multiple-input and multiple output (MU-MIMO) systems in the presence of direction angle measurement errors. When statistical knowledge of direction angle measurement errors is unavailable, a novel robust beamforming scheme of combining main-lobe-integration (MLI) and leakage is proposed to simultaneously transmit multiple different independent parallel confidential message streams to the associated multiple distinct desired users. The proposed scheme includes two steps: designing the beamforming vectors of the useful confidential messages and constructing artificial noise (AN) projection matrix. Here, in its first step, the beamforming vectors for the useful confidential messages of desired user k are given by minimizing the useful signal power leakage from main-lobe of desired user k to the sum of main-lobes of the remaining desired directions plus main-lobes of all eavesdropper directions. In its second step, the AN projection matrix is constructed by simultaneously maximizing the AN power leakage to all eavesdropper directions such that all eavesdroppers are disrupted seriously, where AN is viewed by the transmitter as a useful signal for eavedroppers. Due to independent beamforming vectors for different desired users, a more secure transmission is achieved. Compared with conventional non-robust methods, the proposed method can provide a significant improvement in bit error rate along the desired directions and secrecy-sum-rate towards multiple desired users without needing statistical property or distribution of angle measurement errors.


title: Z2Z4Z8-Cyclic Codes

abstract: In this paper we study Z2Z4Z8-additive codes, which are the extension of recently introduced Z2Z4-additive codes. We determine the standard forms of the generator and parity-check matrices of Z2Z4Z8-additive codes. Moreover, we investigate Z2Z4Z8-cyclic codes giving their generator polynomials and spanning sets. We also give some illustrative examples of both Z2Z4Z8-additive codes and Z2Z4Z8-cyclic codes.


title: Monocular Visual Odometry with a Rolling Shutter Camera

abstract: Rolling Shutter (RS) cameras have become popularized because of low-cost imaging capability. However, the RS cameras suffer from undesirable artifacts when the camera or the subject is moving, or illumination condition changes. For that reason, Monocular Visual Odometry (MVO) with RS cameras produces inaccurate ego-motion estimates. Previous works solve this RS distortion problem with motion prediction from images and/or inertial sensors. However, the MVO still has trouble in handling the RS distortion when the camera motion changes abruptly (e.g. vibration of mobile cameras causes extremely fast motion instantaneously). To address the problem, we propose the novel MVO algorithm in consideration of the geometric characteristics of RS cameras. The key idea of the proposed algorithm is the new RS essential matrix which incorporates the instantaneous angular and linear velocities at each frame. Our algorithm produces accurate and robust ego-motion estimates in an online manner, and is applicable to various mobile applications with RS cameras. The superiority of the proposed algorithm is validated through quantitative and qualitative comparison on both synthetic and real dataset.


title: The $L^2$-torsion polytope of amenable groups

abstract: We introduce the notion of groups of polytope class and show that torsion-free amenable groups satisfying the Atiyah Conjecture possess this property. A direct consequence is the homotopy invariance of the $L^2$-torsion polytope among $G$-CW-complexes for these groups. As another application we prove that the $L^2$-torsion polytope of an amenable group vanishes provided that it contains a non-abelian elementary amenable normal subgroup.


title: Symmetry properties of generalized graph truncations

abstract: In the generalized truncation construction, one replaces each vertex of a $k$-regular graph $\Gamma$ with a copy of a graph $\Upsilon$ of order $k$. We investigate the symmetry properties of the graphs constructed in this way, especially in connection to the symmetry properties of the graphs $\Gamma$ and $\Upsilon$ used in the construction. We demonstrate the usefulness of our results by using them to obtain a classification of cubic vertex-transitive graphs of girths $3$, $4$, and $5$.


title: New Spectral Evidence of an Unaccounted Component of the Near-infrared Extragalactic Background Light from the CIBER

abstract: The Extragalactic Background Light (EBL) captures the total integrated emission from stars and galaxies throughout the cosmic history. The amplitude of the near-infrared EBL from space absolute photometry observations has been controversial and depends strongly on the modeling and subtraction of the Zodiacal light foreground. We report the first measurement of the diffuse background spectrum at 0.8-1.7 um from the CIBER experiment. The observations were obtained with an absolute spectrometer over two flights in multiple sky fields to enable the subtraction of Zodiacal light, stars, terrestrial emission, and diffuse Galactic light. After subtracting foregrounds and accounting for systematic errors, we find the nominal EBL brightness, assuming the Kelsall Zodiacal light model, is 42.7+11.9/-10.6 nW/m2/sr at 1.4 um. We also analyzed the data using the Wright Zodiacal light model, which results in a worse statistical fit to the data and an unphysical EBL, falling below the known background light from galaxies at <1.3 um. Using a model-independent analysis based on the minimum EBL brightness, we find an EBL brightness of 28.7+5.1/-3.3 nW/m2/sr at 1.4 um. While the derived EBL amplitude strongly depends on the Zodiacal light model, we find that we cannot fit the spectral data to Zodiacal light, Galactic emission, and EBL from solely integrated galactic light from galaxy counts. The results require a new diffuse component, such as an additional foreground or an excess EBL with a redder spectrum than that of Zodiacal light.


title: Hyperbolic ends with particles and grafting on singular surfaces

abstract: We prove that any hyperbolic end with particles (cone singularities along infinite curves of angles less than $\pi$) admits a unique foliation by constant Gauss curvature surfaces. Using a form of duality between hyperbolic ends with particles and convex globally hyperbolic maximal (GHM) de Sitter spacetime with particles, it follows that any convex GHM de Sitter spacetime with particles also admits a unique foliation by constant Gauss curvature surfaces. We prove that the grafting map from the product of Teichm\"uller space with the space of measured laminations to the space of complex projective structures is a homeomorphism for surfaces with cone singularities of angles less than $\pi$, as well as an analogue when grafting is replaced by "smooth grafting".


title: Scattering Theory of Efficient Quantum Transport across Finite Networks

abstract: We present a scattering theory for the efficient transmission of an excitation across a finite network with designed disorder. We show that the presence of randomly positioned networks sites allows to significantly accelerate the excitation transfer processes as compared to a dimer structure, if only the disordered Hamiltonians are constrained to be centrosymmetric, and to exhibit a dominant doublet in their spectrum. We identify the cause of this efficiency enhancement in the constructive interplay between disorder-induced fluctuations of the dominant doublet's splitting and the coupling strength between the input and output sites to the scattering channels. We find that the characteristic strength of these fluctuations together with the channel coupling fully control the transfer efficiency.


title: 2016 Update of the discovery of nuclides

abstract: The 2016 update of the discovery of nuclide project is presented. Only twelve new nuclides were observed for the first time in 2016. A large number of isotopes is still only published in conference proceedings or internal reports. No changes to earlier assignments were made.


title: On weak equivalences of gradings

abstract: When one studies the structure (e.g. graded ideals, graded subspaces, radicals, ...) or graded polynomial identities of graded algebras, the grading group itself does not play an important role, but can be replaced by any other group that realizes the same grading. Here we come to the notion of weak equivalence of gradings: two gradings are weakly equivalent if there exists an isomorphism between the graded algebras that maps each graded component onto a graded component. The following question arises naturally: when a group grading on a finite dimensional algebra is weakly equivalent to a grading by a finite group? It turns out that this question can be reformulated purely group theoretically in terms of the universal group of the grading. Namely, a grading is weakly equivalent to a grading by a finite group if and only if the universal group of the grading is residually finite with respect to a special subset of the grading group. The same is true for all the coarsenings of the grading if and only if the universal group of the grading is hereditarily residually finite with respect to the same subset. We show that if $n\geqslant 349$, then on the full matrix algebra $M_n(F)$ there exists an elementary group grading that is not weakly equivalent to any grading by a finite (semi)group, and if $n\leqslant 3$, then any elementary grading on $M_n(F)$ is weakly equivalent to an elementary grading by a finite group.


title: Exploring the Evolution of Node Neighborhoods in Dynamic Networks

abstract: Dynamic Networks are a popular way of modeling and studying the behavior of evolving systems. However, their analysis constitutes a relatively recent subfield of Network Science, and the number of available tools is consequently much smaller than for static networks. In this work, we propose a method specifically designed to take advantage of the longitudinal nature of dynamic networks. It characterizes each individual node by studying the evolution of its direct neighborhood, based on the assumption that the way this neighborhood changes reflects the role and position of the node in the whole network. For this purpose, we define the concept of \textit{neighborhood event}, which corresponds to the various transformations such groups of nodes can undergo, and describe an algorithm for detecting such events. We demonstrate the interest of our method on three real-world networks: DBLP, LastFM and Enron. We apply frequent pattern mining to extract meaningful information from temporal sequences of neighborhood events. This results in the identification of behavioral trends emerging in the whole network, as well as the individual characterization of specific nodes. We also perform a cluster analysis, which reveals that, in all three networks, one can distinguish two types of nodes exhibiting different behaviors: a very small group of active nodes, whose neighborhood undergo diverse and frequent events, and a very large group of stable nodes.


title: Dynamical Origin of Seesaw

abstract: In anomaly free gauged three-flavor SU(3)_f x SU(2)_L x U(1)_Y model of Yanagida with fermion and gauge boson masses described by conveniently chosen elementary scalar Higgs fields the neutrino mass matrix comes out in the seesaw form. Following Yanagida's suggestion we demonstrate that no Higgs fields are needed. Strong flavor gluon interactions themselves, treated in a separable approximation, result in universally split lepton and quark masses calculated in terms of a few parameters. While the realistic splitting of charged lepton and quark masses requires the electroweak and QCD radiative corrections the neutrino seesaw mass matrix comes out exact.


title: Broadband sensitivity enhancement of detuned dual-recycled Michelson interferometers with EPR entanglement

abstract: We demonstrate the applicability of the EPR entanglement squeezing scheme for enhancing the shot-noise-limited sensitivity of a detuned dual-recycled Michelson interferometers. In particular, this scheme is applied to the GEO\,600 interferometer. The effect of losses throughout the interferometer, arm length asymmetries, and imperfect separation of the signal and idler beams are considered.


title: On a priori estimates and existence of periodic solutions to the modified Benjamin-Ono equation below $H^{1/2}(\mathbb{T})$

abstract: A priori estimates and existence of real-valued periodic solutions to the modified Benjamin-Ono equation with initial data in $H^s$ for $s>1/4$ are proved locally in time. The approach relies on frequency dependent time localization, after which dispersive properties from Euclidean space are recovered. The same regularity results are proved for the cubic derivative nonlinear Schr\"odinger equation.


title: Black hole ringdown echoes and howls

abstract: Recently the possibility of detecting echoes of ringdown gravitational waves from binary black hole mergers was shown. The presence of echoes is expected if the black hole is surrounded by a mirror that reflects gravitational waves near the horizon. Here, we present slightly more sophisticated templates motivated by a waveform which is obtained by solving the linear perturbation equation around a Kerr black hole with a complete reflecting boundary condition in the stationary traveling wave approximation. We estimate that the proposed template can bring about $10\%$ improvement in the signal-to-noise ratio.


title: Nonlinear approximation with nonstationary Gabor frames

abstract: We consider sparseness properties of adaptive time-frequency representations obtained using nonstationary Gabor frames (NSGFs). NSGFs generalize classical Gabor frames by allowing for adaptivity in either time or frequency. It is known that the concept of painless nonorthogonal expansions generalizes to the nonstationary case, providing perfect reconstruction and an FFT based implementation for compactly supported window functions sampled at a certain density. It is also known that for some signal classes, NSGFs with flexible time resolution tend to provide sparser expansions than can be obtained with classical Gabor frames. In this article we show, for the continuous case, that sparseness of a nonstationary Gabor expansion is equivalent to smoothness in an associated decomposition space. In this way we characterize signals with sparse expansions relative to NSGFs with flexible time resolution. Based on this characterization we prove an upper bound on the approximation error occurring when thresholding the coefficients of the corresponding frame expansions. We complement the theoretical results with numerical experiments, estimating the rate of approximation obtained from thresholding the coefficients of both stationary and nonstationary Gabor expansions.


title: Tensor valuations on lattice polytopes

abstract: The Ehrhart polynomial and the reciprocity theorems by Ehrhart \& Macdonald are extended to tensor valuations on lattice polytopes. A complete classification is established of tensor valuations of rank up to eight that are equivariant with respect to the special linear group over the integers and translation covariant. Every such valuation is a linear combination of the Ehrhart tensors which is shown to no longer hold true for rank nine.


title: Measurement-Device-Independent Quantum Digital Signatures

abstract: Digital signatures play an important role in software distribution, modern communication and financial transactions, where it is important to detect forgery and tampering. Signatures are a cryptographic technique for validating the authenticity and integrity of messages, software, or digital documents. The security of currently used classical schemes relies on computational assumptions. Quantum digital signatures (QDS), on the other hand, provide information-theoretic security based on the laws of quantum physics. Recent work on QDS shows that such schemes do not require trusted quantum channels and are unconditionally secure against general coherent attacks. However, in practical QDS, just as in quantum key distribution (QKD), the detectors can be subjected to side-channel attacks, which can make the actual implementations insecure. Motivated by the idea of measurement-device-independent quantum key distribution (MDI-QKD), we present a measurement-device-independent QDS (MDI-QDS) scheme, which is secure against all detector side-channel attacks. Based on the rapid development of practical MDI-QKD, our MDI-QDS protocol could also be experimentally implemented, since it requires a similar experimental setup.


title: A Simple Proof of Fast Polarization

abstract: Fast polarization is an important and useful property of polar codes. It was proved for the binary polarizing $2 \times 2$ kernel by Arikan and Telatar. The proof was later generalized by Sasoglu. We give a simplified proof.


title: Lack of regularity of the transport density in the monge problem

abstract: In this paper, we provide a family of counterexamples to the regularity of the transport density in the classical Monge-Kantorovich problem. We prove that the W^{1,p} regularity of the source and target measures f ^\pm does not imply that the transport density $\sigma$ is W^{1,p} , that the BV regularity of f ^\pm does not imply that $\sigma$ is BV and that f^\pm $\in$ C^\infty does not imply that $\sigma$ is W^{1,p} , for large p.


title: Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation

abstract: Weighted labelled transition systems (WLTSs) are an established meta-model aiming to provide general results and tools for a wide range of systems such as non-deterministic, stochastic, and probabilistic systems. In order to encompass processes combining several quantitative aspects, extensions of the WLTS framework have been further proposed, state-to-function transition systems (FuTSs) and uniform labelled transition systems (ULTraSs) being two prominent examples. In this paper we show that this hierarchy of meta-models collapses when studied under the lens of bisimulation-coherent encodings. Taking advantage of these reductions, we derive a fully abstract Hennessy-Milner-style logic for FuTSs, i.e., which characterizes quantitative bisimilarity, from a fully-abstract logic for WLTSs.


title: Entanglement through path identification

abstract: Entanglement in multipartite systems can be achieved by the coherent superposition of product states, generated through a universal unitary transformation, followed by spontaneous parametric down-conversions and path identification.


title: Stochastic Constraint Programming as Reinforcement Learning

abstract: Stochastic Constraint Programming (SCP) is an extension of Constraint Programming (CP) used for modelling and solving problems involving constraints and uncertainty. SCP inherits excellent modelling abilities and filtering algorithms from CP, but so far it has not been applied to large problems. Reinforcement Learning (RL) extends Dynamic Programming to large stochastic problems, but is problem-specific and has no generic solvers. We propose a hybrid combining the scalability of RL with the modelling and constraint filtering methods of CP. We implement a prototype in a CP system and demonstrate its usefulness on SCP problems.


title: Reconstructing antibody repertoires from error-prone immunosequencing datasets

abstract: Transforming error-prone immunosequencing datasets into antibody repertoires is a fundamental problem in immunogenomics, and a prerequisite for studies of immune responses. Although various repertoire reconstruction algorithms were released in the last three years, it remains unclear how to benchmark them and how to assess the accuracy of the reconstructed repertoires. We describe a novel IgReC algorithm for constructing antibody repertoires from high-throughput immunosequencing datasets and a new framework for assessing the quality of reconstructed repertoires. Benchmarking IgReC against the existing antibody repertoire reconstruction tools has demonstrated that it results in highly accurate repertoire reconstructions. Surprisingly, antibody repertoires constructed by IgReC from barcoded immunosequencing datasets in blind mode (without using unique molecular identifiers information) improved upon the repertoires constructed by the state-of-the-art tools that use barcoding. This finding suggests that IgReC may alleviate the need to generate repertoires using the barcoding technology (the workhorse of current immunogenomics efforts) because our computational approach to error correction of immunosequencing data ends up being nearly as powerful as the experimental approach based on barcoding.


title: FilteredWeb: A Framework for the Automated Search-Based Discovery of Blocked URLs

abstract: Various methods have been proposed for creating and maintaining lists of potentially filtered URLs to allow for measurement of ongoing internet censorship around the world. Whilst testing a known resource for evidence of filtering can be relatively simple, given appropriate vantage points, discovering previously unknown filtered web resources remains an open challenge. We present a new framework for automating the process of discovering filtered resources through the use of adaptive queries to well-known search engines. Our system applies information retrieval algorithms to isolate characteristic linguistic patterns in known filtered web pages; these are then used as the basis for web search queries. The results of these queries are then checked for evidence of filtering, and newly discovered filtered resources are fed back into the system to detect further filtered content. Our implementation of this framework, applied to China as a case study, shows that this approach is demonstrably effective at detecting significant numbers of previously unknown filtered web pages, making a significant contribution to the ongoing detection of internet filtering as it develops. Our tool is currently deployed and has been used to discover 1355 domains that are poisoned within China as of Feb 2017 - 30 times more than are contained in the most widely-used public filter list. Of these, 759 are outside of the Alexa Top 1000 domains list, demonstrating the capability of this framework to find more obscure filtered content. Further, our initial analysis of filtered URLs, and the search terms that were used to discover them, gives further insight into the nature of the content currently being blocked in China.


title: Lagrangian acceleration statistics in a turbulent channel flow

abstract: Lagrangian acceleration statistics in a fully developed turbulent channel flow at $Re_\tau = 1440$ are investigated, based on tracer particle tracking in experiments and direct numerical simulations. The evolution with wall distance of the Lagrangian velocity and acceleration time scales is analyzed. Dependency between acceleration components in the near-wall region is described using cross-correlations and joint probability density functions. The strong streamwise coherent vortices typical of wall-bounded turbulent flows are shown to have a significant impact on the dynamics. This results in a strong anisotropy at small scales in the near-wall region that remains present in most of the channel. Such statistical properties may be used as constraints in building advanced Lagrangian stochastic models to predict the dispersion and mixing of chemical components for combustion or environmental studies.


title: Reinforcement Learning Based Dynamic Selection of Auxiliary Objectives with Preserving of the Best Found Solution

abstract: Efficiency of single-objective optimization can be improved by introducing some auxiliary objectives. Ideally, auxiliary objectives should be helpful. However, in practice, objectives may be efficient on some optimization stages but obstructive on others. In this paper we propose a modification of the EA+RL method which dynamically selects optimized objectives using reinforcement learning. The proposed modification prevents from losing the best found solution. We analysed the proposed modification and compared it with the EA+RL method and Random Local Search on XdivK, Generalized OneMax and LeadingOnes problems. The proposed modification outperforms the EA+RL method on all problem instances. It also outperforms the single objective approach on the most problem instances. We also provide detailed analysis of how different components of the considered algorithms influence efficiency of optimization. In addition, we present theoretical analysis of the proposed modification on the XdivK problem.


title: Lieb-Thirring inequality with semiclassical constant and gradient error term

abstract: In 1975, Lieb and Thirring derived a semiclassical lower bound on the kinetic energy for fermions, which agrees with the Thomas-Fermi approximation up to a constant factor. Whenever the optimal constant in their bound coincides with the semiclassical one is a long-standing open question. We prove an improved bound with the semiclassical constant and a gradient error term which is of lower order.


title: Representative galaxy age-metallicity relationships

abstract: The ongoing surveys of galaxies and those for the next generation of telescopes will demand the execution of high-CPU consuming machine codes for recovering detailed star formation histories (SFHs) and hence age-metallicity relationships (AMRs). We present here an expeditive method which provides quick-look AMRs on the basis of representative ages and metallicities obtained from colour-magnitude diagram (CMD) analyses. We have tested its perfomance by generating synthetic CMDs for a wide variety of galaxy SFHs. The representative AMRs turn out to be reliable down to a magnitude limit with a photometric completeness factor higher than $\sim$ 85 per cent, and trace the chemical evolution history for any stellar population (represented by a mean age and an intrinsic age spread) with a total mass within ~ 40 per cent of the more massive stellar population in the galaxy.


title: Rings of invariants of finite groups when the bad primes exist

abstract: Let R be a ring (not necessarily with 1) and G be a finite group of automorphisms of R. The set B(R, G) of primes p such that p | |G| and R is not p-torsion free, is called the set of bad primes. When the ring is |G|-torsion free, i.e., B(R, G) is empty set, the properties of the rings R and R^G are closely connected. The aim of the paper is to show that this is also true when B(R, G) is not empty set under natural conditions on bad primes. In particular, it is shown that the Jacobson radical (resp., the prime radical) of the ring R^G is equal to the intersection of the Jacobson radical (resp., the prime radical) of R with R^G; if the ring R is semiprime then so is R^G; if the trace of the ring R is nilpotent then the ring itself is nilpotent; if R is a semiprime ring then R is left Goldie iff the ring R^G is so, and in this case, the ring of G-invariants of the left quotient ring of R is isomorphic to the left quotient ring of R^G and \udim (R^G)\leq \udim (R)\leq |G| \udim (R^G).


title: Downlink Small-cell Base Station Cooperation Strategy in Fractal Small-cell Networks

abstract: Coordinated multipoint (CoMP) communications are considered for the fifth-generation (5G) small-cell networks as a tool to improve the high data rates and the cell-edge throughput. The average achievable rates of the small-cell base stations (SBS) cooperation strategies with distance and received signal power constraints are respectively derived for the fractal small-cell networks based on the anisotropic path loss model. Simulation results are presented to show that the average achievable rate with the received signal power constraint is larger than the rate with a distance constraint considering the same number of cooperative SBSs. The average achievable rate with distance constraint decreases with the increase of the intensity of SBSs when the anisotropic path loss model is considered. What's more, the network energy efficiency of fractal smallcell networks adopting the SBS cooperation strategy with the received signal power constraint is analyzed. The network energy efficiency decreases with the increase of the intensity of SBSs which indicates a challenge on the deployment design for fractal small-cell networks.


title: Non-commutative crepant resolution of minimal nilpotent orbit closures of type A and Mukai flops

abstract: In this article, we construct a non-commutative crepant resolution (=NCCR) of a minimal nilpotent orbit closure $\overline{B(1)}$ of type A, and study relations between an NCCR and crepant resolutions $Y$ and $Y^+$ of $\overline{B(1)}$. More precisely, we show that the NCCR is isomorphic to the path algebra of the double Beilinson quiver with certain relations and we reconstruct the crepant resolutions $Y$ and $Y^+$ of $\overline{B(1)}$ as moduli spaces of representations of the quiver. We also study the Kawamata-Namikawa's derived equivalence between crepant resolutions $Y$ and $Y^+$ of $\overline{B(1)}$ in terms of an NCCR. We also show that the P-twist on the derived category of $Y$ corresponds to a certain operation of the NCCR, which we call multi-mutation, and that a multi-mutation is a composition of Iyama-Wemyss's mutations.


title: Quasihyperbolic geodesics are hyperbolic quasi-geodesics

abstract: This is a tale describing the large scale geometry of Euclidean plane domains with their hyperbolic or quasihyperbolic distances. We prove that in any hyperbolic plane domain, hyperbolic and quasihyperbolic quasi-geodesics are the same curves. We also demonstrate the simultaneous Gromov hyperbolicity of such domains with their hyperbolic or quasihyperbolic distances.


title: Electronic transport properties of intermediately coupled superconductors: PdTe2 and Cu0.04PdTe2

abstract: We have investigated the electrical resistivity, Seebeck coefficient and thermal conductivity of PdTe2 and 4% Cu intercalated PdTe2 compounds. Electrical resistivity for the compounds shows Bloch-Gruneisen type linear temperature (T) dependence for 100 K < T < 480 K, and Fermi liquid behavior (~ T^2) below 50 K. Seebeck coefficient data exhibit strong competition between Normal (N) and Umklapp (U) scattering processes at low T. Though our results indicate the transfer of charge carriers to PdTe2 upon Cu intercalation, it is difficult to discern any change in the Fermi surface of the compound by Nordheim-Gorter plots. The estimated Fermi energies of the compounds are quite comparable to good metals Cu, Ag and Au. The low T, thermal conductivity (k) of the compounds is strongly dominated by the electronic contribution, and exhibits a rare linear T dependence below 10 K. However, high T, k(T) shows usual 1/T dependence, dominated by U scattering process. The electron phonon coupling parameters, estimated from the low T, specific heat data and first principle electronic structure calculations suggest that PdTe2 and Cu0.04PdTe2 are intermediately coupled superconductors.


title: Cosmic-ray electron+positron spectrum from 7 GeV to 2 TeV with the Fermi Large Area Telescope

abstract: We present a measurement of the cosmic-ray electron+positron spectrum between 7 GeV and 2 TeV performed with almost seven years of data collected with the Fermi Large Area Telescope. We find that the spectrum is well fit by a broken power law with a break energy at about 50 GeV. Above 50 GeV, the spectrum is well described by a single power law with a spectral index of $3.07 \pm 0.02 \; (\text{stat+syst}) \pm 0.04 \; (\text{energy measurement})$. An exponential cutoff lower than 1.8 TeV is excluded at 95\% CL.


title: Free and nearly free curves from conic pencils

abstract: We construct some infinite series of free and nearly free curves using pencils of conics with a base locus of cardinality at most two. These curves have an interesting topology, e.g. a high degree Alexander polynomial that can be explicitly determined, a Milnor fiber homotopy equivalent to a bouquet of circles, or an irreducible translated component in the characteristic variety of their complement. Monodromy eigenspaces in the first cohomology group of the corresponding Milnor fibers are also described in terms of explicit differential forms.


title: Strongly repulsive anyons in one dimension

abstract: To explore the static properties of the one-dimensional anyon-Hubbard model for a mean density of one particle per site, we apply perturbation theory with respect to the ratio between kinetic energy and interaction energy in the Mott insulating phase. The strong-coupling results for the ground-state energy, the single-particle excitation energies, and the momentum distribution functions up to 6th order in hopping are benchmarked against the numerically exact (infinite) density-matrix renormalization group technique. Since these analytic expressions are valid for any fractional phase $\theta$ of anyons, they will be of great value for a sufficiently reliable analysis of future experiments, avoiding extensive and costly numerical simulations.


title: Dynamical Casimir effect for semitransparent mirrors

abstract: We study the Dynamical Casimir Effect resulting from the oscillatory motion of either one or two flat semitransparent mirrors, coupled to a quantum real and massless scalar field. Our approach is based on a perturbative evaluation, in the coupling between mirrors and field, of the corresponding effective action, which is used to compute the particle creation rate. The amplitude of the oscillation is not necessarily small. We first obtain results for a single mirror, both for non-relativistic and relativistic motions, showing that only for the latter the effects may be significant. For two mirrors, on the other hand, we show that there are interesting interference effects, and that in some particular cases the results differ from those obtained assuming small amplitudes, already for non-relativistic motions.


title: Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages

abstract: Concurrent Kleene Algebra (CKA) is a mathematical formalism to study programs that exhibit concurrent behaviour. As with previous extensions of Kleene Algebra, characterizing the free model is crucial in order to develop the foundations of the theory and potential applications. For CKA, this has been an open question for a few years and this paper makes an important step towards an answer. We present a new automaton model and a Kleene-like theorem that relates a relaxed version of CKA to series-parallel pomset languages, which are a natural candidate for the free model. There are two substantial differences with previous work: from expressions to automata, we use Brzozowski derivatives, which enable a direct construction of the automaton; from automata to expressions, we provide a syntactic characterization of the automata that denote valid CKA behaviours.


title: Rainbow spanning trees in properly coloured complete graphs

abstract: In this short note, we study pairwise edge-disjoint rainbow spanning trees in properly edge-coloured complete graphs, where a graph is rainbow if its edges have distinct colours. Brualdi and Hollingsworth conjectured that every $K_n$ properly edge-coloured by $n-1$ colours has $n/2$ edge-disjoint rainbow spanning trees. Kaneko, Kano and Suzuki later suggested this should hold for every properly edge-coloured $K_n$. Improving the previous best known bound, we show that every properly edge-coloured $K_n$ contains $\Omega(n)$ pairwise edge-disjoint rainbow spanning trees. Independently, Pokrovskiy and Sudakov recently proved that every properly edge-coloured $K_n$ contains $\Omega(n)$ isomorphic pairwise edge-disjoint rainbow spanning trees.


title: Synchronization with Guaranteed Clock Continuity using Pulse-Coupled Oscillators

abstract: Clock synchronization is a widely discussed topic in the engineering literature. Ensuring that individual clocks are closely aligned is important in network systems, since the correct timing of various events in a network is usually necessary for proper system implementation. However, many existing clock synchronization algorithms update clock values abruptly, resulting in discontinuous clocks which have been shown to lead to undesirable behavior. In this paper, we propose using the pulse-coupled oscillator model to guarantee clock continuity, demonstrating two general methods for achieving continuous phase evolution in any pulse-coupled oscillator network. We provide rigorous mathematical proof that the pulse-coupled oscillator algorithm is able to converge to the synchronized state when the phase continuity methods are applied. We provide simulation results supporting these proofs. We further investigate the convergence behavior of other pulse-coupled oscillator synchronization algorithms using the proposed methods.


title: Simple vector bundles on a nodal Weierstrass cubic and quasi-trigonometric solutions of CYBE

abstract: In this paper we study the combinatorics of quasi-trigonometric solutions of the classical Yang-Baxter equation, arising from simple vector bundles on a nodal Weierstrass cubic.


title: What is the Essence of a Claim? Cross-Domain Claim Identification

abstract: Argument mining has become a popular research area in NLP. It typically includes the identification of argumentative components, e.g. claims, as the central component of an argument. We perform a qualitative analysis across six different datasets and show that these appear to conceptualize claims quite differently. To learn about the consequences of such different conceptualizations of claim for practical applications, we carried out extensive experiments using state-of-the-art feature-rich and deep learning systems, to identify claims in a cross-domain fashion. While the divergent perception of claims in different datasets is indeed harmful to cross-domain classification, we show that there are shared properties on the lexical level as well as system configurations that can help to overcome these gaps.


title: Random \v{C}ech Complexes on Riemannian Manifolds

abstract: In this paper we study the homology of a random Cech complex generated by a homogeneous Poisson process in a compact Riemannian manifold M. In particular, we focus on the phase transition for "homological connectivity" where the homology of the complex becomes isomorphic to that of M. The results presented in this paper are an important generalization of [7], from the flat torus to general compact Riemannian manifolds. In addition to proving the statements related to homological connectivity, the methods we develop in this paper can be used as a framework for translating results for random geometric graphs and complexes from the Euclidean setting into the more general Riemannian one.


title: $K^-$- nuclear states: Binding energies and widths

abstract: $K^-$ optical potentials relevant to calculations of $K^-$ nuclear quasi-bound states were developed within several chiral meson-baryon coupled-channel interaction models. The applied models yield quite different $K^-$ binding energies and widths. Then, the $K^-$ multinucleon interactions were incorporated by a phenomenological optical potential fitted recently to kaonic atom data. Though the applied $K^-$ interaction models differ significantly in the $K^-N$ subthreshold region, our self-consistent calculations of kaonic nuclei across the periodic table lead to conclusions valid quite generally. Due to $K^-$ multinucleon absorption in the nuclear medium the calculated widths of $K^-$ nuclear states are sizable, $\Gamma_{K^-} \geq 90$ MeV, and exceed substantially their binding energies in all considered nuclei.


title: A dequantized metaplectic knot invariant

abstract: Let $K\subset S^3$ be a knot, $X:= S^3\setminus K$ its complement, and $\mathbb{T}$ the circle group identified with $\mathbb{R}/\mathbb{Z}$. To any oriented long knot diagram of $K$, we associate a quadratic polynomial in variables bijectively associated with the bridges of the diagram such that, when the variables projected to $\mathbb{T}$ satisfy the linear equations characterizing the first homology group $H_1(\tilde{X}_2)$ of the double cyclic covering of $X$, the polynomial projects down to a well defined $\mathbb{T}$-valued function on $T^1(\tilde{X}_2,\mathbb{T})$ (the dual of the torsion part $T_1$ of $H_1$). This function is sensitive to knot chirality, for example, it seems to confirm chirality of the knot $10_{71}$. It also distinguishes the knots $7_4$ and $9_2$ known to have identical Alexander polynomials and the knots $9_2$ and K11n13 known to have identical Jones polynomials but does not distinguish $7_4$ and K11n13.


title: Predicting membrane protein contacts from non-membrane proteins by deep transfer learning

abstract: Computational prediction of membrane protein (MP) structures is very challenging partially due to lack of sufficient solved structures for homology modeling. Recently direct evolutionary coupling analysis (DCA) sheds some light on protein contact prediction and accordingly, contact-assisted folding, but DCA is effective only on some very large-sized families since it uses information only in a single protein family. This paper presents a deep transfer learning method that can significantly improve MP contact prediction by learning contact patterns and complex sequence-contact relationship from thousands of non-membrane proteins (non-MPs). Tested on 510 non-redundant MPs, our deep model (learned from only non-MPs) has top L/10 long-range contact prediction accuracy 0.69, better than our deep model trained by only MPs (0.63) and much better than a representative DCA method CCMpred (0.47) and the CASP11 winner MetaPSICOV (0.55). The accuracy of our deep model can be further improved to 0.72 when trained by a mix of non-MPs and MPs. When only contacts in transmembrane regions are evaluated, our method has top L/10 long-range accuracy 0.62, 0.57, and 0.53 when trained by a mix of non-MPs and MPs, by non-MPs only, and by MPs only, respectively, still much better than MetaPSICOV (0.45) and CCMpred (0.40). All these results suggest that sequence-structure relationship learned by our deep model from non-MPs generalizes well to MP contact prediction. Improved contact prediction also leads to better contact-assisted folding. Using only top predicted contacts as restraints, our deep learning method can fold 160 and 200 of 510 MPs with TMscore>0.6 when trained by non-MPs only and by a mix of non-MPs and MPs, respectively, while CCMpred and MetaPSICOV can do so for only 56 and 77 MPs, respectively. Our contact-assisted folding also greatly outperforms homology modeling.


title: Three Dimensional View of the SYK/AdS Duality

abstract: We show that the spectrum of the SYK model can be interpreted as that of a 3D scalar coupled to gravity. The scalar has a mass which is at the Breitenholer-Freedman bound of AdS$_2$, and subject to a delta function potential at the center of the interval along the third direction. This, through Kaluza-Klein procedure on AdS$_2 \times (S^1)/Z_2$, generates the spectrum reproducing the bi-local propagator at strong coupling. Furthermore, the leading $1/J$ correction calculated in this picture reproduces the known correction to the poles of the SYK propagator, providing credence to a conjecture that the bulk dual of this model can be interpreted as a three dimensional theory.


title: Conservation laws arising in the study of forward-forward Mean-Field Games

abstract: We consider forward-forward Mean Field Game (MFG) models that arise in numerical approximations of stationary MFGs. First, we establish a link between these models and a class of hyperbolic conservation laws as well as certain nonlinear wave equations. Second, we investigate existence and long-time behavior of solutions for such models.


title: An improved bound on the Hausdorff dimension of Besicovitch sets in $\mathbb{R}^3$

abstract: We prove that any Besicovitch set in $\mathbb{R}^3$ must have Hausdorff dimension at least $5/2+\epsilon_0$ for some small constant $\epsilon_0>0$. This follows from a more general result about the volume of unions of tubes that satisfy the Wolff axioms. Our proof grapples with a new "almost counter example" to the Kakeya conjecture, which we call the $SL_2$ example; this object resembles a Besicovitch set that has Minkowski dimension 3 but Hausdorff dimension $5/2$. We believe this example may be an interesting object for future study.


title: Infinite Derivative Gravity: A Ghost and Singularity-free Theory

abstract: The objective of this thesis is to present a viable extension of general relativity free from cosmological singularities. A viable cosmology, in this sense, is one that is free from ghosts, tachyons or exotic matter, while staying true to the theoretical foundations of General Relativity such as general covariance, as well as observed phenomenon such as the accelerated expansion of the universe and inflationary behaviour at later times. To this end, an infinite derivative extension of relativity is introduced, with the gravitational action derived and the non-linear field equations calculated, before being linearised around both Minkowski space and de Sitter space. The theory is then constrained so as to avoid ghosts and tachyons by appealing to the modified propagator, which is also derived. Finally, the Raychaudhuri Equation is employed in order to describe the ghost-free, defocusing behaviour around both Minkowski and de Sitter spacetimes, in the linearised regime.


title: The Structure of One Weight Linear and Cyclic Codes Over Z2^r x (Z2+uZ2)^s

abstract: Inspired by the Z2Z4-additive codes, linear codes over Z2^r x(Z2+uZ2)^s have been introduced by Aydogdu et al. more recently. Although these family of codes are similar to each other, linear codes over Z2^r x(Z2+uZ2)^s have some advantages compared to Z2Z4-additive codes. A code is called constant weight(one weight) if all the codewords have the same weight. It is well known that constant weight or one weight codes have many important applications. In this paper, we study the structure of one weight Z2Z2[u]-linear and cyclic codes. We classify these type of one weight codes and also give some illustrative examples.


title: Lagrangian fibers of Gelfand-Cetlin systems

abstract: Motivated by the study of Nishinou-Nohara-Ueda on the Floer thoery of Gelfand-Cetlin systems over complex partial flag manifolds, we provide a complete description of the topology of Gelfand-Cetlin fibers. We prove that all fibers are \emph{smooth} isotropic submanifolds and give a complete description of the fiber to be Lagrangian in terms of combinatorics of Gelfand-Cetlin polytope. Then we study (non-)displaceability of Lagrangian fibers. After a few combinatorial and numercal tests for the displaceability, using the bulk-deformation of Floer cohomology by Schubert cycles, we prove that every full flag manifold $\mathcal{F}(n)$ ($n \geq 3$) with a monotone Kirillov-Kostant-Souriau symplectic form carries a continuum of non-displaceable Lagrangian tori which degenerates to a non-torus fiber in the Hausdorff limit. In particular, the Lagrangian $S^3$-fiber in $\mathcal{F}(3)$ is non-displaceable the question of which was raised by Nohara-Ueda who computed its Floer cohomology to be vanishing.


title: The nova V1369 Cen -- a short review

abstract: We briefly present the spectroscopic evolution of the recent outburst of the classical nova V1369 Cen, and the presence of a narrow absorption line identified as due to the resonance of neutral lithium at 6708 \AA. We also discuss the consequences for the chemical evolution of lithium in the Galaxy.


title: On the conformal dimension of product measures

abstract: Given a compact set $E \subset \mathbb{R}^{d - 1}$, $d \geq 1$, write $K_{E} := [0,1] \times E \subset \mathbb{R}^{d}$. A theorem of C. Bishop and J. Tyson states that any set of the form $K_{E}$ is minimal for conformal dimension: if $(X,d)$ is a metric space and $f \colon K_{E} \to (X,d)$ is a quasisymmetric homeomorphism, then $$\dim_{\mathrm{H}} f(K_{E}) \geq \dim_{\mathrm{H}} K_{E}.$$ We prove that the measure-theoretic analogue of the result is not true. For any $d \geq 2$ and $0 \leq s < d - 1$, there exist compact sets $E \subset \mathbb{R}^{d - 1}$ with $0 < \mathcal{H}^{s}(E) < \infty$ such that the conformal dimension of $\nu$, the restriction of the $(1 + s)$-dimensional Hausdorff measure on $K_{E}$, is zero. More precisely, for any $\epsilon > 0$, there exists a quasisymmetric embedding $F \colon K_{E} \to \mathbb{R}^{d}$ such that $\dim_{\mathrm{H}} F_{\sharp}\nu < \epsilon$.


title: Formal Analysis of V2X Revocation Protocols

abstract: Research on vehicular networking (V2X) security has produced a range of security mechanisms and protocols tailored for this domain, addressing both security and privacy. Typically, the security analysis of these proposals has largely been informal. However, formal analysis can be used to expose flaws and ultimately provide a higher level of assurance in the protocols. This paper focusses on the formal analysis of a particular element of security mechanisms for V2X found in many proposals: the revocation of malicious or misbehaving vehicles from the V2X system by invalidating their credentials. This revocation needs to be performed in an unlinkable way for vehicle privacy even in the context of vehicles regularly changing their pseudonyms. The REWIRE scheme by Forster et al. and its subschemes BASIC and RTOKEN aim to solve this challenge by means of cryptographic solutions and trusted hardware. Formal analysis using the TAMARIN prover identifies two flaws with some of the functional correctness and authentication properties in these schemes. We then propose Obscure Token (OTOKEN), an extension of REWIRE to enable revocation in a privacy preserving manner. Our approach addresses the functional and authentication properties by introducing an additional key-pair, which offers a stronger and verifiable guarantee of successful revocation of vehicles without resolving the long-term identity. Moreover OTOKEN is the first V2X revocation protocol to be co-designed with a formal model.


title: Multi-hop Links Quality Analysis of 5G Enabled Vehicular Networks

abstract: With the emerging of the fifth generation (5G) mobile communication systems, millimeter wave transmissions are believed to be a promising solution for vehicular networks, especially in vehicle to vehicle (V2V) communications. In millimeter wave V2V communications, different vehicular networking services have different quality requirements for V2V multi-hop links. To evaluate the quality of different V2V wireless links, a new link quality indicator is proposed in this paper considering requirements of the real-time and the reliability in V2V multi-hop links. Moreover, different weight factors are configured to reflect the different requirements of different types of services on real-time and reliability in the new quality indicator. Based on the proposed link quality indicator, the relationship between V2V link quality and one-hop communication distance under different vehicle densities is analyzed in this paper. Simulation results indicate that the link quality is improved with the increasing of vehicle density and there exists an optimal one-hop communication distance for the link quality when the vehicle density is fixed.


title: The Trace and the Mass of subcritical GJMS Operators

abstract: Let $L_g$ be the subcritical GJMS operator on an even-dimensional compact manifold $(X, g)$ and consider the zeta-regularized trace $\mathrm{Tr}_\zeta(L_g^{-1})$ of its inverse. We show that if $\ker L_g = 0$, then the supremum of this quantity, taken over all metrics $g$ of fixed volume in the conformal class, is always greater than or equal to the corresponding quantity on the standard sphere. Moreover, we show that in the case that it is strictly larger, the supremum is attained by a metric of constant mass. Using positive mass theorems, we give some geometric conditions for this to happen.


title: Coloring dense digraphs

abstract: The chromatic number of a digraph $D$ is the minimum number of acyclic subgraphs covering the vertex set of $D$. A tournament $H$ is a hero if every $H$-free tournament $T$ has chromatic number bounded by a function of $H$. Inspired by the celebrated Erd\H{o}s--Hajnal conjecture, Berger et al. fully characterized the class of heroes in 2013. We extend this framework to dense digraphs: A digraph $H$ is a superhero if every $H$-free digraph $D$ has chromatic number bounded by a function of $H$ and $\alpha(D)$, the independence number of the underlying graph of $D$. We prove here that a digraph is a superhero if and only if it is a hero, and hence characterize all superheroes. This answers a question of Aboulker, Charbit and Naserasr.


title: A split-cavity design for the incorporation of a DC bias in a 3D microwave cavity

abstract: We report on a technique for applying a DC bias in a 3D microwave cavity. We achieve this by isolating the two halves of the cavity with a dielectric and directly using them as DC electrodes. As a proof of concept, we embed a variable capacitance diode in the cavity and tune the resonant frequency with a DC voltage, demonstrating the incorporation of a DC bias into the 3D cavity with no measurable change in its quality factor at room temperature. We also characterize the architecture at millikelvin temperatures and show that the split cavity design maintains a quality factor $Q_\text{i} \sim 8.8 \times 10^5$, making it promising for future quantum applications.


title: Turing at SemEval-2017 Task 8: Sequential Approach to Rumour Stance Classification with Branch-LSTM

abstract: This paper describes team Turing's submission to SemEval 2017 RumourEval: Determining rumour veracity and support for rumours (SemEval 2017 Task 8, Subtask A). Subtask A addresses the challenge of rumour stance classification, which involves identifying the attitude of Twitter users towards the truthfulness of the rumour they are discussing. Stance classification is considered to be an important step towards rumour verification, therefore performing well in this task is expected to be useful in debunking false rumours. In this work we classify a set of Twitter posts discussing rumours into either supporting, denying, questioning or commenting on the underlying rumours. We propose a LSTM-based sequential model that, through modelling the conversational structure of tweets, which achieves an accuracy of 0.784 on the RumourEval test set outperforming all other systems in Subtask A.


title: Forward stimulated Brillouin scattering in silicon microring resonators

abstract: Stimulated Brillouin scattering (SBS) has been demonstrated in silicon waveguides in recent years. However, due to the weak interaction between photons and acoustic phonons in these waveguides, long interaction length is typically necessary. Here, we experimentally show that forward stimulated Brillouin scattering in a short interaction length of a 20 um radius silicon microring resonator could give 1.2 dB peak gain at only 10mW coupled pump power. The experimental results demonstrate that both optical and acoustic modes can have efficient interaction in a short interaction length. The observed Brillouin gain varies with coupled pump power in good agreement with theoretical prediction. The work shows the potential of SBS in silicon for moving the demonstrated fiber SBS applications to the integrated silicon photonics platform.


title: Entropic Trace Estimates for Log Determinants

abstract: The scalable calculation of matrix determinants has been a bottleneck to the widespread application of many machine learning methods such as determinantal point processes, Gaussian processes, generalised Markov random fields, graph models and many others. In this work, we estimate log determinants under the framework of maximum entropy, given information in the form of moment constraints from stochastic trace estimation. The estimates demonstrate a significant improvement on state-of-the-art alternative methods, as shown on a wide variety of UFL sparse matrices. By taking the example of a general Markov random field, we also demonstrate how this approach can significantly accelerate inference in large-scale learning methods involving the log determinant.


title: Extreme laser pulses for possible development of boron fusion power reactors for clean and lasting energy

abstract: Extreme laser pulses driving non-equilibrium processes in high density plasmas permit an increase of the fusion of hydrogen with the boron isotope 11 by nine orders of magnitude of the energy gains above the classical values. This is the result of initiating the reaction by non-thermal ultrahigh acceleration of plasma blocks by the nonlinear (ponderomotive) force of the laser field, in addition to the avalanche reaction that has now been experimentally and theoretically manifested. The design of a very compact fusion power reactor is scheduled to produce then environmentally fully clean and inexhaustible generation of energy at profitably low costs. The reaction within a volume of cubic millimetres during a nanosecond can only be used for controlled power generation.


title: Gravity Induced Resonant Emission

abstract: The gravitational drift of ions relative to the electrons induces two type of waves in magnetized plasma; ion acoustic (IO) waves and lower hybrid (LH) waves. The IO waves induced by the gravity are damped by electromagnetic (EM) waves leads to the formation of LH waves. For higher wave vector, these LH wave results in to the resonant absorption and re-emission of EM waves, called as gravity induced resonant emission (gire). A general formula has been derived for gire frequency is convergence of all fundamental quantities.


title: Tunable, synchronized frequency down-conversion in magnetic lattices with defects

abstract: We study frequency conversion in nonlinear mechanical lattices, focusing on a chain of magnets as a model system. We show that by inserting mass defects at suitable locations, we can introduce localized vibrational modes that nonlinearly couple to extended lattice modes. The nonlinear interaction introduces an energy transfer from the high-frequency localized modes to a low-frequency extended mode. This system is capable of autonomously converting energy between highly tunable input and output frequencies, which need not be related by integer harmonic or subharmonic ratios. It is also capable of obtaining energy from multiple sources at different frequencies with a tunable output phase, due to the defect synchronization provided by the extended mode. Our lattice is a purely mechanical analog of an opto-mechanical system, where the localized modes play the role of the electromagnetic field, and the extended mode plays the role of the mechanical degree of freedom.