title: Acoustic double negativity induced by position correlations within a disordered set of monopolar resonators

abstract: Using a Multiple Scattering Theory algorithm, we investigate numerically the transmission of ultrasonic waves through a disordered locally resonant metamaterial containing only monopolar resonators. By comparing the cases of a perfectly random medium with its pair correlated counterpart, we show that the introduction of short range correlation can substantially impact the effective parameters of the sample. We report, notably, the opening of an acoustic transparency window in the region of the hybridization band gap. Interestingly, the transparency window is found to be associated with negative values of both effective compressibility and density. Despite this feature being unexpected for a disordered medium of monopolar resonators, we show that it can be fully described analytically and that it gives rise to negative refraction of waves.


title: A Case for an Atmosphere on Super-Earth 55 Cancri e

abstract: One of the primary questions when characterizing Earth-sized and super-Earth-sized exoplanets is whether they have a substantial atmosphere like Earth and Venus or a bare-rock surface like Mercury. Phase curves of the planets in thermal emission provide clues to this question, because a substantial atmosphere would transport heat more efficiently than a bare-rock surface. Analyzing phase curve photometric data around secondary eclipse has previously been used to study energy transport in the atmospheres of hot Jupiters. Here we use phase curve, Spitzer time-series photometry to study the thermal emission properties of the super-Earth exoplanet 55 Cancri e. We utilize a semi-analytical framework to fit a physical model to the infrared photometric data at 4.5 micron. The model uses parameters of planetary properties including Bond albedo, heat redistribution efficiency (i.e., ratio between radiative timescale and advective timescale of the atmosphere), and atmospheric greenhouse factor. The phase curve of 55 Cancri e is dominated by thermal emission with an eastward-shifted hot spot. We determine the heat redistribution efficiency to be ~1.47, which implies that the advective timescale is on the same order as the radiative timescale. This requirement cannot be met by the bare-rock planet scenario because heat transport by currents of molten lava would be too slow. The phase curve thus favors the scenario with a substantial atmosphere. Our constraints on the heat redistribution efficiency translate to an atmospheric pressure of ~1.4 bar. The Spitzer 4.5-micron band is thus a window into the deep atmosphere of the planet 55 Cancri e.


title: Stabilization of High Order Cut Finite Element Methods on Surfaces

abstract: We develop and analyze a stabilization term for cut finite element approximations of an elliptic second order partial differential equation on a surface embedded in $\mathbb{R}^d$. The new stabilization term combines properly scaled normal derivatives at the surface together with control of the jump in the normal derivatives across faces and provides control of the variation of the finite element solution on the active three dimensional elements that intersect the surface. We show that the condition number of the stiffness matrix is $O(h^{-2})$, where $h$ is the mesh parameter. The stabilization term works for linear as well as for higher-order elements and the derivation of its stabilizing properties is quite straightforward, which we illustrate by discussing the extension of the analysis to general $n$-dimensional smooth manifolds embedded in $\mathbb{R}^d$, with codimension $d-n$. We also formulate properties of a general stabilization term that are sufficient to prove optimal scaling of the condition number and optimal error estimates in energy- and $L^2$-norm. We finally present numerical studies confirming our theoretical results.


title: Iterative PET Image Reconstruction Using Convolutional Neural Network Representation

abstract: PET image reconstruction is challenging due to the ill-poseness of the inverse problem and limited number of detected photons. Recently deep neural networks have been widely and successfully used in computer vision tasks and attracted growing interests in medical imaging. In this work, we trained a deep residual convolutional neural network to improve PET image quality by using the existing inter-patient information. An innovative feature of the proposed method is that we embed the neural network in the iterative reconstruction framework for image representation, rather than using it as a post-processing tool. We formulate the objective function as a constraint optimization problem and solve it using the alternating direction method of multipliers (ADMM) algorithm. Both simulation data and hybrid real data are used to evaluate the proposed method. Quantification results show that our proposed iterative neural network method can outperform the neural network denoising and conventional penalized maximum likelihood methods.


title: Model for Ferromagnetic Quantum Critical Point in a 1D Kondo Lattice

abstract: Motivated by recent experiments, we study a quasi-one dimensional model of a Kondo lattice with Ferromagnetic coupling between the spins. Using bosonization and dynamical large-N techniques we establish the presence of a Fermi liquid and a magnetic phase separated by a local quantum critical point, governed by the Kondo breakdown picture. Thermodynamic properties are studied and a gapless charged mode at the quantum critical point is highlighted.


title: Geo-referencing Place from Everyday Natural Language Descriptions

abstract: Natural language place descriptions in everyday communication provide a rich source of spatial knowledge about places. An important step to utilize such knowledge in information systems is geo-referencing all the places referred to in these descriptions. Current techniques for geo-referencing places from text documents are using place name recognition and disambiguation; however, place descriptions often contain place references that are not known by gazetteers, or that are expressed in other, more flexible ways. Hence, the approach for geo-referencing presented in this paper starts from a place graph that contains the place references as well as spatial relationships extracted from place descriptions. Spatial relationships are used to constrain the locations of places and allow the later best-matching process for geo-referencing. The novel geo-referencing process results in higher precision and recall compared to state-of-art toponym resolution approaches on several tested place description datasets.


title: Superconductivity in the Nb-Ru-Ge $\sigma$-Phase

abstract: We show that the previously unreported ternary $\sigma$-phase material Nb$_{20.4}$Ru$_{5.7}$Ge$_{3.9}$ is a superconductor with a critical temperature of 2.2 K. Temperature-dependent magnetic susceptibility, resistance, and specific heat measurements were used to characterize the superconducting transition. The Sommerfeld constant $\gamma$ for Nb$_{20.4}$Ru$_{5.7}$Ge$_{3.9}$ is 91 mJ mol-f.u.$^{-1}$K$^{-2}$ and the specific heat anomaly at the superconducting transition, $\Delta$C/$\gamma$T$_c$, is approximately 1.38. The zero-temperature upper critical field ($\mu_0$H$_{c2}$(0)) was estimated to be 2 T by resistance data. Field-dependent magnetization data analysis estimated $\mu_0$H$_{c1}$(0) to be 5.5 mT. Thus, the characterization shows Nb$_{20.4}$Ru$_{5.7}$Ge$_{3.9}$ to be a type II BCS superconductor. This material appears to be the first reported ternary phase in the Nb-Ru-Ge system, and the fact that there are no previously reported binary Nb-Ru, Nb-Ge, or Ru-Ge $\sigma$-phases shows that all three elements are necessary to stabilize the material. A $\sigma$-phase in the Ta-Ru-Ge system was synthesized but did not display superconductivity above 1.7 K, which suggests that electron count cannot govern the superconductivity observed. Preliminary characterization of a possible superconducting $\sigma$-phase in the Nb-Ru-Ga system is also reported.


title: What does Attention in Neural Machine Translation Pay Attention to?

abstract: Attention in neural machine translation provides the possibility to encode relevant parts of the source sentence at each translation step. As a result, attention is considered to be an alignment model as well. However, there is no work that specifically studies attention and provides analysis of what is being learned by attention models. Thus, the question still remains that how attention is similar or different from the traditional alignment. In this paper, we provide detailed analysis of attention and compare it to traditional alignment. We answer the question of whether attention is only capable of modelling translational equivalent or it captures more information. We show that attention is different from alignment in some cases and is capturing useful information other than alignments.


title: Patent Citation Spectroscopy (PCS): Algorithmic retrieval of landmark patents

abstract: One essential component in the construction of patent landscapes in biomedical research and development (R&D) is identifying the most seminal patents. Hitherto, the identification of seminal patents required subject matter experts within biomedical areas. In this brief communication, we report an analytical method and tool, Patent Citation Spectroscopy (PCS), for rapidly identifying landmark patents in user-specified areas of biomedical innovation. PCS mines the cited references within large sets of patents and provides an estimate of the most historically impactful prior work. The efficacy of PCS is shown in two case studies of biomedical innovation with clinical relevance: (1) RNA interference and (2) cholesterol. PCS mined and analyzed 4,065 cited references related to patents on RNA interference and correctly identified the foundational patent of this technology, as independently reported by subject matter experts on RNAi intellectual property. Secondly, PCS was applied to a broad set of patents dealing with cholesterol - a case study chosen to reflect a more general, as opposed to expert, patent search query. PCS mined through 11,326 cited references and identified the seminal patent as that for Lipitor, the groundbreaking medication for treating high cholesterol as well as the pair of patents underlying Repatha. These cases suggest that PCS provides a useful method for identifying seminal patents in areas of biomedical innovation and therapeutics. The interactive tool is free-to-use at: www.leydesdorff.net/pcs/.


title: Resonant absorption of surface sausage and surface kink modes under photospheric conditions

abstract: We study the effect of resonant absorption of surface sausage and surface kink modes under photospheric conditions where the slow surface sausage modes undergo resonant damping in the slow continuum and the surface kink modes in the slow and Alfv\'{e}n continua at the transitional layers. We use recently derived analytical formulas to obtain the damping rate (time). By considering linear density and linear pressure profiles for the transitional layers, we show that resonant absorption in the slow continuum could be an efficient mechanism for the wave damping of the slow surface sausage and slow surface kink modes whilst the damping rate of the slow surface kink mode in the Alfv\'{e}n continuum is weak. It is also found that the resonant damping of the fast surface kink mode is much stronger than that of the slow surface kink mode, showing a similar efficiency as under coronal conditions. It is worth to notice that the slow body sausage and kink modes can also resonantly damp in the slow continuum for those linear profiles.


title: Emission line galaxies behind the planetary nebula IC 5148: Potential for a serendipity survey with archival data

abstract: During the start of a survey program using FORS2 long slit spectroscopy on planetary nebulae (PN) and their haloes, we serendipitously discovered six background emission line galaxies (ELG) with redshifts of z = 0.2057, 0.3137, 0.37281, 0.4939, 0.7424 and 0.8668. Thus they clearly do not belong to a common cluster structure. We derived the major physical properties of the targets. Since the used long slit covers a sky area of only 570 arcsec^2, we discuss further potential of serendipitous discoveries in archival data, beside the deep systematic work of the ongoing and upcoming big surveys. We conclude that archival data provide a decent potential for extending the overall data on ELGs without any selection bias.


title: A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency

