title: On well-posedness of Bayesian data assimilation and inverse problems in Hilbert space

abstract: Bayesian inverse problem on an infinite dimensional separable Hilbert space with the whole state observed is well posed when the prior state distribution is a Gaussian probability measure and the data error covariance is a cylindric Gaussian measure whose covariance has positive lower bound. If the state distribution and the data distribution are equivalent Gaussian probability measures, then the Bayesian posterior measure is not well defined. If the state covariance and the data error covariance commute, then the Bayesian posterior measure is well defined for all data vectors if and only if the data error covariance has positive lower bound, and the set of data vectors for which the Bayesian posterior measure is not well defined is dense if the data error covariance does not have positive lower bound.


title: Computing the aggregate loss distribution based on numerical inversion of the compound empirical characteristic function of frequency and severity

abstract: A non-parametric method for evaluation of the aggregate loss distribution (ALD) by combining and numerically inverting the empirical characteristic functions (CFs) is presented and illustrated. This approach to evaluate ALD is based on purely non-parametric considerations, i.e., based on the empirical CFs of frequency and severity of the claims in the actuarial risk applications. This approach can be, however, naturally generalized to a more complex semi-parametric modeling approach, e.g., by incorporating the generalized Pareto distribution fit of the severity distribution heavy tails, and/or by considering the weighted mixture of the parametric CFs (used to model the expert knowledge) and the empirical CFs (used to incorporate the knowledge based on the historical data - internal and/or external). Here we present a simple and yet efficient method and algorithms for numerical inversion of the CF, suitable for evaluation of the ALDs and the associated measures of interest important for applications, as, e.g., the value at risk (VaR). The presented approach is based on combination of the Gil-Pelaez inversion formulae for deriving the probability distribution (PDF and CDF) from the compound (empirical) CF and the trapezoidal rule used for numerical integration. The applicability of the suggested approach is illustrated by analysis of a well know insurance dataset, the Danish fire loss data.


title: Collapse. What else?

abstract: We present the quantum measurement problem as a serious physics problem. Serious because without a resolution, quantum theory is not complete, as it does not tell how one should - in principle - perform measurements. It is physical in the sense that the solution will bring new physics, i.e. new testable predictions, hence it is not merely a matter of interpretation of a frozen formalism. I argue that the two popular ways around the measurement problem, many-worlds and Bohmian-like mechanics, do, de facto, introduce effective collapses when "I" interact with the quantum system. Hence, surprisingly, in many-worlds and Bohmian mechanics, the "I" plays a more active role than in alternative models, like e.g. collapse models. Finally, I argue that either there are several kinds of stuffs out there, i.e. physical dualism, some stuff that respects the superposition principle and some that doesn't, or there are special configurations of atoms and photons for which the superposition principle breaks down. Or, and this I argue is the most promising, the dynamics has to be modified, i.e. in the form of a stochastic Schr\"odinger equation.


title: Pure Rough Mereology and Counting

abstract: The study of mereology (parts and wholes) in the context of formal approaches to vagueness can be approached in a number of ways. In the context of rough sets, mereological concepts with a set-theoretic or valuation based ontology acquire complex and diverse behavior. In this research a general rough set framework called granular operator spaces is extended and the nature of parthood in it is explored from a minimally intrusive point of view. This is used to develop counting strategies that help in classifying the framework. The developed methodologies would be useful for drawing involved conclusions about the nature of data (and validity of assumptions about it) from antichains derived from context. The problem addressed is also about whether counting procedures help in confirming that the approximations involved in formation of data are indeed rough approximations?


title: A Study of FOSS'2013 Survey Data Using Clustering Techniques

abstract: FOSS is an acronym for Free and Open Source Software. The FOSS 2013 survey primarily targets FOSS contributors and relevant anonymized dataset is publicly available under CC by SA license. In this study, the dataset is analyzed from a critical perspective using statistical and clustering techniques (especially multiple correspondence analysis) with a strong focus on women contributors towards discovering hidden trends and facts. Important inferences are drawn about development practices and other facets of the free software and OSS worlds.


title: Drug-Drug Interaction Extraction from Biomedical Text Using Long Short Term Memory Network

abstract: Simultaneous administration of multiple drugs can have synergistic or antagonistic effects as one drug can affect activities of other drugs. Synergistic effects lead to improved therapeutic outcomes, whereas, antagonistic effects can be life-threatening, may lead to increased healthcare cost, or may even cause death. Thus identification of unknown drug-drug interaction (DDI) is an important concern for efficient and effective healthcare. Although multiple resources for DDI exist, they are often unable to keep pace with rich amount of information available in fast growing biomedical texts. Most existing methods model DDI extraction from text as a classification problem and mainly rely on handcrafted features. Some of these features further depend on domain specific tools. Recently neural network models using latent features have been shown to give similar or better performance than the other existing models dependent on handcrafted features. In this paper, we present three models namely, {\it B-LSTM}, {\it AB-LSTM} and {\it Joint AB-LSTM} based on long short-term memory (LSTM) network. All three models utilize word and position embedding as latent features and thus do not rely on explicit feature engineering. Further use of bidirectional long short-term memory (Bi-LSTM) networks allow implicit feature extraction from the whole sentence. The two models, {\it AB-LSTM} and {\it Joint AB-LSTM} also use attentive pooling in the output of Bi-LSTM layer to assign weights to features. Our experimental results on the SemEval-2013 DDI extraction dataset show that the {\it Joint AB-LSTM} model outperforms all the existing methods, including those relying on handcrafted features. The other two proposed LSTM models also perform competitively with state-of-the-art methods.


title: On Quaternionic Tori and their Moduli Spaces

abstract: Quaternionic tori are defined as quotients of the skew field $\mathbb{H}$ of quaternions by rank-4 lattices. Using slice regular functions, these tori are endowed with natural structures of quaternionic manifolds (in fact quaternionic curves), and a fundamental region in a $12$-dimensional real subspace is then constructed to classify them up to biregular diffeomorphisms. The points of the moduli space correspond to suitable \emph{special} bases of rank-4 lattices, which are studied with respect to the action of the group $GL(4, \mathbb{Z})$, and up to biregular diffeomeorphisms. All tori with a non trivial group of biregular automorphisms - and all possible groups of their biregular automorphisms - are then identified, and recognized to correspond to five different subsets of boundary points of the moduli space.


title: Multiclass MinMax Rank Aggregation

abstract: We introduce a new family of minmax rank aggregation problems under two distance measures, the Kendall {\tau} and the Spearman footrule. As the problems are NP-hard, we proceed to describe a number of constant-approximation algorithms for solving them. We conclude with illustrative applications of the aggregation methods on the Mallows model and genomic data.


title: Practical Reasoning with Norms for Autonomous Software Agents (Full Edition)

abstract: Autonomous software agents operating in dynamic environments need to constantly reason about actions in pursuit of their goals, while taking into consideration norms which might be imposed on those actions. Normative practical reasoning supports agents making decisions about what is best for them to (not) do in a given situation. What makes practical reasoning challenging is the interplay between goals that agents are pursuing and the norms that the agents are trying to uphold. We offer a formalisation to allow agents to plan for multiple goals and norms in the presence of durative actions that can be executed concurrently. We compare plans based on decision-theoretic notions (i.e. utility) such that the utility gain of goals and utility loss of norm violations are the basis for this comparison. The set of optimal plans consists of plans that maximise the overall utility, each of which can be chosen by the agent to execute. We provide an implementation of our proposal in Answer Set Programming, thus allowing us to state the original problem in terms of a logic program that can be queried for solutions with specific properties. The implementation is proven to be sound and complete.


title: Laboratory and telescope demonstration of the TP3-WFS for the adaptive optics segment of AOLI

abstract: AOLI (Adaptive Optics Lucky Imager) is a state-of-art instrument that combines adaptive optics (AO) and lucky imaging (LI) with the objective of obtaining diffraction limited images in visible wavelength at mid- and big-size ground-based telescopes. The key innovation of AOLI is the development and use of the new TP3-WFS (Two Pupil Plane Positions Wavefront Sensor). The TP3-WFS, working in visible band, represents an advance over classical wavefront sensors such as the Shack-Hartmann WFS (SH-WFS) because it can theoretically use fainter natural reference stars, which would ultimately provide better sky coverages to AO instruments using this newer sensor. This paper describes the software, algorithms and procedures that enabled AOLI to become the first astronomical instrument performing real-time adaptive optics corrections in a telescope with this new type of WFS, including the first control-related results at the William Herschel Telescope (WHT).


title: Anonymous or not? Understanding the Factors Affecting Personal Mobile Data Disclosure

abstract: The wide adoption of mobile devices and social media platforms have dramatically increased the collection and sharing of personal information. More and more frequently, users are called to take decisions concerning the disclosure of their personal information. In this study, we investigate the factors affecting users' choices toward the disclosure of their personal data, including not only their demographic and self-reported individual characteristics, but also their social interactions and their mobility patterns inferred from months of mobile phone data activity. We report the findings of a field-study conducted with a community of 63 subjects provided with (i) a smart-phone and (ii) a Personal Data Store (PDS) enabling them to control the disclosure of their data. We monitor the sharing behavior of our participants through the PDS, and evaluate the contribution of different factors affecting their disclosing choices of location and social interaction data. Our analysis shows that social interaction inferred by mobile phones is an important factor revealing willingness to share, regardless of the data type. In addition, we provide further insights on the individual traits relevant to the prediction of sharing behavior.


title: Vector bundles over classifying spaces of p-local finite groups and Benson-Carlson duality

abstract: In this paper we obtain a description of the Grothendieck group of complex vector bundles over the classifying space of a p-local finite group in terms of representation rings of subgroups of its Sylow. We also prove a stable elements formula for generalized cohomological invariants of p-local finite groups, which is used to show the existence of unitary embeddings of p-local finite groups. Finally, we show that the augmentation map for the cochains of the classifying space of a p-local finite group is Gorenstein in the sense of Dwyer-Greenlees-Iyengar and obtain some consequences about the cohomology ring of these classifying spaces.


title: A Systematic Literature Review on Intertemporal Choice in Software Engineering - Protocol and Results

