title: Relay-aided Random Access for Energy-Limited Devices in the IoT

abstract: In the Internet-of-Things (IoT), random access is employed for devices to share a common access channel in packet transmission with low signaling overhead. Although a retransmission strategy is necessary for packet collision resolution, it might be prohibitive for some devices due to energy and complexity constraints. In this paper, we consider a novel relay-aided random access (RARA) scheme where re-transmissions are carried out by relay nodes, not devices. Thanks to multipacket reception with multiple copies of collided signals forwarded by relay nodes, a receiver is able to recover multiple collided packets simultaneously in RARA. As a result, devices of limited complexity and energy source can enjoy reliable transmission using RARA, and the throughput can approach 1 with a large number of relay nodes.


title: Automatic Radiology Report Generation based on Multi-view Image Fusion and Medical Concept Enrichment

abstract: Generating radiology reports is time-consuming and requires extensive expertise in practice. Therefore, reliable automatic radiology report generation is highly desired to alleviate the workload. Although deep learning techniques have been successfully applied to image classification and image captioning tasks, radiology report generation remains challenging in regards to understanding and linking complicated medical visual contents with accurate natural language descriptions. In addition, the data scales of open-access datasets that contain paired medical images and reports remain very limited. To cope with these practical challenges, we propose a generative encoder-decoder model and focus on chest x-ray images and reports with the following improvements. First, we pretrain the encoder with a large number of chest x-ray images to accurately recognize 14 common radiographic observations, while taking advantage of the multi-view images by enforcing the cross-view consistency. Second, we synthesize multi-view visual features based on a sentence-level attention mechanism in a late fusion fashion. In addition, in order to enrich the decoder with descriptive semantics and enforce the correctness of the deterministic medical-related contents such as mentions of organs or diagnoses, we extract medical concepts based on the radiology reports in the training data and fine-tune the encoder to extract the most frequent medical concepts from the x-ray images. Such concepts are fused with each decoding step by a word-level attention model. The experimental results conducted on the Indiana University Chest X-Ray dataset demonstrate that the proposed model achieves the state-of-the-art performance compared with other baseline approaches.


title: Massive White Dwarfs in the Galactic Center: A Chandra X-ray Spectroscopy of Cataclysmic Variables

abstract: Previous X-ray observations toward the Nuclear Star Cluster (NSC) at the Galactic center have discovered thousands of point sources, most of which were believed to be cataclysmic variables (CVs), i.e., a white dwarf (WD) accreting from a low-mass companion. However, the population properties of these CVs remain unclear, which otherwise contain important information about the evolutionary history of the NSC. In this work we utilize ultradeep archival \textit{Chandra} observations to study the spectral properties of the NSC CVs, in close comparison with those in the Solar vicinity. We find that the NSC CVs have strong Fe XXV and Fe XXVI lines (both of which show equivalent widths $\sim200-300$ eV), indicating metal-rich companions. Moreover, their Fe XXVI to Fe XXV line flux ratio is used to diagnose the characteristic white dwarf mass ($M_{\rm WD}$) of NSC CVs. The results show that the CVs with $L_{\rm 2-10 keV}>6\times10^{31}$ erg s$^{-1}$ have a mean $M_{\rm WD}$ of $\sim0.6/1.0\,M_{\odot}$ if they are magnetic/non-magnetic CVs; while those with $L_{\rm 2-10 keV}$ between $1-6\times10^{31}$ erg s$^{-1}$ have a mean $M_{\rm WD}$ of $\sim0.8/1.2\,M_{\odot}$ if they are magnetic/non-magnetic CVs. All these \textit{Chandra}-detected CVs collectively contribute $\sim$30-50\% of the unresolved 20-40 keV X-ray emission from the NSC. The CV population with massive (i.e., $M_{\rm WD}\sim1.2M_{\odot}$) WDs have not been observed in the Solar vicinity or the Galactic bulge, and they might have been formed via dynamical encounters in the NSC.


title: Enumerating pencils with moving ramification on curves

abstract: We consider the general problem of enumerating branched covers of the projective line from a fixed general curve subject to ramification conditions at possibly moving points. Our main computations are in genus 1; the theory of limit linear series allows one to reduce to this case. We first obtain a simple formula for a weighted count of pencils on a fixed elliptic curve E, where base-points are allowed. We then deduce, using an inclusion-exclusion procedure, formulas for the numbers of maps E->P^1 with moving ramification conditions. A striking consequence is the invariance of these counts under a certain involution. Our results generalize work of Harris, Logan, Osserman, and Farkas-Moschetti-Naranjo-Pirola.


title: Thermal Conductivity Modeling using Machine Learning Potentials: Application to Crystalline and Amorphous Silicon

abstract: First-principles based modeling on phonon dynamics and transport using density functional theory and Boltzmann transport equation has proven powerful in predicting thermal conductivity of crystalline materials, but it remains unfeasible for modeling complex crystals and disordered solids due to the prohibitive computational cost to capture the disordered structure, especially when the quasiparticle "phonon" model breaks down. Recently, machine-learning regression algorithms show great promises for building high-accuracy potential fields for atomistic modeling with length and time scales far beyond those achievable by first-principles calculations. In this work, using both crystalline and amorphous silicon as examples, we develop machine learning based potential fields for predicting thermal conductivity. The machine learning based interatomic potential is derived from density functional theory calculations by stochastically sampling the potential energy surface in the configurational space. The thermal conductivities of both amorphous and crystalline silicon are then calculated using equilibrium molecular dynamics, which agree well with experimental measurements. This work documents the procedure for training the machine-learning based potentials for modeling thermal conductivity, and demonstrates that machine-learning based potential can be a promising tool for modeling thermal conductivity of both crystalline and amorphous materials with strong disorder.


title: Enabling martian habitability with silica aerogel via the solid-state greenhouse effect

abstract: The low temperatures and high ultraviolet (UV) radiation levels at the surface of Mars today currently preclude the survival of life anywhere except perhaps in limited subsurface niches. Several ideas for making the martian surface more habitable have been put forward previously, but they all involve massive environmental modification that will be well beyond human capability for the foreseeable future. Here we present a new approach to this problem. We show that widespread regions of the surface of Mars could be made habitable to photosynthetic life in the future via a solid-state analogue to Earth's atmospheric greenhouse effect. Specifically, we demonstrate via experiments and modelling that under martian environmental conditions, a 2 to 3-cm thick layer of silica (SiO2) aerogel will simultaneously transmit sufficient visible light for photosynthesis, block hazardous ultraviolet radiation, and raise temperatures underneath permanently to above the melting point of water, without the need for any internal heat source. Placing silica aerogel shields over sufficiently ice-rich regions of the martian surface could therefore allow photosynthetic life to survive there with minimal subsequent intervention. This regional approach to making Mars habitable is much more achievable than global atmospheric modification. In addition, it can be developed systematically starting from minimal resources, and can be further tested in extreme environments on Earth today.


title: A Pseudo-Marginal Metropolis-Hastings Algorithm for Estimating Generalized Linear Models in the Presence of Missing Data

abstract: The missing data issue often complicates the task of estimating generalized linear models (GLMs). We describe why the pseudo-marginal Metropolis-Hastings algorithm, used in this setting, is an effective strategy for parameter estimation. This approach requires fewer assumptions, it provides joint inferences on the parameters in the likelihood, the covariate model, and the parameters of the missingness-mechanism, and there is no logical inconsistency of assuming that there are multiple posterior distributions. Moreover, this approach is asymptotically exact, just like most other Markov chain Monte Carlo techniques. We discuss computing strategies, conduct a simulation study demonstrating how standard errors change as a function of percent missingness, and we use our approach on a "real-world" data set to describe how a collection of variables influences the car crash outcomes.


title: Text-to-Viz: Automatic Generation of Infographics from Proportion-Related Natural Language Statements

abstract: Combining data content with visual embellishments, infographics can effectively deliver messages in an engaging and memorable manner. Various authoring tools have been proposed to facilitate the creation of infographics. However, creating a professional infographic with these authoring tools is still not an easy task, requiring much time and design expertise. Therefore, these tools are generally not attractive to casual users, who are either unwilling to take time to learn the tools or lacking in proper design expertise to create a professional infographic. In this paper, we explore an alternative approach: to automatically generate infographics from natural language statements. We first conducted a preliminary study to explore the design space of infographics. Based on the preliminary study, we built a proof-of-concept system that automatically converts statements about simple proportion-related statistics to a set of infographics with pre-designed styles. Finally, we demonstrated the usability and usefulness of the system through sample results, exhibits, and expert reviews.


title: The counting matrix of a simplicial complex

abstract: For a finite abstract simplicial complex G with n sets, define the n x n matrix K(x,y) which is the number of subsimplices in the intersection of x and y. We call it the counting matrix of G. Similarly as the connection matrix L which is L(x,y)=1 if x and y intersect and 0 else, the counting matrix K is unimodular. Actually, K is always in SL(n,Z). The inverse of K has the Green function entries K^(-1)(x,y)=w(x) w(y) |W^+(x) intersected W^+y|, where W^+(x) is the star of x, the sets in G which contain x and w(x)=(-1)^dim(x). The matrix K is always positive definite. The spectra of K and K^(-1) always agree so that the matrix Q=K-K^(-1) has the spectral symmetry spec(Q)=-spec(Q) and the zeta function z(s) summing l(k)^(-s) with eigenvalues l(k) of K satisfies the functional equation z(a+ib)=z(-a+ib). The energy theorem in this case tells that the sum of the matrix elements of K^(-1)(x,y) is equal to the number sets in G. In comparison, we had in the connection matrix case the identity that the sum of the matrix elements of L^(-1) is the Euler characteristic of G.


title: Dual pairs in the Pin-group and duality for the corresponding spinorial representation