abstract: This research started with an algebra for reasoning about rely/guarantee concurrency for a shared memory model. The approach taken led to a more abstract algebra of atomic steps, in which atomic steps synchronise (rather than interleave) when composed in parallel. The algebra of rely/guarantee concurrency then becomes an instantiation of the more abstract algebra. Many of the core properties needed for rely/guarantee reasoning can be shown to hold in the abstract algebra where their proofs are simpler and hence allow a higher degree of automation. The algebra has been encoded in Isabelle/HOL to provide a basis for tool support for program verification. In rely/guarantee concurrency, programs are specified to guarantee certain behaviours until assumptions about the behaviour of their environment are violated. When assumptions are violated, program behaviour is unconstrained (aborting), and guarantees need no longer hold. To support these guarantees a second synchronous operator, weak conjunction, was introduced: both processes in a weak conjunction must agree to take each atomic step, unless one aborts in which case the whole aborts. In developing the laws for parallel and weak conjunction we found many properties were shared by the operators and that the proofs of many laws were essentially the same. This insight led to the idea of generalising synchronisation to an abstract operator with only the axioms that are shared by the parallel and weak conjunction operator, so that those two operators can be viewed as instantiations of the abstract synchronisation operator. The main differences between parallel and weak conjunction are how they combine individual atomic steps; that is left open in the axioms for the abstract operator.


title: Existentially generated subfields of large fields

abstract: We study subfields of large fields which are generated by infinite existentially definable subsets. We say that such subfields are existentially generated. Let $L$ be a large field of characteristic exponent $p$, and let $E\subseteq L$ be an infinite existentially generated subfield. We show that $E$ contains $L^{(p^{n})}$, the $p^{n}$-th powers in $L$, for some $n<\omega$. This generalises a result of Fehm, which shows $E=L$ under the assumption that $L$ is perfect. Our method is to first study existentially generated subfields of henselian fields. Since $L$ is existentially closed in the henselian field $L((t))$, our result follows.


title: The Role of Data-driven Priors in Multi-agent Crowd Trajectory Estimation

abstract: Trajectory interpolation, the process of filling-in the gaps and removing noise from observed agent trajectories, is an essential task for the motion inference in multi-agent setting. A desired trajectory interpolation method should be robust to noise, changes in environments or agent densities, while also being yielding realistic group movement behaviors. Such realistic behaviors are, however, challenging to model as they require avoidance of agent-agent or agent-environment collisions and, at the same time, seek computational efficiency. In this paper, we propose a novel framework composed of data-driven priors (local, global or combined) and an efficient optimization strategy for multi-agent trajectory interpolation. The data-driven priors implicitly encode the dependencies of movements of multiple agents and the collision-avoiding desiderata, enabling elimination of costly pairwise collision constraints and resulting in reduced computational complexity and often improved estimation. Various combinations of priors and optimization algorithms are evaluated in comprehensive simulated experiments. Our experimental results reveal important insights, including the significance of the global flow prior and the lesser-than-expected influence of data-driven collision priors.


title: An Extension of Deep Pathway Analysis: A Pathway Route Analysis Framework Incorporating Multi-dimensional Cancer Genomics Data

abstract: Recent breakthroughs in cancer research have come via the up-and-coming field of pathway analysis. By applying statistical methods to prior known gene and protein regulatory information, pathway analysis provides a meaningful way to interpret genomic data. While many gene/protein regulatory relationships have been studied, never before has such a significant amount data been made available in organized forms of gene/protein regulatory networks and pathways. However, pathway analysis research is still in its infancy, especially when applying it to solve practical problems. In this paper we propose a new method of studying biological pathways, one that cross analyzes mutation information, transcriptome and proteomics data. Using this outcome, we identify routes of aberrant pathways potentially responsible for the etiology of disease. Each pathway route is encoded as a bayesian network which is initialized with a sequence of conditional probabilities specifically designed to encode directionality of regulatory relationships encoded in the pathways. Far more complex interactions, such as phosphorylation and methylation, among others, in the pathways can be modeled using this approach. The effectiveness of our model is demonstrated through its ability to distinguish real pathways from decoys on TCGA mRNA-seq, mutation, Copy Number Variation and phosphorylation data for both Breast cancer and Ovarian cancer study. The majority of pathways distinguished can be confirmed by biological literature. Moreover, the proportion of correctly indentified pathways is \% higher than previous work where only mRNA-seq mutation data is incorporated for breast cancer patients. Consequently, such an in-depth pathway analysis incorporating more diverse data can give rise to the accuracy of perturbed pathway detection.


title: Spillover modes in multiplex games: double-edged effects on cooperation, and their coevolution

abstract: In recent years, there has been growing interest in studying games on multiplex networks that account for interactions across linked social contexts. However, little is known about how potential cross-context interference, or spillover, of individual behavioural strategy impact overall cooperation. We consider three plausible spillover modes, quantifying and comparing their effects on the evolution of cooperation. In our model, social interactions take place on two network layers: one represents repeated interactions with close neighbours in a lattice, the other represents one-shot interactions with random individuals across the same population. Spillover can occur during the social learning process with accidental cross-layer strategy transfer, or during social interactions with errors in implementation due to contextual interference. Our analytical results, using extended pair approximation, are in good agreement with extensive simulations. We find double-edged effects of spillover on cooperation: increasing the intensity of spillover can promote cooperation provided cooperation is favoured in one layer, but too much spillover is detrimental. We also discover a bistability phenomenon of cooperation: spillover hinders or promotes cooperation depending on initial frequencies of cooperation in each layer. Furthermore, comparing strategy combinations that emerge in each spillover mode provides a good indication of their co-evolutionary dynamics with cooperation. Our results make testable predictions that inspire future research, and sheds light on human cooperation across social domains and their interference with one another.


title: Proofs as Relational Invariants of Synthesized Execution Grammars

abstract: The automatic verification of programs that maintain unbounded low-level data structures is a critical and open problem. Analyzers and verifiers developed in previous work can synthesize invariants that only describe data structures of heavily restricted forms, or require an analyst to provide predicates over program data and structure that are used in a synthesized proof of correctness. In this work, we introduce a novel automatic safety verifier of programs that maintain low-level data structures, named LTTP. LTTP synthesizes proofs of program safety represented as a grammar of a given program's control paths, annotated with invariants that relate program state at distinct points within its path of execution. LTTP synthesizes such proofs completely automatically, using a novel inductive-synthesis algorithm. We have implemented LTTP as a verifier for JVM bytecode and applied it to verify the safety of a collection of verification benchmarks. Our results demonstrate that LTTP can be applied to automatically verify the safety of programs that are beyond the scope of previously-developed verifiers.


title: Balanced power diagrams for redistricting

abstract: We propose a method for redistricting, decomposing a geographical area into subareas, called districts, so that the populations of the districts are as close as possible and the districts are compact and contiguous. Each district is the intersection of a polygon with the geographical area. The polygons are convex and the average number of sides per polygon is less than six. The polygons tend to be quite compact. With each polygon is associated a center. The center is the centroid of the locations of the residents associated with the polygon. The algorithm can be viewed as a heuristic for finding centers and a balanced assignment of residents to centers so as to minimize the sum of squared distances of residents to centers; hence the solution can be said to have low dispersion.


title: A direct test of the integral Yang-Mills equations through SU(2) monopoles

abstract: We use the SU(2) 't Hooft-Polyakov monopole configuration, and its BPS version, to test the integral equations of the Yang-Mills theory. Those integral equations involve two (complex) parameters which do not appear in the differential Yang-Mills equations, and if they are considered to be arbitrary it then implies that non-abelian gauge theories (but not abelian ones) possess an infinity of integral equations. For static monopole configurations only one of those parameters is relevant. We expand the integral Yang-Mills equation in a power series of that parameter and show that the 't Hooft-Polyakov monopole and its BPS version satisfy the integral equations obtained in first and second order of that expansion. Our results points to the importance of exploring the physical consequences of such an infinity of integral equations on the global properties of the Yang-Mills theory.


title: Chaotic orbits obeying one isolating integral in a four dimensional map

abstract: We have recently presented strong evidence that chaotic orbits that obey one isolating integral besides energy exist in a toy Hamiltonian model with three degrees of freedom and are bounded by regular orbits that isolate them from the Arnold web. The interval covered by those numerical experiments was equivalent to about one million Hubble times in a galactic context. Here we use a four dimensional map to confirm our previous results and to extend that interval fifty times. We show that, at least within that interval, features found in lower dimension Hamiltonian systems and maps are also present in our study, e.g., within the phase space occupied by a chaotic orbit that obeys one integral there are subspaces where that orbit does not enter and are, instead, occupied by regular orbits that, if tori, bound other chaotic orbits obeying one integral and, if cantori, produce stickiness. We argue that the validity of our results might exceed the time intervals covered by the numerical experiments.


title: Counting the electrons in a multiphoton ionization by elastic scattering of microwaves

abstract: Laser induced plasmas have found numerous applications including plasma-assisted combustion, combustion diagnostics, laser induced breakdown spectroscopy, light detection and ranging techniques (LIDAR), microwave guiding, reconfigurable plasma antennae etc. Multiphoton ionization (MPI) is a fundamental first step in high-energy laser-matter interaction and is important for understanding of the mechanism of plasma formation. With the discovery of MPI more than 50 years ago, there were numerous attempts to determine basic physical constants of this process in the direct experiments, namely photoionization rates and cross-sections of the MPI, however, no reliable data is available until today and spread in the literature values often reaches 2-3 orders of magnitude. This is due to inability to conduct absolute measurements of plasma electron numbers generated by MPI which leads to uncertainties and, sometimes, contradictions between the MPI cross-section values utilized by different researchers across the field. Here we report first direct measurement of absolute plasma electron numbers generated at MPI of air and subsequently we precisely determine ionization rate and cross-section of eight-photon ionization of oxygen molecule by 800 nm photons ${\sigma}_8=(3.32{\pm}0.3)*10^{-130} W^{-8}m^{16}s^{-1}$. Method is based on the absolute measurement of electron number created by MPI using elastic scattering of microwaves off the plasma volume in Rayleigh regime and establishes a general approach to directly measure and tabulate basic constants of the MPI process for various gases and photon energies.


title: Gate-tunable supercurrent and multiple Andreev reflections in a superconductor-topological insulator nanoribbon-superconductor hybrid device