abstract: When making choices in software projects, engineers and other stakeholders engage in decision making that involves uncertain future outcomes. Research in psychology, behavioral economics and neuroscience has questioned many of the classical assumptions of how such decisions are made. This literature review aims to characterize the assumptions that underpin the study of these decisions in Software Engineering. We identify empirical research on this subject and analyze how the role of time has been characterized in the study of decision making in SE. The literature review aims to support the development of descriptive frameworks for empirical studies of intertemporal decision making in practice.


title: Optimal sampling design for global approximation of jump diffusion SDEs

abstract: The paper deals with strong global approximation of SDEs driven by two independent processes: a nonhomogeneous Poisson process and a Wiener process. We assume that the jump and diffusion coefficients of the underlying SDE satisfy jump commutativity condition. We establish the exact convergence rate of minimal errors that can be achieved by arbitrary algorithms based on a finite number of observations of the Poisson and Wiener processes. We consider classes of methods that use equidistant or nonequidistant sampling of the Poisson and Wiener processes. We provide a construction of optimal methods, based on the classical Milstein scheme, which asymptotically attain the established minimal errors. The analysis implies that methods based on nonequidistant mesh are more efficient than those based on the equidistant mesh.


title: ClipAudit: A Simple Risk-Limiting Post-Election Audit

abstract: We propose a simple risk-limiting audit for elections, ClipAudit. To determine whether candidate A (the reported winner) actually beat candidate B in a plurality election, ClipAudit draws ballots at random, without replacement, until either all cast ballots have been drawn, or until \[ a - b \ge \beta \sqrt{a+b} \] where $a$ is the number of ballots in the sample for the reported winner A, and $b$ is the number of ballots in the sample for opponent B, and where $\beta$ is a constant determined a priori as a function of the number $n$ of ballots cast and the risk-limit $\alpha$. ClipAudit doesn't depend on the unofficial margin (as does Bravo). We show how to extend ClipAudit to contests with multiple winners or losers, or to multiple contests.


title: The Heterogeneous Multiscale Finite Element Method for the Homogenization of Linear Elastic Solids and a Comparison with the FE$^2$ Method

abstract: The Heterogeneous Multiscale Finite Element Method (FE-HMM) is a two-scale FEM based on asymptotic homogenization for solving multiscale partial differential equations. It was introduced in [W. E and B. Engquist, \emph{Commun. Math. Sci.}, 1 (2003), 87--132]. The objective of the present work is an FE-HMM formulation for the homogenization of linear elastic solids in a geometrical linear frame, and doing so, for the first time, of a vector-valued field problem. A key ingredient of FE-HMM is that macrostiffness is estimated by stiffness sampling on heterogeneous microdomains in terms a of modified quadrature formula, which implies an equivalence of energy densities of the microscale with the macroscale. Beyond this coincidence with the Hill-Mandel macrohomogeneity condition, which is the cornerstone of the FE$^2$ method, we elaborate a conceptual comparison with the latter method. After developing an algorithmic framework we (i) assess the existing a priori convergence estimates for the micro- and macro-errors in various norms, (ii) verify optimal strategies in uniform micro-macro mesh refinements based on the estimates, (iii) analyze superconvergence properties of FE-HMM, and (iv) compare the numerical results of FE-HMM with those of FE$^2$.


title: Multilevel Code Construction for Compound Fading Channels

abstract: We consider explicit constructions of multi-level lattice codes that universally approach the capacity of the compound block-fading channel. Specifically, building on algebraic partitions of lattices, we show how to construct codes with negligible probability of error for any channel realization and normalized log-density approaching the Poltyrev limit. Capacity analyses and numerical results on the achievable rates for each partition level are provided. The proposed codes have several enjoyable properties such as constructiveness and good decoding complexity, as compared to random one-level codes. Numerical results for finite-dimensional multi-level lattices based on polar codes are exhibited.


title: Linear-time approximation schemes for planar minimum three-edge connected and three-vertex connected spanning subgraphs

abstract: We present the first polynomial-time approximation schemes, i.e., (1 + {\epsilon})-approximation algorithm for any constant {\epsilon} > 0, for the minimum three-edge connected spanning subgraph problem and the minimum three-vertex connected spanning subgraph problem in undirected planar graphs. Both the approximation schemes run in linear time.


title: Graded Polynomial Identities for Matrices with the Transpose Involution over an Infinite Field

abstract: Let $F$ be an infinite field, and let $M_{n}(F)$ be the algebra of $n\times n$ matrices over $F$. Suppose that this algebra is equipped with an elementary grading whose neutral component coincides with the main diagonal. In this paper, we find a basis for the graded polynomial identities of $M_{n}(F)$ with the transpose involution. Our results generalize for infinite fields of arbitrary characteristic previous results in the literature which were obtained for the field of complex numbers and for a particular class of elementary G-gradings.


title: Plan Explanations as Model Reconciliation: Moving Beyond Explanation as Soliloquy

abstract: When AI systems interact with humans in the loop, they are often called on to provide explanations for their plans and behavior. Past work on plan explanations primarily involved the AI system explaining the correctness of its plan and the rationale for its decision in terms of its own model. Such soliloquy is wholly inadequate in most realistic scenarios where the humans have domain and task models that differ significantly from that used by the AI system. We posit that the explanations are best studied in light of these differing models. In particular, we show how explanation can be seen as a "model reconciliation problem" (MRP), where the AI system in effect suggests changes to the human's model, so as to make its plan be optimal with respect to that changed human model. We will study the properties of such explanations, present algorithms for automatically computing them, and evaluate the performance of the algorithms.


title: Deep Recurrent Neural Network for Protein Function Prediction from Sequence

abstract: As high-throughput biological sequencing becomes faster and cheaper, the need to extract useful information from sequencing becomes ever more paramount, often limited by low-throughput experimental characterizations. For proteins, accurate prediction of their functions directly from their primary amino-acid sequences has been a long standing challenge. Here, machine learning using artificial recurrent neural networks (RNN) was applied towards classification of protein function directly from primary sequence without sequence alignment, heuristic scoring or feature engineering. The RNN models containing long-short-term-memory (LSTM) units trained on public, annotated datasets from UniProt achieved high performance for in-class prediction of four important protein functions tested, particularly compared to other machine learning algorithms using sequence-derived protein features. RNN models were used also for out-of-class predictions of phylogenetically distinct protein families with similar functions, including proteins of the CRISPR-associated nuclease, ferritin-like iron storage and cytochrome P450 families. Applying the trained RNN models on the partially unannotated UniRef100 database predicted not only candidates validated by existing annotations but also currently unannotated sequences. Some RNN predictions for the ferritin-like iron sequestering function were experimentally validated, even though their sequences differ significantly from known, characterized proteins and from each other and cannot be easily predicted using popular bioinformatics methods. As sequencing and experimental characterization data increases rapidly, the machine-learning approach based on RNN could be useful for discovery and prediction of homologues for a wide range of protein functions.


title: Extinction in the Star Cluster SAI~113 and Galactic Structure in Carina

abstract: Photometric CCD {\it UBVI}$_C$ photometry obtained for 4860 stars surrounding the embedded southern cluster SAI~113 (Skiff~8) is used to examine the reddening in the field and derive the distance to the cluster and nearby van~Genderen~1. Spectroscopic color excesses for bright cluster stars, photometric reddenings for A3 dwarfs, and dereddening of cluster stars imply that the reddening and extinction laws match results derived for other young clusters in Carina: E$_{U-B}/$E$_{B-V} \simeq 0.64$ and $R_V \simeq 4$. SAI~113 displays features that may be linked to a history of dynamical interactions among member stars: possible circumstellar reddening and rapid rotation of late B-type members, ringlike features in star density, and a compact core with most stars distributed randomly across the field. The group van~Genderen~1 resembles a stellar asterism, with potential members distributed randomly across the field. Distances of $3.90 \pm0.19$ kpc and $2.49 \pm0.09$ kpc are derived for SAI~113 and van~Genderen~1, respectively, with variable reddenings E$_{B-V}$ ranging from 0.84 to 1.29 and 0.23 to 1.28. The SRC variables CK~Car and EV~Car may be outlying members of van~Genderen~1, thereby of use for calibrating the period-luminosity relation for pulsating M supergiants. More importantly, the anomalous reddening and extinction evident in Carina and nearby regions of the Galactic plane in the fourth quadrant impact the mapping of spiral structure from young open clusters. The distribution of spiral arms in the fourth quadrant may be significantly different from how it is often portrayed.


title: Towards improved measurements of parity violation in atomic ytterbium

abstract: We report on progress towards performing precision measurements of parity violation in Yb, in which the theoretical prediction for a strong weak-interaction-induced effect in the 6s^{2} ^{1}S_{0} \rightarrow 5d6s ^{3}D_{1} optical transition at 408 nm has already been confirmed, with a measurement of the effect at the \approx 10 % level of accuracy. With a new atomic-beam apparatus offering enhanced sensitivity, we are aiming at precisely determining the parity violation observable in Yb, which will allow us to probe the distributions of neutrons in different isotopes, investigate physics beyond the Standard Model, as well as to study intra-nucleus weak interactions, through an observation of the anapole moment of Yb nuclei with nonzero spin. We present the experimental principle employed to probe atomic parity violation, describe our new apparatus, and discuss the attained experimental sensitivity as well as the methods for characterizing systematics in these measurements.


title: Groups of fast homeomorphisms of the interval and the ping-pong argument

abstract: We adapt the Ping-Pong Lemma, which historically was used to study free products of groups, to the setting of the homeomorphism group of the unit interval. As a consequence, we isolate a large class of generating sets for subgroups of $\mathrm{Homeo}_+(I)$ for which certain finite dynamical data can be used to determine the marked isomorphism type of the groups which they generate. As a corollary, we will obtain a criteria for embedding subgroups of $\mathrm{Homeo}_+(I)$ into Richard Thompson's group $F$. In particular, every member of our class of generating sets generates a group which embeds into $F$ and in particular is not a free product. An analogous abstract theory is also developed for groups of permutations of an infinite set.


title: Leptoquark mechanism of neutrino masses within the grand unification framework