abstract: In this paper, we give a complete picture of Howe correspondence for the setting ($O(E, b), Pin(E, b), \Pi$), where $O(E, b)$ is an orthogonal group (real or complex), $Pin(E, b)$ is the two-fold Pin-covering of $O(E, b)$, and $\Pi$ is the spinorial representation of $Pin(E, b)$. More precisely, for a dual pair ($G, G'$) in $O(E, b)$, we determine explicitly the nature of its preimages $(\tilde{G}, \tilde{G'})$ in $Pin(E, b)$, and prove that apart from some exceptions, $(\tilde{G}, \tilde{G'})$ is always a dual pair in $Pin(E, b)$; then we establish the Howe correspondence for $\Pi$ with respect to $(\tilde{G}, \tilde{G'})$.


title: Expectation Propagation Line Spectral Estimation

abstract: Line spectral estimation (LSE) is a fundamental problem in signal processing fields, as it arises in various fields such as radar signal processing and communication fields. This paper develops expectation propagation (EP) based LSE (EPLSE) method. The proposed method automatically estimates the model order, noise variance, and can deal with the nonlinear measurements. Numerical experiments show the excellent performance of EPLSE.


title: Experimental and theoretical analysis of noise strength and environmental correlation time for ensembles of nitrogen-vacancy centers in diamond

abstract: We experimentally and theoretically investigate the Hahn echo decay curve for nitrogen vacancy centers in diamond with different spin concentrations. The Hahn echo results show a non-exponential decay for low spin concentrations, while an exponential decay is dominant for high spin concentrations. By fitting the decay curve with a theoretical model, we show that both the amplitude and correlation time of the environmental noise have a clear dependence on the spin concentration. These results are essential for optimizing the NV center concentration in high-performance quantum devices, particularly quantum sensors.


title: Rate of propagation of chaos for diffusive stochastic particle systems via Girsanov transformation

abstract: This paper focus on investigating the explicit rate of convergence for the propagation of chaos, in a pathwise sense a family of interacting stochastic particle related to some Brownian driven McKean-Vlasov dynamics. Precisely the McKean form of nonlinearity is concentrated on a path dependent drift component and satisfies a particular sub-gaussian moment control. Such control enables to derive a uniform estimate of the cost in terms of exponential martingale between the particle and its McKean/mean-field limit system which in turn provide an optimal rate of propagation of chaos in terms of the total variation distance. As a by-product, we deepen some recent propagation of chaos results due to Lacker 2018 and provides a partial stochastic interpretation of the entropy control technique introduced in Jabin and Wang 2016.


title: Open Problems in a Logic of Gossips

abstract: Gossip protocols are programs used in a setting in which each agent holds a secret and the aim is to reach a situation in which all agents know all secrets. Such protocols rely on a point-to-point or group communication. Distributed epistemic gossip protocols use epistemic formulas in the component programs for the agents. The advantage of the use of epistemic logic is that the resulting protocols are very concise and amenable for a simple verification. Recently, we introduced a natural modal logic that allows one to express distributed epistemic gossip protocols and to reason about their correctness. We proved that the resulting protocols are implementable and that all aspects of their correctness, including termination, are decidable. To establish these results we showed that both the definition of semantics and of truth of the underlying logic are decidable. We also showed that the analogous results hold for an extension of this logic with the 'common knowledge' operator. However, several, often deceptively simple, questions about this logic and the corresponding gossip protocols remain open. The purpose of this paper is to list and elucidate these questions and provide for them an appropriate background information in the form of partial of related results.


title: Uncertainty About Evidence

abstract: We develop a logical framework for reasoning about knowledge and evidence in which the agent may be uncertain about how to interpret their evidence. Rather than representing an evidential state as a fixed subset of the state space, our models allow the set of possible worlds that a piece of evidence corresponds to to vary from one possible world to another, and therefore itself be the subject of uncertainty. Such structures can be viewed as (epistemically motivated) generalizations of topological spaces. In this context, there arises a natural distinction between what is actually entailed by the evidence and what the agent knows is entailed by the evidence -- with the latter, in general, being much weaker. We provide a sound and complete axiomatization of the corresponding bi-modal logic of knowledge and evidence entailment, and investigate some natural extensions of this core system, including the addition of a belief modality and its interaction with evidence interpretation and entailment, and the addition of a "knowability" modality interpreted via a (generalized) interior operator.


title: Credible Information, Allowable Information and Belief Revision -- Extended Abstract

abstract: In an earlier paper [Rational choice and AGM belief revision, Artificial Intelligence, 2009] a correspondence was established between the choice structures of revealed-preference theory (developed in economics) and the syntactic belief revision functions of the AGM theory (developed in philosophy and computer science). In this paper we extend the re-interpretation of (a generalized notion of) choice structure in terms of belief revision by adding: (1) the possibility that an item of "information" might be discarded as not credible (thus dropping the AGM success axiom) and (2) the possibility that an item of information, while not accepted as fully credible, may still be "taken seriously" (we call such items of information "allowable"). We establish a correspondence between generalized choice structures (GCS) and AGM belief revision; furthermore, we provide a syntactic analysis of the proposed notion of belief revision, which we call filtered belief revision.


title: Reasoning about Social Choice and Games in Monadic Fixed-Point Logic

abstract: Whether it be in normal form games, or in fair allocations, or in voter preferences in voting systems, a certain pattern of reasoning is common. From a particular profile, an agent or a group of agents may have an incentive to shift to a new one. This induces a natural graph structure that we call the improvement graph on the strategy space of these systems. We suggest that the monadic fixed-point logic with counting, an extension of monadic first-order logic on graphs with fixed-point and counting quantifiers, is a natural specification language on improvement graphs, and thus for a class of properties that can be interpreted across these domains. The logic has an efficient model checking algorithm (in the size of the improvement graph).


title: When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?

abstract: The early literature on epistemic logic in philosophy focused on reasoning about the knowledge or belief of a single agent, especially on controversies about "introspection axioms" such as the 4 and 5 axioms. By contrast, the later literature on epistemic logic in computer science and game theory has focused on multi-agent epistemic reasoning, with the single-agent 4 and 5 axioms largely taken for granted. In the relevant multi-agent scenarios, it is often important to reason about what agent A believes about what agent B believes about what agent A believes; but it is rarely important to reason just about what agent A believes about what agent A believes. This raises the question of the extent to which single-agent introspection axioms actually matter for multi-agent epistemic reasoning. In this paper, we formalize and answer this question. To formalize the question, we first define a set of multi-agent formulas that we call agent-alternating formulas, including formulas like Box_a Box_b Box_a p but not formulas like Box_a Box_a p. We then prove, for the case of belief, that if one starts with multi-agent K or KD, then adding both the 4 and 5 axioms (or adding the B axiom) does not allow the derivation of any new agent-alternating formulas -- in this sense, introspection axioms do not matter. By contrast, we show that such conservativity results fail for knowledge and multi-agent KT, though they hold with respect to a smaller class of agent-nonrepeating formulas.


title: Common Belief in Choquet Rationality and Ambiguity Attitudes -- Extended Abstract

abstract: We consider finite games in strategic form with Choquet expected utility. Using the notion of (unambiguously) believed, we define Choquet rationalizability and characterize it by Choquet rationality and common beliefs in Choquet rationality in the universal capacity type space in a purely measurable setting. We also show that Choquet rationalizability is equivalent to iterative elimination of strictly dominated actions (not in the original game but) in an extended game. This allows for computation of Choquet rationalizable actions without the need to first compute Choquet integrals. Choquet expected utility allows us to investigate common belief in ambiguity love/aversion. We show that ambiguity love/aversion leads to smaller/larger Choquet rationalizable sets of action profiles.


title: A Unified Algebraic Framework for Non-Monotonicity

abstract: Tremendous research effort has been dedicated over the years to thoroughly investigate non-monotonic reasoning. With the abundance of non-monotonic logical formalisms, a unified theory that enables comparing the different approaches is much called for. In this paper, we present an algebraic graded logic we refer to as LogAG capable of encompassing a wide variety of non-monotonic formalisms. We build on Lin and Shoham's argument systems first developed to formalize non-monotonic commonsense reasoning. We show how to encode argument systems as LogAG theories, and prove that LogAG captures the notion of belief spaces in argument systems. Since argument systems capture default logic, autoepistemic logic, the principle of negation as failure, and circumscription, our results show that LogAG captures the before-mentioned non-monotonic logical formalisms as well. Previous results show that LogAG subsumes possibilistic logic and any non-monotonic inference relation satisfying Makinson's rationality postulates. In this way, LogAG provides a powerful unified framework for non-monotonicity.


title: On the Consistency among Prior, Posteriors, and Information Sets (Extended Abstract)

abstract: This paper studies implications of the consistency conditions among prior, posteriors, and information sets on introspective properties of qualitative belief induced from information sets. The main result reformulates the consistency conditions as: (i) the information sets, without any assumption, almost surely form a partition; and (ii) the posterior at a state is equal to the Bayes conditional probability given the corresponding information set. Implications are as follows. First, each posterior is uniquely determined. Second, qualitative belief reduces to fully introspective knowledge in a ``standard'' environment. Thus, a care must be taken when one studies non-veridical belief or non-introspective knowledge. Third, an information partition compatible with the consistency conditions is uniquely determined by the posteriors. Fourth, qualitative and probability-one beliefs satisfy truth axiom almost surely. The paper also sheds light on how the additivity of the posteriors yields negative introspective properties of beliefs.


title: How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions

abstract: In standard epistemic logic, knowing that p is the same as knowing that p is true, but it does not say anything about understanding p or knowing its meaning. In this paper, we present a conservative extension of Public Announcement Logic (PAL) in which agents have knowledge or belief about both the truth values and the meanings of propositions. We give a complete axiomatization of PAL with Boolean Definitions and discuss various examples. An agent may understand a proposition without knowing its truth value or the other way round. Moreover, multiple agents can agree on something without agreeing on its meaning and vice versa.


title: A Conceptually Well-Founded Characterization of Iterated Admissibility Using an "All I Know" Operator