abstract: We report on the observation of gate-tunable proximity-induced superconductivity and multiple Andreev reflections (MAR) in a bulk-insulating BiSbTeSe$_2$ topological insulator nanoribbon (TINR) Josephson junction (JJ) with superconducting Nb contacts. We observe a gate-tunable critical current ($I_C$) for gate voltages ($V_g$) above the charge neutrality point ($V_{CNP}$), with $I_C$ as large as 430 nA. We also observe MAR peaks in the differential conductance ($dI/dV$) versus DC voltage ($V_{dc}$) across the junction corresponding to sub-harmonic peaks (at $V_{dc} = V_n = 2\Delta_{Nb}/en$, where $\Delta_{Nb}$ is the superconducting gap of the Nb contacts and $n$ is the sub-harmonic order). The sub-harmonic order, $n$, exhibits a $V_g$-dependence and reaches $n = 13$ for $V_g = 40$ V, indicating the high transparency of the Nb contacts to TINR. Our observations pave the way toward exploring the possibilities of using TINR in topologically protected devices that may host exotic physics such as Majorana fermions.


title: Efficient decoding for the Hayden-Preskill protocol

abstract: We present two particular decoding procedures for reconstructing a quantum state from the Hawking radiation in the Hayden-Preskill thought experiment. We work in an idealized setting and represent the black hole and its entangled partner by $n$ EPR pairs. The first procedure teleports the state thrown into the black hole to an outside observer by post-selecting on the condition that a sufficient number of EPR pairs remain undisturbed. The probability of this favorable event scales as $1/d_{A}^2$, where $d_A$ is the Hilbert space dimension for the input state. The second procedure is deterministic and combines the previous idea with Grover's search. The decoding complexity is $\mathcal{O}(d_{A}\mathcal{C})$ where $\mathcal{C}$ is the size of the quantum circuit implementing the unitary evolution operator $U$ of the black hole. As with the original (non-constructive) decoding scheme, our algorithms utilize scrambling, where the decay of out-of-time-order correlators (OTOCs) guarantees faithful state recovery.


title: Magnetic and superconducting properties on S-type single-crystal CeCu$_2$Si$_2$ probed by $^{63}$Cu nuclear magnetic resonance and nuclear quadrupole resonance

abstract: We have performed $^{63}$Cu nuclear magnetic resonance/nuclear quadrupole resonance measurements to investigate the magnetic and superconducting (SC) properties on a "superconductivity dominant" ($S$-type) single crystal of CeCu$_2$Si$_2$. Although the development of antiferromagnetic (AFM) fluctuations down to 1~K indicated that the AFM criticality was close, Korringa behavior was observed below 0.8~K, and no magnetic anomaly was observed above $T_{\rm c} \sim$ 0.6 K. These behaviors were expected in $S$-type CeCu$_2$Si$_2$. The temperature dependence of the nuclear spin-lattice relaxation rate $1/T_1$ at zero field was almost identical to that in the previous polycrystalline samples down to 130~mK, but the temperature dependence deviated downward below 120~mK. In fact, $1/T_1$ in the SC state could be fitted with the two-gap $s_{\pm}$-wave rather than the two-gap $s_{++}$-wave model down to 90~mK. Under magnetic fields, the spin susceptibility in both directions clearly decreased below $T_{\rm c}$, indicative of the formation of spin singlet pairing. The residual part of the spin susceptibility was understood by the field-induced residual density of states evaluated from $1/T_1T$, which was ascribed to the effect of the vortex cores. No magnetic anomaly was observed above the upper critical field $H_{c2}$, but the development of AFM fluctuations was observed, indicating that superconductivity was realized in strong AFM fluctuations.


title: Quantum phase transitions of multi-species Dirac fermions

abstract: We use the determinant Quantum Monte Carlo method (DQMC) to study the interaction-driven semimetal to antiferromagnetic insulator transition in a $\pi$-flux Hamiltonian with modulated hoppings, a model which has two species of Dirac fermions. It is found that the critical interaction strength $U_c$ is decreased by reducing the velocity of the outer Dirac cone, while the inner cone velocity fixes the band width. Although $U_c$ is monotonic, at fixed inverse temperature $\beta$ the antiferromagnetic (AF) structure factor has a maximum as a function of the hopping modulation. We also study the corresponding strong coupling (Heisenberg model) limit, where the sublattice magnetization is enhanced by the alternation of the exchange couplings. The AF order is shown to be non-monotonic, and maximal at an intermediate degree of anisotropy, in qualitative agreement with the Hubbard model. These results quantify the effect of the velocities on the critical interaction strength in Dirac fermion systems and enable an additional degree of control which will be useful in studying strong correlation physics in ultracold atoms in optical lattices.


title: Combination interventions for Hepatitis C and Cirrhosis reduction among people who inject drugs: An agent-based, networked population simulation experiment

abstract: Hepatitis C virus (HCV) infection is endemic in people who inject drugs (PWID), with prevalence estimates above 60 percent for PWID in the United States. Previous modeling studies suggest that direct acting antiviral (DAA) treatment can lower overall prevalence in this population, but treatment is often delayed until the onset of advanced liver disease (fibrosis stage 3 or later) due to cost. Lower cost interventions featuring syringe access (SA) and medically assisted treatment (MAT) for addiction are known to be less costly, but have shown mixed results in lowering HCV rates below current levels. Little is known about the potential synergistic effects of combining DAA and MAT treatment, and large-scale tests of combined interventions are rare. While simulation experiments can reveal likely long-term effects, most prior simulations have been performed on closed populations of model agents--a scenario quite different from the open, mobile populations known to most health agencies. This paper uses data from the Centers for Disease Control's National HIV Behavioral Surveillance project, IDU round 3, collected in New York City in 2012 by the New York City Department of Health and Mental Hygiene to parameterize simulations of open populations. Our results show that, in an open population, SA/MAT by itself has only small effects on HCV prevalence, while DAA treatment by itself can significantly lower both HCV and HCV-related advanced liver disease prevalence. More importantly, the simulation experiments suggest that cost effective synergistic combinations of the two strategies can dramatically reduce HCV incidence. We conclude that adopting SA/MAT implementations alongside DAA interventions can play a critical role in reducing the long-term consequences of ongoing infection.


title: A spectral shift function for Schr\"{o}dinger operators with singular interactions

abstract: For the pair $\{-\Delta, -\Delta-\alpha\delta_\mathcal{C}\}$ of self-adjoint Schr\"{o}dinger operators in $L^2(\mathbb{R}^n)$ a spectral shift function is determined in an explicit form with the help of (energy parameter dependent) Dirichlet-to-Neumann maps. Here $\delta_{\cal{C}}$ denotes a singular $\delta$-potential which is supported on a smooth compact hypersurface $\mathcal{C}\subset\mathbb{R}^n$ and $\alpha$ is a real-valued function on $\mathcal{C}$.


title: Energy-efficient Amortized Inference with Cascaded Deep Classifiers

abstract: Deep neural networks have been remarkable successful in various AI tasks but often cast high computation and energy cost for energy-constrained applications such as mobile sensing. We address this problem by proposing a novel framework that optimizes the prediction accuracy and energy cost simultaneously, thus enabling effective cost-accuracy trade-off at test time. In our framework, each data instance is pushed into a cascade of deep neural networks with increasing sizes, and a selection module is used to sequentially determine when a sufficiently accurate classifier can be used for this data instance. The cascade of neural networks and the selection module are jointly trained in an end-to-end fashion by the REINFORCE algorithm to optimize a trade-off between the computational cost and the predictive accuracy. Our method is able to simultaneously improve the accuracy and efficiency by learning to assign easy instances to fast yet sufficiently accurate classifiers to save computation and energy cost, while assigning harder instances to deeper and more powerful classifiers to ensure satisfiable accuracy. With extensive experiments on several image classification datasets using cascaded ResNet classifiers, we demonstrate that our method outperforms the standard well-trained ResNets in accuracy but only requires less than 20% and 50% FLOPs cost on the CIFAR-10/100 datasets and 66% on the ImageNet dataset, respectively.


title: Maps in Dimension One with Infinite Entropy

abstract: We give examples of endomorphisms in dimension one with infinite topological entropy which are $\alpha$-H\"older and $(1,p)$-Sobolev for all $0\leq\alpha<1$ and $1\leq p<\infty$. This is constructed within a family of endomorphisms with infinite topological entropy and which traverse all $\alpha$-H\"older and $(1,p)$-Sobolev classes. Finally, we also give examples of endomorphisms, also in dimension one, which lie in the big and little Zygmund classes, answering a question of M. Benedicks.


title: iVQA: Inverse Visual Question Answering

abstract: We propose the inverse problem of Visual question answering (iVQA), and explore its suitability as a benchmark for visuo-linguistic understanding. The iVQA task is to generate a question that corresponds to a given image and answer pair. Since the answers are less informative than the questions, and the questions have less learnable bias, an iVQA model needs to better understand the image to be successful than a VQA model. We pose question generation as a multi-modal dynamic inference process and propose an iVQA model that can gradually adjust its focus of attention guided by both a partially generated question and the answer. For evaluation, apart from existing linguistic metrics, we propose a new ranking metric. This metric compares the ground truth question's rank among a list of distractors, which allows the drawbacks of different algorithms and sources of error to be studied. Experimental results show that our model can generate diverse, grammatically correct and content correlated questions that match the given answer.


title: Discovery of the new X-ray transient MAXI J1807+132: a Candidate of a Neutron Star Low-mass X-ray binary

abstract: We report on the detection and follow-up multi-wavelength observations of the new X-ray transient MAXI J1807+132 with the MAXI/GSC, Swift, and ground-based optical telescopes. The source was first recognized with the MAXI/GSC on 2017 March 13. About a week later, it reached the maximum intensity ($\sim$10 mCrab in 2-10 keV), and then gradually faded in $\sim$10 days by more than one order of magnitude. Time-averaged Swift/XRT spectra in the decaying phase can be described by a blackbody with a relatively low temperature (0.1-0.5 keV), plus a hard power-law component with a photon index of $\sim$2. These spectral properties are similar to those of neutron star low-mass X-ray binaries (LMXBs) in their dim periods. The blackbody temperature and the radius of the emission region varied in a complex manner as the source became dimmer. The source was detected in the optical wavelength on March 27-31 as well. The optical flux decreased monotonically as the X-ray flux decayed. The correlation between the X-ray and optical fluxes is found to be consistent with those of known neutron star LMXBs, supporting the idea that the source is likely to be a transient neutron star LMXB.