abstract: We demonstrate viability of the one-loop neutrino mass mechanism within the framework of grand unification when the loop particles comprise scalar leptoquarks (LQs) and quarks of the matching electric charge. This mechanism can be implemented in both supersymmetric and non-supersymmetric models and requires the presence of at least one LQ pair. The appropriate pairs for the neutrino mass generation via the up-type and down-type quark loops are $S_3$-$R_2$ and $S_{1,\,3}$-$\tilde{R}_2$, respectively. We consider two phenomenologically distinct regimes for the LQ masses in our analysis. First regime calls for very heavy LQs in the loop. It can be naturally realised with the $S_{1,\,3}$-$\tilde{R}_2$ scenarios when the LQ masses are roughly between $10^{12}$ GeV and $5 \times 10^{13}$ GeV. These lower and upper bounds originate from experimental limits on partial proton decay lifetimes and perturbativity constraints, respectively. Second regime corresponds to the collider accessible LQs in the neutrino mass loop. That option is viable for the $S_3$-$\tilde{R}_2$ scenario in the models of unification that we discuss. If one furthermore assumes the presence of the type II see-saw mechanism there is an additional contribution from the $S_3$-$R_2$ scenario that needs to be taken into account beside the type II see-saw contribution itself. We provide a complete list of renormalizable operators that yield necessary mixing of all aforementioned LQ pairs using the language of $SU(5)$. We furthermore discuss several possible embeddings of this mechanism in $SU(5)$ and $SO(10)$ gauge groups.


title: Localized Quantitative Criteria for Equidistribution

abstract: Let $(x_n)_{n=1}^{\infty}$ be a sequence on the torus $\mathbb{T}$ (normalized to length 1). We show that if there exists a sequence of positive real numbers $(t_n)_{n=1}^{\infty}$ converging to 0 such that $$\lim_{N \rightarrow \infty}{ \frac{1}{N^2} \sum_{m,n = 1}^{N}{ \frac{1}{\sqrt{t_N}} \exp{\left(- \frac{1}{t_N} (x_m - x_n)^2 \right)}} } = \sqrt{\pi},$$ then $(x_n)_{n=1}^{\infty}$ is uniformly distributed. This is especially interesting when $t_N$ is close to $N^{-2}$ since the size of the sum is then mostly determined by local gaps at scale $\sim N^{-1}$. A similar argument can then be used to show equidistribution of sequences with Poissonian pair correlation, which recovers a recent result of Aistleitner, Lachmann \& Pausinger and Grepstad \& Larcher. The general form of the result is proven on arbitrary compact manifolds $(M,g)$ where the role of the exponential function is played by the heat kernel $e^{t\Delta}$: for all $x_1, \dots, x_N \in M$ and all $t>0$ $$\frac{1}{N^2} \sum_{m,n=1}^N {[e^{t\Delta}\delta_{x_m}](x_n)} \geq \frac{1}{vol(M)}$$ and equality is attained as $N \rightarrow \infty$ if and only if $(x_n)_{n=1}^\infty$ equidistributes.


title: Thermodynamics of strongly-coupled lattice QCD in the chiral limit

abstract: In the strong coupling limit, $n$-point functions in lattice QCD with staggered fermions can be rewritten exactly as sums over constrained configurations of monomers, dimers, and baryon loops covering the spacetime lattice. Worm algorithms provide efficient global sampling methods over such ensembles, and are particularly efficient in the chiral limit. We study the thermodynamics of strongly-coupled U(3) and SU(3) lattice QCD with one massless staggered fermion using such methods, and compare the results with the relativistic pion gas down to low temperatures O(15 MeV).


title: A new relationship between block designs

abstract: We propose a procedure of constructing new block designs starting from a given one by looking at the intersections of its blocks with various sets and grouping those sets according to the structure of the intersections. We introduce a symmetric relationship of friendship between block designs built on a set $V$ and consider families of block designs where all designs are friends of each other, the so-called friendly families. We show that a friendly family admits a partial ordering. Furthermore, we exhibit a map from the power set of $V$, partially ordered by inclusion, to a friendly family of a particular type which preserves the partial order.


title: On the well-posedness of SPDEs with singular drift in divergence form

abstract: We prove existence and uniqueness of strong solutions for a class of second-order stochastic PDEs with multiplicative Wiener noise and drift of the form $\operatorname{div} \gamma(\nabla \cdot)$, where $\gamma$ is a maximal monotone graph in $\mathbb{R}^n \times \mathbb{R}^n$ obtained as the subdifferential of a convex function satisfying very mild assumptions on its behavior at infinity. The well-posedness result complements the corresponding one in our recent work arXiv:1612.08260 where, under the additional assumption that $\gamma$ is single-valued, a solution with better integrability and regularity properties is constructed. The proof given here, however, is self-contained.


title: Polarization Modeling and Predictions for DKIST Part 1: Telescope and example instrument configurations

abstract: We outline polarization performance calculations and predictions for the Daniel K. Inouye Solar Telescope (DKIST) optics and show Mueller matrices for two of the first light instruments. Telescope polarization is due to polarization dependent mirror reflectivity and rotations between groups of mirrors as the telescope moves in altitude and azimuth. The Zemax optical modeling software has polarization ray-trace capabilities and predicts system performance given a coating prescription. We develop a model coating formula that approximates measured witness sample polarization properties. Estimates show the DKIST telescope Mueller matrix as functions of wavelength, azimuth, elevation, and field angle for the Cryogenic Near Infra-Red Spectro-Polarimeter (CryoNIRSP) and for the Visible SpectroPolarimeter (ViSP). Footprint variation is substantial. We estimate 2\% variation of some Mueller matrix elements over the 5 arc minute CryoNIRSP field. We validate the Zemax model by show limiting cases for flat mirrors in collimated and powered designs that compare well with theoretical approximations and are testable with lab ellipsometers.


title: Search for single production of vector-like quarks decaying into a b quark and a W boson in proton-proton collisions at sqrt(s) = 13 TeV

abstract: A search is presented for a heavy vector-like quark, decaying into a b quark and a W boson, which is produced singly in association with a light flavor quark and a b quark. The analysis is performed using a data sample of proton-proton collisions at a center-of-mass energy of sqrt(s) = 13 TeV collected at the LHC in 2015. The data set used in the analysis corresponds to an integrated luminosity of 2.3 inverse femtobarns. The search is carried out using events containing one electron or muon, at least one b-tagged jet with large transverse momentum, at least one jet in the forward region of the detector, and missing transverse momentum. No excess over the standard model prediction is observed. Upper limits are placed on the production cross section of heavy exotic quarks: a T quark with a charge of 2/3, and a Y quark with a charge of -4/3. For Y quarks with coupling of 0.5 and B(Y to bW) = 100%, the observed (expected) lower mass limits are 1.40 (1.0) TeV. This is the most stringent limit to date on the single production of the Y vector-like quark.


title: An Exploratory Study on the Implementation and Adoption of ERP Solutions for Businesses

abstract: Enterprise Resource Planning (ERP) systems have been covered in both mainstream Information Technology (IT) periodicals, and in academic literature, as a result of extensive adoption by organisations in the last two decades. Some of the past studies have reported operational efficiency and other gains, while other studies have pointed out the challenges. ERP systems continue to evolve, moving into the cloud hosted sphere, and being implemented by relatively smaller and regional companies. This project has carried out an exploratory study into the use of ERP systems, within Hawke's Bay New Zealand. ERP systems make up a major investment and undertaking by those companies. Therefore, research and lessons learned in this area are very important. In addition to a significant initial literature review, this project has conducted a survey on the local users' experience with Microsoft Dynamics NAV (a popular ERP brand). As a result, this study will contribute new and relevant information to the literature on business information systems and to ERP systems, in particular.


title: SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes

abstract: We propose a method for the decomposition of modal formulae on processes with nondeterminism and probability with respect to Structural Operational Semantics. The purpose is to reduce the satisfaction problem of a formula for a process to verifying whether its subprocesses satisfy certain formulae obtained from the decomposition. To deal with the probabilistic behavior of processes, and thus with the decomposition of formulae characterizing it, we introduce a SOS-like machinery allowing for the specification of the behavior of open distribution terms. By our decomposition, we obtain (pre)congruence formats for probabilistic bisimilarity, ready similarity and similarity.


title: Mermin inequalities for perfect correlations in many-qutrit systems

abstract: The existence of GHZ contradictions in many-qutrit systems was a long-standing theoretical question until it's (affirmative) resolution in 2013. To enable experimental tests, we derive Mermin inequalities from concurrent observable sets identified in those proofs. These employ a weighted sum of observables, called M, in which every term has the chosen GHZ state as an eigenstate with eigenvalue unity. The quantum prediction for M is then just the number of concurrent observables, and this grows asymptotically as 2^N/3 as the number of qutrits (N) goes to infinity. The maximum classical value falls short for every N, so that the quantum to classical ratio (starting at 1.5 when N=3), diverges exponentially (~ 1.064^N) as N goes to infinity, where the system is in a Schroedinger cat-like superposition of three macroscopically distinct states.


title: Boundary value problems in Lipschitz domains for equations with drifts

abstract: In this work we establish solvability and uniqueness for the $D_2$ Dirichlet problem and the $R_2$ Regularity problem for second order elliptic operators $L=-{\rm div}(A\nabla\cdot)+b\nabla\cdot$ in bounded Lipschitz domains, where $b$ is bounded, as well as their adjoint operators $L^t=-{\rm div}(A^t\nabla\cdot)-{\rm div}(b\,\cdot)$. The methods that we use are estimates on harmonic measure, and the method of layer potentials. The nature of our techniques applied to $D_2$ for $L$ and $R_2$ for $L^t$ leads us to impose a specific size condition on ${\rm div}b$ in order to obtain solvability. On the other hand, we show that $R_2$ for $L$ and $D_2$ for $L^t$ are uniquely solvable, assuming only that $A$ is Lipschitz continuous (and not necessarily symmetric) and $b$ is bounded.


title: Hilbert $C^*$-modules over $\Sigma^*$-algebras II: $\Sigma^*$-Morita equivalence