abstract: Brandenburger, Friedenberg, and Keisler provide an epistemic characterization of iterated admissibility (IA), also known as iterated deletion of weakly dominated strategies, where uncertainty is represented using LPSs (lexicographic probability sequences). Their characterization holds in a rich structure called a complete structure, where all types are possible. In earlier work, we gave a characterization of iterated admissibility using an "all I know" operator, that captures the intuition that "all the agent knows" is that agents satisfy the appropriate rationality assumptions. That characterization did not need complete structures and used probability structures, not LPSs. However, that characterization did not deal with Samuelson's conceptual concern regarding IA, namely, that at higher levels, players do not consider possible strategies that were used to justify their choice of strategy at lower levels. In this paper, we give a characterization of IA using the all I know operator that does deal with Samuelson's concern. However, it uses LPSs. We then show how to modify the characterization using notions of "approximate belief" and "approximately all I know" so as to deal with Samuelson's concern while still working with probability structures.


title: Schwarz reflections and anti-holomorphic correspondences

abstract: In this paper, we continue exploration of the dynamical and parameter planes of one-parameter families of Schwarz reflections that was initiated in \cite{LLMM1,LLMM2}. Namely, we consider a family of quadrature domains obtained by restricting the Chebyshev cubic polynomial to various univalent discs. Then we perform a quasiconformal surgery that turns these reflections to parabolic rational maps (which is the crucial technical ingredient of our theory). It induces a straightening map between the parameter plane of Schwarz reflections and the parabolic Tricorn. We describe various properties of this straightening highlighting the issues related to its anti-holomorphic nature. We complete the discussion by comparing our family with the classical Bullett-Penrose family of matings between groups and rational maps induced by holomorphic correspondences. More precisely, we show that the Schwarz reflections give rise to anti-holomorphic correspondences that are matings of parabolic anti-rational maps with the abstract modular group. We further illustrate our mating framework by studying the correspondence associated with the Schwarz reflection map of a deltoid.


title: The Complexity of Online Bribery in Sequential Elections (Extended Abstract)

abstract: Prior work on the complexity of bribery assumes that the bribery happens simultaneously, and that the briber has full knowledge of all voters' votes. But neither of those assumptions always holds. In many real-world settings, votes come in sequentially, and the briber may have a use-it-or-lose-it moment to decide whether to bribe/alter a given vote, and at the time of making that decision, the briber may not know what votes remaining voters are planning on casting. In this paper, we introduce a model for, and initiate the study of, bribery in such an online, sequential setting. We show that even for election systems whose winner-determination problem is polynomial-time computable, an online, sequential setting may vastly increase the complexity of bribery, in fact jumping the problem up to completeness for high levels of the polynomial hierarchy or even PSPACE. On the other hand, we show that for some natural, important election systems, such a dramatic complexity increase does not occur, and we pinpoint the complexity of their bribery problems in the online, sequential setting.


title: Efficient Novelty-Driven Neural Architecture Search

abstract: One-Shot Neural architecture search (NAS) attracts broad attention recently due to its capacity to reduce the computational hours through weight sharing. However, extensive experiments on several recent works show that there is no positive correlation between the validation accuracy with inherited weights from the supernet and the test accuracy after re-training for One-Shot NAS. Different from devising a controller to find the best performing architecture with inherited weights, this paper focuses on how to sample architectures to train the supernet to make it more predictive. A single-path supernet is adopted, where only a small part of weights are optimized in each step, to reduce the memory demand greatly. Furthermore, we abandon devising complicated reward based architecture sampling controller, and sample architectures to train supernet based on novelty search. An efficient novelty search method for NAS is devised in this paper, and extensive experiments demonstrate the effectiveness and efficiency of our novelty search based architecture sampling method. The best architecture obtained by our algorithm with the same search space achieves the state-of-the-art test error rate of 2.51\% on CIFAR-10 with only 7.5 hours search time in a single GPU, and a validation perplexity of 60.02 and a test perplexity of 57.36 on PTB. We also transfer these search cell structures to larger datasets ImageNet and WikiText-2, respectively.


title: Strategic Voting Under Uncertainty About the Voting Method

abstract: Much of the theoretical work on strategic voting makes strong assumptions about what voters know about the voting situation. A strategizing voter is typically assumed to know how other voters will vote and to know the rules of the voting method. A growing body of literature explores strategic voting when there is uncertainty about how others will vote. In this paper, we study strategic voting when there is uncertainty about the voting method. We introduce three notions of manipulability for a set of voting methods: sure, safe, and expected manipulability. With the help of a computer program, we identify voting scenarios in which uncertainty about the voting method may reduce or even eliminate a voter's incentive to misrepresent her preferences. Thus, it may be in the interest of an election designer who wishes to reduce strategic voting to leave voters uncertain about which of several reasonable voting methods will be used to determine the winners of an election.


title: Aggregating Probabilistic Judgments

abstract: In this paper we explore the application of methods for classical judgment aggregation in pooling probabilistic opinions on logically related issues. For this reason, we first modify the Boolean judgment aggregation framework in the way that allows handling probabilistic judgments and then define probabilistic aggregation functions obtained by generalization of the classical ones. In addition, we discuss essential desirable properties for the aggregation functions and explore impossibility results.


title: Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems

abstract: Causality is an important concept both for proving impossibility results and for synthesizing efficient protocols in distributed computing. For asynchronous agents communicating over unreliable channels, causality is well studied and understood. This understanding, however, relies heavily on the assumption that agents themselves are correct and reliable. We provide the first epistemic analysis of causality in the presence of byzantine agents, i.e., agents that can deviate from their protocol and, thus, cannot be relied upon. Using our new framework for epistemic reasoning in fault-tolerant multi-agent systems, we determine the byzantine analog of the causal cone and describe a communication structure, which we call a multipede, necessary for verifying preconditions for actions in this setting.


title: Aggregation in Value-Based Argumentation Frameworks

abstract: Value-based argumentation enhances a classical abstract argumentation graph - in which arguments are modelled as nodes connected by directed arrows called attacks - with labels on arguments, called values, and an ordering on values, called audience, to provide a more fine-grained justification of the attack relation. With more than one agent facing such an argumentation problem, agents may differ in their ranking of values. When needing to reach a collective view, such agents face a dilemma between two equally justifiable approaches: aggregating their views at the level of values, or aggregating their attack relations, remaining therefore at the level of the graphs. We explore the strenghts and limitations of both approaches, employing techniques from preference aggregation and graph aggregation, and propose a third possibility aggregating rankings extracted from given attack relations.


title: Exploiting Belief Bases for Building Rich Epistemic Structures

abstract: We introduce a semantics for epistemic logic exploiting a belief base abstraction. Differently from existing Kripke-style semantics for epistemic logic in which the notions of possible world and epistemic alternative are primitive, in the proposed semantics they are non-primitive but are defined from the concept of belief base. We show that this semantics allows us to define the universal epistemic model in a simpler and more compact way than existing inductive constructions of it. We provide (i) a number of semantic equivalence results for both the basic epistemic language with "individual belief" operators and its extension by the notion of "only believing", and (ii) a lower bound complexity result for epistemic logic model checking relative to the universal epistemic model.


title: Measuring Belief and Risk Attitude

abstract: Ramsey (1926) sketches a proposal for measuring the subjective probabilities of an agent by their observable preferences, assuming that the agent is an expected utility maximizer. I show how to extend the spirit of Ramsey's method to a strictly wider class of agents: risk-weighted expected utility maximizers (Buchak 2013). In particular, I show how we can measure the risk attitudes of an agent by their observable preferences, assuming that the agent is a risk-weighted expected utility maximizer. Further, we can leverage this method to measure the subjective probabilities of a risk-weighted expected utility maximizer.


title: The $\nu^+$-equivalence classes of genus one knots

abstract: The $\nu^+$-equivalence is an equivalence relation on the knot concordance group. This relation can be seen as a certain stable equivalence on knot Floer complexes $CFK^{\infty}$, and many concordance invariants derived from Heegaard Floer theory are invariant under the equivalence. In this paper, we show that any genus one knot is $\nu^+$-equivalent to one of the trefoil, its mirror and the unknot.


title: Realistic Channel Models Pre-training

abstract: In this paper, we propose a neural-network-based realistic channel model with both the similar accuracy as deterministic channel models and uniformity as stochastic channel models. To facilitate this realistic channel modeling, a multi-domain channel embedding method combined with self-attention mechanism is proposed to extract channel features from multiple domains simultaneously. This 'one model to fit them all' solution employs available wireless channel data as the only data set for self-supervised pre-training. With the permission of users, network operators or other organizations can make use of some available user specific data to fine-tune this pre-trained realistic channel model for applications on channel-related downstream tasks. Moreover, even without fine-tuning, we show that the pre-trained realistic channel model itself is a great tool with its understanding of wireless channel.


title: Superradiant stability of the Kerr black holes

abstract: We study the superradiant stability of the system of a Kerr black hole and a massive scalar perturbation. It was proved previously that this system is superradiantly stable when $\mu\geq \sqrt{2}m\Omega_H$, where $\mu$ is the proper mass of the scalar, $m$ is the azimuthal number of the scalar mode, and $\Omega_H$ is the angular velocity of the Kerr black hole horizon. Our study is a complementary work of this result. We analytically prove that in the complementary parameter region $\mu<\sqrt{2}m\Omega_H$, when the parameters of scalar perturbation and Kerr black hole satisfy two simple inequalities, $\omega<\frac{\mu}{\sqrt{2}}$,~ $\frac{r_-}{r_+}<0.802$, the system is also superradiantly stable.


title: Deterministic Sampling Decoding: Where Sphere Decoding Meets Lattice Gaussian Distribution