title: Mechanical and optical nanodevices in single-crystal quartz

abstract: Single-crystal {\alpha}-quartz, one of the most widely used piezoelectric materials, has enabled a wide range of timing applications. Owing to the fact that integrated thin-film based quartz platform is not available, most of these applications rely on macroscopic, bulk crystal-based devices. Here we show that the Faraday cage angled-etching technique can be used to realize nanoscale electromechanical and photonic devices in quartz. Using this approach, we demonstrate quartz nanomechanical cantilevers and ring resonators featuring Qs of 4,900 and 8,900, respectively.


title: Rational self-maps of moduli spaces

abstract: We discuss some examples of geometrically meaningful rational self-maps of moduli space of curves of low genus and homogeneous forms.


title: Probing millicharged particles with ultrasensitive optical nonlinear sensor based on levitated cavity optomechanics

abstract: Particles with electric charge 10^(-12)e in bulk mass are not excluded by present experiments. In the present letter we provide a feasible scheme to measure the millicharged particles via the optical cavity coupled to a levitated microsphere. The results show that the optical probe spectrum of the micro-oscillator presents a distinct shift due to the existence of millicharged particles. Owing to the very narrow linewidth(10^(-7) Hz) of the optical Kerr effect, this shift will be more obvious, which makes the millicharges more easy to be detectable. We propose a method to eliminate the polarization force background via the homogeneously charged ring, which makes the scheme displays strong advantages in precision than the current experiments. The technique proposed here paves the way for new applications for probing dark matter and nonzero charged neutrino in the condensed matter.

categories: hep-ex cond-mat.mes-hall physics.optics quant-ph


title: Thermoelectric phonon glass electron crystal via ion beam patterning of silicon

abstract: Ion beam irradiation has recently emerged as a versatile approach to functional materials design. We show in this work that patterned defective regions generated by ion beam irradiation of silicon can create a phonon glass electron crystal (PGEC), a longstanding goal of thermoelectrics. By controlling the effective diameter of and spacing between the defective regions, molecular dynamics simulations suggest a reduction of the thermal conductivity by a factor of $\approx$20 is achievable. Boltzmann theory shows that the thermoelectric power factor remains largely intact in the damaged material. To facilitate the Boltzmann theory, we derive an analytical model for electron scattering with cylindrical defective regions based on partial wave analysis. Together we predict a figure of merit of ZT$\approx$0.5 or more at room temperature for optimally patterned geometries of these silicon metamaterials. These findings indicate that nanostructuring of patterned defective regions in crystalline materials is a viable approach to realize a PGEC, and ion beam irradiation could be a promising fabrication strategy.


title: On the Service Capacity Region of Accessing Erasure Coded Content

abstract: Cloud storage systems generally add redundancy in storing content files such that $K$ files are replicated or erasure coded and stored on $N > K$ nodes. In addition to providing reliability against failures, the redundant copies can be used to serve a larger volume of content access requests. A request for one of the files can be either be sent to a systematic node, or one of the repair groups. In this paper, we seek to maximize the service capacity region, that is, the set of request arrival rates for the $K$ files that can be supported by a coded storage system. We explore two aspects of this problem: 1) for a given erasure code, how to optimally split incoming requests between systematic nodes and repair groups, and 2) choosing an underlying erasure code that maximizes the achievable service capacity region. In particular, we consider MDS and Simplex codes. Our analysis demonstrates that erasure coding makes the system more robust to skews in file popularity than simply replicating a file at multiple servers, and that coding and replication together can make the capacity region larger than either alone.


title: Enhanced pair production of heavy Majorana neutrinos at LHC

abstract: Towards experimental confirmations of the type-I seesaw mechanism, we explore a prospect of discovering the heavy Majorana right-handed neutrinos (RHNs) from a resonant production of a new massive gauge boson ($Z^{\prime}$) and its subsequent decay into a pair of RHNs ($Z^{\prime}\to NN$) at the future LHC. Recent simulation studies have shown that the discovery of the RHNs through this process is promising in the future. However, the current LHC data very severely constrains the production cross section of the $Z^{\prime}$ boson into a dilepton final states, $pp \to Z^{\prime}\to \ell^{+}\ell^{-} $ ($\ell=e$ or $\mu$). Extrapolating the current bound to the future, we find that a significant enhancement of the branching ratio ${\rm BR}(Z^{\prime}\to NN$) over ${\rm BR}(Z^{\prime}\to \ell^{+}\ell^{-}$) is necessary for the future discovery of RHNs. As a well-motivated simple extension of the Standard Model (SM) to incorporate the $Z^\prime$ boson and the type-I seesaw mechanism, we consider the minimal U(1)$_X$ model. We point out that this model can yield a significant enhancement up to ${\rm BR}(Z^{\prime}\to NN)/{\rm BR}(Z^{\prime}\to \ell^{+}\ell^{-}) \simeq 5$ (per generation). This is in sharp contrast with the minimal $B-L$ model, a benchmark scenario commonly used in simulation studies, which predicts ${\rm BR}(Z^{\prime}\to NN)/{\rm BR}(Z^{\prime}\to \ell^{+}\ell^{-}) \simeq 0.5$ (per generation). With such an enhancement and a realistic model-parameter choice to reproduce the neutrino oscillation data, we conclude that the possibility of discovering RHNs with a $300 \; {\rm fb}^{-1}$ luminosity implies that the $Z^\prime$ boson will be discovered with a luminosity of $170.5 \;{\rm fb}^{-1}$ ($125 \; {\rm fb}^{-1}$) for the normal (inverted) hierarchy of the light neutrino mass pattern.


title: Co-tunneling spin blockade observed in a three-terminal triple quantum dot

abstract: We prepare a triple quantum dot with a separate contact lead to each dot to study Pauli spin blockade in the tunnel-coupled three dots in a row. We measure the tunneling current flowing between the center dot and either the left or right dot with the left and right leads as a common source and the center lead as a drain. In the biased stability diagram, we establish Pauli spin blockade in the respective neighboring dots, with features similarly obtained in double quantum dot systems. We further realize Pauli spin blockade with two different conditions by tuning the inter-dot coupling gates: strong and weak inter-dot tunnel coupling regimes. In the strong-coupling regime we observe significant suppression of co-tunneling through the respective double dots due to Pauli spin blockade. We reveal the influence from the third dot in the triple dot device on this co-tunneling Pauli spin blockade and clarify that the co-tunneling Pauli spin blockade is lifted by the resonant coupling of excited states to the third dot level as well as spin exchange of the left and right dots with the adjacent reservoir.


title: Atiyah-Patodi-Singer index from the domain-wall fermion Dirac operator

abstract: The Atiyah-Patodi-Singer(APS) index theorem attracts attention for understanding physics on the surface of materials in topological phases. The mathematical set-up for this theorem is, however, not directly related to the physical fermion system, as it imposes on the fermion fields a non-local boundary condition known as the "APS boundary condition" by hand, which is unlikely to be realized in the materials. In this work, we attempt to reformulate the APS index in a "physicist-friendly" way for a simple set-up with $U(1)$ or $SU(N)$ gauge group on a flat four-dimensional Euclidean space. We find that the same index as APS is obtained from the domain-wall fermion Dirac operator with a local boundary condition, which is naturally given by the kink structure in the mass term. As the boundary condition does not depend on the gauge fields, our new definition of the index is easy to compute with the standard Fujikawa method.

categories: hep-th cond-mat.other hep-lat hep-ph math-ph math.MP


title: Beam steering with dielectric metalattices

abstract: We study optical wave manipulations through high-index dielectric metalattices in both diffractionless metasurface and diffractive metagrating regimes. It is shown that the collective lattice couplings can be employed to tune the excitation efficiencies of all electric and magnetic multipoles of various orders supported by each particle within the metalattice. The interferences of those adjusted multipoles lead to highly asymmetric angular scattering patterns that are totally different from those of isolated particles, which subsequently enables flexible beam manipulations, including perfect reflection, perfect transmission and efficient large-angle beam steering. The revealed functioning mechanism of manipulated interplays between lattice couplings and multipolar interferences can shed a new light on both photonic branches of metasurfaces and metagratings, which can potentially inspire many advanced applications related to optical beam controls.


title: Linear Systems over Join-Blank Algebras

abstract: A central problem of linear algebra is solving linear systems. Regarding linear systems as equations over general semirings (V,otimes,oplus,0,1) instead of rings or fields makes traditional approaches impossible. Earlier work shows that the solution space X(A;w) of the linear system Av = w over the class of semirings called join-blank algebras is a union of closed intervals (in the product order) with a common terminal point. In the smaller class of max-blank algebras, the additional hypothesis that the solution spaces of the 1x1 systems Av = w are closed intervals implies that X(A;w) is a finite union of closed intervals. We examine the general case, proving that without this additional hypothesis, we can still make X(A;w) into a finite union of quasi-intervals.


title: On finite time BV blow-up for the p-system

abstract: The paper studies the possible blowup of the total variation for entropy weak solutions of the p-system, modeling isentropic gas dynamics. It is assumed that the density remains uniformly positive, while the initial data can have arbitrarily large total variation (measured in terms of Riemann invariants). Two main results are proved. (I) If the total variation blows up in finite time, then the solution must contain an infinite number of large shocks in a neighborhood of some point in the $t$-$x$ plane. (II) Piecewise smooth approximate solutions can be constructed whose total variation blows up in finite time. For these solutions the strength of waves emerging from each interaction is exact, while rarefaction waves satisfy the natural decay estimates stemming from the assumption of genuine nonlinearity.


title: Real-Time Action Detection in Video Surveillance using Sub-Action Descriptor with Multi-CNN