abstract: In previous work, we defined and studied $\Sigma^*$-modules, a class of Hilbert $C^*$-modules over $\Sigma^*$-algebras (the latter are $C^*$-algebras that are sequentially closed in the weak operator topology). The present work continues this study by developing the appropriate $\Sigma^*$-algebraic analogue of the notion of strong Morita equivalence for $C^*$-algebras. We define strong $\Sigma^*$-Morita equivalence, prove a few characterizations, look at the relationship with equivalence of categories of a certain type of Hilbert space representation, study $\Sigma^*$-versions of the interior and exterior tensor products, and prove a $\Sigma^*$-version of the Brown-Green-Rieffel stable isomorphism theorem.


title: Reconstructing Nearly Simple Polytopes from their Graph

abstract: We present a partial description of which polytopes are reconstructible from their graphs. This is an extension of work by Blind and Mani (1987) and Kalai (1988), which showed that simple polytopes can be reconstructed from their graphs. In particular, we introduce a notion of $h$-nearly simple and prove that 1-nearly simple and 2-nearly simple polytopes are reconstructible from their graphs. We also give an example of a 3-nearly simple polytope which is not reconstructible from its graph. Furthermore, we give a partial list of polytopes which are reconstructible from their graphs in an entirely non-constructive way.


title: Decomposing the Complete $r$-Graph

abstract: Let $f_r(n)$ be the minimum number of complete $r$-partite $r$-graphs needed to partition the edge set of the complete $r$-uniform hypergraph on $n$ vertices. Graham and Pollak showed that $f_2(n) = n-1$. An easy construction shows that $f_r(n)\le (1-o(1))\binom{n}{\lfloor r/2\rfloor}$ and it has been unknown if this upper bound is asymptotically sharp. In this paper we show that $f_r(n)\le (\frac{14}{15}+o(1))\binom{n}{r/2}$ for each even $r\ge 4$.


title: Yielding Transitions and Grain-Size Effects in Dislocation Theory

abstract: The statistical-thermodynamic dislocation theory developed in previous papers is used here in an analysis of yielding transitions and grain-size effects in polycrystalline solids. Calculations are based on the 1995 experimental results of Meyers et al. for polycrystalline copper under strain-hardening conditions. The main assertion is that the well known Hall-Petch effects are caused by enhanced strengths of dislocation sources at the edges of grains instead of the commonly assumed resistance to dislocation flow across grain boundaries. The theory describes rapid transitions between elastic and plastic deformation at yield points; thus it can be used to predict grain-size dependence of both yield stresses and flow stresses


title: On Cooperation and Interference in the Weak Interference Regime (Full Version with Detailed Proofs)

abstract: Handling interference is one of the main challenges in the design of wireless networks. In this paper we study the application of cooperation for interference management in the weak interference (WI) regime, focusing on the Z-interference channel with a causal relay (Z-ICR), when the channel coefficients are subject to ergodic phase fading, all transmission powers are finite, and the relay is full-duplex. In order to provide a comprehensive understanding of the benefits of cooperation in the WI regime, we characterize, for the first time, two major performance measures for the ergodic phase fading Z-ICR in the WI regime: The sum-rate capacity and the maximal generalized degrees-of-freedom (GDoF). In the capacity analysis, we obtain conditions on the channel coefficients, subject to which the sum-rate capacity of the ergodic phase fading Z-ICR is achieved by treating interference as noise at each receiver, and explicitly state the corresponding sum-rate capacity. In the GDoF analysis, we derive conditions on the exponents of the magnitudes of the channel coefficients, under which treating interference as noise achieves the maximal GDoF, which is explicitly characterized as well. It is shown that under certain conditions on the channel coefficients, {\em relaying strictly increases} both the sum-rate capacity and the maximal GDoF of the ergodic phase fading Z-interference channel in the WI regime. Our results demonstrate {\em for the first time} the gains from relaying in the presence of interference, {\em when interference is weak and the relay power is finite}, both in increasing the sum-rate capacity and in increasing the maximal GDoF, compared to the channel without a relay.


title: Parameter and State Estimation in Queues and Related Stochastic Models: A Bibliography

abstract: This is an annotated bibliography on estimation and inference results for queues and related stochastic models. The purpose of this document is to collect and categorise works in the field, allowing for researchers and practitioners to explore the various types of results that exist. Our focus is on papers that deal with mathematical queueing models as well as related stochastic models motivated by queues. We attempted to make this bibliography exhaustive, yet there are possibly some papers that we have missed. As it is updated continuously, additions and comments are welcomed. Note that this bibliography is also a companion to our survey of parameter and state estimation in queues [20].


title: Using English as Pivot to Extract Persian-Italian Parallel Sentences from Non-Parallel Corpora

abstract: The effectiveness of a statistical machine translation system (SMT) is very dependent upon the amount of parallel corpus used in the training phase. For low-resource language pairs there are not enough parallel corpora to build an accurate SMT. In this paper, a novel approach is presented to extract bilingual Persian-Italian parallel sentences from a non-parallel (comparable) corpus. In this study, English is used as the pivot language to compute the matching scores between source and target sentences and candidate selection phase. Additionally, a new monolingual sentence similarity metric, Normalized Google Distance (NGD) is proposed to improve the matching process. Moreover, some extensions of the baseline system are applied to improve the quality of extracted sentences measured with BLEU. Experimental results show that using the new pivot based extraction can increase the quality of bilingual corpus significantly and consequently improves the performance of the Persian-Italian SMT system.


title: Extracting Bilingual Persian Italian Lexicon from Comparable Corpora Using Different Types of Seed Dictionaries

abstract: Bilingual dictionaries are very important in various fields of natural language processing. In recent years, research on extracting new bilingual lexicons from non-parallel (comparable) corpora have been proposed. Almost all use a small existing dictionary or other resources to make an initial list called the "seed dictionary". In this paper, we discuss the use of different types of dictionaries as the initial starting list for creating a bilingual Persian-Italian lexicon from a comparable corpus. Our experiments apply state-of-the-art techniques on three different seed dictionaries; an existing dictionary, a dictionary created with pivot-based schema, and a dictionary extracted from a small Persian-Italian parallel text. The interesting challenge of our approach is to find a way to combine different dictionaries together in order to produce a better and more accurate lexicon. In order to combine seed dictionaries, we propose two different combination models and examine the effect of our novel combination models on various comparable corpora that have differing degrees of comparability. We conclude with a proposal for a new weighting system to improve the extracted lexicon. The experimental results produced by our implementation show the efficiency of our proposed models.


title: Pooling Facial Segments to Face: The Shallow and Deep Ends

abstract: Generic face detection algorithms do not perform very well in the mobile domain due to significant presence of occluded and partially visible faces. One promising technique to handle the challenge of partial faces is to design face detectors based on facial segments. In this paper two such face detectors namely, SegFace and DeepSegFace, are proposed that detect the presence of a face given arbitrary combinations of certain face segments. Both methods use proposals from facial segments as input that are found using weak boosted classifiers. SegFace is a shallow and fast algorithm using traditional features, tailored for situations where real time constraints must be satisfied. On the other hand, DeepSegFace is a more powerful algorithm based on a deep convolutional neutral network (DCNN) architecture. DeepSegFace offers certain advantages over other DCNN-based face detectors as it requires relatively little amount of data to train by utilizing a novel data augmentation scheme and is very robust to occlusion by design. Extensive experiments show the superiority of the proposed methods, specially DeepSegFace, over other state-of-the-art face detectors in terms of precision-recall and ROC curve on two mobile face datasets.


title: Higher-dimensional attractors with absolutely continuous invariant probability

abstract: Consider a dynamical system $T:\mathbb{T}\times \mathbb{R}^{d} \rightarrow \mathbb{T}\times \mathbb{R}^{d} $ given by $ T(x,y) = (E(x), C(y) + f(x))$, where $E$ is a linear expanding map of $\mathbb{T}$, $C$ is a linear contracting map of $\mathbb{R}^d$ and $f$ is in $C^2(\mathbb{T},\mathbb{R}^d)$. We prove that if $T$ is volume expanding and $u\geq d$, then for every $E$ there exists an open set $\mathcal{U}$ of pairs $(C,f)$ for which the corresponding dynamic $T$ admits an absolutely continuous invariant probability. A geometrical characteristic of transversality between self-intersections of images of $\mathbb{T}\times\{ 0 \}$ is present in the dynamic of the maps in $\mathcal{U}$. In addition, we give a condition between $E$ and $C$ under which it is possible to perturb $f$ to obtain a pair $(C,\tilde{f})$ in $\mathcal{U}$.


title: Rhythm Transcription of Polyphonic Piano Music Based on Merged-Output HMM for Multiple Voices

abstract: In a recent conference paper, we have reported a rhythm transcription method based on a merged-output hidden Markov model (HMM) that explicitly describes the multiple-voice structure of polyphonic music. This model solves a major problem of conventional methods that could not properly describe the nature of multiple voices as in polyrhythmic scores or in the phenomenon of loose synchrony between voices. In this paper we present a complete description of the proposed model and develop an inference technique, which is valid for any merged-output HMMs for which output probabilities depend on past events. We also examine the influence of the architecture and parameters of the method in terms of accuracies of rhythm transcription and voice separation and perform comparative evaluations with six other algorithms. Using MIDI recordings of classical piano pieces, we found that the proposed model outperformed other methods by more than 12 points in the accuracy for polyrhythmic performances and performed almost as good as the best one for non-polyrhythmic performances. This reveals the state-of-the-art methods of rhythm transcription for the first time in the literature. Publicly available source codes are also provided for future comparisons.


title: Field space parametrization in quantum gravity and the identification of a unitary conformal field theory at the heart of 2D Asymptotic Safety