abstract: In this paper, the paradigm of sphere decoding (SD) based on lattice Gaussian distribution is studied, where the sphere radius $D>0$ in the sense of Euclidean distance is characterized by the initial pruning size $K>1$, the standard deviation $\sigma>0$ and a regularization term $\rho_{\sigma,\mathbf{y}}(\Lambda)>0$ ($\Lambda$ denotes the lattice, $\mathbf{y}$ is the query point). In this way, extra freedom is obtained for analytical diagnosis of both the decoding performance and complexity. Based on it, the equivalent SD (ESD) algorithm is firstly proposed, and we show it is exactly the same with the classic Fincke-Pohst SD but characterizes the sphere radius with $D=\sigma\sqrt{2\ln K}$. By fixing $\sigma$ properly, we show that the complexity of ESD measured by the number of visited nodes is upper bounded by $|S|<nK$, thus resulting in a tractable decoding trade-off solely determined by $K$. In order to further exploit the decoding potential, the regularized SD (RSD) algorithm based on Klein's sampling probability is proposed, which achieves a better decoding trade-off than the equivalent SD by fully utilizing the regularization terms. Moreover, besides the designed criterion of pruning threshold, another decoding criterion named as candidate protection is proposed to solve the decoding problems in the cases of small $K$, which generalizes both the regularized SD and equivalent SD from maximum likelihood (ML) decoding to bounded distance decoding (BDD). Finally, simulation results based on MIMO detection are presented to confirm the tractable decoding trade-off of the proposed lattice Gaussian distribution-based SD algorithms.


title: Queens in exile: non-attacking queens on infinite chess boards

abstract: Number the cells of a (possibly infinite) chessboard in some way with the numbers 0, 1, 2, ... Consider the cells in order, placing a queen in a cell if and only if it would not attack any earlier queen. The problem is to determine the positions of the queens. We study the problem for a doubly-infinite chessboard of size Z x Z numbered along a square spiral, and an infinite single-quadrant chessboard (of size N x N) numbered along antidiagonals. We give a fairly complete solution in the first case, based on the Tribonacci word. There are connections with combinatorial games.


title: Near-resonance tidal evolution of the Earth-Moon system influenced by orbital-scale climate change

abstract: We build a conceptual coupled model of the climate and tidal evolution of the Earth-Moon system to find the influence of the former on the latter. An energy balance model is applied to calculate steady-state temperature field from the mean annual insolation as a function of varying astronomical parameters. A harmonic oscillator model is applied to integrate the lunar orbit and Earth's rotation with the tidal torque dependent on the dominant natural frequency of ocean. An ocean geometry acts as a bridge between temperature and oceanic frequency. On assumptions of a fixed hemispherical continent and an equatorial circular lunar orbit, considering only the 41 kyr periodicity of Earth's obliquity $\varepsilon$ and the $M_2$ tide, simulations are performed near tidal resonance for $10^6$ yr. It is verified that the climate can influence the tidal evolution via ocean. Compared with the tidal evolution with constant $\varepsilon$, that with varying $\varepsilon$ is slowed down; the Earth-Moon distance oscillates in phase with $\varepsilon$ before the resonance maximum but exactly out of phase after that; the displacement of the oscillation is in positive correlation with the difference between oceanic frequency and tidal frequency.


title: Elliptic special Weingarten surfaces of minimal type in $\mathbb{R}^3$ of finite total curvature

abstract: We extend the theory of complete minimal surfaces in $\mathbb{R}^3$ of finite total curvature to the wider class of elliptic special Weingarten surfaces of finite total curvature; in particular, we extend the seminal works of L. Jorge and W. Meeks and R. Schoen. Specifically, we extend the Jorge-Meeks formula relating the total curvature and the topology of the surface and we use it to classify planes as the only elliptic special Weingarten surfaces whose total curvature is less than $4 \pi$. Moreover, we show that a complete (connected), embedded outside a compact set, elliptic special Weingarten surface of minimal type in $\mathbb{R}^3$ of finite total curvature and two ends is rotationally symmetric; in particular, it must be one of the rotational special catenoids described by R. Sa Earp and E. Toubiana. This answers in the positive a question posed in 1993 by R. Sa Earp. We also prove that the special catenoids are the only connected non-flat special Weingarten surfaces whose total curvature is less than $8 \pi$.


title: From Minkowski to de Sitter in Multifield No-Scale Models

abstract: We show the uniqueness of superpotentials leading to Minkowski vacua of single-field no-scale supergravity models, and the construction of dS/AdS solutions using pairs of these single-field Minkowski superpotentials. We then extend the construction to two- and multifield no-scale supergravity models, providing also a geometrical interpretation. We also consider scenarios with additional twisted or untwisted moduli fields, and discuss how inflationary models can be constructed in this framework.


title: An Algebraic Approach for Action Based Default Reasoning

abstract: Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted. This kind of assumptions appear, e.g., in autonomous computing systems where decisions must be taken in the presence of an incomplete set of norms regulating a particular scenario. Combining default and deontic reasoning over actions allows us to formally reason about such assumptions. With this in mind, we propose a logical formalism for default reasoning over a deontic action logic. The novelty of our approach is twofold. First, our formalism for default reasoning deals with actions and action operators, and it is based on the deontic action logic originally proposed by Segerberg. Second, inspired by Segerberg's approach, we use tools coming from the theory of Boolean Algebra. These tools allow us to extend Segerberg's algebraic completeness result to the setting of Default Logics.


title: Second-order Time-Reassigned Synchrosqueezing Transform: Application to Draupner Wave Analysis

abstract: This paper addresses the problem of efficiently jointly representing a non-stationary multicomponent signal in time and frequency. We introduce a novel enhancement of the time-reassigned synchrosqueezing method designed to compute sharpened and reversible representations of impulsive or strongly modulated signals. After establishing theoretical relations of the new proposed method with our previous results, we illustrate in numerical experiments the improvement brought by our proposal when applied on both synthetic and real-world signals. Our experiments deal with an analysis of the Draupner wave record for which we provide pioneered time-frequency analysis results.


title: Performance and Comparisons of STDP based and Non-STDP based Memristive Neural Networks on Hardware

abstract: With the development of research on memristor, memristive neural networks (MNNs) have become a hot research topic recently. Because memristor can mimic the spike timing-dependent plasticity (STDP), the research on STDP based MNNs is rapidly increasing. However, although state-of-the-art works on STDP based MNNs have many applications such as pattern recognition, STDP mechanism brings relatively complex hardware framework and low processing speed, which block MNNs' hardware realization. A non-STDP based unsupervised MNN is constructed in this paper. Through the comparison with STDP method on the basis of two common structures including feedforward and crossbar, non-STDP based MNNs not only remain the same advantages as STDP based MNNs including high accuracy and convergence speed in pattern recognition, but also better hardware performance as few hardware resources and higher processing speed. By virtue of the combination of memristive character and simple mechanism, non-STDP based MNNs have better hardware compatibility, which may give a new viewpoint for memristive neural networks' engineering applications.


title: DetectFusion: Detecting and Segmenting Both Known and Unknown Dynamic Objects in Real-time SLAM

abstract: We present DetectFusion, an RGB-D SLAM system that runs in real-time and can robustly handle semantically known and unknown objects that can move dynamically in the scene. Our system detects, segments and assigns semantic class labels to known objects in the scene, while tracking and reconstructing them even when they move independently in front of the monocular camera. In contrast to related work, we achieve real-time computational performance on semantic instance segmentation with a novel method combining 2D object detection and 3D geometric segmentation. In addition, we propose a method for detecting and segmenting the motion of semantically unknown objects, thus further improving the accuracy of camera tracking and map reconstruction. We show that our method performs on par or better than previous work in terms of localization and object reconstruction accuracy, while achieving about 20 FPS even if the objects are segmented in each frame.


title: Real-time Background-aware 3D Textureless Object Pose Estimation

abstract: In this work, we present a modified fuzzy decision forest for real-time 3D object pose estimation based on typical template representation. We employ an extra preemptive background rejector node in the decision forest framework to terminate the examination of background locations as early as possible, result in a significantly improvement on efficiency. Our approach is also scalable to large dataset since the tree structure naturally provides a logarithm time complexity to the number of objects. Finally we further reduce the validation stage with a fast breadth-first scheme. The results show that our approach outperform the state-of-the-arts on the efficiency while maintaining a comparable accuracy.


title: A generalization on the average ratio of the smallest and largest prime divisor of $n$

abstract: In 1982, Erd\"os and van Lint showed an estimate for the average of the ratio of the smallest and largest prime divisor of $n$. In this note, we apply C.H. Jia's method to give an estimate for the average of positive integer power of the ratio.


title: A tutorial for the MAPLE ETA package

abstract: This is a tutorial for using ETA, a MAPLE package for calculating with Dedekind's eta function. The ETA package is designed for proving eta-product identities using the valence formula for modular functions.


title: Capacitive Sensor Based 2D Subsurface Imaging Technology for Non Destructive Evaluation of Building Surfaces

abstract: Understanding the underlying structure of building surfaces like walls and floors is essential when carrying out building maintenance and modification work. To facilitate such work, this paper introduces a capacitive sensor-based technology which can conduct non-destructive evaluation of building surfaces. The novelty of this sensor is that it can generate a real-time 2D subsurface image which can be used to understand structure beneath the top surface. Finite Element Analysis (FEA) simulations are done to understand the best sensor head configuration that gives optimum results. Hardware and software components are custom-built to facilitate real-time imaging capability. The sensor is validated by laboratory tests, which revealed the ability of the proposed capacitive sensing technology to see through common building materials like wood and concrete. The 2D image generated by the sensor is found to be useful in understanding the subsurface structure beneath the top surface.


title: Using Symbolic Computation to analyze some Children's Board Games

abstract: In a delightful article that recently appeared in Mathematics Magazine, David and Lori Mccune analyze the board game "Count Your Chickens!", recommended to children three and up. Alas, they use the advanced theory of Markov chains, that presupposes a knowledge of linear algebra, that few three-years-olds are likely to understand. Here we present a much simpler, more intuitive, approach, that while unlikely to be understood by three-year-olds, will probably be understood by a smart 14-year-old. Moreover, our approach accomplishes much more, and is more efficient. It uses symbolic, rather than numeric computation.


