title: Learning audio sequence representations for acoustic event classification

abstract: Acoustic Event Classification (AEC) has become a significant task for machines to perceive the surrounding auditory scene. However, extracting effective representations that capture the underlying characteristics of the acoustic events is still challenging. Previous methods mainly focused on designing the audio features in a `hand-crafted' manner. Interestingly, data-learnt features have been recently reported to show better performance. Up to now, these were only considered on the frame level. In this article, we propose an unsupervised learning framework to learn a vector representation of an audio sequence for AEC. This framework consists of a Recurrent Neural Network (RNN) encoder and an RNN decoder, which respectively transforms the variable-length audio sequence into a fixed-length vector and reconstructs the input sequence on the generated vector. After training the encoder-decoder, we feed the audio sequences to the encoder and then take the learnt vectors as the audio sequence representations. Compared with previous methods, the proposed method can not only deal with the problem of arbitrary-lengths of audio streams, but also learn the salient information of the sequence. Extensive evaluation on a large-size acoustic event database is performed, and the empirical results demonstrate that the learnt audio sequence representation yields a significant performance improvement by a large margin compared with other state-of-the-art hand-crafted sequence features for AEC.


title: A Quantum Approach to Subset-Sum and Similar Problems

abstract: In this paper, we study the subset-sum problem by using a quantum heuristic approach similar to the verification circuit of quantum Arthur-Merlin games. Under described certain assumptions, we show that the exact solution of the subset sum problem my be obtained in polynomial time and the exponential speed-up over the classical algorithms may be possible. We give a numerical example and discuss the complexity of the approach and its further application to the knapsack problem.


title: Active Galactic Nuclei with a Low-Metallicity Narrow-Line Region

abstract: Low-metallicity active galactic nuclei (AGNs) are interesting to study the early phase of the AGN evolution. However most AGNs are chemically matured and accordingly low-metallicity AGNs are extremely rare. One approach to search for low-metallicity AGNs systematically is utilizing the so-called BPT diagram that consists of the [O III]$\lambda$5007/H$\beta$$\lambda4861$ and [N II]$\lambda6584$/H$\alpha$$\lambda6563$ flux ratios. Specifically, photoionization models predict that low-metallicity AGNs show a high [O III]$\lambda$5007/H$\beta$$\lambda$4861 ratio and a relatively low [N II]$\lambda$6584/H$\alpha$$\lambda$6563 ratio, that corresponds to the location between the sequence of star-forming galaxies and that of usual AGNs on the BPT diagram (hereafter "the BPT valley"). However, other populations of galaxies such as star-forming galaxies and AGNs with a high electron density or a high ionization parameter could be also located in the BPT valley, not only low-metallicity AGNs. In this paper, we examine whether most of emission-line galaxies at the BPT valley are low-metallicity AGNs or not. We select 70 BPT-valley objects from 212,866 emission line galaxies obtained by the Sloan Digital Sky Survey. Among the 70 BPT-valley objects, 43 objects show firm evidence of the AGN activity; i.e., the He II$\lambda$4686 emission and/or weak but significant broad H$\alpha$ emission. Our analysis shows that those 43 BPT-valley AGNs are not characterized by a very high gas density nor ionization parameter, inferring that at least 43 among 70 BPT-valley objects (i.e., $>60$ %) are low-metallicity AGNs. This suggests that the BPT diagram is an efficient tool to search for low-metallicity AGNs.


title: Functional Brunn-Minkowski Inequalities Induced by Polarity

abstract: We prove a new family of inequalities, which compare the integral of a geometric convolution of non-negative functions with the integrals of the original functions. For classical inf-convolution, this type of inequality is called the Pr\'{e}kopa-Leindler inequality, which, restricted to indicators of convex bodies, gives the classical Brunn-Minkowski inequality. The convolution we consider is a different one, which arises from the study of the polarity transform for functions. While inf-convolution arises as the pull back of usual addition of convex functions under the Legendre transform, our geometric inf-convolution arises as the pull back of the second order reversing transform on geometric convex functions (called either polarity transform or $A$-transform). These are, up to linear terms, the only order reversing isomorphisms on the class of geometric convex functions. We prove that the integral of this new geometric convolution of two functions is bounded from below by the harmonic average of the individual integrals. Our inequality implies the Brunn-Minkowski inequality, as well as some other, new, inequalities for volumes of bodies. Our inequalities are intimately connected with Busemann's convexity theorem, a new variant of which we prove for 1-convex hulls and log-concave densities.


title: Secular evolution of Milky Way-type galaxies

abstract: The internal evolution of disk galaxies like the Milky Way are driven by non-axisymmetries (bars) and the implied angular momentum transfer of the matter; baryons are essentially driven inwards to build a more concentrated disk. This mass concentration may lead to the decoupling of a secondary bar, since the orbit precessing frequency is then much enhanced. Vertical resonances with the bar will form a box/peanut bulge in a Gyr time-scale. Gas flows due to gravity torques can lead to a young nuclear disk forming stars, revealed by a sigma-drop in velocity dispersion. These gas flows moderated by feedback produce intermittent accretion of the super-massive black hole, and cycles of AGN activity. The fountain effect due to nuclear star formation may lead to inclined, and even polar nuclear disks.


title: Common Knowledge in a Logic of Gossips

abstract: Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other secrets. Recently a number of authors studied distributed epistemic gossip protocols. These protocols use as guards formulas from a simple epistemic logic, which makes their analysis and verification substantially easier. We study here common knowledge in the context of such a logic. First, we analyze when it can be reduced to iterated knowledge. Then we show that the semantics and truth for formulas without nested common knowledge operator are decidable. This implies that implementability, partial correctness and termination of distributed epistemic gossip protocols that use non-nested common knowledge operator is decidable, as well. Given that common knowledge is equivalent to an infinite conjunction of nested knowledge, these results are non-trivial generalizations of the corresponding decidability results for the original epistemic logic, established in (Apt & Wojtczak, 2016). K. R. Apt & D. Wojtczak (2016): On Decidability of a Logic of Gossips. In Proc. of JELIA 2016, pp. 18-33, doi:10.1007/ 978-3-319-48758-8_2.


title: A Logic for Global and Local Announcements

abstract: In this paper we introduce {\em global and local announcement logic} (GLAL), a dynamic epistemic logic with two distinct announcement operators -- $[\phi]^+_A$ and $[\phi]^-_A$ indexed to a subset $A$ of the set $Ag$ of all agents -- for global and local announcements respectively. The boundary case $[\phi]^+_{Ag}$ corresponds to the public announcement of $\phi$, as known from the literature. Unlike standard public announcements, which are {\em model transformers}, the global and local announcements are {\em pointed model transformers}. In particular, the update induced by the announcement may be different in different states of the model. Therefore, the resulting computations are trees of models, rather than the typical sequences. A consequence of our semantics is that modally bisimilar states may be distinguished in our logic. Then, we provide a stronger notion of bisimilarity and we show that it preserves modal equivalence in GLAL. Additionally, we show that GLAL is strictly more expressive than public announcement logic with common knowledge. We prove a wide range of validities for GLAL involving the interaction between dynamics and knowledge, and show that the satisfiability problem for GLAL is decidable. We illustrate the formal machinery by means of detailed epistemic scenarios.


title: Relaxing Exclusive Control in Boolean Games

abstract: In the typical framework for boolean games (BG) each player can change the truth value of some propositional atoms, while attempting to make her goal true. In standard BG goals are propositional formulas, whereas in iterated BG goals are formulas of Linear Temporal Logic. Both notions of BG are characterised by the fact that agents have exclusive control over their set of atoms, meaning that no two agents can control the same atom. In the present contribution we drop the exclusivity assumption and explore structures where an atom can be controlled by multiple agents. We introduce Concurrent Game Structures with Shared Propositional Control (CGS-SPC) and show that they ac- count for several classes of repeated games, including iterated boolean games, influence games, and aggregation games. Our main result shows that, as far as verification is concerned, CGS-SPC can be reduced to concurrent game structures with exclusive control. This result provides a polynomial reduction for the model checking problem of specifications in Alternating-time Temporal Logic on CGS-SPC.


title: A New Game Equivalence and its Modal Logic

abstract: We revisit the crucial issue of natural game equivalences, and semantics of game logics based on these. We present reasons for investigating finer concepts of game equivalence than equality of standard powers, though staying short of modal bisimulation. Concretely, we propose a more finegrained notion of equality of "basic powers" which record what players can force plus what they leave to others to do, a crucial feature of interaction. This notion is closer to game-theoretic strategic form, as we explain in detail, while remaining amenable to logical analysis. We determine the properties of basic powers via a new representation theorem, find a matching "instantial neighborhood game logic", and show how our analysis can be extended to a new game algebra and dynamic game logic.


title: From Type Spaces to Probability Frames and Back, via Language

abstract: We investigate the connection between the two major mathematical frameworks for modeling interactive beliefs: Harsanyi type spaces and possible-worlds style probability frames. While translating the former into the latter is straightforward, we demonstrate that the reverse translation relies implicitly on a background logical language. Once this "language parameter" is made explicit, it reveals a close relationship between universal type spaces and canonical models: namely, that they are essentially the same construct. As the nature of a canonical model depends heavily on the background logic used to generate it, this work suggests a new view into a corresponding landscape of universal type spaces.


title: Rationalizability and Epistemic Priority Orderings

abstract: At the beginning of a dynamic game, players may have exogenous theories about how the opponents are going to play. Suppose that these theories are commonly known. Then, players will refine their first-order beliefs, and challenge their own theories, through strategic reasoning. I develop and characterize epistemically a new solution concept, Selective Rationalizability, which accomplishes this task under the following assumption: when the observed behavior is not compatible with the beliefs in players' rationality and theories of all orders, players keep the orders of belief in rationality that are per se compatible with the observed behavior, and drop the incompatible beliefs in the theories. Thus, Selective Rationalizability captures Common Strong Belief in Rationality (Battigalli and Siniscalchi, 2002) and refines Extensive-Form Rationalizability (Pearce, 1984; BS, 2002), whereas Strong-$\Delta$-Rationalizability (Battigalli, 2003; Battigalli and Siniscalchi, 2003) captures the opposite epistemic priority choice. Selective Rationalizability can be extended to encompass richer epistemic priority orderings among different theories of opponents' behavior. This allows to establish a surprising connection with strategic stability (Kohlberg and Mertens, 1986).


title: Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks

abstract: An abstract argumentation framework can be used to model the argumentative stance of an agent at a high level of abstraction, by indicating for every pair of arguments that is being considered in a debate whether the first attacks the second. When modelling a group of agents engaged in a debate, we may wish to aggregate their individual argumentation frameworks to obtain a single such framework that reflects the consensus of the group. Even when agents disagree on many details, there may well be high-level agreement on important semantic properties, such as the acceptability of a given argument. Using techniques from social choice theory, we analyse under what circumstances such semantic properties agreed upon by the individual agents can be preserved under aggregation.


title: Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy

abstract: The paper provides an analysis of the voting method known as delegable proxy voting, or liquid democracy. The analysis first positions liquid democracy within the theory of binary aggregation. It then focuses on two issues of the system: the occurrence of delegation cycles; and the effect of delegations on individual rationality when voting on logically interdependent propositions. It finally points to proposals on how the system may be modified in order to address the above issues.


title: Bisimulation in Inquisitive Modal Logic

abstract: Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in the direction of monadic second-order logic, as inquisitive modal operators involve quantification over sets of worlds. We introduce and investigate the natural notion of bisimulation equivalence in the setting of InqML. We compare the expressiveness of InqML and first-order logic, and characterise inquisitive modal logic as the bisimulation invariant fragments of first-order logic over various classes of two-sorted relational structures. These results crucially require non-classical methods in studying bisimulations and first-order expressiveness over non-elementary classes.


title: Toward an Epistemic-Logical Theory of Categorization

abstract: Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes. In the present paper, we introduce a sound and complete epistemic logic of categories and agents' categorical perception. The Kripke-style semantics of this logic is given in terms of data structures based on two domains: one domain representing objects (e.g. market products) and one domain representing the features of the objects which are relevant to the agents' decision-making. We use this framework to discuss and propose logic-based formalizations of some core concepts from psychological, sociological, and organizational research in categorization theory.


title: Conditional Belief, Knowledge and Probability

abstract: A natural way to represent beliefs and the process of updating beliefs is presented by Bayesian probability theory, where belief of an agent a in P can be interpreted as a considering that P is more probable than not P. This paper attempts to get at the core logical notion underlying this. The paper presents a sound and complete neighbourhood logic for conditional belief and knowledge, and traces the connections with probabilistic logics of belief and knowledge. The key notion in this paper is that of an agent a believing P conditionally on having information Q, where it is assumed that Q is compatible with what a knows. Conditional neighbourhood logic can be viewed as a core system for reasoning about subjective plausibility that is not yet committed to an interpretation in terms of numerical probability. Indeed, every weighted Kripke model gives rise to a conditional neighbourhood model, but not vice versa. We show that our calculus for conditional neighbourhood logic is sound but not complete for weighted Kripke models. Next, we show how to extend the calculus to get completeness for the class of weighted Kripke models. Neighbourhood models for conditional belief are closed under model restriction (public announcement update), while earlier neighbourhood models for belief as `willingness to bet' were not. Therefore the logic we present improves on earlier neighbourhood logics for belief and knowledge. We present complete calculi for public announcement and for publicly revealing the truth value of propositions using reduction axioms. The reductions show that adding these announcement operators to the language does not increase expressive power.