abstract: In this thesis we investigate various fundamental aspects of asymptotically safe quantum gravity, in particular the compatibility of Asymptotic Safety with the requirements for background independence and unitarity. The first part contains a detailed analysis of the space of metrics. We unveil a novel, specifically designed connection on this space and use the corresponding geodesics to connect all metrics having the same signature. In the second part we study the consequences of different metric parametrizations, i.e. of different connections on the space of metrics, for the Asymptotic Safety scenario by exploring the respective properties of the decisive renormalization group fixed points. Based on a bimetric investigation we show that Asymptotic Safety can be reconciled with background independence. The third part of this work focuses on the 2D limit of quantum gravity. To this end, we show that the 2D limit of the Einstein--Hilbert action at a nontrivial fixed point becomes Polyakov's induced gravity action which describes a conformal field theory. In this way, we can prove that the fixed point theory is unitary. The last part concerns the reconstruction of the functional integral out of a given effective theory, where we reconstruct the bare action for an Einstein--Hilbert-type effective average action and for a Liouville action.


title: Automated Synthesis of Divide and Conquer Parallelism

abstract: This paper focuses on automated synthesis of divide-and-conquer parallelism, which is a common parallel programming skeleton supported by many cross-platform multithreaded libraries. The challenges of producing (manually or automatically) a correct divide-and-conquer parallel program from a given sequential code are two-fold: (1) assuming that individual worker threads execute a code identical to the sequential code, the programmer has to provide the extra code for dividing the tasks and combining the computation results, and (2) sometimes, the sequential code may not be usable as is, and may need to be modified by the programmer. We address both challenges in this paper. We present an automated synthesis technique for the case where no modifications to the sequential code are required, and we propose an algorithm for modifying the sequential code to make it suitable for parallelization when some modification is necessary. The paper presents theoretical results for when this {\em modification} is efficiently possible, and experimental evaluation of the technique and the quality of the produced parallel programs.


title: Freestanding transparent terahertz half-wave plate using subwavelength cut-wire pairs

abstract: We designed a cut-wire-pair metasurface that works as a transparent terahertz half-wave plate, by matching the electric and magnetic resonances of the structure. Due to the impedance matching nature of the resonances, a large transmission phase shift between the orthogonal polarizations was achieved, while permitting a high transmission. The electric and magnetic responses of the proposed structure were confirmed by evaluating the electric admittance and magnetic impedance. The structure was fabricated on a flexible film and its helicity-conversion function in the terahertz frequency range was experimentally demonstrated. The thickness of the device is less than 1/10 of the working vacuum wavelength, and a high amplitude helicity conversion rate over 80% was achieved. Finally, using simulations, we demonstrate the feasibility of the gradually rotating cut-wire-pair array in terahertz wave-front control.


title: Construction of Fixed Rate Non-Binary WOM Codes based on Integer Programming

abstract: In this paper, we propose a construction of non-binary WOM (Write-Once-Memory) codes for WOM storages such as flash memories. The WOM codes discussed in this paper are fixed rate WOM codes where messages in a fixed alphabet of size $M$ can be sequentially written in the WOM storage at least $t^*$-times. In this paper, a WOM storage is modeled by a state transition graph. The proposed construction has the following two features. First, it includes a systematic method to determine the encoding regions in the state transition graph. Second, the proposed construction includes a labeling method for states by using integer programming. Several novel WOM codes for $q$ level flash memories with 2 cells are constructed by the proposed construction. They achieve the worst numbers of writes $t^*$ that meet the known upper bound in many cases. In addition, we constructed fixed rate non-binary WOM codes with the capability to reduce ICI (inter cell interference) of flash cells. One of the advantages of the proposed construction is its flexibility. It can be applied to various storage devices, to various dimensions (i.e, number of cells), and various kind of additional constraints.


title: Two-photon imaging assisted by a dynamic random medium

abstract: Random scattering is usually viewed as a serious nuisance in optical imaging, and needs to be prevented in the conventional imaging scheme based on single-photon interference. Here we proposed a two-photon imaging scheme with the widely used lens replaced by a dynamic random medium. In contrast to destroying imaging process, the dynamic random medium in our scheme works as a crucial imaging element to bring constructive interference, and allows us to image an object from light field scattered by this dynamic random medium. On the one hand, our imaging scheme with incoherent two-photon illumination enables us to achieve super-resolution imaging with the resolution reaching Heisenberg limit. On the other hand, with coherent two-photon illumination, the image of a pure-phase object can be obtained in our imaging scheme. These results show new possibilities to overcome bottleneck of widely used single-photon imaging by developing imaging method based on multi-photon interference.


title: Supervised Deep Sparse Coding Networks

abstract: In this paper, we describe the deep sparse coding network (SCN), a novel deep network that encodes intermediate representations with nonnegative sparse coding. The SCN is built upon a number of cascading bottleneck modules, where each module consists of two sparse coding layers with relatively wide and slim dictionaries that are specialized to produce high dimensional discriminative features and low dimensional representations for clustering, respectively. During training, both the dictionaries and regularization parameters are optimized with an end-to-end supervised learning algorithm based on multilevel optimization. Effectiveness of an SCN with seven bottleneck modules is verified on several popular benchmark datasets. Remarkably, with few parameters to learn, our SCN achieves 5.81% and 19.93% classification error rate on CIFAR-10 and CIFAR-100, respectively.


title: Furstenberg Entropy of Intersectional Invariant Random Subgroups

abstract: We study the Furstenberg-entropy realization problem for stationary actions. It is shown that for finitely supported probability measures on free groups, any a-priori possible entropy value can be realized as the entropy of an ergodic stationary action. This generalizes results of Bowen. The stationary actions we construct arise via invariant random subgroups (IRSs), based on ideas of Bowen and Kaimanovich. We provide a general framework for constructing a continuum of ergodic IRSs for a discrete group under some algebraic conditions, which gives a continuum of entropy values. Our tools apply for example, for certain extensions of the group of finitely supported permutations and lamplighter groups, hence establishing full realization results for these groups. For the free group, we construct the IRSs via a geometric construction of subgroups, by describing their Schreier graphs. The analysis of the entropy of these spaces is obtained by studying the random walk on the appropriate Schreier graphs.


title: Distribution of prime ideals of higher residue degree across ideal classes in the class groups

abstract: In this article we investigate the distribution of prime ideals of residue degree bigger than one across the ideal classes in the class group of a number field $L$. A criterion for the class group of $L$ being generated by the classes of prime ideals of residue degree $f>1$ is provided. Further, some consequences of this study on the solvability of norm equations for $L/\mathbb{Q}$ and on the problem of finding annihilators for relative extensions are discussed.


title: Spin-triplet $f$-wave symmetry in superconducting monolayer $MoS_2$

abstract: The proximity-induced spin-triplet $f$-wave symmetry pairing in a monolayer molybdenum disulfide-superconductor hybrid features an interesting electron-hole excitations and also effective superconducting subgap, giving rise to a distinct Andreev resonance state. Owing to the complicated Fermi surface and momentum dependency of $f$-wave pair potential, monolayer $MoS_2$ with strong spin-orbit coupling can be considered an intriguing structure to reveal the superconducting state. Actually, this can be possible by calculating the peculiar spin-valley polarized transport of quasiparticles in a related normal metal/superconductor junction. We theoretically study the formation of effective gap at the interface and resulting normalized conductance on top of a $MoS_2$ under induction of $f$-wave order parameter, using Bloder-Tinkham-Klapwijk formalism. The superconducting excitations shows that the gap is renormalized by a \textit{bias limitation} coefficient including dynamical band parameters of monolayer $MoS_2$, especially, ones related to the Schrodinger-type momentum of Hamiltonian. The effective gap is more sensitive to the n-doping regime of superconductor region. The signature of spin-orbit coupling, topological and asymmetry mass-related terms in the resulting subgap conductance and, in particular, maximum conductance is presented. In the absence of topological term, the effective gap reaches to its maximum value. The unconventional nature of superconducting order leads to the appearance of zero-bias conductance. In addition, the maximum value of conductance can be controlled by tuning the doping level of normal and superconductor regions.


title: Global Strong Solution of a 2D coupled Parabolic-Hyperbolic Magnetohydrodynamic System

abstract: The main objective of this paper is to study the global strong solution of the parabolic-hyperbolic incompressible magnetohydrodynamic (MHD) model in two dimensional space. Based on Agmon, Douglis and Nirenberg's estimates for the stationary Stokes equation and the Solonnikov's theorem of $L^p$-$L^q$-estimates for the evolution Stokes equation, it is shown that the mixed-type MHD equations exist a global strong solution.


title: Scheduling Status Updates to Minimize Age of Information with an Energy Harvesting Sensor

abstract: Age of Information is a measure of the freshness of status updates in monitoring applications and update-based systems. We study a real-time remote sensing scenario with a sensor which is restricted by time-varying energy constraints and battery limitations. The sensor sends updates over a packet erasure channel with no feedback. The problem of finding an age-optimal threshold policy, with the transmission threshold being a function of the energy state and the estimated current age, is formulated. The average age is analyzed for the unit battery scenario under a memoryless energy arrival process. Somewhat surprisingly, for any finite arrival rate of energy, there is a positive age threshold for transmission, which corresponding to transmitting at a rate lower than that dictated by the rate of energy arrivals. A lower bound on the average age is obtained for general battery size.


title: Equal relation between the extra connectivity and pessimistic diagnosability for some regular graphs

abstract: Extra connectivity and the pessimistic diagnosis are two crucial subjects for a multiprocessor system's ability to tolerate and diagnose faulty processor. The pessimistic diagnosis strategy is a classic strategy based on the PMC model in which isolates all faulty vertices within a set containing at most one fault-free vertex. In this paper, the result that the pessimistic diagnosability $t_p(G)$ equals the extra connectivity $\kappa_{1}(G)$ of a regular graph $G$ under some conditions are shown. Furthermore, the following new results are gotten: the pessimistic diagnosability $t_p(S_n^2)=4n-9$ for split-star networks $S_n^2$, $t_p(\Gamma_n)=2n-4$ for Cayley graphs generated by transposition trees $\Gamma_n$, $t_p(\Gamma_{n}(\Delta))=4n-11$ for Cayley graph generated by the $2$-tree $\Gamma_{n}(\Delta)$, $t_{p}(BP_n)=2n-2$ for the burnt pancake networks $BP_n$. As corollaries, the known results about the extra connectivity and the pessimistic diagnosability of many famous networks including the alternating group graphs, the alternating group networks, BC networks, the $k$-ary $n$-cube networks etc. are obtained directly.