title: Speeding Up Iterative Closest Point Using Stochastic Gradient Descent

abstract: Sensors producing 3D point clouds such as 3D laser scanners and RGB-D cameras are widely used in robotics, be it for autonomous driving or manipulation. Aligning point clouds produced by these sensors is a vital component in such applications to perform tasks such as model registration, pose estimation, and SLAM. Iterative closest point (ICP) is the most widely used method for this task, due to its simplicity and efficiency. In this paper we propose a novel method which solves the optimisation problem posed by ICP using stochastic gradient descent (SGD). Using SGD allows us to improve the convergence speed of ICP without sacrificing solution quality. Experiments using Kinect as well as Velodyne data show that, our proposed method is faster than existing methods, while obtaining solutions comparable to standard ICP. An additional benefit is robustness to parameters when processing data from different sensors.


title: A proof of a conjecture on trace-zero forms and shapes of number fields

abstract: In 2012 the first named author conjectured that totally real quartic fields of fundamental discriminant are determined by the isometry class of the integral trace zero form; such conjecture was based on computational evidence and the analog statement for cubic fields which was proved using Bhargava's higher composition laws on cubes. Here, using Bhargava's parametrization of quartic fields we prove the conjecture by generalizing the ideas used in the cubic case. Since at the moment, for arbitrary degrees, there is nothing like Bhargava's parametrizations we cannot deal with degrees $n > 5$ in a similar fashion. Nevertheless, using some of our previous work on trace forms we generalize this result to higher degrees; we show that if $n \ge 3$ is an integer such that $(\mathbb{Z}/n\mathbb{Z})^{*}$ is a cyclic group, then the shape is a complete invariant for totally real degree $n$ number fields with fundamental discriminant.


title: Polarization in $\Xi_c^0$ decays

abstract: Measurements on the weak decay asymmetry parameters of charmed baryon, say $\Xi_c$, provide more information on the $W$-emission and $W$-exchange mechanisms controlled by the strong and weak interactions. Taking advantage of the spin polarization in the charmed baryon decays, we investigate the possibility to measure the weak decay asymmetry parameters in the $e^{+}e^{-}\to \Xi_c^0\bar\Xi_c^0$ process. We analyze the transverse polarization spontaneously produced in this process and spin transfer in the subsequent $\Xi_c$ decays. The sensitivity to measure the asymmetry parameters are estimated for the decay $\Xi_c\to\Xi \pi$.


title: Combustion Phasing Modelling and Control for Compression Ignition Engines with High Dilution and Boost Levels

abstract: Because fuel efficiency is significantly impacted by the timing of combustion in internal combustion engines, accurate control of combustion phasing is critical. In this paper, a nonlinear combustion phasing model is introduced and calibrated, and both a feedforward model-based control strategy and an adaptive model-based control strategy are investigated for combustion phasing control. The combustion phasing model combines a knock integral model, burn duration model and a Wiebe function to predict the combustion phasing of a diesel engine. This model is simplified to be more suitable for combustion phasing control and is calibrated and validated using simulations and experimental data that include conditions with high exhaust gas recirculation fractions and high boost levels. Based on this model, an adaptive nonlinear model-based controller is designed for closed-loop control, and a feedforward model-based controller is designed for open-loop control. These two control approaches were tested in simulations. The simulation results show that during transient changes the CA50 (the crank angle at which 50% of the mass of fuel has burned) can reach steady state in no more than 5 cycles and the steady state errors are less than +/-0.1 crank angle degree (CAD) for adaptive control, and less than +/-0.5 CAD for feedforward model-based control.


title: Learning piecewise Lipschitz functions in changing environments

abstract: Optimization in the presence of sharp (non-Lipschitz), unpredictable (w.r.t. time and amount) changes is a challenging and largely unexplored problem of great significance. We consider the class of piecewise Lipschitz functions, which is the most general online setting considered in the literature for the problem, and arises naturally in various combinatorial algorithm selection problems where utility functions can have sharp discontinuities. The usual performance metric of $\mathit{static}$ regret minimizes the gap between the payoff accumulated and that of the best fixed point for the entire duration, and thus fails to capture changing environments. Shifting regret is a useful alternative, which allows for up to $s$ environment shifts. In this work we provide an $O(\sqrt{sdT\log T}+sT^{1-\beta})$ regret bound for $\beta$-dispersed functions, where $\beta$ roughly quantifies the rate at which discontinuities appear in the utility functions in expectation (typically $\beta\ge1/2$ in problems of practical interest). We also present a lower bound tight up to sub-logarithmic factors. We further obtain improved bounds when selecting from a small pool of experts. We empirically demonstrate a key application of our algorithms to online clustering problems on popular benchmarks.


title: Feature Graph Learning for 3D Point Cloud Denoising

abstract: Identifying an appropriate underlying graph kernel that reflects pairwise similarities is critical in many recent graph spectral signal restoration schemes, including image denoising, dequantization, and contrast enhancement. Existing graph learning algorithms compute the most likely entries of a properly defined graph Laplacian matrix $\mathbf{L}$, but require a large number of signal observations $\mathbf{z}$'s for a stable estimate. In this work, we assume instead the availability of a relevant feature vector $\mathbf{f}_i$ per node $i$, from which we compute an optimal feature graph via optimization of a feature metric. Specifically, we alternately optimize the diagonal and off-diagonal entries of a Mahalanobis distance matrix $\mathbf{M}$ by minimizing the graph Laplacian regularizer (GLR) $\mathbf{z}^{\top} \mathbf{L} \mathbf{z}$, where edge weight is $w_{i,j} = \exp\{-(\mathbf{f}_i - \mathbf{f}_j)^{\top} \mathbf{M} (\mathbf{f}_i - \mathbf{f}_j) \}$, given a single observation $\mathbf{z}$. We optimize diagonal entries via proximal gradient (PG), where we constrain $\mathbf{M}$ to be positive definite (PD) via linear inequalities derived from the Gershgorin circle theorem. To optimize off-diagonal entries, we design a block descent algorithm that iteratively optimizes one row and column of $\mathbf{M}$. To keep $\mathbf{M}$ PD, we constrain the Schur complement of sub-matrix $\mathbf{M}_{2,2}$ of $\mathbf{M}$ to be PD when optimizing via PG. Our algorithm mitigates full eigen-decomposition of $\mathbf{M}$, thus ensuring fast computation speed even when feature vector $\mathbf{f}_i$ has high dimension. To validate its usefulness, we apply our feature graph learning algorithm to the problem of 3D point cloud denoising, resulting in state-of-the-art performance compared to competing schemes in extensive experiments.


title: A Laplacian on the Full Shift Space

abstract: In this paper, we consider the one-sided shift space on finitely many symbols and extend the theory of what is known as rough analysis. We define difference operators on an increasing sequence of subsets of the shift space that would eventually render the Laplacian on the space of real-valued continuous functions on the shift space. We then define the Green's function and the Green's operator that come in handy to solve the analogue to the Dirichlet boundary value problem on the shift space.


title: Multi-scale Cell Instance Segmentation with Keypoint Graph based Bounding Boxes

abstract: Most existing methods handle cell instance segmentation problems directly without relying on additional detection boxes. These methods generally fails to separate touching cells due to the lack of global understanding of the objects. In contrast, box-based instance segmentation solves this problem by combining object detection with segmentation. However, existing methods typically utilize anchor box-based detectors, which would lead to inferior instance segmentation performance due to the class imbalance issue. In this paper, we propose a new box-based cell instance segmentation method. In particular, we first detect the five pre-defined points of a cell via keypoints detection. Then we group these points according to a keypoint graph and subsequently extract the bounding box for each cell. Finally, cell segmentation is performed on feature maps within the bounding boxes. We validate our method on two cell datasets with distinct object shapes, and empirically demonstrate the superiority of our method compared to other instance segmentation techniques. Code is available at: https://github.com/yijingru/KG_Instance_Segmentation.


title: New $A_4$ lepton flavor model from $S_4$ modular symmetry

abstract: We study a flavor model with $A_4$ symmetry which originates from $S_4$ modular group. In $S_4$ symmetry, $Z_2$ subgroup can be anomalous, and then $S_4$ can be violated to $A_4$. Starting with a $S_4$ symmetric Lagrangian at the tree level, the Lagrangian at the quantum level has only $A_4$ symmetry when $Z_2$ in $S_4$ is anomalous. We obtain modular forms of two singlets and a triplet representations of $A_4$ by decomposing $S_4$ modular forms into $A_4$ representations. We propose a new $A_4$ flavor model of leptons by using those $A_4$ modular forms. We succeed in constructing a viable neutrino mass matrix through the Weinberg operator for both normal hierarchy (NH) and inverted hierarchy (IH) of neutrino masses. Our predictions of the CP violating Dirac phase $\delta_{CP}$ and the mixing $\sin^2\theta_{23}$ depend on the sum of neutrino masses for NH.


title: A novel object slicing based grasp planner for 3D object grasping using underactuated robot gripper

abstract: Robotic grasping of arbitrary objects even in completely known environments still remains a challenging problem. Most previously developed algorithms had focused on fingertip grasp, failing to solve the problem even for fully actuated hands/grippers during adaptive/wrapping type of grasps, where each finger makes contact with object at several points. Kinematic closed form solutions are not possible for such an articulated finger which simultaneously reaches several given goal points. This paper, presents a framework for computing best grasp for an underactuated robotic gripper, based on a novel object slicing method. The proposed method quickly find contacts using an object slicing technique and use grasp quality measure to find the best grasp from a pool of grasps. To validate the proposed method, implementation has been done on twenty-four household objects and toys using a two finger underactuated robot gripper. Unlike the many other existing approaches, the proposed approach has several advantages: it can handle objects with complex shapes and sizes; it does not require simplifying the objects into primitive geometric shape; Most importantly, it can be applied on point clouds taken using depth sensor; it takes into account gripper kinematic constraints and generates feasible grasps for both adaptive/enveloping and fingertip types of grasps.