title: Seoul National University Camera II (SNUCAM-II): The New SED Camera for the Lee Sang Gak Telescope (LSGT)

abstract: We present the characteristics and the performance of the new CCD camera system, SNUCAM-II (Seoul National University CAMera system II) that was installed on the Lee Sang Gak Telescope (LSGT) at the Siding Spring Observatory in 2016. SNUCAM-II consists of a deep depletion chip covering a wide wavelength from 0.3 {\mu}m to 1.1 {\mu}m with high sensitivity (QE at > 80% over 0.4 to 0.9 {\mu}m). It is equipped with the SDSS ugriz filters and 13 medium band width (50 nm) filters, enabling us to study spectral energy distributions (SEDs) of diverse objects from extragalactic sources to solar system objects. On LSGT, SNUCAM-II offers 15.7 {\times} 15.7 arcmin field-of-view (FOV) at a pixel scale of 0.92 arcsec and a limiting magnitude of g = 19.91 AB mag and z=18.20 AB mag at 5{\sigma} with 180 sec exposure time for point source detection.


title: Coalition and Group Announcement Logic

abstract: Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other's knowledge have been studied extensively in recent years. Two notable examples of such logics are Group Announcement Logic and Coalition Announcement Logic. They allow us to reason about what groups of agents can achieve through joint announcements in non-competitive and competitive environments. In this paper, we consider a combination of these logics -- Coalition and Group Announcement Logic and provide its complete axiomatisation. Moreover, we partially answer the question of how group and coalition announcement operators interact, and settle some other open problems.


title: A Formal Approach to the Problem of Logical Non-Omniscience

abstract: We present the logical induction criterion for computable algorithms that assign probabilities to every logical statement in a given formal language, and refine those probabilities over time. The criterion is motivated by a series of stock trading analogies. Roughly speaking, each logical sentence phi is associated with a stock that is worth $1 per share if phi is true and nothing otherwise, and we interpret the belief-state of a logically uncertain reasoner as a set of market prices, where pt_N(phi)=50% means that on day N, shares of phi may be bought or sold from the reasoner for 50%. A market is then called a logical inductor if (very roughly) there is no polynomial-time computable trading strategy with finite risk tolerance that earns unbounded profits in that market over time. We then describe how this single criterion implies a number of desirable properties of bounded reasoners; for example, logical inductors outpace their underlying deductive process, perform universal empirical induction given enough time to think, and place strong trust in their own reasoning process.


title: Games With Tolerant Players

abstract: A notion of pi-tolerant equilibrium is defined that takes into account that players have some tolerance regarding payoffs in a game. This solution concept generalizes Nash and refines epsilon-Nash equilibrium in a natural way. We show that pi-tolerant equilibrium can explain cooperation in social dilemmas such as Prisoner's Dilemma and the Public Good game. We then examine the structure of particularly cooperative pi-tolerant equilibria, where players are as cooperative as they can be, subject to their tolerances, in Prisoner's Dilemma. To the extent that cooperation is due to tolerance, these results provide guidance to a mechanism designer who has some control over the payoffs in a game, and suggest ways in which cooperation can be increased.


title: What Drives People's Choices in Turn-Taking Games, if not Game-Theoretic Rationality?

abstract: In an earlier experiment, participants played a perfect information game against a computer, which was programmed to deviate often from its backward induction strategy right at the beginning of the game. Participants knew that in each game, the computer was nevertheless optimizing against some belief about the participant's future strategy. In the aggregate, it appeared that participants applied forward induction. However, cardinal effects seemed to play a role as well: a number of participants might have been trying to maximize expected utility. In order to find out how people really reason in such a game, we designed centipede-like turn-taking games with new payoff structures in order to make such cardinal effects less likely. We ran a new experiment with 50 participants, based on marble drop visualizations of these revised payoff structures. After participants played 48 test games, we asked a number of questions to gauge the participants' reasoning about their own and the opponent's strategy at all decision nodes of a sample game. We also checked how the verbalized strategies fit to the actual choices they made at all their decision points in the 48 test games. Even though in the aggregate, participants in the new experiment still tend to slightly favor the forward induction choice at their first decision node, their verbalized strategies most often depend on their own attitudes towards risk and those they assign to the computer opponent, sometimes in addition to considerations about cooperativeness and competitiveness.


title: An Epistemic Foundation for Authentication Logics (Extended Abstract)

abstract: While there have been many attempts, going back to BAN logic, to base reasoning about security protocols on epistemic notions, they have not been all that successful. Arguably, this has been due to the particular logics chosen. We present a simple logic based on the well-understood modal operators of knowledge, time, and probability, and show that it is able to handle issues that have often been swept under the rug by other approaches, while being flexible enough to capture all the higher- level security notions that appear in BAN logic. Moreover, while still assuming that the knowledge operator allows for unbounded computation, it can handle the fact that a computationally bounded agent cannot decrypt messages in a natural way, by distinguishing strings and message terms. We demonstrate that our logic can capture BAN logic notions by providing a translation of the BAN operators into our logic, capturing belief by a form of probabilistic knowledge.


title: A Knowledge-Based Analysis of the Blockchain Protocol

abstract: At the heart of the Bitcoin is a blockchain protocol, a protocol for achieving consensus on a public ledger that records bitcoin transactions. To the extent that a blockchain protocol is used for applications such as contract signing and making certain transactions (such as house sales) public, we need to understand what guarantees the protocol gives us in terms of agents' knowledge. Here, we provide a complete characterization of agent's knowledge when running a blockchain protocol using a variant of common knowledge that takes into account the fact that agents can enter and leave the system, it is not known which agents are in fact following the protocol (some agents may want to deviate if they can gain by doing so), and the fact that the guarantees provided by blockchain protocols are probabilistic. We then consider some scenarios involving contracts and show that this level of knowledge suffices for some scenarios, but not others.


title: Indicative Conditionals and Dynamic Epistemic Logic

abstract: Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic. The purpose of this paper is to show how greater interaction between formal semantics and dynamic epistemic logic in this area can be of mutual benefit. In one direction, we show how concepts and tools from modal logic and dynamic epistemic logic can be used to give a simple, complete axiomatization of Yalcin's [16] semantic consequence relation for a language with epistemic modals and indicative conditionals. In the other direction, the formal semantics for indicative conditionals due to Kolodny and MacFarlane [9] gives rise to a new dynamic operator that is very natural from the point of view of dynamic epistemic logic, allowing succinct expression of dependence (as in dependence logic) or supervenience statements. We prove decidability for the logic with epistemic modals and Kolodny and MacFarlane's indicative conditional via a full and faithful computable translation from their logic to the modal logic K45.