title: Observational Evidence of Magnetic Reconnection for Brightenings and Transition Region Arcades in IRIS observations

abstract: By using a new method of forced-field extrapolation, we study the emerging flux region AR 11850 observed by the Interface Region Imaging Spectrograph (IRIS) and Solar Dynamical Observatory (SDO). Our results suggest that the bright points (BPs) in this emerging region have responses in lines formed from the upper photosphere to the transition region, with a relatively similar morphology. They have an oscillation of several minutes according to the Atmospheric Imaging Assembly (AIA) data at 1600 and 1700 A . The ratio between the BP intensities measured in 1600 A and 1700 A filtergrams reveals that these BPs are heated differently. Our analysis of the Helioseismic and Magnetic Imager (HMI) vector magnetic field and the corresponding topology in AR11850 indicates that the BPs are located at the polarity inversion line (PIL) and most of them related with magnetic reconnection or cancelation. The heating of the BPs might be different due to different magnetic topology. We find that the heating due to the magnetic cancelation would be stronger than the case of bald patch reconnection. The plasma density rather than the magnetic field strength could play a dominant role in this process. Based on physical conditions in the lower atmosphere, our forced-field extrapolation shows consistent results between the bright arcades visible in slit-jaw image (SJI) 1400 A and the extrapolated field lines that pass through the bald patches. It provides a reliable observational evidence for testing the mechanism of magnetic reconnection for the BPs and arcades in emerging flux region, as proposed in simulation works.


title: Current-driven skyrmion dynamics in disordered films

abstract: A theoretical study of the current-driven dynamics of magnetic skyrmions in disordered perpendicularly-magnetized ultrathin films is presented. The disorder is simulated as a granular structure in which the local anisotropy varies randomly from grain to grain. The skyrmion velocity is computed for different disorder parameters and ensembles. Similar behavior is seen for spin-torques due to in-plane currents and the spin Hall effect, where a pinning regime can be identified at low currents with a transition towards the disorder-free case at higher currents, similar to domain wall motion in disordered films. Moreover, a current-dependent skyrmion Hall effect and fluctuations in the core radius are found, which result from the interaction with the pinning potential.


title: Optically induced lattice deformations, electronic structure changes, and enhanced superconductivity in YBa2Cu3O6.48

abstract: Resonant optical excitation of apical oxygen vibrational modes in the normal state of underdoped YBa2Cu3O6+x induces a transient state with optical properties similar to those of the equilibrium superconducting state. Amongst these, a divergent imaginary conductivity and a plasma edge are transiently observed in the photo-stimulated state. Femtosecond hard x-ray diffraction experiments have been used in the past to identify the transient crystal structure in this non-equilibrium state. Here, we start from these crystallographic features and theoretically predict the corresponding electronic rearrangements that accompany these structural deformations. Using density functional theory, we predict enhanced hole-doping of the CuO2 planes. The empty chain Cu dy2-z2 orbital is calculated to strongly reduce in energy, which would increase c-axis transport and potentially enhance the interlayer Josephson coupling as observed in the THz-frequency response. From these calculations, we predict changes in the soft x-ray absorption spectra at the Cu L-edge. Femtosecond x-ray pulses from a free electron laser are used to probe these changes in absorption at two photon energies along this spectrum, and provide data consistent with these predictions.


title: The universal property of derived geometry

abstract: Derived geometry can be defined as the universal way to adjoin finite homotopical limits to a given category of manifolds compatibly with products and glueing. The point of this paper is to show that a construction closely resembling existing approaches to derived geometry in fact produces a geometry with this universal property. I also investigate consequences of this definition in particular in the differentiable setting, and compare the theory so obtained to D. Spivak's axioms for derived C-infinity geometry.


title: Lectures on Higher Spin Holography

abstract: These notes were prepared for the introductory lectures on Higher Spin Holography presented at the Twelfth Modave Summer School in Mathematical Physics 2016, aimed at Ph.D. students and researchers new to this topic. Contents: 1. Higher spin particles in AdS 2. The AdS/CFT correspondence and higher spins 3. The ambient space formalism 4. Witten diagrams for higher spin fields / higher spin interactions from CFT


title: Accelerated Computing in Magnetic Resonance Imaging -- Real-Time Imaging Using Non-Linear Inverse Reconstruction

abstract: Purpose: To develop generic optimization strategies for image reconstruction using graphical processing units (GPUs) in magnetic resonance imaging (MRI) and to exemplarily report about our experience with a highly accelerated implementation of the non-linear inversion algorithm (NLINV) for dynamic MRI with high frame rates. Methods: The NLINV algorithm is optimized and ported to run on an a multi-GPU single-node server. The algorithm is mapped to multiple GPUs by decomposing the data domain along the channel dimension. Furthermore, the algorithm is decomposed along the temporal domain by relaxing a temporal regularization constraint, allowing the algorithm to work on multiple frames in parallel. Finally, an autotuning method is presented that is capable of combining different decomposition variants to achieve optimal algorithm performance in different imaging scenarios. Results: The algorithm is successfully ported to a multi-GPU system and allows online image reconstruction with high frame rates. Real-time reconstruction with low latency and frame rates up to 30 frames per second is demonstrated. Conclusion: Novel parallel decomposition methods are presented which are applicable to many iterative algorithms for dynamic MRI. Using these methods to parallelize the NLINV algorithm on multiple GPUs it is possible to achieve online image reconstruction with high frame rates.


title: Channel Resolvability Theorems for General Sources and Channels

abstract: In the problem of channel resolvability, where a given output probability distribution via a channel is approximated by transforming the uniform random numbers, characterizing the asymptotically minimum rate of the size of the random numbers, called the channel resolvability, has been open. This paper derives formulas for the channel resolvability for a given general source and channel pair. We also investigate the channel resolvability in an optimistic sense. It is demonstrated that the derived general formulas recapture a single-letter formula for the stationary memoryless source and channel. When the channel is the identity mapping, the established formulas reduce to an alternative form of the spectral sup-entropy rates, which play a key role in information spectrum methods. The analysis is also extended to the second-order channel resolvability.


title: Goodness-of-fit tests for the functional linear model based on randomly projected empirical processes

abstract: We consider marked empirical processes indexed by a randomly projected functional covariate to construct goodness-of-fit tests for the functional linear model with scalar response. The test statistics are built from continuous functionals over the projected process, resulting in computationally efficient tests that exhibit root-n convergence rates and circumvent the curse of dimensionality. The weak convergence of the empirical process is obtained conditionally on a random direction, whilst the almost surely equivalence between the testing for significance expressed on the original and on the projected functional covariate is proved. The computation of the test in practice involves calibration by wild bootstrap resampling and the combination of several p-values, arising from different projections, by means of the false discovery rate method. The finite sample properties of the tests are illustrated in a simulation study for a variety of linear models, underlying processes, and alternatives. The software provided implements the tests and allows the replication of simulations and data applications.


title: Very cost effective bipartition in Gamma(Z_n)

abstract: Let Z_n be the finite commutative ring of residue classes modulo n and Gamma(Z_n) be its zero-divisor graph. The nilradical graph and non-nilradical graph of Z_n are denoted by N(Z_n) and Omega(Z_n) respectively. In 2012, Haynes et al. [5] introduced the concept of very cost effective graph. For a graph G = (V,E) and a set of vertices S subset of V, a vertex v in S is said to be very cost effective if it is adjacent to more vertices in V\S than in S. A bipartition Pi = {S, V\S} is called very cost effective if both S and V\S are very cost effective sets [5,6]. In this paper, we investigate the very cost effective bipartition of Gamma(Z_n), where n = p_1 p_2 ... p_m, here all p_i's are distinct primes. In addition, we discuss the cases in which N(Z_n) and Omega(Z_n) graphs have very cost effective bipartition for different n. Finally, we derive some results for very cost effective bipartition of the Line graph and Total graph of Gamma(Z_n), denoted by L(Gamma(Z_n)) and T(Gamma(Z_n)) respectively.


title: Testing the Zonal Stationarity of Spatial Point Processes: Applied to prostate tissues and trees locations

abstract: We consider the problem of testing the stationarity and isotropy of a spatial point pattern based on the concept of local spectra. Using a logarithmic transformation, the mechanism of the proposed test is approximately identical to a simple two factor analysis of variance procedure when the variance of residuals is known. This procedure is also used for testing the stationarity in neighborhood of a particular point of the window of observation. The same idea is used in post-hoc tests to cluster the point pattern into stationary and nonstationary sub-windows. The performance of the proposed method is examined via a simulation study and applied in a practical data.


title: Faithfulness of Probability Distributions and Graphs

abstract: A main question in graphical models and causal inference is whether, given a probability distribution $P$ (which is usually an underlying distribution of data), there is a graph (or graphs) to which $P$ is faithful. The main goal of this paper is to provide a theoretical answer to this problem. We work with general independence models, which contain probabilistic independence models as a special case. We exploit a generalization of ordering, called preordering, of the nodes of (mixed) graphs. This allows us to provide sufficient conditions for a given independence model to be Markov to a graph with the minimum possible number of edges, and more importantly, necessary and sufficient conditions for a given probability distribution to be faithful to a graph. We present our results for the general case of mixed graphs, but specialize the definitions and results to the better-known subclasses of undirected (concentration) and bidirected (covariance) graphs as well as directed acyclic graphs.


title: Excitations and stability of weakly interacting Bose gases with multi-body interactions

abstract: We consider weakly interacting bosonic gases with local and non-local multi-body interactions. By using the Bogoliubov approximation, we first investigate contact interactions, studying the case in which the interparticle potential can be written as a sum of N-body {\delta}-interactions, and then considering general contact potentials. Results for the quasi-particle spectrum and the stability are presented. We then examine non-local interactions, focusing on two different cases of 3-body non-local interactions. Our results are used for systems with 2- and 3-body {\delta}-interactions and applied for realistic values of the trap parameters. Finally, the effect of conservative 3-body terms in dipolar systems and soft-core potentials (that can be simulated with Rydberg dressed atoms) is also studied.