title: Autocorrelations in pulsar glitch waiting times and sizes

abstract: Among the five pulsars with the most recorded rotational glitches, only PSR J0534$+$2200 is found to have an autocorrelation between consecutive glitch sizes which differs significantly from zero (Spearman correlation coefficient $\rho=-0.46$, p-value $=0.046$). No statistically compelling autocorrelations between consecutive waiting times are found. The autocorrelation observations are interpreted within the framework of a predictive meta-model describing stress-release in terms of a state-dependent Poisson process. Specific combinations of size and waiting time autocorrelations are identified, alongside combinations of cross-correlations and size and waiting time distributions, that are allowed or excluded within the meta-model. For example, future observations of any "quasiperiodic" glitching pulsar, such as PSR J0537$-$6910, should not reveal a positive waiting time autocorrelation. The implications for microphysical models of the stress-release process driving pulsar glitches are discussed briefly.


title: Consistent upper price bounds for exotic options given a finite number of call prices and their convergence

abstract: We consider the problem of finding a consistent upper price bound for exotic options whose payoff depends on the stock price at two different predetermined time points (e.g. Asian option), given a finite number of observed call prices for these maturities. A model-free approach is used, only taking into account that the (discounted) stock price process is a martingale under the no-arbitrage condition. In case the payoff is directionally convex we obtain the worst case marginal pricing measures. The speed of convergence of the upper price bound is determined when the number of observed stock prices increases. We illustrate our findings with some numerical computations.


title: Exploring the effect of Lorentz invariance violation with the currently running long-baseline experiments

abstract: Neutrinos are the fundamental particles, blind to all kind of interactions except the weak and gravitational. Hence, they can propagate very long distances without any deviation. This characteristic property can thus provide an ideal platform to investigate Planck suppressed physics through their long distance propagation. In this work, we intend to investigate CPT violation through Lorentz invariance violation (LIV) in the long-baseline accelerator based neutrino experiments. Considering the simplest four-dimensional Lorentz violating parameters, for the first time, we obtain the sensitivity limits on the LIV parameters from the currently running long-baseline experiments T2K and NO$\nu$A. In addition to this, we show their effects on mass hierarchy and CP violation sensitivities by considering NO$\nu$A as a case study. We find that the sensitivity limits on LIV parameters obtained from T2K are much weaker than that of NO$\nu$A and the synergy of T2K and NO$\nu$A can improve these sensitivities. All these limits are slightly weaker ($2 \sigma$ level) compared to the values extracted from Super-Kamiokande experiment with atmospheric neutrinos. Moreover, we observe that the mass hierarchy and CPV sensitivities are either enhanced or deteriorated significantly in the presence of LIV as these sensitivities crucially depend on the new CP-violating phases. We also present the correlation between $\sin^2 \theta_{23}$ and the LIV parameter $|a_{\alpha \beta}|$, as well as $\delta_{CP}$ and $|a_{\alpha \beta}|$.


title: Motion Browser: Visualizing and Understanding Complex Upper Limb Movement Under Obstetrical Brachial Plexus Injuries

abstract: The brachial plexus is a complex network of peripheral nerves that enables sensing from and control of the movements of the arms and hand. Nowadays, the coordination between the muscles to generate simple movements is still not well understood, hindering the knowledge of how to best treat patients with this type of peripheral nerve injury. To acquire enough information for medical data analysis, physicians conduct motion analysis assessments with patients to produce a rich dataset of electromyographic signals from multiple muscles recorded with joint movements during real-world tasks. However, tools for the analysis and visualization of the data in a succinct and interpretable manner are currently not available. Without the ability to integrate, compare, and compute multiple data sources in one platform, physicians can only compute simple statistical values to describe patient's behavior vaguely, which limits the possibility to answer clinical questions and generate hypotheses for research. To address this challenge, we have developed \systemname, an interactive visual analytics system which provides an efficient framework to extract and compare muscle activity patterns from the patient's limbs and coordinated views to help users analyze muscle signals, motion data, and video information to address different tasks. The system was developed as a result of a collaborative endeavor between computer scientists and orthopedic surgery and rehabilitation physicians. We present case studies showing physicians can utilize the information displayed to understand how individuals coordinate their muscles to initiate appropriate treatment and generate new hypotheses for future research.


title: Excursion set peaks in energy as a model for haloes

abstract: The simplest models of dark matter halo formation are based on the heuristic assumption, motivated by spherical collapse, that virialized haloes originate from initial regions that are maxima of the smoothed density field. Here, we replace this notion with the dynamical requirement that protohalo patches be regions where the local gravitational flow converges to a point. For this purpose, we look for spheres whose gravitational acceleration at the boundary -- relative to their center of mass -- points towards their geometric center: that is, spheres with null dipole moment. We show that these configurations are minima of the total energy, i.e. the most energetically bound spheres. For this reason, we study peaks of the energy overdensity field, and argue that the approach shows considerable promise. This change simply requires that one modify the standard top-hat filter, with the added important benefit that, for power spectra of cosmological interest, the resulting model is no longer plagued by divergences. Although the formalism is no more complicated than the overdensity based approach, the model is richer in the sense that it naturally predicts scatter in the overdensities of protohalo patches that are destined to form haloes of the same mass, in qualitative agreement with simulations of halo formation.


title: Time crystals in primordial perturbations

abstract: Cosmological time crystal (TC) corresponds to a matter state where the periodic motion of field forms a limit cycle in its phase space. We explore what would happen if it existed in inflationary phase. It is found that the limit cycle responsible for TC will inevitably cause the periodic oscillation of the primordial perturbation spectrum. The oscillatory patterns of the spectrum depend on the TC parameters, and so encode the crystalline patterns of TC.


title: Determination of the absolute branching fractions of X(3872) decays

abstract: We report the first determination of the absolute branching fractions of the X(3872) decays by globally analyzing the measurements provided by the Belle, BaBar, BESIII, and LHCb experiments. The branching fractions of X(3872) to pi^+pi^- J/psi and D*0D0bar+c.c. are found to be (4.1^{+1.9}_{-1.1})% and (52.4^{+25.3}_{-14.3})%, respectively. The branching fractions of the decays X(3872) to gamma J/psi, gamma psi', omega J/psi, and pi^0 chi_{c1} are also determined. The global fit implies that the fraction of X(3872) decays which are not observed in experiments is (31.9_{-31.5}^{+18.1})%, which indicates that there is still a lot of room for searching for new decay modes of the X(3872). With the branching fraction, we determine the production cross section of e+e- to gamma X(3872) at center-of-mass energy 4.226 GeV.


title: Stochastic Variance Reduced Primal Dual Algorithms for Empirical Composition Optimization

abstract: We consider a generic empirical composition optimization problem, where there are empirical averages present both outside and inside nonlinear loss functions. Such a problem is of interest in various machine learning applications, and cannot be directly solved by standard methods such as stochastic gradient descent. We take a novel approach to solving this problem by reformulating the original minimization objective into an equivalent min-max objective, which brings out all the empirical averages that are originally inside the nonlinear loss functions. We exploit the rich structures of the reformulated problem and develop a stochastic primal-dual algorithm, SVRPDA-I, to solve the problem efficiently. We carry out extensive theoretical analysis of the proposed algorithm, obtaining the convergence rate, the computation complexity and the storage complexity. In particular, the algorithm is shown to converge at a linear rate when the problem is strongly convex. Moreover, we also develop an approximate version of the algorithm, named SVRPDA-II, which further reduces the memory requirement. Finally, we evaluate our proposed algorithms on several real-world benchmarks, and experimental results show that the proposed algorithms significantly outperform existing techniques.


title: An equilibrium model for ribosome competition

abstract: The number of ribosomes in a cell is considered as limiting, and gene expression is thus largely determined by their cellular concentration. In this work we develop a toy model to study the trade-off between the ribosomal supply and the demand of the translation machinery, dictated by the composition of the transcript pool. Our equilibrium framework is useful to highlight qualitative behaviours and new means of gene expression regulation determined by the fine balance of this trade-off. We also speculate on the possible impact of these mechanisms on cellular physiology.


title: Word-representability of Toeplitz graphs

abstract: Distinct letters $x$ and $y$ alternate in a word $w$ if after deleting in $w$ all letters but the copies of $x$ and $y$ we either obtain a word of the form $xyxy\cdots$ (of even or odd length) or a word of the form $yxyx\cdots$ (of even or odd length). A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy$ is an edge in $E$. In this paper we initiate the study of word-representable Toeplitz graphs, which are Riordan graphs of the Appell type. We prove that several general classes of Toeplitz graphs are word-representable, and we also provide a way to construct non-word-representable Toeplitz graphs. Our work not only merges the theories of Riordan matrices and word-representable graphs via the notion of a Riordan graph, but also it provides the first systematic study of word-representability of graphs defined via patterns in adjacency matrices. Moreover, our paper introduces the notion of an infinite word-representable Riordan graph and gives several general examples of such graphs. It is the first time in the literature when the word-representability of infinite graphs is discussed.


title: Ground-state atlas of a three-dimensional semimetal in the quantum limit

abstract: An interplay between electron correlation and reduced dimensionality due to the Landau quantization gives rise to exotic electronic phases in three-dimensional semimetals under high magnetic field. Using an unbiased theoretical method, we clarify for the first time comprehensive ground-state phase diagrams of a three-dimensional semimetal with a pair of electron and hole pockets in the quantum limit. For the electron interaction, we consider either screened Coulomb repulsive interaction or an attractive electron-electron interaction mediated by a screened electron-phonon coupling, where a screening length is generally given by a dimensionless constant times magnetic length $l$. By solving the parquet RG equation numerically and employing a mean-field argument, we construct comprehensive ground-state phase diagrams of the semimetal in the quantum limit for these two cases, as a function of the Fermi wave length and the screening length (both normalized by $l$). In the repulsive interaction case, the ground state is either excitonic insulator (EI) in strong screening regime or Ising-type spin density wave in weak screening regime. In the attractive interaction case, the ground state is either EI that breaks the translational symmetries (strong screening regime), topological EI, charge Wigner crystal (intermediate screening regime), plain charge density wave or possible non-Fermi liquid (weak screening regime). We show that the topological EI supports a single copy of massless Dirac fermion at its side surface, and thereby exhibit a $\sqrt{H_{\perp}}$-type surface Shubnikov-de Haas (SdH) oscillation in in-plane surface transports as a function of a canted magnetic field $H_{\perp}$. Armed with these theoretical knowledge, we discuss implications of recent transport experiments on graphite under the high field.