title: Categories for Dynamic Epistemic Logic

abstract: The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category of relations and categories of Kripke frames, with particular emphasis on the duality between relations and adjoint homomorphisms. Using these categories, we then reformulate the semantics of DEL in a more categorical and algebraic form. Several virtues of the new formulation will be demonstrated: The DEL idea of updating a model into another is captured naturally by the categorical perspective -- which emphasizes a family of objects and structural relationships among them, as opposed to a single object and structure on it. Also, the categorical semantics of DEL can be merged straightforwardly with a standard categorical semantics for first-order logic, providing a semantics for first-order DEL.


title: Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE

abstract: Arbitrary Arrow Update Logic with Common Knowledge (AAULC) is a dynamic epistemic logic with (i) an arrow update operator, which represents a particular type of information change and (ii) an arbitrary arrow update operator, which quantifies over arrow updates. By encoding the execution of a Turing machine in AAULC, we show that neither the valid formulas nor the satisfiable formulas of AAULC are recursively enumerable. In particular, it follows that AAULC does not have a recursive axiomatization.


title: Group Recommendations: Axioms, Impossibilities, and Random Walks

abstract: We introduce an axiomatic approach to group recommendations, in line of previous work on the axiomatic treatment of trust-based recommendation systems, ranking systems, and other foundational work on the axiomatic approach to internet mechanisms in social choice settings. In group recommendations we wish to recommend to a group of agents, consisting of both opinionated and undecided members, a joint choice that would be acceptable to them. Such a system has many applications, such as choosing a movie or a restaurant to go to with a group of friends, recommending games for online game players, & other communal activities. Our method utilizes a given social graph to extract information on the undecided, relying on the agents influencing them. We first show that a set of fairly natural desired requirements (a.k.a axioms) leads to an impossibility, rendering mutual satisfaction of them unreachable. However, we also show a modified set of axioms that fully axiomatize a group variant of the random-walk recommendation system, expanding a previous result from the individual recommendation case.


title: Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)

abstract: This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-agent logic of knowledge. The optimization has been implemented in the epistemic model checker MCK. The paper reports experimental results demonstrating that it can yield multiple orders of magnitude performance improvements.


title: Bayesian Decision Theory and Stochastic Independence

abstract: Stochastic independence has a complex status in probability theory. It is not part of the definition of a probability measure, but it is nonetheless an essential property for the mathematical development of this theory. Bayesian decision theorists such as Savage can be criticized for being silent about stochastic independence. From their current preference axioms, they can derive no more than the definitional properties of a probability measure. In a new framework of twofold uncertainty, we introduce preference axioms that entail not only these definitional properties, but also the stochastic independence of the two sources of uncertainty. This goes some way towards filling a curious lacuna in Bayesian decision theory.


title: Endogenizing Epistemic Actions

abstract: Through a series of examples, we illustrate some important drawbacks that the action logic framework suffers from in its ability to represent the dynamics of information updates. We argue that these problems stem from the fact that the action model, a central construct designed to encode agents' uncertainty about actions, is itself effectively common knowledge amongst the agents. In response to these difficulties, we motivate and propose an alternative semantics that avoids them by (roughly speaking) endogenizing the action model. We discuss the relationship to action logic, and provide a sound and complete axiomatization.


title: Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract)

abstract: The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to follow the strategy. Neither does it mean that the coalition knows that such a strategy exists. The paper studies an interplay between the distributed knowledge, coalition strategies, and coalition "know-how" strategies. The main technical result is a sound and complete trimodal logical system that describes the properties of this interplay.


title: Condorcet's Principle and the Preference Reversal Paradox

abstract: We prove that every Condorcet-consistent voting rule can be manipulated by a voter who completely reverses their preference ranking, assuming that there are at least 4 alternatives. This corrects an error and improves a result of [Sanver, M. R. and Zwicker, W. S. (2009). One-way monotonicity as a form of strategy-proofness. Int J Game Theory 38(4), 553-574.] For the case of precisely 4 alternatives, we exactly characterise the number of voters for which this impossibility result can be proven. We also show analogues of our result for irresolute voting rules. We then leverage our result to state a strong form of the Gibbard-Satterthwaite Theorem.


title: Self-confirming Games: Unawareness, Discovery, and Equilibrium

abstract: Equilibrium notions for games with unawareness in the literature cannot be interpreted as steady-states of a learning process because players may discover novel actions during play. In this sense, many games with unawareness are "self-destroying" as a player's representation of the game must change after playing it once. We define discovery processes where at each state there is an extensive-form game with unawareness that together with the players' play determines the transition to possibly another extensive-form games with unawareness in which players are now aware of actions that they have previously discovered. A discovery process is rationalizable if players play extensive-form rationalizable strategies in each game with unawareness. We show that for any game with unawareness there is a rationalizable discovery process that leads to a self-confirming game that possesses an extensive-form rationalizable self-confirming equilibrium. This notion of equilibrium can be interpreted as steady-state of a learning and discovery process.


title: Argument-based Belief in Topological Structures

abstract: This paper combines two studies: a topological semantics for epistemic notions and abstract argumentation theory. In our combined setting, we use a topological semantics to represent the structure of an agent's collection of evidence, and we use argumentation theory to single out the relevant sets of evidence through which a notion of beliefs grounded on arguments is defined. We discuss the formal properties of this newly defined notion, providing also a formal language with a matching modality together with a sound and complete axiom system for it. Despite the fact that our agent can combine her evidence in a 'rational' way (captured via the topological structure), argument-based beliefs are not closed under conjunction. This illustrates the difference between an agent's reasoning abilities (i.e. the way she is able to combine her available evidence) and the closure properties of her beliefs. We use this point to argue for why the failure of closure under conjunction of belief should not bear the burden of the failure of rationality.


title: Reconciling Bayesian Epistemology and Narration-based Approaches to Judiciary Fact-finding

abstract: Legal probabilism (LP) claims the degrees of conviction in juridical fact-finding are to be modeled exactly the way degrees of beliefs are modeled in standard bayesian epistemology. Classical legal probabilism (CLP) adds that the conviction is justified if the credence in guilt given the evidence is above an appropriate guilt probability threshold. The views are challenged on various counts, especially by the proponents of the so-called narrative approach, on which the fact-finders' decision is the result of a dynamic interplay between competing narratives of what happened. I develop a way a bayesian epistemologist can make sense of the narrative approach. I do so by formulating a probabilistic framework for evaluating competing narrations in terms of formal explications of the informal evaluation criteria used in the narrative approach.


title: A New Modal Framework for Epistemic Logic

abstract: Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. The new epistemic modalities introduced in those logics all share, in their semantics, the general schema of $\exists x \Box \phi$, e.g., knowing how to achieve $\phi$ roughly means that there exists a way such that you know that it is a way to ensure that $\phi$. Moreover, the resulting logics are decidable. Inspired by those particular logics, in this work, we propose a very general and powerful framework based on quantifier-free predicate language extended by a new modality $\Box^x$, which packs exactly $\exists x \Box$ together. We show that the resulting language, though much more expressive, shares many good properties of the basic propositional modal logic over arbitrary models, such as finite-tree-model property and van Benthem-like characterization w.r.t.\ first-order modal logic. We axiomatize the logic over S5 frames with intuitive axioms to capture the interaction between $\Box^x$ and know-that operator in an epistemic setting.


title: A new single-particle basis for nuclear many-body calculations

abstract: Predominantly, harmonic oscillator single-particle wave functions are the choice as a basis in ab-initio nuclear many-body calculations. These wave-functions, although very convenient in order to evaluate the matrix elements of the interaction in the laboratory frame, have a too fast fall-off at large distances. In the past, in alternative to the harmonic oscillator, other single-particle wave functions have been proposed. In this work we propose a new single-particle basis, directly linked to the nucleon-nucleon interaction. This new basis is orthonormal and complete, has the proper asymptotic behavior at large distances and does not contain the continuum which would pose severe convergence problems in nuclear many body calculations. We consider the newly proposed NNLO-opt nucleon-nucleon interaction, without any renormalization. We show that unlike other basis, this single-particle representation has a computational cost similar to the harmonic oscillator basis with the same space truncation and it gives lower energies for ${}^6He$ and ${}^6Li$.


title: Existence and continuity of the flow constant in first passage percolation

abstract: We consider the model of i.i.d. first passage percolation on Z^d, where we associate with the edges of the graph a family of i.i.d. random variables with common distribution G on [0, +$\infty$] (including +$\infty$). Whereas the time constant is associated to the study of 1-dimensional paths with minimal weight, namely geodesics, the flow constant is associated to the study of (d--1)-dimensional surfaces with minimal weight. In this article, we investigate the existence of the flow constant under the only hypothesis that G({+$\infty$}) < p c (d) (in particular without any moment assumption), the convergence of some natural maximal flows towards this constant, and the continuity of this constant with regard to the distribution G.


title: An Improved Epsilon Constraint-handling Method in MOEA/D for CMOPs with Large Infeasible Regions