abstract: When we say a person is texting, can you tell the person is walking or sitting? Emphatically, no. In order to solve this incomplete representation problem, this paper presents a sub-action descriptor for detailed action detection. The sub-action descriptor consists of three levels: the posture, the locomotion, and the gesture level. The three levels give three sub-action categories for one action to address the representation problem. The proposed action detection model simultaneously localizes and recognizes the actions of multiple individuals in video surveillance using appearance-based temporal features with multi-CNN. The proposed approach achieved a mean average precision (mAP) of 76.6% at the frame-based and 83.5% at the video-based measurement on the new large-scale ICVL video surveillance dataset that the authors introduce and make available to the community with this paper. Extensive experiments on the benchmark KTH dataset demonstrate that the proposed approach achieved better performance, which in turn boosts the action recognition performance over the state-of-the-art. The action detection model can run at around 25 fps on the ICVL and more than 80 fps on the KTH dataset, which is suitable for real-time surveillance applications.


title: Onsager algebra and cluster XY-models in a transverse magnetic field

abstract: The correlation functions of certain $n$-cluster XY models are explicitly expressed in terms of those of the standard Ising chain in transverse field.


title: Correspondences in complex dynamics

abstract: This paper surveys some recent results concerning the dynamics of two families of holomorphic correspondences, namely ${\mathcal F}_a:z \to w$ defined by the relation $$\left( \frac{aw-1}{w-1} \right)^2 + \left( \frac{aw-1}{w-1} \right) \left( \frac{az +1}{z+1} \right) + \left( \frac{az+1}{z+1} \right)^2 =3,$$ and $$\mathbf{f}_c(z)=z^{\beta} +c, \mbox{ where } 1<\beta=p/q \in \mathbb{Q},$$ which is the correspondence $\mathbf{f}_c:z \to w$ defined by the relation $$(w-c)^q=z^p.$$ Both can be regarded as generalizations of the family of quadratic maps $f_c(z)=z^2+c$. We describe dynamical properties for the family $\mathcal{F}_a$ which parallel properties enjoyed by quadratic polynomials, in particular a B\"ottcher map, periodic geodesics and Yoccoz inequality, and we give a detailed account of the very recent theory of holomorphic motions for hyperbolic multifunctions in the family ${\bf f}_c$.


title: Critical ideals, minimum rank and zero forcing number

abstract: There are profound relations between the zero forcing number and minimum rank of a graph. We study the relation of both parameters with a third one, the algebraic co-rank; that is defined as the largest $i$ such that the $i$-th critical ideal is trivial. This gives a new perspective for bounding and computing these three graph parameters.


title: Doppler-free coherent-control spectroscopy with a colliding pair of shaped pulses

abstract: We demonstrate the use of the ultrafast spatial coherent-control method to resolve the fine-structure two-photon transitions of atomic rubidium. Counter-propagating ultrafast optical pulses with spectral phase and amplitude programmed with our optimized solutions successfully induced the two-photon transitions through $5S_{1/2}$-$5P_{1/2}$-$5D$ and $5S_{1/2}$-$5P_{3/2}$-$5D$ pathways, both simultaneously and at distinct spatial locations. Three different pulse-shaping solutions are introduced that combine amplitude shaping, which avoids direct intermediate resonances, and phase programming, which enables the remaining spectral components to be coherently interfered through the targeted transition pathways. Experiments were performed with a room-temperature vapor cell, and the results agree well with theoretical analysis.


title: Nuclear clustering and the electron screening puzzle

abstract: Electron screening changes appreciably the magnitude of astrophysical nuclear reactions within stars. This effect is also observed in laboratory experiments on Earth, where atomic electrons are present in the nuclear targets. Theoretical models were developed over the past 30 years and experimental measurements have been carried out to study electron screening in thermonuclear reactions. None of the theoretical models were able to explain the high values of the experimentally determined screening potentials. We explore the possibility that the "electron screening puzzle" is due to nuclear clusterization and polarization effects in the fusion reactions. We will discuss the supporting arguments for this scenario.


title: Elliptic operators with honeycomb symmetry: Dirac points, Edge States and Applications to Photonic Graphene

abstract: Consider electromagnetic waves in two-dimensional {\it honeycomb structured media}. The properties of transverse electric (TE) polarized waves are determined by the spectral properties of the elliptic operator $\LA=-\nabla_\bx\cdot A(\bx) \nabla_\bx$, where $A(\bx)$ is $\Lambda_h-$ periodic ($\Lambda_h$ denotes the equilateral triangular lattice), and such that with respect to some origin of coordinates, $A(\bx)$ is $\mathcal{P}\mathcal{C}-$ invariant ($A(\bx)=\overline{A(-\bx)}$) and $120^\circ$ rotationally invariant ($A(R^*\bx)=R^*A(\bx)R$, where $R$ is a $120^\circ$ rotation in the plane). We first obtain results on the existence, stability and instability of Dirac points, conical intersections between two adjacent Floquet-Bloch dispersion surfaces. We then show that the introduction through small and slow variations of a {\it domain wall} across a line-defect gives rise to the bifurcation from Dirac points of highly robust (topologically protected) {\it edge states}. These are time-harmonic solutions of Maxwell's equations which are propagating parallel to the line-defect and spatially localized transverse to it. The transverse localization and strong robustness to perturbation of these edge states is rooted in the protected zero mode of a one-dimensional effective Dirac operator with spatially varying mass term. These results imply the existence of {\it uni-directional} propagating edge states for two classes of time-reversal invariant media in which $\mathcal{C}$ symmetry is broken: magneto-optic media and bi-anisotropic media. Our analysis applies and extends the tools previously developed in the context of honeycomb Schr\"odinger operators.

categories: math-ph math.AP math.MP math.SP physics.optics


title: On Preemption and Overdetermination in Formal Theories of Causality

abstract: One of the key challenges when looking for the causes of a complex event is to determine the causal status of factors that are neither individually necessary nor individually sufficient to produce that event. In order to reason about how such factors should be taken into account, we need a vocabulary to distinguish different cases. In philosophy, the concept of overdetermination and the concept of preemption serve an important purpose in this regard, although their exact meaning tends to remain elusive. In this paper, I provide theory-neutral definitions of these concepts using structural equations in the Halpern-Pearl tradition. While my definitions do not presuppose any particular causal theory, they take such a theory as a variable parameter. This enables us to specify formal constraints on theories of causality, in terms of a pre-theoretic understanding of what preemption and overdetermination actually mean. I demonstrate the usefulness of this by presenting and arguing for what I call the principle of presumption. Roughly speaking, this principle states that a possible cause can only be regarded as having been preempted if there is independent evidence to support such an inference. I conclude by showing that the principle of presumption is violated by the two main theories of causality formulated in the Halpern-Pearl tradition. The paper concludes by defining the class of empirical causal theories, characterised in terms of a fixed-point of counterfactual reasoning about difference-making. It is argued that theories of actual causality ought to be empirical.


title: Causality-based Model Checking

abstract: Model checking is usually based on a comprehensive traversal of the state space. Causality-based model checking is a radically different approach that instead analyzes the cause-effect relationships in a program. We give an overview on a new class of model checking algorithms that capture the causal relationships in a special data structure called concurrent traces. Concurrent traces identify key events in an execution history and link them through their cause-effect relationships. The model checker builds a tableau of concurrent traces, where the case splits represent different causal explanations of a hypothetical error. Causality-based model checking has been implemented in the ARCTOR tool, and applied to previously intractable multi-threaded benchmarks.


title: Causality and Temporal Dependencies in the Design of Fault Management Systems

abstract: Reasoning about causes and effects naturally arises in the engineering of safety-critical systems. A classical example is Fault Tree Analysis, a deductive technique used for system safety assessment, whereby an undesired state is reduced to the set of its immediate causes. The design of fault management systems also requires reasoning on causality relationships. In particular, a fail-operational system needs to ensure timely detection and identification of faults, i.e. recognize the occurrence of run-time faults through their observable effects on the system. Even more complex scenarios arise when multiple faults are involved and may interact in subtle ways. In this work, we propose a formal approach to fault management for complex systems. We first introduce the notions of fault tree and minimal cut sets. We then present a formal framework for the specification and analysis of diagnosability, and for the design of fault detection and identification (FDI) components. Finally, we review recent advances in fault propagation analysis, based on the Timed Failure Propagation Graphs (TFPG) formalism.


title: Counterfactual Causality from First Principles?

abstract: In this position paper we discuss three main shortcomings of existing approaches to counterfactual causality from the computer science perspective, and sketch lines of work to try and overcome these issues: (1) causality definitions should be driven by a set of precisely specified requirements rather than specific examples; (2) causality frameworks should support system dynamics; (3) causality analysis should have a well-understood behavior in presence of abstraction.


title: Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems

abstract: In system development, epistemic uncertainty is an ever-present possibility when reasoning about the causal factors during hazard analysis. Such uncertainty is common when complicated systems interact with one another, and it is dangerous because it impairs hazard analysis and thus increases the chance of overlooking unsafe situations. Uncertainty around causation thus needs to be managed well. Unfortunately, existing hazard analysis techniques tend to ignore unknown uncertainties, and system stakeholders rarely track known uncertainties well through the system lifecycle. In this paper, we outline an approach to managing epistemic uncertainty in existing hazard analysis techniques by focusing on known and unknown uncertainty. We have created a reference populated with a wide range of safety-critical causal relationships to recognise unknown uncertainty, and we have developed a model to systematically capture and track known uncertainty around such factors. We have also defined a process for using the reference and model to assess possible causal factors that are suspected during hazard analysis. To assess the applicability of our approach, we have analysed the widely-used MoDAF architectural model and determined that there is potential for our approach to identify additional causal factors that are not apparent from individual MoDAF views. We have also reviewed an existing safety assessment example (the ARP4761 Aircraft System analysis) and determined that our approach could indeed be incorporated into that process. We have also integrated our approach into the STPA hazard analysis technique to demonstrate its feasibility to incorporate into existing techniques. It is therefore plausible that our approach can increase safety assurance provided by hazard analysis in the face of epistemic uncertainty.


title: Efficient Dynamic Dictionary Matching with DAWGs and AC-automata