title: Reproduction of exact solutions of Lipkin model by nonlinear random-phase approximation

abstract: It is shown that the random-phase approximation (RPA) method with its nonlinear generalization, which was previously considered as approximation, reproduces the exact solutions of the Lipkin model. The nonlinear RPA is based on an equation nonlinear on eigenvectors and includes many-particle-many-hole components in the creation operator of the excited states. We demonstrate the exact character of solutions analytically for the particle number $N$ = 2 and, numerically, for $N$ = 20. This finding indicates that the nonlinear RPA is equivalent to the exact Schr\"{o}dinger equation, which opens up new possibilities for realistic calculations in many-body problems.


title: A homotopy-theoretic model of function extensionality in the effective topos

abstract: We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of this method is that it does not require the underlying topos to be cocomplete. The resulting model category structure gives rise to a model of homotopy type theory with identity types, $\Sigma$- and $\Pi$-types, and functional extensionality. We apply the method to the effective topos with the interval object $\nabla 2$. In the resulting model structure we identify uniform inhabited objects as contractible objects, and show that discrete objects are fibrant. Moreover, we show that the unit of the discrete reflection is a homotopy equivalence and the homotopy category of fibrant assemblies is equivalent to the category of modest sets. We compare our work with the path object category construction on the effective topos by Jaap van Oosten.


title: Identification of Geometric Potential from Quantum Conditions for a Particle on a Curved Surface

abstract: Combination of a construction of unambiguous quantum conditions out of the conventional one and a simultaneous quantization of the positions, momenta, angular momenta and Hamiltonian leads to the geometric potential given by the so-called thin-lay quantization.

categories: quant-ph cond-mat.mes-hall math-ph math.MP


title: A Revision of a New Chaos-Based Image Encryption System: Weaknesses and Limitations

abstract: Lately, multimedia encryption has been the focus of attention in many researches. Recently, a large number of encryption algorithms has been presented to protect image contents.The main objective of modern image encryption schemes is to reduce the computation complexity in order to respond to the real time multimedia and/or limited resources requirements without degrading the high level of security. In fact, most of the recent solutions are based on the chaotic theory. However, the majority of chaotic systems suffers from different limitations and their implementation is difficult at the hardware level because of the non integer operations that are employed requiring huge resources and latency. In this paper, we analyze the new chaos-based image encryption system presented in~\cite{el2016new}. It uses a static binary diffusion layer, followed by a key dependent bit-permutation layer that only iterates for one round. Based on their results in this paper, we claim that the uniformity and avalanche effect can be reached from the first round. However, we tried to verify the results but our conclusion was that these results were wrong because it was shown that at least 6 iterations are necessary to ensure the required cryptographic performance such as the plain-sensitivity property. Therefore, the required execution time must be multiplied by 6 and consequently this will increase the latency. In addition to all aforementioned problems, we find that ensuring the avalanche effect in the whole image introduces a high error propagation. In order to solve this problem, we recommend to ensure the avalanche effect in the level of blocks instead of the whole image.


title: Stable rationality of del Pezzo fibrations of low degree over projective spaces

abstract: The main aim of this article is to show that a very general 3-dimensional del Pezzo fibration of degree 1,2,3 is not stably rational except for a del Pezzo fibration of degree 3 belonging to explicitly described 2 families. Higher dimensional generalizations are also discussed and we prove that a very general del Pezzo fibration of degree 1,2,3 defined over the projective space is not stably rational provided that the anticanonical divisor is not ample.


title: Integer-Forcing Message Recovering in Interference Channels

abstract: In this paper, we propose a scheme referred to as integer-forcing message recovering (IFMR) to enable receivers to recover their desirable messages in interference channels. Compared to the state-of-the- art integer-forcing linear receiver (IFLR), our proposed IFMR approach needs to decode considerably less number of messages. In our method, each receiver recovers independent linear integer combinations of the desirable messages each from two independent equations. We propose an efficient algorithm to sequentially find the equations and integer combinations with maximum rates. We evaluate the performance of our scheme and compare the results with the minimum mean-square error (MMSE) and zero-forcing (ZF), as well as the IFLR schemes. The results indicate that our IFMR scheme outperforms the MMSE and ZF schemes, in terms of achievable rate, considerably. Also, compared to IFLR, the IFMR scheme achieves slightly less rates in moderate signal-to-noise ratios, with significantly less implementation complexity.


title: Feature base fusion for splicing forgery detection based on neuro fuzzy

abstract: Most of researches on image forensics have been mainly focused on detection of artifacts introduced by a single processing tool. They lead in the development of many specialized algorithms looking for one or more particular footprints under specific settings. Naturally, the performance of such algorithms are not perfect, and accordingly the provided output might be noisy, inaccurate and only partially correct. Furthermore, a forged image in practical scenarios is often the result of utilizing several tools available by image-processing software systems. Therefore, reliable tamper detection requires developing more poweful tools to deal with various tempering scenarios. Fusion of forgery detection tools based on Fuzzy Inference System has been used before for addressing this problem. Adjusting the membership functions and defining proper fuzzy rules for attaining to better results are time-consuming processes. This can be accounted as main disadvantage of fuzzy inference systems. In this paper, a Neuro-Fuzzy inference system for fusion of forgery detection tools is developed. The neural network characteristic of these systems provides appropriate tool for automatically adjusting the membership functions. Moreover, initial fuzzy inference system is generated based on fuzzy clustering techniques. The proposed framework is implemented and validated on a benchmark image splicing data set in which three forgery detection tools are fused based on adaptive Neuro-Fuzzy inference system. The outcome of the proposed method reveals that applying Neuro Fuzzy inference systems could be a better approach for fusion of forgery detection tools.


title: Exact Approach for Survivable Regenerator Placement in Translucent WDM Networks

abstract: Most studies addressing translucent network design targeted a trade-off between minimizing the number of deployed regenerators and minimizing the number of regeneration sites. The latter highly depends on the carrier's strategy and is motivated by various considerations such as power consumption, maintenance and supervision costs. However, concentrating regenerators into a small number of nodes exposes the network to a high risk of data losses in the eventual case of regenerator pool failure. In this paper, we address the problem of survivable translucent network design taking into account the simultaneous effect of four transmission impairments. We propose an exact approach based on a mathematical formulation to solve the problem of regenerator placement while ensuring the network survivability in the hazardous event of a regenerator pool failure. For this purpose, for each accepted request requiring regeneration, the network management plane computes in advance several routing paths along with associated valid wavelengths going through different regeneration sites. In doing so, we target to implement an M : N shared regenerator pool protection scheme. Simulation results highlight the gain obtained by reducing the number of regeneration sites without sacrificing network survivability.


title: VINet: Visual-Inertial Odometry as a Sequence-to-Sequence Learning Problem

abstract: In this paper we present an on-manifold sequence-to-sequence learning approach to motion estimation using visual and inertial sensors. It is to the best of our knowledge the first end-to-end trainable method for visual-inertial odometry which performs fusion of the data at an intermediate feature-representation level. Our method has numerous advantages over traditional approaches. Specifically, it eliminates the need for tedious manual synchronization of the camera and IMU as well as eliminating the need for manual calibration between the IMU and camera. A further advantage is that our model naturally and elegantly incorporates domain specific information which significantly mitigates drift. We show that our approach is competitive with state-of-the-art traditional methods when accurate calibration data is available and can be trained to outperform them in the presence of calibration and synchronization errors.


title: Generalized Weyl modules and Demazure submodules of level-zero extremal weight modules

abstract: We study a relationship between the graded characters of generalized Weyl modules $W_{w \lambda}$, $w \in W$, over the positive part of the affine Lie algebra and those of specific quotients $V_{w}^- (\lambda) / X_{w}^- (\lambda)$, $w \in W$, of the Demazure submodules $V_{w}^- (\lambda)$ of the extremal weight modules $V(\lambda)$ over the quantum affine algebra, where $W$ is the finite Weyl group and $\lambda$ is a dominant weight. More precisely, we prove that a specific quotient of the Demazure submodule is a quantum analog of a generalized Weyl module.


title: MSCM-LiFe: Multi-scale cross modal linear feature for horizon detection in maritime images

abstract: This paper proposes a new method for horizon detection called the multi-scale cross modal linear feature. This method integrates three different concepts related to the presence of horizon in maritime images to increase the accuracy of horizon detection. Specifically it uses the persistence of horizon in multi-scale median filtering, and its detection as a linear feature commonly detected by two different methods, namely the Hough transform of edgemap and the intensity gradient. We demonstrate the performance of the method over 13 videos comprising of more than 3000 frames and show that the proposed method detects horizon with small error in most of the cases, outperforming three state-of-the-art methods.


title: On connections of the Li\'enard equation with some equations of Painlev\'e--Gambier type

abstract: The Li\'enard equation is used in various applications. Therefore, constructing general analytical solutions of this equation is an important problem. Here we study connections between the Li\'enard equation and some equations from the Painlev\'e--Gambier classification. We show that with the help of such connections one can construct general analytical solutions of the Li\'enard equation's subfamilies. In particular, we find three new integrable families of the Li\'enard equation. We also propose and discuss an approach for finding one--parameter families of closed--form analytical solutions of the Li\'enard equation.


title: The HASYv2 dataset

abstract: This paper describes the HASYv2 dataset. HASY is a publicly available, free of charge dataset of single symbols similar to MNIST. It contains 168233 instances of 369 classes. HASY contains two challenges: A classification challenge with 10 pre-defined folds for 10-fold cross-validation and a verification challenge.


title: Random Forest regression for manifold-valued responses

abstract: An increasing array of biomedical and computer vision applications requires the predictive modeling of complex data, for example images and shapes. The main challenge when predicting such objects lies in the fact that they do not comply to the assumptions of Euclidean geometry. Rather, they occupy non-linear spaces, a.k.a. manifolds, where it is difficult to define concepts such as coordinates, vectors and expected values. In this work, we construct a non-parametric predictive methodology for manifold-valued objects, based on a distance modification of the Random Forest algorithm. Our method is versatile and can be applied both in cases where the response space is a well-defined manifold, but also when such knowledge is not available. Model fitting and prediction phases only require the definition of a suitable distance function for the observed responses. We validate our methodology using simulations and apply it on a series of illustrative image completion applications, showcasing superior predictive performance, compared to various established regression methods.