abstract: This paper proposes an improved epsilon constraint-handling mechanism, and combines it with a decomposition-based multi-objective evolutionary algorithm (MOEA/D) to solve constrained multi-objective optimization problems (CMOPs). The proposed constrained multi-objective evolutionary algorithm (CMOEA) is named MOEA/D-IEpsilon. It adjusts the epsilon level dynamically according to the ratio of feasible to total solutions (RFS) in the current population. In order to evaluate the performance of MOEA/D-IEpsilon, a new set of CMOPs with two and three objectives is designed, having large infeasible regions (relative to the feasible regions), and they are called LIR-CMOPs. Then the fourteen benchmarks, including LIR-CMOP1-14, are used to test MOEA/D-IEpsilon and four other decomposition-based CMOEAs, including MOEA/D-Epsilon, MOEA/D-SR, MOEA/D-CDP and C-MOEA/D. The experimental results indicate that MOEA/D-IEpsilon is significantly better than the other four CMOEAs on all of the test instances, which shows that MOEA/D-IEpsilon is more suitable for solving CMOPs with large infeasible regions. Furthermore, a real-world problem, namely the robot gripper optimization problem, is used to test the five CMOEAs. The experimental results demonstrate that MOEA/D-IEpsilon also outperforms the other four CMOEAs on this problem.


title: Equivariant extensions of Ga-torsors over punctured surfaces

abstract: Motivated by the study of the structure of algebraic actions the additive group on affine threefolds X, we consider a special class of such varieties whose algebraic quotient morphisms X $\rightarrow$ X//Ga restrict to principal homogeneous bundles over the complement of a smooth point of the quotient. We establish basic general properties of these varieties and construct families of examples illustrating their rich geometry. In particular, we give a complete classification of a natural subclass consisting of threefolds X endowed with proper Ga-actions, whose algebraic quotient morphisms $\pi$ : X $\rightarrow$ X//Ga are surjective with only isolated degenerate fibers, all isomorphic to the affine plane A 2 when equipped with their reduced structures.


title: Ramsey Spanning Trees and their Applications

abstract: The metric Ramsey problem asks for the largest subset $S$ of a metric space that can be embedded into an ultrametric (more generally into a Hilbert space) with a given distortion. Study of this problem was motivated as a non-linear version of Dvoretzky theorem. Mendel and Naor 2007 devised the so called Ramsey Partitions to address this problem, and showed the algorithmic applications of their techniques to approximate distance oracles and ranking problems. In this paper we study the natural extension of the metric Ramsey problem to graphs, and introduce the notion of Ramsey Spanning Trees. We ask for the largest subset $S\subseteq V$ of a given graph $G=(V,E)$, such that there exists a spanning tree of $G$ that has small stretch for $S$. Applied iteratively, this provides a small collection of spanning trees, such that each vertex has a tree providing low stretch paths to all other vertices. The union of these trees serves as a special type of spanner, a tree-padding spanner. We use this spanner to devise the first compact stateless routing scheme with $O(1)$ routing decision time, and labels which are much shorter than in all currently existing schemes. We first revisit the metric Ramsey problem, and provide a new deterministic construction. We prove that for every $k$, any $n$-point metric space has a subset $S$ of size at least $n^{1-1/k}$ which embeds into an ultrametric with distortion $8k$. This results improves the best previous result of Mendel and Naor that obtained distortion $128k$ and required randomization. In addition, it provides the state-of-the-art deterministic construction of a distance oracle. Building on this result, we prove that for every $k$, any $n$-vertex graph $G=(V,E)$ has a subset $S$ of size at least $n^{1-1/k}$, and a spanning tree of $G$, that has stretch $O(k \log \log n)$ between any point in $S$ and any point in $V$.


title: Non-cooperative Fisher--KPP systems: asymptotic behavior of traveling waves

abstract: This paper is concerned with non-cooperative parabolic reaction--diffusion systems which share structural similarities with the scalar Fisher--KPP equation. In a previous paper, we established that these systems admit traveling wave solutions. It is then natural to investigate their asymptotic distributions. This is the main object of this paper. Non-cooperative KPP systems can model various phenomena where the following three mechanisms occur: local diffusion in space, linear cooperation and superlinear competition.


title: Runtime Model Based Approach to Smart Home System Development

abstract: When developing smart home systems, developers integrate and compose smart devices and software applications. Because of their diversity and heterogeneity, developers usually encounter many problems. In this paper, we present a runtime model based approach to smart home system development. First, we analyze mobile applications associated with smart devices and then extract some device control APIs. Second, we use SM@RT framework to build the device runtime model. Third, we define the scenario model, that is an abstraction of devices and objects which the system consists of. Fourth, we specify mapping rules from the scenario model to the runtime model and employ a synchronizer, which can interpret the mapping rules, to keep the synchronization between the scenario model and the device runtime model. The mapping handler reads the mapping rules that are defined by developers and does the mapping in terms of them. At last, developers can program smart home systems upon the MOF-compliant scenario model using the state-of-the-art model driven technologies. https://youtu.be/SP12OtmHj50


title: Spike sorting using non-volatile metal-oxide memristors

abstract: Electrophysiological techniques have improved substantially over the past years to the point that neuroprosthetics applications are becoming viable. This evolution has been fuelled by the advancement of implantable microelectrode technologies that have followed their own version of Moore's scaling law. Similarly to electronics, however, excessive data-rates and strained power budgets require the development of more efficient computation paradigms for handling neural data in-situ, in particular the computationally heavy task of events classification. Here, we demonstrate how the intrinsic analogue programmability of memristive devices can be exploited to perform spike-sorting. We then show how combining memristors with standard logic enables efficient in-silico template matching. Leveraging the physical properties of nanoscale memristors allows us to implement ultra-compact analogue circuits for neural signal processing at the power cost of digital.


title: A topological quantum pump in serpentine-shaped semiconducting narrow channels

abstract: We propose and analyze theoretically a one-dimensional solid-state electronic setup that operates as a topological charge pump in the complete absence of superimposed oscillating local voltages. The system consists of a semiconducting narrow channel with strong Rashba spin-orbit interaction patterned in a mesoscale serpentine shape. A rotating planar magnetic field serves as the external ac perturbation, and cooperates with the Rashba spin-orbit interaction, which is modulated by the geometric curvature of the electronic channel to realize the topological pumping protocol originally introduced by Thouless in an entirely novel fashion. We expect the precise pumping of electric charges in our mesoscopic quantum device to be relevant for quantum metrology purposes.


title: Topological Data Analysis of Clostridioides difficile Infection and Fecal Microbiota Transplantation

abstract: Computational topologists recently developed a method, called persistent homology to analyze data presented in terms of similarity or dissimilarity. Indeed, persistent homology studies the evolution of topological features in terms of a single index, and is able to capture higher order features beyond the usual clustering techniques. There are three descriptive statistics of persistent homology, namely barcode, persistence diagram and more recently, persistence landscape. Persistence landscape is useful for statistical inference as it belongs to a space of $p-$integrable functions, a separable Banach space. We apply tools in both computational topology and statistics to DNA sequences taken from Clostridioides difficile infected patients treated with an experimental fecal microbiota transplantation. Our statistical and topological data analysis are able to detect interesting patterns among patients and donors. It also provides visualization of DNA sequences in the form of clusters and loops.


title: Mean Lipschitz spaces and a generalized Hilbert operator

abstract: If $\mu $ is a positive Borel measure on the interval $[0, 1)$ we let $\mathcal H_\mu $ be the Hankel matrix $\mathcal H_\mu =(\mu _{n, k})_{n,k\ge 0}$ with entries $\mu _{n, k}=\mu _{n+k}$, where, for $n\,=\,0, 1, 2, \dots $, $\mu_n$ denotes the moment of order $n$ of $\mu $. This matrix induces formally the operator $$\mathcal{H}_\mu (f)(z)= \sum_{n=0}^{\infty}\left(\sum_{k=0}^{\infty} \mu_{n,k}{a_k}\right)z^n$$ on the space of all analytic functions $f(z)=\sum_{k=0}^\infty a_kz^k$, in the unit disc $\mathbb{D} $. This is a natural generalization of the classical Hilbert operator. In this paper we study the action of the operators $\mathcal H_\mu $ on mean Lipschitz spaces of analytic functions.


title: An Evolutionary Stochastic-Local-Search Framework for One-Dimensional Cutting-Stock Problems

abstract: We introduce an evolutionary stochastic-local-search (SLS) algorithm for addressing a generalized version of the so-called 1/V/D/R cutting-stock problem. Cutting-stock problems are encountered often in industrial environments and the ability to address them efficiently usually results in large economic benefits. Traditionally linear-programming-based techniques have been utilized to address such problems, however their flexibility might be limited when nonlinear constraints and objective functions are introduced. To this end, this paper proposes an evolutionary SLS algorithm for addressing one-dimensional cutting-stock problems. The contribution lies in the introduction of a flexible structural framework of the optimization that may accommodate a large family of diversification strategies including a novel parallel pattern appropriate for SLS algorithms (not necessarily restricted to cutting-stock problems). We finally demonstrate through experiments in a real-world manufacturing problem the benefit in cost reduction of the considered diversification strategies.


title: Nominal vs. actual supersaturation of solutions

abstract: Following the formalism of the Classical Nucleation Theory beyond the dilute solution approximation, this paper considers a difference between the actual solute supersaturation (given by the present-to-saturated solute activity ratio) and the nominal supersaturation (given by the present-to-saturated solute concentration ratio) due to formation of subcritical transient solute clusters, called heterophase fluctuations. Based on their distribution function, we introduce an algebraic equation of supersaturation that couples the nominal supersaturation of a binary metastable solution with its actual supersaturation and a function of the specific interface energy and temperature. The applicability of this approach is validated by comparison to simulation data [E. Clouet et al., Phys. Rev. B \textbf{69}, 064109 (2004)] on nucleation of Al$_{3}$Zr and Al$_{3}$Sc in model binary Al alloys.


title: Causation, Information, and Physics