abstract: The dictionary matching is a task to find all occurrences of patterns in a set $D$ (called a dictionary) on a text $T$. The Aho-Corasick-automaton (AC-automaton) is a data structure which enables us to solve the dictionary matching problem in $O(d\log\sigma)$ preprocessing time and $O(n\log\sigma+occ)$ matching time, where $d$ is the total length of the patterns in $D$, $n$ is the length of the text, $\sigma$ is the alphabet size, and $occ$ is the total number of occurrences of all the patterns in the text. The dynamic dictionary matching is a variant where patterns may dynamically be inserted into and deleted from $D$. This problem is called semi-dynamic dictionary matching if only insertions are allowed. In this paper, we propose two efficient algorithms. For a pattern of length $m$, our first algorithm supports insertions in $O(m\log\sigma+\log d/\log\log d)$ time and pattern matching in $O(n\log\sigma+occ)$ time for the semi-dynamic setting and supports both insertions and deletions in $O(\sigma m+\log d/\log\log d)$ time and pattern matching in $O(n(\log d/\log\log d+\log\sigma)+occ(\log d/\log\log d))$ time for the dynamic setting by some modifications. This algorithm is based on the directed acyclic word graph. Our second algorithm, which is based on the AC-automaton, supports insertions in $O(m\log \sigma+u_f+u_o)$ time for the semi-dynamic setting and supports both insertions and deletions in $O(\sigma m+u_f+u_o)$ time for the dynamic setting, where $u_f$ and $u_o$ respectively denote the numbers of states in which the failure function and the output function need to be updated. This algorithm performs pattern matching in $O(n\log\sigma+occ)$ time for both settings. Our algorithm achieves optimal update time for AC-automaton based methods over constant-size alphabets, since any algorithm which explicitly maintains the AC-automaton requires $\Omega(m+u_f+u_o)$ update time.


title: Segmentation of Dynamic Contrast-Enhanced Magnetic Resonance Images of the Prostate

abstract: Dynamic Contrast-Enhanced Magnetic Resonance Imaging (DCE-MRI) is a valuable tool to localize, characterize, and evaluate anomalous prostate tissue. Ultrafast gradient-echo acquisitions of MRI volumes are generated at regular time intervals while the patient receives a paramagnetic contrast agent. The result is a time series where each voxel exhibits a particular behavior of contrast uptake (wash-in) and posterior wash-out. In this work, a segmentation method is proposed that groups together neighboring voxels with similar contrast wash-out responses, using a variant of the region growing GrowCut cellular automaton algorithm, that evolves iteratively according to the relationship of a cell to its neighboring cells. Initially, seed cells are determined through morphological filters that identify homogeneous regions in the volume that are representatives of the clinically relevant types of tissues in the prostate. Each cell is characterized by three parameters: a label that identifies the type of tissue in the associated voxel, a vector with the values of the DCE-MRI time series, and a strength coefficient with values between 0 and 1 that represents the probability with which the cell belongs to its assigned label. Every non-seed cell can modify its state; this occurs when each cell is attacked by its neighbors with a strength of attack that is inversely proportional to the similarity of the values of the time series between the cells. If the strength of the attacked cell is less than the strength of the attack of one of its neighbors, its state changes to the one of the attacking cell. The attacked cell also updates its strength making it equal to the strength of the attack with which it was conquered. To perform a clinical validation of the resulting segmentations, we used various cases from the database of The Cancer Imaging Archive (TCIA), National Cancer Institute (NCI).


title: Two weight bump conditions for matrix weights

abstract: In this paper we extend the theory of two weight, $A_p$ bump conditions to the setting of matrix weights. We prove two matrix weight inequalities for fractional maximal operators, fractional and singular integrals, sparse operators and averaging operators. As applications we prove quantitative, one weight estimates, in terms of the matrix $A_p$ constant, for singular integrals, and prove a Poincar\'e inequality related to those that appear in the study of degenerate elliptic PDEs.


title: State Consensus for Discrete-time Multi-agent Systems over Time-varying Graphs

abstract: We study the state consensus problem for linear shift-invariant discrete-time homogeneous multi-agent systems (MASs) over time-varying graphs. A novel approach based on the small gain theorem is proposed to design the consensus control protocols for both neutrally stable and neutrally unstable MASs, assuming the uniformly connected graphs. It is shown that the state consensus can be achieved for neutrally stable MASs under a weak uniform observability condition; for neutrally unstable MASs, the state consensus entails a strong uniform observability condition. Two numerical examples are worked out to illustrate our consensus results.


title: Prior Knowledge based mutation prioritization towards causal variant finding in rare disease

abstract: How do we determine the mutational effects in exome sequencing data with little or no statistical evidence? Can protein structural information fill in the gap of not having enough statistical evidence? In this work, we answer the two questions with the goal towards determining pathogenic effects of rare variants in rare disease. We take the approach of determining the importance of point mutation loci focusing on protein structure features. The proposed structure-based features contain information about geometric, physicochemical, and functional information of mutation loci and those of structural neighbors of the loci. The performance of the structure-based features trained on 80\% of HumDiv and tested on 20\% of HumDiv and on ClinVar datasets showed high levels of discernibility in the mutation's pathogenic or benign effects: F score of 0.71 and 0.68 respectively using multi-layer perceptron. Combining structure- and sequence-based feature further improve the accuracy: F score of 0.86 (HumDiv) and 0.75 (ClinVar). Also, careful examination of the rare variants in rare diseases cases showed that structure-based features are important in discerning importance of variant loci.


title: Precessing Jet and Large Dust Grains in the V380 Ori NE Star-forming Region

abstract: The V380 Ori NE bipolar outflow was imaged in the SiO and CO J = 1 - 0 lines, and dense cores in L1641 were observed in the 2.0-0.89 mm continuum. The highly collimated SiO jet shows point-symmetric oscillation patterns in both position and velocity, which suggests that the jet axis is precessing and the driving source may belong to a non-coplanar binary system. By considering the position and velocity variabilities together, accurate jet parameters were derived. The protostellar system is viewed nearly edge-on, and the jet has a flow speed of 35 km/s and a precession period of 1600 years. The CO outflow length gives a dynamical timescale of 6300 years, and the protostar must be extremely young. The inferred binary separation of 6-70 au implies that this protobinary system may have been formed through the disk instability process. The continuum spectra of L1641 dense cores indicate that the emission comes from dust, and the fits with modified blackbody functions give emissivity power indices of beta = 0.3-2.2. The emissivity index shows a positive correlation with the molecular line width, but no strong correlation with bolometric luminosity or temperature. V380 Ori NE has a particularly low value of beta = 0.3, which tentatively suggests the presence of millimeter-sized dust grains. Because the dust growth takes millions of years, much longer than the protostellar age, this core may have produced large grains in the starless core stage. HH 34 MMS and HH 147 MMS also have low emissivity indices.


title: The development of $^{222}$Rn detectors for JUNO prototype

abstract: The radioactive noble gas $^{222}$Rn, which can be dissolved in water, is an important background source for JUNO. In this paper, based on the water system of JUNO prototype, two kinds of high sensitivity radon detectors have been proposed and developed. The sensitivity of Si-PIN Rn detector, which uses a Si-PIN photodiode to detect the $\alpha$ from $^{214}$Po decay, is $\sim$9.0~mBq/m$^3$. The sensitivity of LS Rn detector, which uses liquid scintillator to detect the coincident signals of $\beta$ from $^{214}$Bi decay and $\alpha$ from $^{214}$Po decay, is $\sim$64.0~mBq/m$^3$. Both of the two kinds of Rn detector have the potential to be developed as an online Rn concentration monitoring equipment for JUNO veto detector.


title: Criticality at absolute zero from Ising model on two-dimensional dynamical triangulations

abstract: We reconsider the criticality of the Ising model on two-dimensional dynamical triangulations based on the N-by-N hermitian two-matrix model with the introduction of a loop-counting parameter and linear terms in the potential. We show that in the large-N limit even though the Ising model is classical, the critical temperature can reach absolute zero by tuning the loop-counting parameter, and the corresponding continuum theory turns out to be the quantised theory of neither pure gravity nor gravity coupled to conformal matter with central charge being 1/2.


title: Structure of linear codes over the ring $B_k$

abstract: We study the structure of linear codes over the ring $B_k$ which is defined by $\mathbb{F}_{p^r}[v_1,v_2,\ldots,v_k]/\langle v_i^2=v_i,~v_iv_j=v_jv_i \rangle_{i,j=1}^k.$ In order to study the codes, we begin with studying the structure of the ring $B_k$ via a Gray map which also induces a relation between codes over $B_k$ and codes over $\mathbb{F}_{p^r}.$ We consider Euclidean and Hermitian self-dual codes, MacWilliams relations, as well as Singleton-type bounds for these codes. Further, we characterize cyclic and quasi-cyclic codes using their images under the Gray map, and give the generators for these type of codes.


title: Deformations of overconvergent isocrystals on the projective line

abstract: Let $k$ be a perfect field of positive characteristic and $Z$ an effective Cartier divisor in the projective line over $k$ with complement $U$. In this note, we establish some results about the formal deformation theory of overconvergent isocrystals on $U$ with fixed "local monodromy" along $Z$. En route, we show that a Hochschild cochain complex governs deformations of a module over an arbitrary associative algebra. We also relate this Hochschild cochain complex to a de Rham complex in order to understand the deformation theory of a differential module over a differential ring.


title: Surface plasmon oscillations in a semi-bounded semiconductor plasma

abstract: We study the dispersion properties of surface plasmon oscillations in a semi-bounded semiconductor plasma with the effects of the Coulomb exchange force associated with the spin polarization of electrons and holes as well as the effects of the Fermi degenerate pressure and the quantum Bohm potential. Starting from a quantum hydrodynamic (QHD) model coupled to the Poisson equation, we derive the general dispersion relation for surface plasma waves. Previous results in this context are recovered. The dispersion properties of the surface waves are analyzed in some particular cases of interest and the relative influence of the quantum forces on these waves are also studied for a nano-sized GaAs semiconductor plasma. It is found that the Coulomb exchange effects significantly modify the behaviors of the surface plasmon waves. The present results are applicable to understand the propagation characteristics of surface waves in solid density plasmas.


title: Growth of Antiperovskite Oxide Ca3SnO Films by Pulsed Laser Deposition

abstract: We report the epitaxial growth of Ca3SnO antiperovskite oxide films on (001)-oriented cubic yttria-stabilized zirconia (YSZ) substrates by using a conventional pulsed laser deposition (PLD) technique. In this work, a sintered Ca3SnO pellet is used as the ablation target. X-ray diffraction measurements demonstrate the (001) growth of Ca3SnO films with the antiperovskite structure and a cube-on-cube orientation relationship to the YSZ substrate. The successful synthesis of the antiperovskite phase is further confirmed by x-ray photoemission spectroscopy. These results strongly suggest that antiperovskite-oxide films can be directly grown on substrates from the target material using a PLD technique.