title: Solar Neutrons Observed from September 4 to 10, 2017 by SEDA-FIB

abstract: The SEDA-FIB is a detector designed to measure solar neutrons. This solar neutron detector was operated onboard the ISS on July 16, 2009 and March 31, 2018. Eighteen large solar flares were later observed by the GOES satellite in solar active region 12673 that appeared on September 4 and lasted until September 10, 2017, with intensity higher than > M2. In nine of those solar flares, the SEDA-FIB detected clear signals of solar neutrons, along with five minor excesses. Among these events, we focus on two associated with the flares of X2.2 (SOL2017-09-06) and X8.2 (SOL2017-09-10) that share a common feature: a process of accelerating electrons into high energies as clearly recorded by the FERMI-GBM detector. These events may provide us with useful information to elucidate the ion acceleration process. The X8.2 event was a limb flare that proved adequate for fixing the parameters needed to explain the process of particle acceleration into high energies. According to our analysis, the electron acceleration process may possibly be explained by the shock acceleration model. However, we found that it would be difficult to explain the simultaneous acceleration of ions with electrons, unless the ions were preheated prior to their rapid acceleration.


title: Mapping TASEP back in time

abstract: We obtain a new relation between the distributions $\mu_t$ at different times $t\ge 0$ of the continuous-time TASEP (Totally Asymmetric Simple Exclusion Process) started from the step initial configuration. Namely, we present a continuous-time Markov process with local interactions and particle-dependent rates which maps the TASEP distributions $\mu_t$ backwards in time. Under the backwards process, particles jump to the left, and the dynamics can be viewed as a version of the discrete-space Hammersley process. Combined with the forward TASEP evolution, this leads to a stationary Markov dynamics preserving $\mu_t$ which in turn brings new identities for expectations with respect to $\mu_t$. The construction of the backwards dynamics is based on Markov maps interchanging parameters of Schur processes, and is motivated by bijectivizations of the Yang-Baxter equation. We also present a number of corollaries, extensions, and open questions arising from our constructions.


title: On the topology of constant mean curvature surfaces in H2 X R with boundary in a plane

abstract: A gap in the proof prevents us to show that surfaces with constant mean curvature closed to 1/2 in H2 X R and having boundary with curvature greater than one, contained in a horizontal section P of H2 X R are topological disks, provided they are contained in one of the two halfspaces determined by P. This is the analogue in H2 X R of a result in R3 by A. Ros and H. Rosenberg [13, Theorem 2].


title: High-resolution spectroscopic study of dwarf stars in the northern sky: Na to Zn abundances in two fields with radii of 20 degrees

abstract: New space missions, such as NASA TESS or ESA PLATO, will focus on bright stars, which have been largely ignored by modern large surveys, especially in the northern sky. Spectroscopic information is of paramount importance in characterising the stars and analysing planets possibly orbiting them, and in studying the Galactic disc evolution. The aim of this work was to analyse all bright (V < 8 mag) F, G, and K dwarf stars using high-resolution spectra in the selected sky fields near the northern celestial pole. The observations were carried out with the 1.65 m diameter telescope at the Mol\.{e}tai Astronomical Observatory and a fibre-fed high-resolution spectrograph covering a full visible wavelength range (400-850 nm). The atmospheric parameters were derived using the classical equivalent width approach while the individual chemical element abundances were determined from spectral synthesis. For both tasks the one-dimensional plane-parallel LTE MARCS stellar model atmospheres were applied. Results. We determined the main atmospheric parameters, kinematic properties, orbital parameters, and stellar ages for 109 newly observed stars and chemical abundances of 23 chemical species for 249 F, G, and K dwarf stars observed in the present study and in our previous study. The [MgI/FeI] ratio was adopted to define the thin-disc ($\alpha$-poor) and thick-disc ($\alpha$-rich) stars in our sample. We explored the behaviour of 21 chemical species in the [El/FeI] versus [FeI/H] and [El/FeI] versus age planes, and compared the results with the latest Galactic chemical evolution models. We also explored [El/FeI] gradients according to the mean Galactocentric distances and maximum height above the Galactic plane.


title: Feature-Model-Guided Online Learning for Self-Adaptive Systems

abstract: A self-adaptive system can modify its own structure and behavior at runtime based on its perception of the environment, of itself and of its requirements. To develop a self-adaptive system, software developers codify knowledge about the system and its environment, as well as how adaptation actions impact on the system. However, the codified knowledge may be insufficient due to design time uncertainty, and thus a self-adaptive system may execute adaptation actions that do not have the desired effect. Online learning is an emerging approach to address design time uncertainty by employing machine learning at runtime. Online learning accumulates knowledge at runtime by, for instance, exploring not-yet executed adaptation actions. We address two specific problems with respect to online learning for self-adaptive systems. First, the number of possible adaptation actions can be very large. Existing online learning techniques randomly explore the possible adaptation actions, but this can lead to slow convergence of the learning process. Second, the possible adaptation actions can change as a result of system evolution. Existing online learning techniques are unaware of these changes and thus do not explore new adaptation actions, but explore adaptation actions that are no longer valid. We propose using feature models to give structure to the set of adaptation actions and thereby guide the exploration process during online learning. Experimental results involving four real-world systems suggest that considering the hierarchical structure of feature models may speed up convergence by 7.2% on average. Considering the differences between feature models before and after an evolution step may speed up convergence by 64.6% on average. [...]


title: Harmonically confined particles with long-range repulsive interactions

abstract: We study an interacting system of $N$ classical particles on a line at thermal equilibrium. The particles are confined by a harmonic trap and repelling each other via pairwise interaction potential that behaves as a power law $\propto \sum_{\substack{i\neq j}}^N|x_i-x_j|^{-k}$ (with $k>-2$) of their mutual distance. This is a generalization of the well known cases of the one component plasma ($k=-1$), Dyson's log-gas ($k\to 0^+$), and the Calogero-Moser model ($k=2$). Due to the competition between harmonic confinement and pairwise repulsion, the particles spread over a finite region of space for all $k>-2$. We compute exactly the average density profile for large $N$ for all $k>-2$ and show that while it is independent of temperature for sufficiently low temperature, it has a rich and nontrivial dependence on $k$ with distinct behavior for $-2<k<1$, $k>1$ and $k=1$.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: Extended Local Binary Patterns for Efficient and Robust Spontaneous Facial Micro-Expression Recognition

abstract: Facial Micro-Expressions (MEs) are spontaneous, involuntary facial movements when a person experiences an emotion but deliberately or unconsciously attempts to conceal his or her genuine emotions. Recently, ME recognition has attracted increasing attention due to its potential applications such as clinical diagnosis, business negotiation, interrogations, and security. However, it is expensive to build large scale ME datasets, mainly due to the difficulty of inducing spontaneous MEs. This limits the application of deep learning techniques which require lots of training data. In this paper, we propose a simple, efficient yet robust descriptor called Extended Local Binary Patterns on Three Orthogonal Planes (ELBPTOP) for ME recognition. ELBPTOP consists of three complementary binary descriptors: LBPTOP and two novel ones Radial Difference LBPTOP (RDLBPTOP) and Angular Difference LBPTOP (ADLBPTOP), which explore the local second order information along the radial and angular directions contained in ME video sequences. ELBPTOP is a novel ME descriptor inspired by unique and subtle facial movements. It is computationally efficient and only marginally increases the cost of computing LBPTOP, yet is extremely effective for ME recognition. In addition, by firstly introducing Whitened Principal Component Analysis (WPCA) to ME recognition, we can further obtain more compact and discriminative feature representations, then achieve significantly computational savings. Extensive experimental evaluation on three popular spontaneous ME datasets SMIC, CASME II and SAMM show that our proposed ELBPTOP approach significantly outperforms the previous state-of-the-art on all three single evaluated datasets and achieves promising results on cross-database recognition.Our code will be made available.


title: A Survey of Fundamental Operations on Discrete Convex Functions of Various Kinds

abstract: Discrete convex functions are used in many areas, including operations research, discrete-event systems, game theory, and economics. The objective of this paper is to offer a survey on fundamental operations for various kinds of discrete convex functions in discrete convex analysis such as integrally convex functions, L-convex functions, M-convex functions, and multimodular functions.


title: On the simulation of the Hawkes process via Lambert-W functions

abstract: Several methods have been developed for the simulation of the Hawkes process. The oldest approach is the inverse sampling transform (ITS) suggested in \citep{ozaki1979maximum}, but rapidly abandoned in favor of more efficient alternatives. This manuscript shows that the ITS approach can be conveniently discussed in terms of Lambert-W functions. An optimized and efficient implementation suggests that this approach is computationally more performing than more recent alternatives available for the simulation of the Hawkes process.


title: Full Reciprocity-Gap Waveform Inversion in the frequency domain, enabling sparse-source acquisition