abstract: This work outlines the novel application of the empirical analysis of causation, presented by Kutach, to the study of information theory and its role in physics. The central thesis of this paper is that causation and information are identical functional tools for distinguishing controllable correlations, and that this leads to a consistent view, not only of information theory, but also of statistical physics and quantum information. This approach comes without the metaphysical baggage of declaring information a fundamental ingredient in physical reality and exorcises many of the otherwise puzzling problems that arise from this view-point, particularly obviating the problem of `excess baggage' in quantum mechanics.


title: Mechanoluminescent MOF nanoplates: spatial molecular isolation of light-emitting guests in a sodalite framework structure

abstract: Mechanoluminescent materials have a wide range of promising nanotechnological applications, such as photonics based sensors and smart optoelectronics. Examples of mechanoluminescent metal-organic framework (MOF) materials, however, are relatively scarce in the literature. Herein, we present a previously undescribed Guest@MOF system, comprising Perylene@ZIF-8 nanoplates which will undergo a reversible 442 nm <->502 nm photoemission switching when subject to a moderate level of mechanically induced pressure (~10s MPa). The nanoplates were synthesized via a high-concentration reaction (HCR) strategy at ambient conditions, to yield a crystalline ZIF-8 framework hosting the highly luminous Perylene guests; the latter confined within the porous sodalite cages of ZIF-8. Remarkably, we show that in a solid-state condition, it is the spatial isolation and nano-partitioning of the luminescent guests that bestow a unique solution-like optical properties measured in the host-guest assembly. We elucidate how the switchable red- or blue-shifts of the visible emission can be accomplished by mechanically modifying the nanoscale packing of the underlying nanoplates. Theoretical calculations suggest that the elasticity of the host sodalite cage coupled with the intermolecular weak interactions of the confined guest are underpinning the unique mechanoluminescent behavior observed.


title: Correlations and confinement of excitations in an asymmetric Hubbard ladder

abstract: Correlation functions and low-energy excitations are investigated in the asymmetric two-leg ladder consisting of a Hubbard chain and a noninteracting tight-binding (Fermi) chain using the density matrix renormalization group method. The behavior of charge, spin and pairing correlations is discussed for the four phases found at half filling, namely, Luttinger liquid, Kondo-Mott insulator, spin-gapped Mott insulator and correlated band insulator. Quasi-long-range antiferromagnetic spin correlations are found in the Hubbard leg in the Luttinger liquid phase only. Pair-density-wave correlations are studied to understand the structure of bound pairs found in the Fermi leg of the spin-gapped Mott phase at half filling and at light doping but we find no enhanced pairing correlations. Low-energy excitations cause variations of spin and charge densities on both legs that demonstrate the confinement of the lowest charge excitations on the Fermi leg while the lowest spin excitations are localized on the Hubbard leg in the three insulating phases. The velocities of charge, spin, and single-particle excitations are investigated to clarify the confinement of elementary excitations in the Luttinger liquid phase. The observed spatial separation of elementary spin and charge excitations could facilitate the coexistence of different (quasi-)long-range orders in higher-dimensional extensions of the asymmetric Hubbard ladder.


title: Consensus-based joint target tracking and sensor localization

abstract: In this paper, consensus-based Kalman filtering is extended to deal with the problem of joint target tracking and sensor self-localization in a distributed wireless sensor network. The average weighted Kullback-Leibler divergence, which is a function of the unknown drift parameters, is employed as the cost to measure the discrepancy between the fused posterior distribution and the local distribution at each sensor. Further, a reasonable approximation of the cost is proposed and an online technique is introduced to minimize the approximated cost function with respect to the drift parameters stored in each node. The remarkable features of the proposed algorithm are that it needs no additional data exchanges, slightly increased memory space and computational load comparable to the standard consensus-based Kalman filter. Finally, the effectiveness of the proposed algorithm is demonstrated through simulation experiments on both a tree network and a network with cycles as well as for both linear and nonlinear sensors.


title: Chandra X-ray observation of the young stellar cluster NGC 3293 in the Carina Nebula Complex

abstract: We characterize the stellar population of the poorly explored young stellar cluster NGC 3293 at the northwestern periphery of the Carina Nebula Complex, in order to evaluate the cluster age and the mass function, and to test claims of an abnormal IMF and a deficit of M <= 2.5 M_sun stars. We performed a deep (70 ksec) X-ray observation of NGC 3293 with Chandra and detected 1026 individual X-ray point sources. We identify counterparts for 74% of the X-ray sources in deep near-infrared images. Our data clearly show that NGC 3293 hosts a large population of solar-mass stars, refuting claims of a lack of M <= 2.5 M_sun stars. The analysis of the color magnitude diagram suggests an age of ~8-10 Myr for the low-mass population of the cluster. There are at least 511 X-ray detected stars with color magnitude positions that are consistent with young stellar members within 7 arcmin of the cluster center. The number ratio of X-ray detected stars in the 1-2 M_sun range versus the M >= 5 M_sun stars (known from optical spectroscopy) is consistent with the expectation from a normal field initial mass function. Most of the early B-type stars and 20% of the later B-type stars are detected as X-ray sources. Our data shows that NGC 3293 is one of the most populous stellar clusters in the entire Carina Nebula Complex. The cluster probably harbored several O-type stars, whose supernova explosions may have had an important impact on the early evolution of the Carina Nebula Complex.


title: Analysis of Italian Word Embeddings

abstract: In this work we analyze the performances of two of the most used word embeddings algorithms, skip-gram and continuous bag of words on Italian language. These algorithms have many hyper-parameter that have to be carefully tuned in order to obtain accurate word representation in vectorial space. We provide an accurate analysis and an evaluation, showing what are the best configuration of parameters for specific tasks.


title: Electron spin resonance for the detection of long-range spin nematic order

abstract: In this paper we propose that electron spin resonance (ESR) measurements enable us to detect the long-range spin nematic order. We show that the frequency of the paramagnetic resonance peak in the ESR spectrum is shifted by the ferroquadrupolar order parameter together with other quantities. The ferroquadrupolar order parameter is extractable from the angular dependence of the frequency shift. In contrast, the antiferroquadrupolar order parameter is usually invisible in the frequency shift. Instead, the long-range antiferroquadrupolar order yields a characteristic resonance peak in the ESR spectrum, which we call a magnon-pair resonance peak. This resonance corresponds to the excitation of the bound magnon pair at the wave vector $\bm k={\bm 0}$. Reflecting the condensation of bound magnon pairs, the field dependence of the magnon-pair resonance frequency shows a singular upturn at the saturation field. Moreover, the intensity of the magnon-pair resonance peak shows a characteristic angular dependence and it vanishes when the magnetic field is parallel to one of the axes that diagonalize the weak anisotropic interactions. We confirm these general properties of the magnon-pair resonance peak in the spin nematic phase by studying an $S=1$ bilinear-biquadratic model on the square lattice in the linear flavor-wave approximation. In addition, we argue applications to the $S=1/2$ frustrated ferromagnets and also the $S=1/2$ orthogonal dimer spin system SrCu$_2$(BO$_3$)$_2$, both of which are candidate materials of spin nematics. Our theory for the antiferroquadrupolar ordered phase is consistent with many features of the magnon-pair resonance peak experimentally observed in the low-magnetization regime of SrCu$_2$(BO$_3$)$_2$.


title: Integrability of Liouville theory: proof of the DOZZ Formula

abstract: Dorn and Otto (1994) and independently Zamolodchikov and Zamolodchikov (1996) proposed a remarkable explicit expression, the so-called DOZZ formula, for the 3 point structure constants of Liouville Conformal Field Theory (LCFT), which is expected to describe the scaling limit of large planar maps properly embedded into the Riemann sphere. In this paper we give a proof of the DOZZ formula based on a rigorous probabilistic construction of LCFT in terms of Gaussian Multiplicative Chaos given earlier by F. David and the authors. This result is a fundamental step in the path to prove integrability of LCFT, i.e. to mathematically justify the methods of Conformal Bootstrap used by physicists. From the purely probabilistic point of view, our proof constitutes the first rigorous integrability result on Gaussian Multiplicative Chaos measures.


title: A note on surjectivity of piecewise affine mappings

abstract: A standard theorem in nonsmooth analysis states that a piecewise affine function $F:\mathbb R^n\rightarrow\mathbb R^n$ is surjective if it is coherently oriented in that the linear parts of its selection functions all have the same nonzero determinant sign. In this note we prove that surjectivity already follows from coherent orientation of the selection functions which are active on the unbounded sets of a polyhedral subdivision of the domain corresponding to $F$. A side bonus of the argumentation is a short proof of the classical statement that an injective piecewise affine function is coherently oriented.


title: Coherent frequency bridge between visible and telecommunications band of vortex light

abstract: In quantum communications, vortex photons can encode higher-dimensional quantum states and build high-dimensional communication networks (HDCNs). The interfaces that connect different wavelengths are significant in HDCNs. We construct a coherent orbital angular momentum (OAM) frequency bridge via difference frequency conversion in a nonlinear bulk crystal for HDCNs. Using a single resonant cavity, maximum quantum conversion efficiencies from visible to infrared are 36\%, 15\%, and 7.8\% for topological charges of 0,1, and 2, respectively. The average fidelity obtained using quantum state tomography for the down-converted infrared OAM-state of topological charge 1 is 96.51\%. We also prove that the OAM is conserved in this process by measuring visible and infrared interference patterns. This coherent OAM frequency-down conversion bridge represents a basis for an interface between two high-dimensional quantum systems operating with different spectra.


title: Bayesian inference for Stable Levy driven Stochastic Differential Equations with high-frequency data

abstract: In this article we consider parametric Bayesian inference for stochastic differential equations (SDE) driven by a pure-jump stable Levy process, which is observed at high frequency. In most cases of practical interest, the likelihood function is not available, so we use a quasi-likelihood and place an associated prior on the unknown parameters. It is shown under regularity conditions that there is a Bernstein-von Mises theorem associated to the posterior. We then develop a Markov chain Monte Carlo (MCMC) algorithm for Bayesian inference and assisted by our theoretical results, we show how to scale Metropolis-Hastings proposals when the frequency of the data grows, in order to prevent the acceptance ratio going to zero in the large data limit. Our algorithm is presented on numerical examples that help to verify our theoretical findings.


title: On {\sigma}-LCD codes

abstract: Linear complementary pairs (LCP) of codes play an important role in armoring implementations against side-channel attacks and fault injection attacks. One of the most common ways to construct LCP of codes is to use Euclidean linear complementary dual (LCD) codes. In this paper, we first introduce the concept of linear codes with $\sigma$ complementary dual ($\sigma$-LCD), which includes known Euclidean LCD codes, Hermitian LCD codes, and Galois LCD codes. As Euclidean LCD codes, $\sigma$-LCD codes can also be used to construct LCP of codes. We show that, for $q > 2$, all q-ary linear codes are $\sigma$-LCD and that, for every binary linear code $\mathcal C$, the code $\{0\}\times \mathcal C$ is $\sigma$-LCD. Further, we study deeply $\sigma$-LCD generalized quasi-cyclic (GQC) codes. In particular, we provide characterizations of $\sigma$-LCD GQC codes, self-orthogonal GQC codes and self-dual GQC codes, respectively. Moreover, we provide constructions of asymptotically good $\sigma$-LCD GQC codes. Finally, we focus on $\sigma$-LCD Abelian codes and prove that all Abelian codes in a semi-simple group algebra are $\sigma$-LCD. The results derived in this paper extend those on the classical LCD codes and show that $\sigma$-LCD codes allow the construction of LCP of codes more easily and with more flexibility.


title: Entanglement-enhanced quantum metrology in a noisy environment

abstract: Quantum metrology overcomes standard precision limits and plays a central role in science and technology. Practically it is vulnerable to imperfections such as decoherence. Here, we demonstrate quantum metrology for noisy channels such that entanglement with ancillary qubits enhances the quantum Fisher information for phase estimation but not otherwise. Our photonic experiment covers a range of noise for various types of channels, including for two randomly alternating channels such that assisted entanglement fails for each noisy channel individually. We have simulated noisy channels by implementing space-multiplexed dual interferometers with quantum photonic inputs. We have demonstrated the advantage of entanglement-assisted protocols in phase estimation experiment run with either single-probe or multi-probe approach. These results establish that entanglement with ancillae is a valuable approach for delivering quantum-enhanced metrology. Our new approach to entanglement-assisted quantum metrology via a simple linear-optical interferometric network with easy-to-prepare photonic inputs provides a path towards practical quantum metrology.


title: D = 1 supergravity and quantum cosmology

abstract: Using a D = 1 supergravity framework I construct a super-Friedmann equation for an isotropic and homogenous universe including dynamical scalar fields. In the context of quantum theory this becomes an equation for a wave-function of the universe of spinorial type, the Wheeler-DeWitt- Dirac equation. It is argued that a cosmological constant breaks a certain chiral symmetry of this equation, a symmetry in the Hilbert space of universe states, which could protect a small cosmological constant from being affected by large quantum corrections.


title: Experimental ancilla-assisted phase-estimation in a noisy channel

abstract: The metrological ability of carefully designed probes can be spoilt by the presence of noisy processes occurring during their evolution. The noise is responsible for altering the evolution of the probes in such a way that bear little or no information on the parameter of interest, hence spoiling the signal-to-noise ratio of any possible measurement. Here we show an experiment in which the introduction of an ancilla improves the estimation of an optical phase in the high-noise regime. The advantage is realised by the coherent coupling of the probe and the ancilla at the initialisation and the measurement state, which generate and then select a subset of overall configurations less affected by the noise process.


title: Improving pointing of Toru\'n 32-m radio telescope: effects of rail surface irregularities

abstract: Over the last few years a number of software and hardware improvements have been implemented to the 32-m Cassegrain radio telescope located near Toru\'n. The 19-bit angle encoders have been upgraded to 29-bit in azimuth and elevation axes. The control system has been substantially improved, in order to account for a number of previously-neglected, astrometric effects that are relevant for milli-degree pointing. In the summer 2015, as a result of maintenance works, the orientation of the secondary mirror has been slightly altered, which resulted in worsening of the pointing precision, much below the nominal telescope capabilities. In preparation for observations at the highest available frequency of 30-GHz, we use One Centimeter Receiver Array (OCRA), to take the most accurate pointing data ever collected with the telescope, and we analyze it in order to improve the pointing precision. We introduce a new generalized pointing model that, for the first time, accounts for the rail irregularities, and we show that the telescope can have root mean square pointing accuracy at the level ${<}8"$ and ${<}12"$ in azimuth and elevation respectively. Finally, we discuss the implemented pointing improvements in the light of effects that may influence their long-term stability.


title: A note on minimal dispersion of point sets in the unit cube

abstract: We study the dispersion of a point set, a notion closely related to the discrepancy. Given a real $r\in (0,1)$ and an integer $d\geq 2$, let $N(r,d)$ denote the minimum number of points inside the $d$-dimensional unit cube $[0,1]^d$ such that they intersect every axis-aligned box inside $[0,1]^d$ of volume greater than $r$. We prove an upper bound on $N(r,d)$, matching a lower bound of Aistleitner et al. up to a multiplicative constant depending only on $r$. This fully determines the rate of growth of $N(r,d)$ if $r\in(0,1)$ is fixed.


title: Max- relative entropy of coherence: an operational coherence measure

abstract: The operational characterization of quantum coherence is the corner stone in the development of resource theory of coherence. We introduce a new coherence quantifier based on max-relative entropy. We prove that max-relative entropy of coherence is directly related to the maximum overlap with maximally coherent states under a particular class of operations, which provides an operational interpretation of max-relative entropy of coherence. Moreover, we show that, for any coherent state, there are examples of subchannel discrimination problems such that this coherent state allows for a higher probability of successfully discriminating subchannels than that of all incoherent states. This advantage of coherent states in subchannel discrimination can be exactly characterized by the max-relative entropy of coherence. By introducing suitable smooth max-relative entropy of coherence, we prove that the smooth max-relative entropy of coherence provides a lower bound of one-shot coherence cost, and the max-relative entropy of coherence is equivalent to the relative entropy of coherence in asymptotic limit. Similar to max-relative entropy of coherence, min-relative entropy of coherence has also been investigated. We show that the min-relative entropy of coherence provides an upper bound of one-shot coherence distillation, and in asymptotic limit the min-relative entropy of coherence is equivalent to the relative entropy of coherence.


title: Phonon-bond strength imperfection scattering mechanism in nanostructures

abstract: Because of high surface-to-volume ratio, the most prominent size effect limiting thermal transport originates from phonon-surface scattering in nanostructures. Herein we propose the mechanism of phonon scattering by the bond strength imperfections on surface of nanostructures, and derive the phonon scattering rate of this mechanism by quantum perturbation theory combining with bond order theory. By incorporating this phonon-surface scattering mechanism to phonon Boltzmann transport equation, we calculate the thermal conductivity of silicon thin films and silicon nanowires, and find that the calculated results by our model are more close to the experimental data than those by classical phonon-boundary scattering model. Our findings are helpful not only for understanding the mechanism of phonon-surface scattering, but also for manipulating thermal transport in nanostructures by surface engineering.


title: Effects of magnetic drifts on ion transport in turbulent tokamak plasmas

abstract: The stochastic advection of low energy deuterium ions is studied in a three dimensional realistic turbulence model in conditions relevant for current tokamak fusion experiments. The diffusion coefficients are calculated starting from the test particles trajectories in the framework of the semi-analitical statistical model called the Decorrelation Trajectory Method. We show that trajectory trapping determined by the space correlation of the velocity field is the main cause for anomalous diffusion and we obtain the transport regimes corresponding to different values of the parameters of the turbulence model and a trapping condition in the limit of frozen turbulence. Depending on the value of the parameters of the model, the interaction between turbulence and magnetic drifts leads to both an increase (with transport in the poloidal direction increasing up to an order of magnitude) and a decrease of the particle transport.


title: Synchrotron radiation induced magnetization in magnetically-doped and pristine topological insulators

abstract: Quantum mechanics postulates that any measurement influences the state of the investigated system. Here, by means of angle-, spin-, and time-resolved photoemission experiments and ab initio calculations we demonstrate how non-equal depopulation of the Dirac cone (DC) states with opposite momenta in V-doped and pristine topological insulators (TIs) created by a photoexcitation by linearly polarized synchrotron radiation (SR) is followed by the hole-generated uncompensated spin accumulation and the SR-induced magnetization via the spin-torque effect. We show that the photoexcitation of the DC is asymmetric, that it varies with the photon energy, and that it practically does not change during the relaxation. We find a relation between the photoexcitation asymmetry, the generated spin accumulation and the induced spin polarization of the DC and V 3d states. Experimentally the SR-generated in-plane and out-of-plane magnetization is confirmed by the $k_{\parallel}$-shift of the DC position and by the splitting of the states at the Dirac point even above the Curie temperature. Theoretical predictions and estimations of the measurable physical quantities substantiate the experimental results.


title: Production of intense episodic Alfv\'en pulses: GRMHD simulation of black hole accretion disks

abstract: The episodic dynamics of the magnetic eruption of a spinning black hole (BH) accretion disks and its associated intense shapeup of their jets is studied via three-dimensional general-relativistic magnetohydrodynamics (GRMHD). The embedded magnetic fields in the disk get amplified by the magnetorotational instability (MRI) so large as to cause an eruption of magnetic field (recconection) and large chunks of matter episodically accrete toward the roots of the jets upon such an event. We also find that the eruption events produce intensive Alfv\'en pulses, which propagate through the jets. After the eruption, the disk backs to the weakly magnetic states. Such disk activities cause short time variabilities in mass accretion rate at the event horizon as well as electromagnetic luminosity inside the jet. Since the dimensionless strength parameter $a_0=eE/m_e \omega c$ of these Alfv\'en wave pulses is extremely high for a substantial fraction of Eddington accretion rate accretion flow onto a supermassive black hole, the Alfv\'en shocks turn into ultrarelativistic $(a_0\gg 1)$ bow wake acceleration, manifesting into the ultra-high energy cosmic rays and electrons which finally emit gamma-rays. Since our GRMHD model has universality in its spatial and temporal scales, it is applicable to a wide range of astrophysical objects ranging from those of AGN (which is the primary target of this research), to micro-quasars. Properties such as time variabilities of blazar gamma-ray flares and spectrum observed by {\it Fermi} Gamma-ray Observatory are well explained by linear acceleration of electrons by the bow wake.


title: Sanity check for $NN$ bound states in lattice QCD with L\"uscher's finite volume formula -- Exposing Symptoms of Fake Plateaux --

abstract: A sanity check rules out certain types of obviously false results, but does not catch every possible error. After reviewing such a sanity check for $NN$ bound states with the L\"uscher's finite volume formula[1-3], we give further evidences for the operator dependence of plateaux, a symptom of the fake plateau problem, against the claim in [4]. We then present our critical comments on [5] by NPLQCD: (i) Operator dependences of plateaux in NPL2013[6,7] exist with the $P$-values of 4--5%. (ii) The volume independence of plateaux in NPL2013 does not prove their correctness. (iii) Effective range expansion (ERE) fits in NPL2013 violate the physical pole condition. (iv) Ref.[5] is partly based on new data and analysis different from the original ones[6,7]. (v) A new ERE in Refs.[5,8] does not satisfy the L\"uscher's finite volume formula. [1] T. Iritani et al., JHEP 10 (2016) 101. [2] S. Aoki et al., PoS (LATTICE2016) 109. [3] T. Iritani et al., 1703.0720. [4] T. Yamazaki et al., PoS (LATTICE2017) 108. [5] S.R. Beane et al., 1705.09239. [6] S.R. Beane et al., PRD87 (2013) 034506. [7] S.R. Beane et al., PRC88 (2013) 024003. [8] M.L. Wagman et al., 1706.06550.


title: Hitomi X-ray studies of Giant Radio Pulses from the Crab pulsar

abstract: To search for giant X-ray pulses correlated with the giant radio pulses (GRPs) from the Crab pulsar, we performed a simultaneous observation of the Crab pulsar with the X-ray satellite Hitomi in the 2 -- 300 keV band and the Kashima NICT radio observatory in the 1.4 -- 1.7 GHz band with a net exposure of about 2 ks on 25 March 2016, just before the loss of the Hitomi mission.The timing performance of the Hitomi instruments was confirmed to meet the timing requirement and about 1,000 and 100 GRPs were simultaneously observed at the main and inter-pulse phases, respectively, and we found no apparent correlation between the giant radio pulses and the X-ray emission in either the main or inter-pulse phases.All variations are within the 2 sigma fluctuations of the X-ray fluxes at the pulse peaks, and the 3 sigma upper limits of variations of main- or inter- pulse GRPs are 22\% or 80\% of the peak flux in a 0.20 phase width, respectively, in the 2 -- 300 keV band.The values become 25\% or 110\% for main or inter-pulse GRPs, respectively, when the phase width is restricted into the 0.03 phase.Among the upper limits from the Hitomi satellite, those in the 4.5-10 keV and the 70-300 keV are obtained for the first time, and those in other bands are consistent with previous reports.Numerically, the upper limits of main- and inter-pulse GRPs in the 0.20 phase width are about (2.4 and 9.3) $\times 10^{-11}$ erg cm$^{-2}$, respectively. No significant variability in pulse profiles implies that the GRPs originated from a local place within the magnetosphere and the number of photon-emitting particles temporally increases.However, the results do not statistically rule out variations correlated with the GRPs, because the possible X-ray enhancement may appear due to a $>0.02$\% brightening of the pulse-peak flux under such conditions.


title: Impact of Correlation between Interferers on Coverage Probability and rate in Cellular Systems

abstract: When the user channel experiences Nakagami-m fading, the coverage probability expressions are theoretically compared for the following cases: (i). The N interferers are independent $\eta$-$\mu$ random variables (RVs). (ii). The N interferers are correlated $\eta$-$\mu$ RVs. It is analytically shown that the coverage probability in the presence of correlated interferers is greater than or equal to the coverage probability in the presence of independent interferers when the shape parameter of the channel between the user and its base station (BS) is not greater than one. Further, rate is compared for the following cases: (i). The user channel experiences $\eta$-$\mu$ RV and the $N$ interferers are independent $\eta$-$\mu$ RVs. (ii). The N interferers are correlated $\eta$-$\mu$ RVs. It is analytically shown that the rate in the presence of correlated interferers is greater than or equal to the rate in the presence of independent interferers. Simulation results are provided and these match with the obtained theoretical results. The utility of our results are also discussed.


title: Inversions for Deep Solar Meridional Flow Using Spherical Born Kernels

abstract: The solar meridional flow is a crucial ingredient in modern dynamo theory. Seismic estimates of this flow have, however, been contradictory in deeper layers below about $0.9\,R_\odot$. Results from time-distance helioseismology have so far been obtained using the ray approximation. Here, we perform inversions using the Born approximation. The initial result is similar to the result previously obtained by Jackiewicz et al. (2015) using ray kernels while using the same set of GONG data and the SOLA inversion technique. However, we show that the assumption of uncorrelated measurements used in earlier studies may lead to inversion errors being underestimated by a factor of about two to four. In a second step, refined inversions are performed using the full covariance matrix and a regularization for cross-talk. As the results are found to depend on the threshold used in the singular value decomposition, they were obtained for a medium threshold ($10^{-7}-10^{-5}$, about 50% of the values used) and a threshold lower by a factor of 10 (about 70% of the values used). The result obtained with the medium threshold is again similar to the original, with less latitudinal variation. However, using the lower threshold, the inverted flow in the southern hemisphere shows two or three cells stacked radially depending on the associated radial flows. Both the single-cell and the multi-cell profiles are consistent with the measured travel times. All our results confirm a shallow return flow at about $0.9\,R_\odot$.


title: Quantum critical metrology

abstract: Quantum metrology fundamentally relies upon the efficient management of quantum uncertainties. We show that, under equilibrium conditions, the management of quantum noise becomes extremely flexible around the quantum critical point of a quantum many-body system: this is due to the critical divergence of quantum fluctuations of the order parameter, which, via Heisenberg's inequalities, may lead to the critical suppression of the fluctuations in conjugate observables. Taking the quantum Ising model as the paradigmatic incarnation of quantum phase transitions, we show that it exhibits quantum critical squeezing of one spin component, providing a scaling for the precision of interferometric parameter estimation which, in dimensions $d \geq 2$, lies in between the standard quantum limit and the Heisenberg limit. Quantum critical squeezing saturates the maximum metrological gain allowed by the quantum Fisher information in $d=\infty$ (or with infinite-range interactions) at all temperatures, and it approaches closely the bound in a broad range of temperatures in $d=2$ and 3. This demonstrates the immediate metrological potential of equilibrium many-body states close to quantum criticality, which are accessible \emph{e.g.} to atomic quantum simulators via elementary adiabatic protocols.


title: Automatic differential analysis of NMR experiments in complex samples

abstract: Liquid state NMR is a powerful tool for the analysis of complex mixtures of unknown molecules. This capacity has been used in many analytical approaches: metabolomics, identification of active compounds in natural extracts, characterization of species, and such studies require the acquisition of many diverse NMR measurements on series of samples. While acquisition can easily be performed automatically, the number of NMR experiments involved in these studies increases very rapidly and this data avalanche requires to resort to automatic processing and analysis. We present here a program that allows the autonomous, unsupervised processing of a large corpus of 1D, 2D and DOSY experiments from a series of samples acquired in different conditions. The program provides all the signal processing steps, as well as peak-picking and bucketing of 1D and 2D spectra, the program and its components are fully available. In an experiment mimicking the search of an active species in natural extract, we use it for the automatic detection of small amounts of artemisin added to a series of plant extracts, and for the generation of the spectral fingerprint of this molecules. This program called Plasmodesma is a novel tool which should be useful to decipher complex mixtures, particularly in the discovery of biologically active natural products from plants extracts, but can also in drug discovery or metabolomics studies.


title: Morphology of Seyfert Galaxies

abstract: We probed the relation between properties of Seyfert nuclei and morphology of their host galaxies. We selected Seyfert galaxies from the Sloan Digital Sky Survey with redshifts less 0.2 identified by the V\'{e}ron Catalog (13th). We used the "{\it{FracDev}}" parameter from SDSS galaxy fitting models to represent the bulge fractions of the Seyfert host galaxies. We found that the host galaxies of Seyfert 1 and Seyfert 2 are dominated by large bulge fractions, and Seyfert 2 galaxies are more likely to be located in disk galaxies whereas most of the Seyfert 1 galaxies are located in bulge-dominant galaxies. These results indicate that the types of AGNs are related to their host galaxies and can not be explained by the traditional unification model of Seyfert galaxies.


title: Nearest Common Ancestors: Universal Trees and Improved Labeling Schemes

abstract: We investigate the nearest common ancestor (NCA) function in rooted trees. As the main conceptual contribution, the paper introduces universal trees for the NCA function: For a given family of rooted trees, an NCA-universal tree $S$ is a rooted tree such that any tree $T$ of the family can be embedded into $S$ such that the embedding of the NCA in $T$ of two nodes of $T$ is equal to the NCA in $S$ of the embeddings of the two nodes. As the main technical result we give explicit constructions of NCA-universal trees of size $n^{2.318}$ for the family of rooted $n$-vertex trees and of size $n^{1.894}$ for the family of rooted binary $n$-vertex trees. A direct consequence is the explicit construction of NCA-labeling schemes with labels of size $2.318\log_2 n$ and $1.894\log_2 n$ for the two families of rooted trees. This improves on the best known such labeling schemes established by Alstrup, Halvorsen and Larsen [SODA 2014].


title: Pointwise-in-time error estimates for an optimal control problem with subdiffusion constraint

abstract: In this work, we present numerical analysis for a distributed optimal control problem, with box constraint on the control, governed by a subdiffusion equation which involves a fractional derivative of order $\alpha\in(0,1)$ in time. The fully discrete scheme is obtained by applying the conforming linear Galerkin finite element method in space, L1 scheme/backward Euler convolution quadrature in time, and the control variable by a variational type discretization. With a space mesh size $h$ and time stepsize $\tau$, we establish the following order of convergence for the numerical solutions of the optimal control problem: $O(\tau^{\min({1}/{2}+\alpha-\epsilon,1)}+h^2)$ in the discrete $L^2(0,T;L^2(\Omega))$ norm and $O(\tau^{\alpha-\epsilon}+\ell_h^2h^2)$ in the discrete $L^\infty(0,T;L^2(\Omega))$ norm, with any small $\epsilon>0$ and $\ell_h=\ln(2+1/h)$. The analysis relies essentially on the maximal $L^p$-regularity and its discrete analogue for the subdiffusion problem. Numerical experiments are provided to support the theoretical results.


title: A remark on the Bismut-Ricci form on 2-step nilmanifolds

abstract: In this note we observe that on a 2-step nilpotent Lie group equipped with a left-invariant SKT structure the (1,1)-part of the Bismut-Ricci form is seminegative definite. As application we give a simplified proof of the non-existence of invariant SKT static metrics on 2-step nilmanifolds and of the existence of a long time solution to the pluriclosed flow in 2-step nilmanifolds.


title: Detection of Trending Topic Communities: Bridging Content Creators and Distributors

abstract: The rise of a trending topic on Twitter or Facebook leads to the temporal emergence of a set of users currently interested in that topic. Given the temporary nature of the links between these users, being able to dynamically identify communities of users related to this trending topic would allow for a rapid spread of information. Indeed, individual users inside a community might receive recommendations of content generated by the other users, or the community as a whole could receive group recommendations, with new content related to that trending topic. In this paper, we tackle this challenge, by identifying coherent topic-dependent user groups, linking those who generate the content (creators) and those who spread this content, e.g., by retweeting/reposting it (distributors). This is a novel problem on group-to-group interactions in the context of recommender systems. Analysis on real-world Twitter data compare our proposal with a baseline approach that considers the retweeting activity, and validate it with standard metrics. Results show the effectiveness of our approach to identify communities interested in a topic where each includes content creators and content distributors, facilitating users' interactions and the spread of new information.


title: Instability, rupture and fluctuations in thin liquid films: Theory and computations

abstract: Thin liquid films are ubiquitous in natural phenomena and technological applications. They have been extensively studied via deterministic hydrodynamic equations, but thermal fluctuations often play a crucial role that needs to be understood. An example of this is dewetting, which involves the rupture of a thin liquid film and the formation of droplets. Such a process is thermally activated and requires fluctuations to be taken into account self-consistently. In this work we present an analytical and numerical study of a stochastic thin-film equation derived from first principles. Following a brief review of the derivation, we scrutinise the behaviour of the equation in the limit of perfectly correlated noise along the wall-normal direction. The stochastic thin-film equation is also simulated by adopting a numerical scheme based on a spectral collocation method. The scheme allows us to explore the fluctuating dynamics of the thin film and the behaviour of its free energy in the vicinity of rupture. Finally, we also study the effect of the noise intensity on the rupture time, which is in agreement with previous works.


title: Holographic constraints on Bjorken hydrodynamics at finite coupling

abstract: In large-$N_c$ conformal field theories with classical holographic duals, inverse coupling constant corrections are obtained by considering higher-derivative terms in the corresponding gravity theory. In this work, we use type IIB supergravity and bottom-up Gauss-Bonnet gravity to study the dynamics of boost-invariant Bjorken hydrodynamics at finite coupling. We analyze the time-dependent decay properties of non-local observables (scalar two-point functions and Wilson loops) probing the different models of Bjorken flow and show that they can be expressed generically in terms of a few field theory parameters. In addition, our computations provide an analytically quantifiable probe of the coupling-dependent validity of hydrodynamics at early times in a simple model of heavy-ion collisions, which is an observable closely analogous to the hydrodynamization time of a quark-gluon plasma. We find that to third order in the hydrodynamic expansion, the convergence of hydrodynamics is improved and that generically, as expected from field theory considerations and recent holographic results, the applicability of hydrodynamics is delayed as the field theory coupling decreases.


title: A Comparative Study of the Clinical use of Motion Analysis from Kinect Skeleton Data

abstract: The analysis of human motion as a clinical tool can bring many benefits such as the early detection of disease and the monitoring of recovery, so in turn helping people to lead independent lives. However, it is currently under used. Developments in depth cameras, such as Kinect, have opened up the use of motion analysis in settings such as GP surgeries, care homes and private homes. To provide an insight into the use of Kinect in the healthcare domain, we present a review of the current state of the art. We then propose a method that can represent human motions from time-series data of arbitrary length, as a single vector. Finally, we demonstrate the utility of this method by extracting a set of clinically significant features and using them to detect the age related changes in the motions of a set of 54 individuals, with a high degree of certainty (F1- score between 0.9 - 1.0). Indicating its potential application in the detection of a range of age-related motion impairments.


title: Representation-Aggregation Networks for Segmentation of Multi-Gigapixel Histology Images

abstract: Convolutional Neural Network (CNN) models have become the state-of-the-art for most computer vision tasks with natural images. However, these are not best suited for multi-gigapixel resolution Whole Slide Images (WSIs) of histology slides due to large size of these images. Current approaches construct smaller patches from WSIs which results in the loss of contextual information. We propose to capture the spatial context using novel Representation-Aggregation Network (RAN) for segmentation purposes, wherein the first network learns patch-level representation and the second network aggregates context from a grid of neighbouring patches. We can use any CNN for representation learning, and can utilize CNN or 2D-Long Short Term Memory (2D-LSTM) for context-aggregation. Our method significantly outperformed conventional patch-based CNN approaches on segmentation of tumour in WSIs of breast cancer tissue sections.


title: Morphisms of Butson classes

abstract: We introduce the concept of a morphism from the set of Butson Hadamard matrices over kth roots of unity to the set of Butson matrices over $\ell$th roots of unity. As concrete examples of such morphisms, we describe tensor-product-like maps which reduce the order of the roots of unity appearing in a Butson matrix at the cost of increasing the dimension. Such maps can be constructed from Butson matrices with eigenvalues satisfying certain natural conditions. Our work unifies and generalises Turyn's construction of real Hadamard matrices from Butson matrices over the 4th roots and the work of Compton, Craigen and de Launey on `unreal' Butson matrices over the 6th roots. As a case study, we classify all morphisms from the set of $n \times n$ Butson matrices over kth roots of unity to the set of $2n\times 2n$ Butson matrices over $\ell$th roots of unity where $\ell < k$.