title: Fractional Differential Equations Involving Caputo Fractional Derivative with Mittag-Leffler Non-Singular Kernel: Comparison Principles and Applications

abstract: In this paper we study linear and nonlinear fractional differential equations involving the Caputo fractional derivative with Mittag-Leffler non-singular kernel of order $0<\alpha<1.$ We first obtain a new estimate of the fractional derivative of a function at its extreme points and derive a necessary condition for the existence of a solution to the linear fractional equation. The obtained sufficient condition determine the initial condition of the associated fractional initial value problem. We then derive comparison principles to the linear fractional equations. We apply these principles to obtain a norm estimate of solutions to the linear equation and to obtain a uniqueness result to the nonlinear equation. We also derive a lower and upper bound of solutions to the nonlinear equation. The applicability of the new results is illustrated through several examples.


title: Nonlinear diffusion equations as asymptotic limits of Cahn--Hilliard systems on unbounded domains via Cauchy's criterion

abstract: This paper develops an abstract theory for subdifferential operators to give existence and uniqueness of solutions to the initial-boundary problem (P) for the nonlinear diffusion equation in an unbounded domain $\Omega\subset\mathbb{R}^N$ ($N\in{\mathbb N}$), written as \[ \frac{\partial u}{\partial t} + (-\Delta+1)\beta(u) = g \quad \mbox{in}\ \Omega\times(0, T), \] which represents the porous media, the fast diffusion equations, etc., where $\beta$ is a single-valued maximal monotone function on $\mathbb{R}$, and $T>0$. Existence and uniqueness for (P) were directly proved under a growth condition for $\beta$ even though the Stefan problem was excluded from examples of (P). This paper completely removes the growth condition for $\beta$ by confirming Cauchy's criterion for solutions of the following approximate problem (P)$_{\varepsilon}$ with approximate parameter $\varepsilon>0$: \[ \frac{\partial u_{\varepsilon}}{\partial t} + (-\Delta+1)(\varepsilon(-\Delta+1)u_{\varepsilon} + \beta(u_{\varepsilon}) + \pi_{\varepsilon}(u_{\varepsilon})) = g \quad \mbox{in}\ \Omega\times(0, T), \] which is called the Cahn--Hilliard system, even if $\Omega \subset \mathbb{R}^N$ ($N \in \mathbb{N}$) is an unbounded domain. Moreover, it can be seen that the Stefan problem is covered in the framework of this paper.


title: Convergence Analysis for A Class of Iterative Methods for Solving Saddle Point Systems

abstract: Convergence analysis of a nested iterative scheme proposed by Bank,Welfert and Yserentant (BWY) ([Numer. Math., 666: 645-666, 1990]) for solving saddle point system is presented. It is shown that this scheme converges under weaker conditions: the contraction rate for solving the $(1,1)$ block matrix is bound by $(\sqrt{5}-1)/2$. Similar convergence result is also obtained for a class of inexact Uzawa method with even weaker contraction bound $\sqrt{2}/2$. Preconditioned generalized minimal residual method using BWY method as a preconditioner is shown to converge with realistic assumptions.


title: A Decision Theoretic Approach to A/B Testing

abstract: A/B testing is ubiquitous within the machine learning and data science operations of internet companies. Generically, the idea is to perform a statistical test of the hypothesis that a new feature is better than the existing platform---for example, it results in higher revenue. If the p value for the test is below some pre-defined threshold---often, 0.05---the new feature is implemented. The difficulty of choosing an appropriate threshold has been noted before, particularly because dependent tests are often done sequentially, leading some to propose control of the false discovery rate (FDR) rather than use of a single, universal threshold. However, it is still necessary to make an arbitrary choice of the level at which to control FDR. Here we suggest a decision-theoretic approach to determining whether to adopt a new feature, which enables automated selection of an appropriate threshold. Our method has the basic ingredients of any decision-theory problem: a loss function, action space, and a notion of optimality, for which we choose Bayes risk. However, the loss function and the action space differ from the typical choices made in the literature, which has focused on the theory of point estimation. We give some basic results for Bayes-optimal thresholding rules for the feature adoption decision, and give some examples using eBay data. The results suggest that the 0.05 p-value threshold may be too conservative in some settings, but that its widespread use may reflect an ad-hoc means of controlling multiplicity in the common case of repeatedly testing variants of an experiment when the threshold is not reached.


title: Periodic points for amenable group actions on uniquely arcwise connected continua

abstract: We show that if $G$ is a countable amenable group acting on a uniquely arcwise connected continuum $X$, then $G$ has either a fixed point or a 2-periodic point in $X$.


title: Analysis of the TeV-scale mirage mediation with heavy superparticles

abstract: We discuss effective models derived from a supersymmetric model whose mediation mechanism of supersymmetry (SUSY) breaking is namely mirage mediation. In this model, light higgsino mass, that is required by the natural realization of the electroweak scale, is achieved by the unification of the soft SUSY breaking parameters at the low scale. Besides, we find that extra Higgs fields are also possibly light in some cases. Then, the effective model is a two Higgs doublet model (2HDM) with higgsinos, and it is distinguishable with namely type-II 2HDM which is widely discussed. In this paper, we study the mass spectrum of SUSY particles and the extra Higgs fields, and summarize the phenomenology in the effective model. We survey the current experimental bounds from the LHC and the dark matter experiments as well as the flavor physics. Then, we point out the expected mass scale of the SUSY particles and reveal the future prospects for the direct and indirect searches. We also discuss the difference between our effective model and the 2HDM in the bottom-up approach.


title: Qualitative properties of positive solutions for mixed integro-differential equations