abstract: The quantitative reconstruction of sub-surface Earth properties from the propagation of waves follows an iterative minimization of a misfit functional. In marine seismic exploration, the observed data usually consist of measurements of the pressure field but dual-sensor devices also provide the normal velocity. Consequently, a reciprocity-based misfit functional is specifically designed, and defines the Full Reciprocity-gap Waveform Inversion (FRgWI ) method. This misfit functional provides additional features compared to the more traditional least-squares approaches with, in particular, that the observational and computational acquisitions can be different. Therefore, the positions and wavelets of the sources from which the measurements are acquired are not needed in the reconstruction procedure and, in fact, the numerical acquisition (for the simulations) can be arbitrarily chosen. Based on three-dimensional experiments, FRgWI is shown to behave better than Full Waveform Inversion (FWI) in the same context. Then, it allows for arbitrary numerical acquisitions in two ways: when few measurements are given, a dense numerical acquisition (compared to the observational one) can be used to compensate. On the other hand, with a dense observational acquisition, a sparse computational one is shown to be sufficient, for instance with multiple-point sources, hence reducing the numerical cost. FRgWI displays accurate reconstructions in both situations and appears more robust with respect to cross-talk than the least-squares shot-stacking.


title: Properties of the Stochastic Approximation EM Algorithm with Mini-batch Sampling

abstract: To deal with very large datasets a mini-batch version of the Monte Carlo Markov Chain Stochastic Approximation Expectation-Maximization algorithm for general latent variable models is proposed. For exponential models the algorithm is shown to be convergent under classicalconditions as the number of iterations increases. Numerical experiments illustrate the performance of the mini-batch algorithm in various models.In particular, we highlight that mini-batch sampling results in an important speed-up of the convergence of the sequence of estimators generated by the algorithm. Moreover, insights on the effect of the mini-batch size on the limit distribution are presented. Finally, we illustrate how to use mini-batch sampling in practice to improve results when a constraint on the computing time is given.


title: Hyperplanes in Configurations, decompositions, and Pascal Triangle of Configurations

abstract: An elegant procedure which characterizes a decomposition of some class of binomial configurations into two other, resembling a definition of Pascal's Triangle, was given in \cite{gevay}. In essence, this construction was already presented in \cite{perspect}. We show that such a procedure is a result of fixing in configurations in some class $\mathcal K$ suitable hyperplanes which both: are in this class, and deleting such a hyperplane results in a configuration in this class. By a way of example we show two more (added to that of \cite{gevay}) natural classes of such configurations, discuss some other, and propose some open questions that seem also natural in this context.


title: Sharp spectral asymptotics for non-reversible metastable diffusion processes

abstract: Let $U_h:\mathbb R^{d}\to \mathbb R^{d}$ be a smooth vector field and consider the associated overdamped Langevin equation $$dX_t=-U_h(X_t)\,dt+\sqrt{2h}\,dB_t$$ in the low temperature regime $h\rightarrow 0$. In this work, we study the spectrum of the associated diffusion $L=-h\Delta+U_h\cdot\nabla$ under the assumptions that $U_h=U_{0}+h\nu$, where the vector fields $U_{0}:\mathbb R^{d}\to \mathbb R^{d}$ and $\nu:\mathbb R^{d}\to \mathbb R^{d}$ are independent of $h\in(0,1]$, and that the dynamics admits $e^{-\frac Vh}$ as an invariant measure for some smooth function $V:\mathbb{R}^d\rightarrow\mathbb{R}$. Assuming additionally that $V$ is a Morse function admitting $n_0$ local minima, we prove that there exists $\epsilon>0$ such that in the limit $h\to 0$, $L$ admits exactly $n_0$ eigenvalues in the strip $\{0\leq \operatorname{Re}(z)< \epsilon\}$, which have moreover exponentially small moduli. Under a generic assumption on the potential barriers of the Morse function $V$, we also prove that the asymptotic behaviors of these small eigenvalues are given by Eyring-Kramers type formulas.


title: Sensor Aware Lidar Odometry

abstract: A lidar odometry method, integrating into the computation the knowledge about the physics of the sensor, is proposed. A model of measurement error enables higher precision in estimation of the point normal covariance. Adjacent laser beams are used in an outlier correspondence rejection scheme. The method is ranked in the KITTI's leaderboard with 1.37% positioning error. 3.67% is achieved in comparison with the LOAM method on the internal dataset.


title: Surface terms in the effective actions via duality constraints

abstract: The effective action of string theory on a spacetime manifold with boundary has both bulk and boundary terms. We propose that both bulk and boundary actions, may be found by imposing the effective action to be invariant under the gauge transformations and under the string dualities. Using this proposal at the leading order of $\alpha'$, the standard Gibbons-Hawking-York boundary term is reproduced.


title: Learning dynamic word embeddings with drift regularisation

abstract: Word usage, meaning and connotation change throughout time. Diachronic word embeddings are used to grasp these changes in an unsupervised way. In this paper, we use variants of the Dynamic Bernoulli Embeddings model to learn dynamic word embeddings, in order to identify notable properties of the model. The comparison is made on the New York Times Annotated Corpus in English and a set of articles from the French newspaper Le Monde covering the same period. This allows us to define a pipeline to analyse the evolution of words use across two languages.


title: Semisimple cyclic elements in semisimple Lie algebras

abstract: This paper is a continuation of the theory of cyclic elements in semisimple Lie algebras, developed by Elashvili, Kac and Vinberg. Its main result is the classification of semisimple cyclic elements in semisimple Lie algebras. The importance of this classification stems from the fact that each such element gives rise to an integrable hierarchy of Hamiltonian PDE of Drinfeld-Sokolov type.


title: Global Existence of Weak Solutions for the Anisotropic Compressible Stokes System

abstract: In this paper, we study the problem of global existence of weak solutions for the quasi-stationary compressible Stokes equations with an anisotropic viscous tensor. The key element of our proof is the control of a particular defect measure associated to the pressure which avoids the use of the eective ux. Using this new tool, we solve an open problem namely global existence of solutions {\`a} la Leray for such a system without assuming any restriction on the anisotropy amplitude. It provides a exible and natural way to treat compressible quasilinear Stokes systems which are important for instance in biology, porous media, supra-conductivity or other applications in the low Reynolds number regime.


title: $A_4$ flavor symmetric model in SUSY SU(5) GUT

abstract: We propose a model with $A_4$ flavor symmetry for leptons and quarks in the framework of supersymmetric SU(5) grand unified theory (GUT). The running masses of quarks and charged leptons at GUT scale ($\sim 10^{16}$ GeV) are realized by the adjoint 24-dimensional Higgs multiplet and additional gauge singlet scalar fields including flavons. In this paper, we focus on a result of the quark and charged lepton masses and quark mixing since our present model is known to reproduce recent experimental results of the neutrino mass and oscillation. Those results are showed numerically.


title: FedHealth: A Federated Transfer Learning Framework for Wearable Healthcare

abstract: With the rapid development of computing technology, wearable devices such as smart phones and wristbands make it easy to get access to people's health information including activities, sleep, sports, etc. Smart healthcare achieves great success by training machine learning models on a large quantity of user data. However, there are two critical challenges. Firstly, user data often exists in the form of isolated islands, making it difficult to perform aggregation without compromising privacy security. Secondly, the models trained on the cloud fail on personalization. In this paper, we propose FedHealth, the first federated transfer learning framework for wearable healthcare to tackle these challenges. FedHealth performs data aggregation through federated learning, and then builds personalized models by transfer learning. It is able to achieve accurate and personalized healthcare without compromising privacy and security. Experiments demonstrate that FedHealth produces higher accuracy (5.3% improvement) for wearable activity recognition when compared to traditional methods. FedHealth is general and extensible and has the potential to be used in many healthcare applications.


title: Ampleness of Schur powers of cotangent bundles and k-hyperbolicity

abstract: In this paper, we study a variation of a conjecture of Debarre on positivity of cotangent bundles of complete intersections. We establish the ampleness of Schur powers of cotangent bundles of generic complete intersections in projective manifolds, with high enough explicit codimension and multi-degrees. Our approach is naturally formulated in terms of flag bundles and allows one to reach the optimal codimension. On complex manifolds, this ampleness property implies intermediate hyperbolic properties. We give a natural application of our main result in this context.


title: Circumstellar envelopes of semi-regular long-period variables: mass-loss rate estimates and general model-fitting of the molecular gas

abstract: We aim to study the main properties of a volume-limited unbiased sample of well-characterized semi-regular variables (SRs) in order to clarify important issues, such as the formation of axially symmetric planetary nebulae (PNe) from spherical circumstellar envelopes (CSEs), which takes place during the mass-loss process along the AGB phase. We present new high-S/N IRAM 30m observations of the 12CO J=2-1, J=1-0, and 13CO J=1-0 lines, in a volume-limited sample of SRs. We analyzed the data by characterizing the main properties of the CSEs. The 12CO J=2-1 data were used to study the profiles, while the 12CO J=1-0 data were used to estimate mass-loss rates for the complete sample. We have classified the sources into four groups according to the different profiles and final gas expansion velocities. Type 1 and 2 profiles are broad and narrow symmetric lines, respectively. Type 3 profiles on the contrary are strange profiles with very pronounced asymmetries. Finally, type 4 profiles are those showing two different components: a narrow line profile superimposed on a broad pedestal component. Interestingly, we report a moderate correlation between mass-loss rates and 12CO J=1-0/J=2-1 line intensity ratios for O-rich SRs, suggesting a different behaviour between C- and O-rich SRs. Using SHAPE+shapemol, we find a unified simple model based on an oblate spheroid placed in different orientations that may explain all the 12CO profiles in the sample, indicating that the gas expansion is in general predominantly equatorial. Moreover, in order to explain the type 4 profiles, we define an extra component which may somehow be a biconical structure or similar. Type 1 and 2 profiles, curiously, may also be explained by standard spherically symmetric envelopes. We conclude that most circumstellar shells around SRs show axial, strongly nonspherical symmetry.


title: Unified Interpretation of Scalegenesis in Conformally Extended Standard Models

abstract: We present a universal interpretation for a class of conformal extended standard models including Higgs portal interactions realized in low-energy effective theories. The scale generation mechanism in this class (scalegenesis) arises along the (nearly) conformal/flat direction for the scale symmetry breaking, where the electroweak-symmetry breaking structure is achieved in a similar way to the standard model's. A dynamical origin for the Higgs portal coupling can provide the discriminator for the low-energy ``universality class'', to be probed in forthcoming collider experiments.