title: Food Ingredients Recognition through Multi-label Learning

abstract: Automatically constructing a food diary that tracks the ingredients consumed can help people follow a healthy diet. We tackle the problem of food ingredients recognition as a multi-label learning problem. We propose a method for adapting a highly performing state of the art CNN in order to act as a multi-label predictor for learning recipes in terms of their list of ingredients. We prove that our model is able to, given a picture, predict its list of ingredients, even if the recipe corresponding to the picture has never been seen by the model. We make public two new datasets suitable for this purpose. Furthermore, we prove that a model trained with a high variability of recipes and ingredients is able to generalize better on new data, and visualize how it specializes each of its neurons to different ingredients.


title: Leveraging Demonstrations for Deep Reinforcement Learning on Robotics Problems with Sparse Rewards

abstract: We propose a general and model-free approach for Reinforcement Learning (RL) on real robotics with sparse rewards. We build upon the Deep Deterministic Policy Gradient (DDPG) algorithm to use demonstrations. Both demonstrations and actual interactions are used to fill a replay buffer and the sampling ratio between demonstrations and transitions is automatically tuned via a prioritized replay mechanism. Typically, carefully engineered shaping rewards are required to enable the agents to efficiently explore on high dimensional control problems such as robotics. They are also required for model-based acceleration methods relying on local solvers such as iLQG (e.g. Guided Policy Search and Normalized Advantage Function). The demonstrations replace the need for carefully engineered rewards, and reduce the exploration problem encountered by classical RL approaches in these domains. Demonstrations are collected by a robot kinesthetically force-controlled by a human demonstrator. Results on four simulated insertion tasks show that DDPG from demonstrations out-performs DDPG, and does not require engineered rewards. Finally, we demonstrate the method on a real robotics task consisting of inserting a clip (flexible object) into a rigid object.