abstract: This paper is concerned with the qualitative properties of the solutions of mixed integro-differential equation \begin{equation}\label{eq 1} \left\{ \arraycolsep=1pt \begin{array}{lll} (-\Delta)_x^{\alpha} u+(-\Delta)_y u+u=f(u)\quad \ \ {\rm in}\ \ \R^N\times\R^M, u>0\ \ {\rm{in}}\ \R^N\times\R^M,\ \ \quad \lim_{|(x,y)|\to+\infty}u(x,y)=0, \end{array} \right. \end{equation} with $N\ge 1$, $M\ge 1$ and $\alpha\in (0,1)$. We study decay and symmetry properties of the solutions to this equation. Difficulties arise due to the mixed character of the integro-differential operators. Here, a crucial role is played by a version of the Hopf's Lemma we prove in our setting. In studying the decay, we construct appropriate super and sub solutions and we use the moving planes method to prove the symmetry properties.


title: Network of Recurrent Neural Networks

abstract: We describe a class of systems theory based neural networks called "Network Of Recurrent neural networks" (NOR), which introduces a new structure level to RNN related models. In NOR, RNNs are viewed as the high-level neurons and are used to build the high-level layers. More specifically, we propose several methodologies to design different NOR topologies according to the theory of system evolution. Then we carry experiments on three different tasks to evaluate our implementations. Experimental results show our models outperform simple RNN remarkably under the same number of parameters, and sometimes achieve even better results than GRU and LSTM.


title: Rademacher Series for $\eta$-Quotients

abstract: We apply Rademacher's method in order to compute the Fourier coefficients of a large class of $\eta$-quotients.


title: The Dirichlet Problem for the Logarithmic Laplacian

abstract: In this paper, we study the logarithmic Laplacian operator $L_\Delta$, which is a singular integral operator with symbol $2\log |\zeta|$. We show that this operator has the integral representation $$L_\Delta u(x) = c_{N} \int_{\mathbb{R}^N } \frac{ u(x)1_{B_1(x)}(y)-u(y)}{|x-y|^{N} } dy + \rho_N u(x) $$ with $c_N = \pi^{- \frac{N}{2}} \Gamma(\frac{N}{2})$ and $\rho_N=2 \log 2 + \psi(\frac{N}{2}) -\gamma$, where $\Gamma$ is the Gamma function, $\psi = \frac{\Gamma'}{\Gamma}$ is the Digamma function and $\gamma= -\Gamma'(1)$ is the Euler Mascheroni constant. This operator arises as formal derivative $\partial_s \Big|_{s=0} (-\Delta)^s$ of fractional Laplacians at $s= 0$. We develop the functional analytic framework for Dirichlet problems involving the logarithmic Laplacian on bounded domains and use it to characterize the asymptotics of principal Dirichlet eigenvalues and eigenfunctions of $(-\Delta)^s$ as $s \to 0$. As a byproduct, we then derive a Faber-Krahn type inequality for the principal Dirichlet eigenvalue of $L_\Delta$. Using this inequality, we also establish conditions on domains giving rise to the maximum principle in weak and strong forms. This allows us to also derive regularity up to the boundary of solutions to corresponding Poisson problems.


title: Measurements of vector meson photoproduction with ALICE in ultra-peripheral Pb-Pb collisions at $\bf{\sqrt{s_{\rm NN}} = 5.02}$ TeV

abstract: The intense photon fluxes of relativistic nuclei provide a possibility to study photonuclear and two-photon interactions in ultra-peripheral collisions (UPC) where the nuclei do not overlap and no strong nuclear interactions occur. The study of such collisions provides information about the initial state of nuclei. First ALICE results from the LHC Run 2 are presented for forward exclusive \jpsi production in UPC, which is sensitive to the gluon distribution in nuclei. The increased statistics and the higher collision energy allows for a more detailed study at lower values of Bjorken-$x$. The analysis of the $\gamma+A \rightarrow \rho^0+A$ process in UPC is a tool to test the so-called black disk regime, where the target nucleus appears like a black disk and the total $\rho^0+A$ cross section reaches its limit. ALICE reports new measurements of \rrho photoproduction cross sections in Pb-Pb UPC at $\sqrt{s_{\rm NN}}=5.02$ TeV at mid-rapidity, which are compared to predictions.


title: Some properties of h-MN-convexity and Jensen's type inequalities

abstract: In this work, we introduce the class of $h$-${\rm{MN}}$-convex functions by generalizing the concept of ${\rm{MN}}$-convexity and combining it with $h$-convexity. Namely, Let $I,J$ be two intervals subset of $\left(0,\infty\right)$ such that $\left(0,1\right)\subseteq J$ and $\left[a,b\right]\subseteq I$. Consider a non-negative function $h: (0,\infty)\to \left(0,\infty\right)$ and let ${\rm{M}}:\left[0,1\right]\to \left[a,b\right] $ $(0<a<b)$ be a Mean function given by ${\rm{{\rm{M}}}}\left(t\right)={\rm{{\rm{M}}}}\left( {h(t);a,b} \right)$; where by ${\rm{{\rm{M}}}}\left( {h(t);a,b} \right)$ we mean one of the following functions: $A_h\left( {a,b} \right):=h\left( {1 - t} \right)a + h(t) b$, $G_h\left( {a,b} \right)=a^{h(1-t)} b^{h(t)}$ and $H_h\left( {a,b} \right):=\frac{ab}{h(t) a + h\left( {1 - t} \right)b} = \frac{1}{A_h\left( {\frac{1}{a},\frac{1}{b}} \right)}$; with the property that ${\rm{{\rm{M}}}}\left( {h(0);a,b} \right)=a$ and ${\rm{M}}\left( {h(1);a,b} \right)=b$. A function $f : I \to \left(0,\infty\right)$ is said to be $h$-${\rm{{\rm{MN}}}}$-convex (concave) if the inequality \begin{align*} f \left({\rm{M}}\left(t;x, y\right)\right) \le (\ge) \, {\rm{N}}\left(h(t);f (x), f (y)\right), \end{align*} holds for all $x,y \in I$ and $t\in [0,1]$, where M and N are two mean functions. In this way, nine classes of $h$-${\rm{MN}}$-convex functions are established and some of their analytic properties are explored and investigated. Characterizations of each type are given. Various Jensen's type inequalities and their converses are proved.


title: Tidally disrupted dusty clumps as the origin of broad emission lines in active galactic nuclei

abstract: Type 1 active galactic nuclei display broad emission lines, regarded as arising from photoionized gas moving in the gravitational potential of a supermassive black hole. The origin of this broad-line region gas is unresolved so far, however. Another component is the dusty torus beyond the broad-line region, likely an assembly of discrete clumps that can hide the region from some viewing angles and make them observationally appear as Type 2 objects. Here we report that these clumps moving within the dust sublimation radius, like the molecular cloud G2 discovered in the Galactic center, will be tidally disrupted by the hole, resulting in some gas becoming bound at smaller radii while other gas is ejected and returns to the torus. The clumps fulfill necessary conditions to be photoionized. Specific dynamical components of tidally disrupted clumps include spiral-in gas as inflow, circularized gas, and ejecta as outflow. We calculate various profiles of emission lines from these clouds, and find they generally agree with H$\beta$ profiles of Palomar-Green quasars. We find that asymmetry, shape and shift of the profiles strongly depend on [O III], luminosity, which we interpret as a proxy of dusty torus angles. Tidally disrupted clumps from the torus may represent the source of the broad-line region gas.


title: Fermion number of twisted kinks in the NJL$_2$ model, revisited

abstract: As a consequence of axial current conservation, fermions cannot be localized in the massless NJL$_2$ model. In the case of twisted kinks, this manifests itself in a cancellation between valence fermion density and fermion density induced in the Dirac sea. To attribute the correct fermion number to these bound states requires an infrared regularization. Recently, this has been achieved by introducing a bare fermion mass, at least in the non-relativistic regime of small twist angles and fermion numbers. Here, we propose a simpler regularization by a finite box which preserves integrability and can be applied at any twist angle. A consistent and physically plausible assignment of fermion number to all twisted kinks emerges.


title: Axial symmetry for fractional capillarity droplets

abstract: A classical result of Wente, motivated by the study of sessile capillarity droplets, demonstrates the axial symmetry of every hypersurface which meets a hyperplane at a constant angle and has mean curvature dependent only on the distance from that hyperplane. An analogous result is proven here for the fractional mean curvature operator.


title: Management of solar energy in microgrids using IoT-based dependable control

abstract: Solar energy generation requires efficient monitoring and management in moving towards technologies for net-zero energy buildings. This paper presents a dependable control system based on the Internet of Things (IoT) to control and manage the energy flow of renewable energy collected by solar panels within a microgrid. Data for optimal control include not only measurements from local sensors but also meteorological information retrieved in real-time from online sources. For system fault tolerance across the whole distributed control system featuring multiple controllers, dependable controllers are developed to control and optimise the tracking performance of photovoltaic arrays to maximally capture solar radiation and maintain system resilience and reliability in real time despite failures of one or more redundant controllers due to a problem with communication, hardware or cybersecurity. Experimental results have been obtained to evaluate the validity of the proposed approach.


title: A parametrized compactness theorem under bounded Ricci curvature

abstract: We prove a parametrized compactness theorem on manifolds of bounded Ricci curvature, upper bounded diameter and lower bounded injectivity radius.


title: A stochastic differential equation approach to the analysis of the UK 2016 EU referendum polls

abstract: Human dynamics and sociophysics suggest statistical models that may explain and provide us with better insight into social phenomena. Here we propose a generative model based on a stochastic differential equation that allows us to analyse the polls leading up to the UK 2016 EU referendum. After a preliminary analysis of the time series of poll results, we provide empirical evidence that the beta distribution, which is a natural choice when modelling proportions, fits the marginal distribution of this time series. We also provide evidence of the predictive power of the proposed model.


title: AdaDNNs: Adaptive Ensemble of Deep Neural Networks for Scene Text Recognition

abstract: Recognizing text in the wild is a really challenging task because of complex backgrounds, various illuminations and diverse distortions, even with deep neural networks (convolutional neural networks and recurrent neural networks). In the end-to-end training procedure for scene text recognition, the outputs of deep neural networks at different iterations are always demonstrated with diversity and complementarity for the target object (text). Here, a simple but effective deep learning method, an adaptive ensemble of deep neural networks (AdaDNNs), is proposed to simply select and adaptively combine classifier components at different iterations from the whole learning system. Furthermore, the ensemble is formulated as a Bayesian framework for classifier weighting and combination. A variety of experiments on several typical acknowledged benchmarks, i.e., ICDAR Robust Reading Competition (Challenge 1, 2 and 4) datasets, verify the surprised improvement from the baseline DNNs, and the effectiveness of AdaDNNs compared with the recent state-of-the-art methods.


title: On a new exact relation for the connection matrices in case of a linear second-order ODE with non-analytic coefficients

abstract: We consider the phase-integral method applied to an arbitrary linear ordinary second-order differential equation with non-analytical coefficients. We propose a universal technique based on the Frobenius method which allows to obtain new exact relation between connection matrices associated with its general solution. The technique allows the reader to write an exact algebraic equation for the Stokes constants provided the differential equation has at most one regular singular point in a finite area of the complex plane. We also propose a way to write approximate relations between Stokes constants in case of multiple regular singular points located far away from each other. The well-known Budden problem is solved with help of this technique as an illustration of its usage. To access the HTML version of the paper & discuss it with the author, visit https://enabla.com/pub/607.


title: Towards a splitting of the $K(2)$-local string bordism spectrum

abstract: We show that $K(2)$-locally, the smash product of the string bordism spectrum and the spectrum $T_2$ splits into copies of Morava $E$-theories. Here, $T_2$ is related to the Thom spectrum of the canonical bundle over $\Omega SU(4)$.


title: Measurement of Neutrino-Electron Elastic Scattering at NOvA Near Detector

abstract: NOvA is a long-baseline accelerator-based neutrino oscillation experiment that is optimized for electron-neutrino appearance measurements. It uses the upgraded NuMI beam from Fermilab and consists of a Far Detector in Ash River, Minnesota and a Near Detector at Fermilab. An accurate prediction of the neutrino flux is key to both oscillation and cross-section measurements. The precisely known neutrino-electron elastic scattering cross section provides an in situ constraint on the absolute flux. This talk discusses the status of the measurement of the rate of neutrino-electron elastic scattering in the NOvA Near Detector.


title: A Study of the Direct Spectral Transform for the Defocusing Davey-Stewartson II Equation in the Semiclassical Limit

abstract: The defocusing Davey-Stewartson II equation has been shown in numerical experiments to exhibit behavior in the semiclassical limit that qualitatively resembles that of its one-dimensional reduction, the defocusing nonlinear Schr\"odinger equation, namely the generation from smooth initial data of regular rapid oscillations occupying domains of space-time that become well-defined in the limit. As a first step to study this problem analytically using the inverse-scattering transform, we consider the direct spectral transform for the defocusing Davey-Stewartson II equation for smooth initial data in the semiclassical limit. The direct spectral transform involves a singularly-perturbed elliptic Dirac system in two dimensions. We introduce a WKB-type method for this problem, prove that it makes sense formally for sufficiently large values of the spectral parameter $k$ by controlling the solution of an associated nonlinear eikonal problem, and we give numerical evidence that the method is accurate for such $k$ in the semiclassical limit. Producing this evidence requires both the numerical solution of the singularly-perturbed Dirac system and the numerical solution of the eikonal problem. The former is carried out using a method previously developed by two of the authors and we give in this paper a new method for the numerical solution of the eikonal problem valid for sufficiently large $k$. For a particular potential we are able to solve the eikonal problem in closed form for all $k$, a calculation that yields some insight into the failure of the WKB method for smaller values of $k$. Informed by numerical calculations of the direct spectral transform we then begin a study of the singularly-perturbed Dirac system for values of $k$ so small that there is no global solution of the eikonal problem.


title: Learning to Rank Question-Answer Pairs using Hierarchical Recurrent Encoder with Latent Topic Clustering

abstract: In this paper, we propose a novel end-to-end neural architecture for ranking candidate answers, that adapts a hierarchical recurrent neural network and a latent topic clustering module. With our proposed model, a text is encoded to a vector representation from an word-level to a chunk-level to effectively capture the entire meaning. In particular, by adapting the hierarchical structure, our model shows very small performance degradations in longer text comprehension while other state-of-the-art recurrent neural network models suffer from it. Additionally, the latent topic clustering module extracts semantic information from target samples. This clustering module is useful for any text related tasks by allowing each data sample to find its nearest topic cluster, thus helping the neural network model analyze the entire data. We evaluate our models on the Ubuntu Dialogue Corpus and consumer electronic domain question answering dataset, which is related to Samsung products. The proposed model shows state-of-the-art results for ranking question-answer pairs.