title: Noncommutative Frobenius algebras and open-closed duality

abstract: Some equivalence classes in symmetric group lead to an interesting class of noncommutive and associative algebras. From these algebras we construct noncommutative Frobenius algebras. Based on the correspondence between Frobenius algebras and two-dimensional topological field theories, the noncommutative Frobenius algebras can be interpreted as topological open string theories. It is observed that the centre of the algebras are related to closed string theories via open-closed duality. Area-dependent two-dimensional field theories are also studied.


title: Estimation of samples relevance by their histograms

abstract: The problem of the estimation of relevance to a set of histograms generated by samples of a discrete time process is discussed on the base of the variational principles proposed in the previous paper [1]. Some conditions for dimension reduction of corresponding linear programming problems are presented also.


title: A characterization of 2-dimensional Cayley graphs on dihedral groups

abstract: In this paper we characterize all of Cayley graphs on dihedral groups with metric dimension two.


title: Persistence of Li-Yorke chaos in systems with relay

abstract: It is rigorously proved that the chaotic dynamics of the non-smooth system with relay function is persistent even if a chaotic perturbation is applied. We consider chaos in a modified Li-Yorke sense such that infinitely many almost periodic motions take place in its basis. It is demonstrated that the system under investigation possesses countable infinity of chaotic sets of solutions. Coupled Duffing oscillators are used to show the effectiveness of our technique, and simulations that support the theoretical results are represented. Moreover, a chaos control procedure based on the Ott-Grebogi-Yorke algorithm is proposed to stabilize the unstable almost periodic motions embedded in the chaotic attractor.


title: The relationship between $k$-forcing and $k$-power domination

abstract: Zero forcing and power domination are iterative processes on graphs where an initial set of vertices are observed, and additional vertices become observed based on some rules. In both cases, the goal is to eventually observe the entire graph using the fewest number of initial vertices. Chang et al. introduced $k$-power domination in [Generalized power domination in graphs, {\it Discrete Applied Math.} 160 (2012) 1691-1698] as a generalization of power domination and standard graph domination. Independently, Amos et al. defined $k$-forcing in [Upper bounds on the $k$-forcing number of a graph, {\it Discrete Applied Math.} 181 (2015) 1-10] to generalize zero forcing. In this paper, we combine the study of $k$-forcing and $k$-power domination, providing a new approach to analyze both processes. We give a relationship between the $k$-forcing and the $k$-power domination numbers of a graph that bounds one in terms of the other. We also obtain results using the contraction of subgraphs that allow the parallel computation of $k$-forcing and $k$-power dominating sets.


title: Parabolic degrees and Lyapunov exponents for hypergeometric local systems

abstract: Consider the flat bundle on $\mathrm{CP}^1 - \{0,1,\infty \}$ corresponding to solutions of the hypergeometric differential equation $ \prod_{i=1}^h (\mathrm D - \alpha_i) - z \prod_{j=1}^h (\mathrm D - \beta_j) = 0$ where $\mathrm D = z \frac {d}{dz}$. For $\alpha_i$ and $\beta_j$ distinct real numbers, this bundle is known to underlie a complex polarized variation of Hodge structure. Setting the complete hyperbolic metric on $\mathrm{CP}^1 - \{0,1,\infty \}$, we associate $n$ Lyapunov exponents to this bundle. We compute the parabolic degrees of the holomorphic subbundles induced by the variation of Hodge structure and study the dependence of the Lyapunov exponents in terms of these degrees by means of numerical simulations.


title: The origin of life seen from the point of view of non-equilibrium statistical mechanics

abstract: This note presents a minimal approach to the origin of life, following standard ideas. We pay special attention to the point of view of non-equilibrium statistical mechanics, and in particular to detailed balance. As a consequence we propose a characterization of pre-biological states.


title: Sharp upper bounds for multiplicative Zagreb indices of bipartite graphs with given diameter

abstract: The first multiplicative Zagreb index of a graph $G$ is the product of the square of every vertex degree, while the second multiplicative Zagreb index is the product of the degree of each edge over all edges. In our work, we explore the multiplicative Zagreb indices of bipartite graphs of order $n$ with diameter $d$, and sharp upper bounds are obtained for these indices of graphs in $\mathcal{B}(n,d)$, where $\mathcal{B}(n, d)$ is the set of all $n$-vertex bipartite graphs with the diameter $d$. In addition, we explore the relationship between the maximal multiplicative Zagreb indices of graphs \textcolor{blue}{within} $\mathcal{B}(n, d)$. As consequences, those bipartite graphs with the largest, second-largest and smallest multiplicative Zagreb indices are characterized, and our results extend and enrich some known conclusions.


title: Scalar Reduction Tchniques for Weakly Coupled Hamilton-Jacobi Systems

abstract: We study a class of weakly coupled systems of Hamilton{Jacobi equations at the critical level. We associate to it a family of scalar discounted equation. Using control{theoretic tech- niques we construct an algorithm which allows obtaining a critical solution to the system as limit of a monotonic sequence of subsolutions. We moreover get a characterization of isolated points of the Aubry set and establish semiconcavity properties for critical subsolutions.


title: Towards Impedance Characterization of Carbon-Carbon Ultrasonically Absorptive Cavities via the Inverse Helmholtz Problem

abstract: We present a numerical method to determine the complex acoustic impedance at the open surface of an arbitrarily shaped cavity, associated to an impinging planar acoustic wave with a given wavenumber vector and frequency. We have achieved this by developing the first inverse Helmholtz Solver (iHS), which implicitly reconstructs the complex acoustic waveform--at a given frequency--up to the unknown impedance boundary, hereby providing the spatial distribution of impedance as a result of the calculation for that given frequency. We show that the algebraic closure conditions required by the inverse Helmholtz problem are physically related to the assignment of the spatial distribution of the pressure phase over the unknown impedance boundary. The iHS is embarrassingly parallelizable over the frequency domain allowing for the straightforward determination of the full broadband impedance at every point of the target boundary. In this paper, we restrict our analysis to two-dimensions only. We first validate our results against Rott's quasi one-dimensional thermoacoustic theory for viscid and inviscid constant-area rectangular ducts, test our iHS in a fully unstructured fashion with a geometrically complex cavity, and finally, present a simplified, two-dimensional analysis of a sample of carbon-carbon ultrasonically absorptive coatings (C/C UACs) manufactured in DLR-Stuttgart, and used in the hypersonic transition delay experiments by Wagner et al. in AIAA 2012-5865. The final goal is to model C/C UACs with multi-oscillator Time Domain Impedance Boundary Conditions (TDIBC) developed by Lin et al. in JFM (2016) to be applied in direct numerical simulations (DNS) focused on the overlying boundary layer, eliminating the need to simultaneously resolve the microscopic porous structure of the C/C UACs.


title: On optimal control of forward backward stochastic differential equations

abstract: We consider a control problem where the system is driven by a decoupled as well as a coupled forward-backward stochastic differential equation. We prove the existence of an optimal control in the class of relaxed controls, which are measure-valued processes, generalizing the usual strict controls. The proof is based on some tightness properties and weak convergence on the space D of c\`adl\`ag functions, endowed with the Jakubowsky S-topology. Moreover, under some convexity assumptions, we show that the relaxed optimal control is realized by a strict control.


title: Faceness-Net: Face Detection through Deep Facial Part Responses

abstract: We propose a deep convolutional neural network (CNN) for face detection leveraging on facial attributes based supervision. We observe a phenomenon that part detectors emerge within CNN trained to classify attributes from uncropped face images, without any explicit part supervision. The observation motivates a new method for finding faces through scoring facial parts responses by their spatial structure and arrangement. The scoring mechanism is data-driven, and carefully formulated considering challenging cases where faces are only partially visible. This consideration allows our network to detect faces under severe occlusion and unconstrained pose variations. Our method achieves promising performance on popular benchmarks including FDDB, PASCAL Faces, AFW, and WIDER FACE.


title: Analysis of the gift exchange problem

abstract: In the gift exchange game there are n players and n wrapped gifts. When a player's number is called, that person can either choose one of the remaining wrapped gifts, or can "steal" a gift from someone who has already unwrapped it, subject to the restriction that no gift can be stolen more than a total of sigma times. The problem is to determine the number of ways that the game can be played out, for given values of sigma and n. Formulas and asymptotic expansions are given for these numbers. This work was inspired in part by a 2005 remark by Robert A. Proctor in the On-Line Encyclopedia of Integer Sequences.


title: The Higher-Dimensional Skeletonization Problem

abstract: Real data is often given as a point cloud, i.e. a finite set of points with pairwise distances between them. An important problem is to detect the topological shape of data --- for example, to approximate a point cloud by a low-dimensional non-linear subspace such as an embedded graph or a simplicial complex. Classical clustering methods and principal component analysis work well when given data points split into well-separated clusters or lie near linear subspaces of a Euclidean space. Methods from topological data analysis in general metric spaces detect more complicated patterns such as holes and voids that persist for a long time in a 1-parameter family of shapes associated to a cloud. These features can be visualized in the form of a 1-dimensional homologically persistent skeleton, which optimally extends a minimal spanning tree of a point cloud to a graph with cycles. We generalize this skeleton to higher dimensions and prove its optimality among all complexes that preserve topological features of data at any scale.


title: On the solvability of forward-backward stochastic differential equations driven by Teugels Martingales

abstract: We deal with a class of fully coupled forward-backward stochastic differential equations (FBSDE for short), driven by Teugels martingales associated with some L\'evy process. Under some assumptions on the derivatives of the coefficients, we prove the existence and uniqueness of a global solution on an arbitrarily large time interval. Moreover, we establish stability and comparison theorems for the solutions of such equations. Note that the present work extends known results by Jianfeng Zhang (Discrete Contin. Dyn. Syst. Ser. B 6 (2006), no. 4, 927--940), proved for FBSDEs driven by a Brownian motion, to FBSDEs driven by general L\'evy processes.