title: A note on strong approximation of SDEs with smooth coefficients that have at most linearly growing derivatives

abstract: Recently, it has been shown in [Jentzen, A., M\"uller-Gronbach, T., and Yaroslavtseva, L., Commun. Math. Sci., 14, 2016] that there exists a system of autonomous stochastic differential equations (SDE) on the time interval $[0,T]$ with infinitely differentiable and bounded coefficients such that no strong approximation method based on evaluation of the driving Brownian motion at finitely many fixed times in $[0,T]$, e.g. on an equidistant grid, can converge in absolute mean to the solution at the final time with a polynomial rate in terms of the number of Brownian motion values that are used. In the literature on strong approximation of SDEs, polynomial error rate results are typically achieved under the assumption that the first order derivatives of the coefficients of the equation satisfy a polynomial growth condition. This assumption is violated for the pathological SDEs from the above mentioned negative result. However, in the present article we construct an SDE with smooth coefficients that have first order derivatives of at most linear growth such that the solution at the final time can not be approximated with a polynomial rate, whatever method based on observations of the driving Brownian motion at finitely many fixed times is used. Most interestingly, it turns out that using a method that adjusts the number of evaluations of the driving Brownian motion to its actual path, the latter SDE can be approximated with rate 1 in terms of the average number of evaluations that are used. To the best of our knowledge, this is only the second example in the literature of an SDE for which there exist adaptive methods that perform superior to non-adaptive ones with respect to the convergence rate.