title: $d^0$-$d$ half-Heusler alloys: A class of future spintronic materials

abstract: It is shown by rigorous ab initio calculations that half-Heusler alloys of transition metals and $d^0$ metals, defined by the valence electronic configuration $ns^{1,2},(n-1)d^0$, can produce all kinds of half-metallic behavior including the elusive Dirac half-semimetallicity that is reported for the first time in the real 3D material CoKSb. Together with the predicted magnetic and chemical stability, this paves the way for massless and dissipationless spintronics of the future. Furthermore, the introduction of $d^0$ atoms is shown to stabilize the otherwise instable chemical structure of zinc-blende transition metal pnictides and chalcogeneides without altering the $p$-$d$ exchange that is mainly responsible for their half-metallicity, therefore, making their application in spintronic devices feasible.


title: Re-ranking Person Re-identification with k-reciprocal Encoding

abstract: When considering person re-identification (re-ID) as a retrieval process, re-ranking is a critical step to improve its accuracy. Yet in the re-ID community, limited effort has been devoted to re-ranking, especially those fully automatic, unsupervised solutions. In this paper, we propose a k-reciprocal encoding method to re-rank the re-ID results. Our hypothesis is that if a gallery image is similar to the probe in the k-reciprocal nearest neighbors, it is more likely to be a true match. Specifically, given an image, a k-reciprocal feature is calculated by encoding its k-reciprocal nearest neighbors into a single vector, which is used for re-ranking under the Jaccard distance. The final distance is computed as the combination of the original distance and the Jaccard distance. Our re-ranking method does not require any human interaction or any labeled data, so it is applicable to large-scale datasets. Experiments on the large-scale Market-1501, CUHK03, MARS, and PRW datasets confirm the effectiveness of our method.


title: Arbitrage-Free Pricing Of Derivatives In Nonlinear Market Models

abstract: The objective of this paper is to provide a comprehensive study no-arbitrage pricing of financial derivatives in the presence of funding costs, the counterparty credit risk and market frictions affecting the trading mechanism, such as collateralization and capital requirements. To achieve our goals, we extend in several respects the nonlinear pricing approach developed in El Karoui and Quenez (1997) and El Karoui et al. (1997), which was subsequently continued in Bielecki and Rutkowski (2015).


title: Open quantum random walks on the half-line: the Karlin-McGregor formula, path counting and Foster's Theorem

abstract: In this work we consider open quantum random walks on the non-negative integers. By considering orthogonal matrix polynomials we are able to describe transition probability expressions for classes of walks via a matrix version of the Karlin-McGregor formula. We focus on absorbing boundary conditions and, for simpler classes of examples, we consider path counting and the corresponding combinatorial tools. A non-commutative version of the gambler's ruin is studied by obtaining the probability of reaching a certain fortune and the mean time to reach a fortune or ruin in terms of generating functions. In the case of the Hadamard coin, a counting technique for boundary restricted paths in a lattice is also presented. We discuss an open quantum version of Foster's Theorem for the expected return time together with applications.


title: When Slepian Meets Fiedler: Putting a Focus on the Graph Spectrum

abstract: The study of complex systems benefits from graph models and their analysis. In particular, the eigendecomposition of the graph Laplacian lets emerge properties of global organization from local interactions; e.g., the Fiedler vector has the smallest non-zero eigenvalue and plays a key role for graph clustering. Graph signal processing focusses on the analysis of signals that are attributed to the graph nodes. The eigendecomposition of the graph Laplacian allows to define the graph Fourier transform and extend conventional signal-processing operations to graphs. Here, we introduce the design of Slepian graph signals, by maximizing energy concentration in a predefined subgraph for a graph spectral bandlimit. We establish a novel link with classical Laplacian embedding and graph clustering, which provides a meaning to localized graph frequencies.


title: Computable Operations on Compact Subsets of Metric Spaces with Applications to Fr\'echet Distance and Shape Optimization

abstract: We extend the Theory of Computation on real numbers, continuous real functions, and bounded closed Euclidean subsets, to compact metric spaces $(X,d)$: thereby generically including computational and optimization problems over higher types, such as the compact 'hyper' spaces of (i) nonempty closed subsets of $X$ w.r.t. Hausdorff metric, and of (ii) equicontinuous functions on $X$. The thus obtained Cartesian closure is shown to exhibit the same structural properties as in the Euclidean case, particularly regarding function pre/image. This allows us to assert the computability of (iii) Fr\'echet Distances between curves and between loops, as well as of (iv) constrained/Shape Optimization.


title: Full-order optimal compensators for flow control: the multi-input case

abstract: Flow control has been the subject of numerous experimental and theoretical works. In this numerical study, we analyse full-order, optimal controllers for large dynamical systems in presence of multiple actuators and sensors. We start from the original technique proposed by Bewley et al. (2016), the adjoint of the direct-adjoint (ADA) algorithm. The algorithm is iterative and allows bypassing the solution of the algebraic Riccati equation associated with the optimal control problems, typically unfeasible for large systems. We extend ADA into a more generalized framework that includes the design of multi-input, coupled controllers and robust controllers based on the H_{\infty} framework. The full-order controllers do not require any preliminary step of model reduction or low-order approximation: this feature allows to pre-assess the optimal performances of an actuated flow without relying on any estimation process or further hypothesis. We show that the algorithm outperforms analogous technique, in terms of convergence performances considering two numerical cases: a distributed system and the linearized Kuramoto-Sivashinsky equation, mimicking a full three-dimensional control setup. For the ADA algorithm we find excellent scalability with the number of inputs (actuators) in terms of convergence to the solution, making the method a viable way for full-order controller design in complex settings.


title: Deep learning based subdivision approach for large scale macromolecules structure recovery from electron cryo tomograms

abstract: Motivation: Cellular Electron CryoTomography (CECT) enables 3D visualization of cellular organization at near-native state and in sub-molecular resolution, making it a powerful tool for analyzing structures of macromolecular complexes and their spatial organizations inside single cells. However, high degree of structural complexity together with practical imaging limitations make the systematic de novo discovery of structures within cells challenging. It would likely require averaging and classifying millions of subtomograms potentially containing hundreds of highly heterogeneous structural classes. Although it is no longer difficult to acquire CECT data containing such amount of subtomograms due to advances in data acquisition automation, existing computational approaches have very limited scalability or discrimination ability, making them incapable of processing such amount of data. Results: To complement existing approaches, in this paper we propose a new approach for subdividing subtomograms into smaller but relatively homogeneous subsets. The structures in these subsets can then be separately recovered using existing computation intensive methods. Our approach is based on supervised structural feature extraction using deep learning, in combination with unsupervised clustering and reference-free classification. Our experiments show that, compared to existing unsupervised rotation invariant feature and pose-normalization based approaches, our new approach achieves significant improvements in both discrimination ability and scalability. More importantly, our new approach is able to discover new structural classes and recover structures that do not exist in training data.


title: Quantum transport simulation scheme including strong correlations and its application to organic radicals adsorbed on gold

abstract: We present a computational method to quantitatively describe the linear-response conductance of nanoscale devices in the Kondo regime. This method relies on a projection scheme to extract an Anderson impurity model from the results of density functional theory and non-equilibrium Green's functions calculations. The Anderson impurity model is then solved by continuous time quantum Monte Carlo. The developed formalism allows us to separate the different contributions to the transport, including coherent or non-coherent transport channels, and also the quantum interference between impurity and background transmission. We apply the method to a scanning tunneling microscope setup for the 1,3,5-triphenyl-6-oxoverdazyl (TOV) stable radical molecule adsorbed on gold. The TOV molecule has one unpaired electron, which when brought in contact with metal electrodes behaves like a prototypical single Anderson impurity. We evaluate the Kondo temperature, the finite temperature spectral function and transport properties, finding good agreement with published experimental results.


title: Surprising Structures Hiding at Penrose's Future Null Infinity

abstract: Since the late1950s, almost all discussions of Asymptotically Flat (Einstein-Maxwell) Space-Times have taken place in the context of Penrose's Null Infinity, $\mathcal{I}^{+}.$\ $\ $In addition,\ almost all calculations have used the Bondi coordinate and tetrad systems. \ We show - first, that there are other natural coordinate systems, near $\mathcal{I}^{+},$ (analogous to light-cones in flat-space) that are based on (asymptotically) shear-free null geodesic congruences (analogous to the flat-space case). \ Using these new coordinates and their associated tetrad, we \textit{define the complex dipole moment, i.e., as the mass dipole plus i times angular momentum,} from the $l=1,\ $harmonic coefficient of a component of the asymptotic$\ $Weyl tensor. Second, from this definition, from the Bianchi Identities and from the Bondi mass and linear momentum, we show that \ there exists a large number of results - identifications and dynamics - identical to those of classical mechanics and electrodynamics. They include, among many others, \textbf{P}=M\textbf{v}+..., \textbf{L}=\textbf{r}x\textbf{P}, \ spin, Newtons 2nd Law with the Rocket force term (\.{M}\textbf{v}) and radiation reaction, angular momentum conservation and others. \ All these relations take place in the rather mysterious H-Space.


title: Subband adaptive filter trained by differential evolution for channel estimation

abstract: The normalized subband adaptive filter (NSAF) is widely accepted as a preeminent adaptive filtering algorithm because of its efficiency under the colored excitation. However, the convergence rate of NSAF is slow. To address this drawback, in this paper, a variant of the NSAF, called the differential evolution (DE)-NSAF (DE-NSAF), is proposed for channel estimation based on DE strategy. It is worth noticing that there are several papers concerning designing DE strategies for adaptive filter. But their signal models are still the single adaptive filter model rather than the fullband adaptive filter model considered in this paper. Thus, the problem considered in our work is quite different from those. The proposed DE-NSAF algorithm is based on real-valued manipulations and has fast convergence rate for searching the global solution of optimized weight vector. Moreover, a design step of new algorithm is given in detail. Simulation results demonstrate the improved performance of the proposed DE-NSAF algorithm in terms of the convergence rate.


title: Dynamic self-assembly of charged colloidal strings and walls in simple fluid flows

abstract: Colloidal particles can self-assemble into various ordered structures in fluid flows that have potential applications in biomedicine, materials synthesis and encryption. These dynamic processes are also of fundamental interest for probing the general principles of self-assembly in non-equilibrium conditions. Here, we report a simple microfluidic experiment, where charged colloidal particles self-assemble into flow-aligned 1D strings with regular particle spacing near a solid boundary. Using high-speed confocal microscopy, we systematically investigate the influence of flow rates, electrostatics and particle polydispersity on the observed string structures. By studying the detailed dynamics of stable flow-driven particle pairs, we quantitatively characterize interparticle interactions. Based on the results, we construct a simple model that explains the intriguing non-equilibrium self-assembly process. Our study shows that the colloidal strings arise from a delicate balance between attractive hydrodynamic coupling and repulsive electrostatic interaction between particles. Finally, we demonstrate that, with the assistance of transverse electric fields, a similar mechanism also leads to the formation of 2D colloidal walls.


title: Diophantine equations with binomial coefficients and perturbations of symmetric Boolean functions

abstract: This work presents a study of perturbations of symmetric Boolean functions. In particular, it establishes a connection between exponential sums of these perturbations and Diophantine equations of the form $$ \sum_{l=0}^n \binom{n}{l} x_l=0,$$ where $x_j$ belongs to some fixed bounded subset $\Gamma$ of $\mathbb{Z}$. The concepts of trivially balanced symmetric Boolean function and sporadic balanced Boolean function are extended to this type of perturbations. An observation made by Canteaut and Videau for symmetric Boolean functions of fixed degree is extended. To be specific, it is proved that, excluding the trivial cases, balanced perturbations of fixed degree do not exist when the number of variables grows. Some sporadic balanced perturbations are presented. Finally, a beautiful but unexpected identity between perturbations of two very different symmetric Boolean functions is also included in this work.


title: Guiding microscale swimmers using teardrop-shaped posts

abstract: The swimming direction of biological or artificial microscale swimmers tends to be randomised over long time-scales by thermal fluctuations. Bacteria use various strategies to bias swimming behaviour and achieve directed motion against a flow, maintain alignment with gravity or travel up a chemical gradient. Herein, we explore a purely geometric means of biasing the motion of artificial nanorod swimmers. These artificial swimmers are bimetallic rods, powered by a chemical fuel, which swim on a substrate printed with teardrop-shaped posts. The artificial swimmers are hydrodynamically attracted to the posts, swimming alongside the post perimeter for long times before leaving. The rods experience a higher rate of departure from the higher curvature end of the teardrop shape, thereby introducing a bias into their motion. This bias increases with swimming speed and can be translated into a macroscopic directional motion over long times by using arrays of teardrop-shaped posts aligned along a single direction. This method provides a protocol for concentrating swimmers, sorting swimmers according to different speeds, and could enable artificial swimmers to transport cargo to desired locations.


title: A cellular algebra with specific decomposition of the unity

abstract: Let $ \mathbb{A}$ be a cellular algebra over a field $\mathbb{F}$ with a decomposition of the identity $ 1_{\mathbb{A}} $ into orthogonal idempotents $ e_i$, $i \in I$ (for some finite set $I$) satisfying some properties. We describe the entire Loewy structure of cell modules of the algebra $ \mathbb{A} $ by using the representation theory of the algebra $ e_i \mathbb{A} e_i $ for each $ i $. Moreover, we also study the block theory of $\mathbb{A}$ by using this decomposition.


title: Nonexistence of perfect $2$-error-correcting Lee codes in certain dimensions

abstract: The Golomb--Welch conjecture states that there are no perfect $e$-error-correcting codes in $\mathbb{Z}^n$ for $n \ge 3$ and $e \ge 2$. In this note, we prove the nonexistence of perfect $2$-error-correcting codes for a certain class of $n$, which is expected to be infinite. This result further substantiates the Golomb--Welch conjecture.


title: Combined analysis of jet substructure for Higgs decay to $b\bar{b}$ in vector boson associated production at the 13 TeV LHC

abstract: We study the Standard Model Higgs and vector boson associated production with large transvese momentum at the 13 TeV LHC, followed by Higgs decay to bottom quark pair. Using mass-drop tagging and filtering techiques, we obtained the cross section of signal and background. The background mainly come from $Vb\bar{b}$, $t\bar{t}$ and single top production. In order to suppress them further, we combined the mass-drop tagging and filtering analysis with $N$-subjettiness jet shape. After performing $N$-subjettiness identification, the significance can be enhanced to 3.52$\sigma$ with current integrated luminosity of $13.2 {\rm fb}^{-1}$. $H\to b\bar{b}$ decay channel is expected to reach 5$\sigma$ with $27\,{\rm fb}^{-1}$ at the 13 TeV LHC.


title: Dependence of weak interaction rates on the nuclear composition during stellar core collapse

abstract: We investigate the influences of the nuclear composition on the weak interaction rates of heavy nuclei during the core collapse of massive stars. The nuclear abundances in nuclear statistical equilibrium (NSE) are calculated by some equation of state (EOS) models including in-medium effects on nuclear masses. We systematically examine the sensitivities of electron capture and neutrino-nucleus scattering on heavy nuclei to the nuclear shell effects and the single nucleus approximation. We find that the washout of shell effects at high temperatures brings significant change to weak rates by smoothing the nuclear abundance distribution: the electron capture rate decreases by $\sim$20$\%$ in the early phase and increases by $\sim$40$\%$ in the late phase at most, while the cross section for neutrino-nucleus scattering is reduced by $\sim$15$\%$. This is because the open-shell nuclei become abundant instead of those with closed neutron shells as the shell effects disappear. We also find that the single-nucleus description based on the average values leads to underestimations of weak rates. Electron captures and neutrino coherent scattering on heavy nuclei are reduced by $\sim$80$\%$ in the early phase and by $\sim$5$\%$ in the late phase, respectively. These results indicate that NSE like EOS accounting for shell washout is indispensable for the reliable estimation of weak interaction rates in simulations of core-collapse supernovae.


title: Scale-free Monte Carlo method for calculating the critical exponent $\gamma$ of self-avoiding walks

abstract: We implement a scale-free version of the pivot algorithm and use it to sample pairs of three-dimensional self-avoiding walks, for the purpose of efficiently calculating an observable that corresponds to the probability that pairs of self-avoiding walks remain self-avoiding when they are concatenated. We study the properties of this Markov chain, and then use it to find the critical exponent $\gamma$ for self-avoiding walks to unprecedented accuracy. Our final estimate for $\gamma$ is $1.15695300(95)$.


title: Introduction to Topological Phases and Electronic Interactions in (2+1) Dimensions

abstract: A brief introduction to topological phases is provided, considering several two-band Hamiltonians in one- and two-dimensions. Relevant concepts of the topological insulator theory, such as: Berry phase, Chern number, and the quantum adiabatic theorem, are reviewed in a basic framework, which is meant to be accessible to non-specialists. We discuss the Kitaev chain, SSH, and BHZ models. The role of the electromagnetic interaction in the topological insulator theory is addressed in the light of the Pseudo quantum electrodynamics (PQED). The well known parity anomaly for massless Dirac particle is reviewed in terms of the Chern number. Within the continuum limit, a half-quantized Hall conductivity is obtained. Thereafter, by considering the lattice regularization of the Dirac theory, we show how one may obtain the well known quantum Hall conductivity for a single Dirac cone. The renormalization of the electron energy spectrum, for both small and large coupling regime, is derived. In particular, it is shown that massless Dirac particles may, only in the strong correlated limit, break either chiral or parity symmetries. For graphene, this implies the generation of Landau-like energy levels and the quantum valley Hall effect.


title: The Hadwiger number, chordal graphs and $ab$-perfection

abstract: A graph is chordal if every induced cycle has three vertices. The Hadwiger number is the order of the largest complete minor of a graph. We characterize the chordal graphs in terms of the Hadwiger number and we also characterize the families of graphs such that for each induced subgraph $H$, (1) the Hadwiger number of $H$ is equal to the maximum clique order of $H$, (2) the Hadwiger number of $H$ is equal to the achromatic number of $H$, (3) the $b$-chromatic number is equal to the pseudoachromatic number, (4) the pseudo-$b$-chromatic number is equal to the pseudoachromatic number, (5) the Hadwiger number of $H$ is equal to the Grundy number of $H$, and (6) the $b$-chromatic number is equal to the pseudo-Grundy number.


title: Kauffman-Jones polynomial of a curve on a surface

abstract: We introduce a Kauffman-Jones type polynomial $\mathcal{L}_{\gamma}(A)$ for a curve $\gamma$ on an oriented surface, whose endpoints are on the boundary of the surface. The polynomial $\mathcal{L}_{\gamma}(A)$ is a Laurent polynomial in one variable $A$ and is an invariant of the homotopy class of $\gamma$. As an application, we obtain an estimate in terms of the span of $\mathcal{L}_{\gamma}(A)$ for the minimum self-intersection number of a curve within its homotopy class. We then give a chord diagrammatic description of $\mathcal{L}_{\gamma}(A)$ and show some computational results on the span of $\mathcal{L}_{\gamma}(A)$.


title: On some consequences of the permutation paradigm for data anonymization: centrality of permutation matrices, universal measures of disclosure risk and information loss, evaluation by dominance

abstract: Recently, the permutation paradigm has been proposed in data anonymization to describe any micro data masking method as permutation, paving the way for performing meaningful analytical comparisons of methods, something that is difficult currently in statistical disclosure control research. This paper explores some consequences of this paradigm by establishing some class of universal measures of disclosure risk and information loss that can be used for the evaluation and comparison of any method, under any parametrization and independently of the characteristics of the data to be anonymized. These measures lead to the introduction in data anonymization of the concepts of dominance in disclosure risk and information loss, which formalise the fact that different parties involved in micro data transaction can all have different sensitivities to privacy and information.


title: Random Networks, Graphical Models, and Exchangeability

abstract: We study conditional independence relationships for random networks and their interplay with exchangeability. We show that, for finitely exchangeable network models, the empirical subgraph densities are maximum likelihood estimates of their theoretical counterparts. We then characterize all possible Markov structures for finitely exchangeable random graphs, thereby identifying a new class of Markov network models corresponding to bidirected Kneser graphs. In particular, we demonstrate that the fundamental property of dissociatedness corresponds to a Markov property for exchangeable networks described by bidirected line graphs. Finally we study those exchangeable models that are also summarized in the sense that the probability of a network only depends onthe degree distribution, and identify a class of models that is dual to the Markov graphs of Frank and Strauss (1986). Particular emphasis is placed on studying consistency properties of network models under the process of forming subnetworks and we show that the only consistent systems of Markov properties correspond to the empty graph, the bidirected line graph of the complete graph, and the complete graph.


title: Decentralized Prediction Market without Arbiters

abstract: We consider a prediction market in which all aspects are controlled by market forces, in particular the correct outcomes of events are decided by the market itself rather than by trusted arbiters. This kind of a decentralized prediction market can sustain betting on events whose outcome may remain unresolved for a long or even unlimited time period, and can facilitate trades among participants who are spread across diverse geographical locations, may wish to remain anonymous and/or avoid burdensome identification procedures, and are distrustful of each other. We describe how a cryptocurrency such as Bitcoin can be enhanced to accommodate a truly decentralized prediction market, by employing an innovative variant of the Colored Coins concept. We examine the game-theoretic properties of our design, and offer extensions that enable other financial instruments as well as real-time exchange.


title: Post-Detection SETI Protocols & METI: The Time Has Come To Regulate Them Both

abstract: Regulations governing METI are weak or non-existent. Post-detection SETI protocols are non-binding and too general. Vastly increased SETI capabilities, Chinese involvement in the field, and an intensified effort by METI-ists to initiate radio transmissions to the stars are among reasons cited for urgency in addressing the question of appropriate regulations. Recommendations include regulations at the agency level and laws at the national level as well as international treaties and oversight.


title: On the Local Structure of Stable Clustering Instances

abstract: We study the classic $k$-median and $k$-means clustering objectives in the beyond-worst-case scenario. We consider three well-studied notions of structured data that aim at characterizing real-world inputs: Distribution Stability (introduced by Awasthi, Blum, and Sheffet, FOCS 2010), Spectral Separability (introduced by Kumar and Kannan, FOCS 2010), Perturbation Resilience (introduced by Bilu and Linial, ICS 2010). We prove structural results showing that inputs satisfying at least one of the conditions are inherently "local". Namely, for any such input, any local optimum is close both in term of structure and in term of objective value to the global optima. As a corollary we obtain that the widely-used Local Search algorithm has strong performance guarantees for both the tasks of recovering the underlying optimal clustering and obtaining a clustering of small cost. This is a significant step toward understanding the success of local search heuristics in clustering applications.


title: Boundary Control method and De Branges spaces. Schr\"odinger equation, Dirac system and Discrete Schr\"odinger operator

abstract: In the framework of the application of the Boundary Control method to solving the inverse dynamical problems for the one-dimensional Schr\"odinger and Dirac operators on the half-line and semi-infinite discrete Schr\"odinger operator, we establish the connections with the method of De Branges: for each of the system we construct the De Branges space and give a natural dynamical interpretation of all its ingredients: the set of function the De Brange space consists of, the scalar product, the reproducing kernel.


title: The classification of quasi-alternating Montesinos links

abstract: In this note, we complete the classification of quasi-alternating Montesinos links. We show that the quasi-alternating Montesinos links are precisely those identified independently by Qazaqzeh-Chbili-Qublan and Champanerkar-Ording. A consequence of our proof is that a Montesinos link $L$ is quasi-alternating if and only if its double branched cover is an L-space, and bounds both a positive definite and a negative definite 4-manifold with vanishing first homology.


title: Definability and decidability in expansions by generalized Cantor sets

abstract: We determine the sets definable in expansions of the ordered real additive group by generalized Cantor sets. Given a natural number $r\geq 3$, we say a set $C$ is a generalized Cantor set in base $r$ if there is a non-empty $K\subseteq\{1,\ldots,r-2\}$ such that $C$ is the set of those numbers in $[0,1]$ that admit a base $r$ expansion omitting the digits in $K$. While it is known that the theory of an expansion of the ordered real additive group by a single generalized Cantor set is decidable, we establish that the theory of an expansion by two generalized Cantor sets in multiplicatively independent bases is undecidable.


title: A contour for the entanglement entropies in harmonic lattices

abstract: We construct a contour function for the entanglement entropies in generic harmonic lattices. In one spatial dimension, numerical analysis are performed by considering harmonic chains with either periodic or Dirichlet boundary conditions. In the massless regime and for some configurations where the subsystem is a single interval, the numerical results for the contour function are compared to the inverse of the local weight function which multiplies the energy-momentum tensor in the corresponding entanglement hamiltonian, found through conformal field theory methods, and a good agreement is observed. A numerical analysis of the contour function for the entanglement entropy is performed also in a massless harmonic chain for a subsystem made by two disjoint intervals.


title: Isospectral Dirac operators

abstract: We give the description of self-adjoint regular Dirac operators, on $[0, \pi]$, with the same spectra.


title: Separation delay via hydro-acoustic control of a NACA4412 airfoil in pre-stalled conditions

abstract: We have performed large-eddy simulations of turbulent separation control via impedance boundary conditions (IBCs) on a \nacafft airfoil in near-stalled conditions. The uncontrolled baseline flow is obtained for freestream Mach numbers of $M_\infty=0.3$, chord-Reynolds numbers $Re_c = 1.5\times10^6$ and angle of attack, $\alpha=14^{\circ{}}$. Flow control is applied via imposition of complex IBCs using the time-domain implementation developed by Scalo, Bodart, and Lele, $\textit{Phys. Fluids} $(2015). Separation is delayed due to the enhanced mixing associated with convectively amplified spanwise-oriented Kelvin-Helmholtz (KH) rollers, generated via hydro-acoustic instabilities. The latter are the result of the interaction of the wall-normal transpiration through the impedance panel and the overlying mean background shear. The result is an alteration of the coupled instability between the separating shear layer and the vortex shedding in the wake (already present in the uncontrolled baseline flow) yielding unique wake topologies associated with different intensities for the passively generated KH vortical structures. Specifically, enhancements up to +13\% in the lift coefficients have been obtained. Results show that tuning of the resonant cavities below the natural shedding frequency is required to generate KH rollers structures with a sufficiently large entrainment diameter to encompass the full extent of the separated region, thereby enhancing mixing and promoting reattachment. Overall, the results presented in this work show that the adoption of hydro-acoustically tuned resonant panels is a promising passive control technique for boundary layer separation control.


title: Deterministic Role of Concentration Surplus of Cation Vacancy over Anion Vacancy in Bipolar Memristive NiO

abstract: Migration of oxygen vacancies has been proposed to play an important role in the bipolar memristive behaviors since oxygen vacancies can directly determine the local conductivity in many systems. However, a recent theoretical work demonstrated that both migration of oxygen vacancies and coexistence of cation and anion vacancies are crucial to the occurrence of bipolar memristive switching, normally observed in the small-sized NiO. So far, experimental work addressing this issue is still lacking. In this work, with conductive atomic force microscope and combined scanning transmission electron microscopy & electron energy loss spectroscopy, we reveal that concentration surplus of Ni vacancy over O vacancy determines the bipolar memristive switching of NiO films. Our work supports the dual-defects-based model, which is of fundamental importance for understanding the memristor mechanisms beyond the well-established oxygen-vacancy-based model. Moreover, this work provides a methodology to investigate the effect of dual defects on memristive behaviors.


title: Source localization in an ocean waveguide using supervised machine learning

abstract: Source localization in ocean acoustics is posed as a machine learning problem in which data-driven methods learn source ranges directly from observed acoustic data. The pressure received by a vertical linear array is preprocessed by constructing a normalized sample covariance matrix (SCM) and used as the input. Three machine learning methods (feed-forward neural networks (FNN), support vector machines (SVM) and random forests (RF)) are investigated in this paper, with focus on the FNN. The range estimation problem is solved both as a classification problem and as a regression problem by these three machine learning algorithms. The results of range estimation for the Noise09 experiment are compared for FNN, SVM, RF and conventional matched-field processing and demonstrate the potential of machine learning for underwater source localization..


title: Bootstrapping to the Molecular Frame with Time-domain Photoionization Interferometry

abstract: Photoionization of molecular species is, essentially, a multi-path interferometer with both experimentally controllable and intrinsic molecular characteristics. In this work, XUV photoionization of impulsively aligned molecular targets ($N_2$) is used to provide a time-domain route to "complete" photoionization experiments, in which the rotational wavepacket controls the geometric part of the photoionization interferometer. The data obtained is sufficient to determine the magnitudes and phases of the ionization matrix elements for all observed channels, and to reconstruct molecular frame interferograms from lab frame measurements. In principle this methodology provides a time-domain route to complete photoionization experiments, and the molecular frame, which is generally applicable to any molecule (no prerequisites), for all energies and ionization channels.


title: $\Gamma_{1}(N)$-Analogues of the Monster Denominator Formula

abstract: In this note, we establish $\Gamma_{1}(N)$-analogues for the monster denominator formula.


title: General analytical solution for the electromagnetic grating diffraction problem

abstract: Implementing the modal method in the electromagnetic grating diffraction problem delivered by the curvilinear coordinate transformation yields a general analytical solution to the 1D grating diffraction problem in a form of a T-matrix. Simultaneously it is shown that the validity of the Rayleigh expansion is defined by the validity of the modal expansion in a transformed medium delivered by the coordinate transformation.

categories: physics.class-ph math-ph math.MP physics.optics


title: Transformation-Based Models of Video Sequences

abstract: In this work we propose a simple unsupervised approach for next frame prediction in video. Instead of directly predicting the pixels in a frame given past frames, we predict the transformations needed for generating the next frame in a sequence, given the transformations of the past frames. This leads to sharper results, while using a smaller prediction model. In order to enable a fair comparison between different video frame prediction models, we also propose a new evaluation protocol. We use generated frames as input to a classifier trained with ground truth sequences. This criterion guarantees that models scoring high are those producing sequences which preserve discriminative features, as opposed to merely penalizing any deviation, plausible or not, from the ground truth. Our proposed approach compares favourably against more sophisticated ones on the UCF-101 data set, while also being more efficient in terms of the number of parameters and computational cost.


title: Borcherds Products on Unitary Group $U(2,1)$

abstract: In this note, we construct canonical bases for the spaces of weakly holomorphic modular forms with poles supported at the cusp $\infty$ for $\Gamma_{0}(4)$ of integral weight $k$ for $k\leq-1$, and we make use of the basis elements for the case $k=-1$ to construct explicit Borcherds products on unitary group $U(2,1)$.


title: A Geometric Description of Feasible Singular Values in the Tensor Train Format

abstract: Tree tensor networks such as the tensor train format are a common tool for high dimensional problems. The associated multivariate rank and accordant tuples of singular values are based on different matricizations of the same tensor. While the behavior of such is as essential as in the matrix case, here the question about the $\textit{feasibility}$ of specific constellations arises: which prescribed tuples can be realized as singular values of a tensor and what is this feasible set? We first show the equivalence of the $\textit{tensor feasibility problem (TFP)}$ to the $\textit{quantum marginal problem (QMP)}$. In higher dimensions, in case of the tensor train (TT-)format, the conditions for feasibility can be decoupled. By present results for three dimensions for the QMP, it then follows that the tuples of squared, feasible TT-singular values form polyhedral cones. We further establish a connection to eigenvalue relations of sums of Hermitian matrices, which in turn are described by sets of interlinked, so called $\textit{honeycombs}$, as they have been introduced by Knutson and Tao. Besides a large class of universal, necessary inequalities as well as the vertex description for a special, simpler instance, we present a linear programming algorithm to check feasibility and a simple, heuristic algorithm to construct representations of tensors with prescribed, feasible TT-singular values in parallel.


title: Using a "Study of Studies" to help statistics students assess research findings

abstract: One learning goal of the introductory statistics course is to develop the ability to make sense of research findings in published papers. The Atlantic magazine regularly publishes a feature called "Study of Studies" that summarizes multiple articles published in a particular domain. We describe a classroom activity to develop this capacity using the "Study of Studies." In this activity, students read capsule summaries of twelve research papers related to restaurants and dining that was published in April 2015. The selected papers report on topics such as how seating arrangement, server posture, plate color and size, and the use of background music relate to revenue, ambiance, and perceived food quality. The students are assigned one of the twelve papers to read and critique as part of a small group. Their group critiques are shared with the class and the instructor. A pilot study was conducted during the 2015-2016 academic year at Amherst College. Students noted that key details were not included in the published summary. They were generally skeptical of the published conclusions. The students often provided additional summarization of information from the journal articles that better describe the results. By independently assessing and comparing the original study conclusions with the capsule summary in the "Study of Studies," students can practice developing judgment and assessing the validity of statistical results.


title: Signatures of interaction-induced helical gaps in nanowire quantum point contacts

abstract: Spin-momentum locking in a semiconductor device with strong spin-orbit coupling (SOC) is a fundamental goal of nanoscale spintronics and an important prerequisite for the formation of Majorana bound states. Such a helical state is predicted in one-dimensional (1D) nanowires subject to strong Rashba SOC and spin-mixing, its hallmark being a characteristic reentrant behaviour in the conductance. Here, we report the first direct experimental observations of the reentrant conductance feature, which reveals the formation of a helical liquid, in the lowest 1D subband of an InAs nanowire. Surprisingly, the feature is very prominent also in the absence of magnetic fields. This behaviour suggests that exchange interaction exhibits substantial impact on transport in our device. We attribute the opening of the pseudogap to spin-flipping two-particle backscattering. The all-electric origin of the ideal helical transport bears momentous implications for topological quantum computing.


title: Renewal theorems and mixing for non Markov flows with infinite measure

abstract: We obtain results on mixing for a large class of (not necessarily Markov) infinite measure semiflows and flows. Erickson proved, amongst other things, a strong renewal theorem in the corresponding i.i.d. setting. Using operator renewal theory, we extend Erickson's methods to the deterministic (i.e. non-i.i.d.) continuous time setting and obtain results on mixing as a consequence. Our results apply to intermittent semiflows and flows of Pomeau-Manneville type (both Markov and nonMarkov), and to semiflows and flows over Collet-Eckmann maps with nonintegrable roof function.


title: Low energy quantum regimes of 1D dipolar Hubbard model with correlated hopping

abstract: We apply the bosonization technique to derive the phase diagram of a balanced unit density two-component dipolar Fermi gas in a one dimensional lattice geometry. The considered interaction processes are of the usual contact and dipolar long-range density-density type together with peculiar correlated hopping terms which can be generated dynamically. Rigorous bounds for the transition lines are obtained in the weak coupling regime. In addition to the standard bosonization description, we derive the low energy phase diagram taking place when part of the interaction is embodied non-perturbatively in the single component Hamiltonians. In this case the Luttinger liquid regime is shown to become unstable with respect to the opening of further gapped phases, among which insulating bond ordered wave and Haldane phases, the latter with degenerate edge modes.


title: Interaction semantics and its implications for an interaction oriented architecture of IoT-type applications

abstract: Several synergistic trends, subsumed under the phrase "Internet of things (IoT)" massively drive the increasing importance of networking applications. In the past, the exponential growth of the Internet was mainly due to semantically agnostic transport protocols. In the future it is to be expected that, because of the increasing autonomy of technical systems, it becomes necessary to better understand the nature of the semantics of these interaction networks to create appropriate networking applications. Appropriate means that the architecture of these applications allows to minimize the effort to adapt these applications to the permanently changing interaction networks. The proposed interaction oriented architecture is based on a reference model of interaction semantics. It provides guiding principles on how to design networking applications. The reference model of interaction semantics provides: a unifying description of the things in the physical, the information and the human world; an interaction model that is of direct runtime relevance; an understanding for how hierarchical structured components can cooperate loosely coupled; a concept to determine how much semantics has to be common to enable components of different semantic domains to cooperate loosely coupled; and a data type model. The software reference architecture provides: a definition of software layers; means to express vertical interactions, that is interactions which demarcate a software layer; means to express horizontal interactions, that is, between processes in the same software layer; a definition of a component and how to distinguish it from other entities like systems or objects; and a model how to separate reusable from non-reusable parts of an application's functionality.


title: A dynamical trichotomy for structured populations experiencing positive density-dependence in stochastic environments

abstract: Positive density-dependence occurs when individuals experience increased survivorship, growth, or reproduction with increased population densities. Mechanisms leading to these positive relationships include mate limitation, saturating predation risk, and cooperative breeding and foraging. Individuals within these populations may differ in age, size, or geographic location and thereby structure these populations. Here, I study structured population models accounting for positive density-dependence and environmental stochasticity i.e. random fluctuations in the demographic rates of the population. Under an accessibility assumption (roughly, stochastic fluctuations can lead to populations getting small and large), these models are shown to exhibit a dynamical trichotomy: (i) for all initial conditions, the population goes asymptotically extinct with probability one, (ii) for all positive initial conditions, the population persists and asymptotically exhibits unbounded growth, and (iii) for all positive initial conditions, there is a positive probability of asymptotic extinction and a complementary positive probability of unbounded growth. The main results are illustrated with applications to spatially structured populations with an Allee effect and age-structured populations experiencing mate limitation.


title: A review on cloud robotics based frameworks to solve simultaneous localization and mapping (slam) problem

abstract: Cloud Robotics is one of the emerging area of robotics. It has created a lot of attention due to its direct practical implications on Robotics. In Cloud Robotics, the concept of cloud computing is used to offload computational extensive jobs of the robots to the cloud. Apart from this, additional functionalities can also be offered on run to the robots on demand. Simultaneous Localization and Mapping (SLAM) is one of the computational intensive algorithm in robotics used by robots for navigation and map building in an unknown environment. Several Cloud based frameworks are proposed specifically to address the problem of SLAM, DAvinCi, Rapyuta and C2TAM are some of those framework. In this paper, we presented a detailed review of all these framework implementation for SLAM problem.


title: The Spingroup and its actions in discrete Clifford analysis

abstract: Recently, it has been established that the discrete star Laplace and the discrete Dirac operator, i.e. the discrete versions of their continuous counterparts when working on the standard grid, are rotation-invariant. This was done starting from the Lie algebra so(m, C) corresponding to the special orthogonal Lie group SO(m), considering its representation in the discrete Clifford algebra setting and proving that these operators are symmetries of the Dirac and Laplace operators. This set-up showed in an abstract way that representation-theoretically the discrete setting mirrors the Euclidean Clifford analysis setting. However from a practical point of view, the group-action remains indispensable for actual calculations. In this paper, we define the discrete Spingroup, which is a double cover of SO(m), and consider its actions on discrete functions. We show that this group-action makes the spaces Hk and Mk into Spin(m)-representations. We will often consider the compliance of our results to the results under the so(m, C)- action.


title: Redheffer type bounds for Bessel and modified Bessel functions of the first kind

abstract: In this paper our aim is to show some new inequalities of Redheffer type for Bessel and modified Bessel functions of the first kind. The key tools in our proofs are some classical results on the monotonicity of quotients of differentiable functions as well as on the monotonicity of quotients of two power series. We use also some known results on the quotients of Bessel and modified Bessel functions of the first kind, and by using the monotonicity of the Dirichlet eta function we prove a sharp inequality for the tangent function. At the end of the paper a conjecture is stated, which may be of interest for further research.


title: SN 1986J VLBI. III. The Central Component Becomes Dominant

abstract: We present a new 5-GHz global-VLBI image of supernova 1986J, observed in 2014 at $t=31.6$ yr after the explosion, and compare it to previous images to show the evolution of the supernova. Our new image has a dynamic range of ~100 and a background rms noise level of 5.9 $\mu$Jy beam$^{-1}$. There is no significant linear polarization, with the image peak being $<$3% polarized. The latest image is dominated by the compact central component, whose flux density is now comparable to that of the extended supernova shell. This central component is marginally resolved with a FWHM width of $900_{-500}^{+100} \; \mu$as, corresponding to a radius of $r_{\rm comp}=6.7 _{-3.7}^{+0.7} \times 10^{16}$ cm for a distance of 10 Mpc. Using VLBI observations between 2002 and 2014, we measured the proper motions of both the central component and a hot-spot to the NE in the shell relative to the quasar 3C66A. The central component is stationary to within the uncertainty of 12 $\mu$as yr$^{-1}$, corresponding to 570 km s$^{-1}$. Our observations argue in favor of the central component being located near the physical center of SN 1986J. The shell hot-spot had a mean velocity of 2810+-750 km s$^{-1}$ to the NE, which is consistent with it taking part in the homologous expansion of the shell seen earlier. The shell emission is evolving in a non-selfsimilar fashion, with the brightest emission shifting inwards within the structure, and with only relatively faint emission being seen near the outer edge and presumed forward shock. An animation is available.


title: Non-reciprocal quantum Hall devices with driven edge magnetoplasmons in 2-dimensional materials

abstract: We develop a theory that describes the response of non-reciprocal devices employing 2-dimensional materials in the quantum Hall regime capacitively coupled to external electrodes. As the conduction in these devices is understood to be associated to the edge magnetoplasmons (EMPs), we first investigate the EMP problem by using the linear response theory in the random phase approximation. Our model can incorporate several cases, that were often treated on different grounds in literature. In particular, we analyze plasmonic excitations supported by smooth and sharp confining potential in 2-dimensional electron gas, and in monolayer graphene, and we point out the similarities and differences in these materials. We also account for a general time-dependent external drive applied to the system. Finally, we describe the behavior of a non-reciprocal quantum Hall device: the response contains additional resonant features, which were not foreseen from previous models.


title: SafeDrive: A Robust Lane Tracking System for Autonomous and Assisted Driving Under Limited Visibility

abstract: We present an approach towards robust lane tracking for assisted and autonomous driving, particularly under poor visibility. Autonomous detection of lane markers improves road safety, and purely visual tracking is desirable for widespread vehicle compatibility and reducing sensor intrusion, cost, and energy consumption. However, visual approaches are often ineffective because of a number of factors, including but not limited to occlusion, poor weather conditions, and paint wear-off. Our method, named SafeDrive, attempts to improve visual lane detection approaches in drastically degraded visual conditions without relying on additional active sensors. In scenarios where visual lane detection algorithms are unable to detect lane markers, the proposed approach uses location information of the vehicle to locate and access alternate imagery of the road and attempts detection on this secondary image. Subsequently, by using a combination of feature-based and pixel-based alignment, an estimated location of the lane marker is found in the current scene. We demonstrate the effectiveness of our system on actual driving data from locations in the United States with Google Street View as the source of alternate imagery.


title: 3D Global MHD Modeling of Solar Subsurface Convection

abstract: Various models of solar sub-surface stratification are tested in the global EULAG-MHD solver to simulate diverse regimes of near-surface convective transport. Sub- and superadiabacity are altered at the surface of the model ($ r > 0.95~R_{\odot}$) to either suppress or enhance convective flow speeds in an effort to investigate the impact of the near-surface layer on global dynamics. A major consequence of increasing surface convection rates appears to be a significant alteration of the distribution of angular momentum, especially below the tachocline where the rotational frequency predominantly increases at higher latitudes. These hydrodynamic changes correspond to large shifts in the development of the current helicity in this stable layer ($r<0.72R_{\odot}$), significantly altering its impact on the generation of poloidal and toroidal fields at the tachocline and below, acting as a major contributor towards transitions in the dynamo cycle. The enhanced near-surface flow speed manifests in a global shift of the toroidal field ($B_{\phi}$) in the butterfly diagram -- from a North-South symmetric pattern to a staggered anti-symmetric emergence.


title: $D$ - meson production at very forward rapidities: estimating the intrinsic charm contribution

abstract: We study $D$ - meson production at forward rapidities taking into account the non - linear effects in the QCD dynamics and the intrinsic charm component of the proton wave function. The total cross section, the rapidity distributions and the Feynman - $x$ distributions are calculated for $p p$ collisions at different center of mass energies. Our results show that, at the LHC, the intrinsic charm component changes the $D$ rapidity distributions in a region which is beyond the coverage of the LHCb detectors. At higher energies the IC component dominates the $y$ and $x_F$ distributions exactly in the range where the produced $D$ mesons decay and contribute the most to the prompt atmospheric neutrino flux measured by the ICECUBE Collaboration. We compute the $x_F$ - distributions and demonstrate that they are enhanced at LHC energies by approximately one order of magnitude in the $0.2 \le x_F \le 0.8$ range.


title: Enriching students' conceptual understanding of confidence intervals: An interactive trivia-based classroom activity

abstract: Confidence intervals provide a way to determine plausible values for a population parameter. They are omnipresent in research articles involving statistical analyses. Appropriately, a key statistical literacy learning objective is the ability to interpret and understand confidence intervals in a wide range of settings. As instructors, we devote a considerable amount of time and effort to ensure that students master this topic in introductory courses and beyond. Yet, studies continue to find that confidence intervals are commonly misinterpreted and that even experts have trouble calibrating their individual confidence levels. In this article, we present a ten-minute trivia game-based activity that addresses these misconceptions by exposing students to confidence intervals from a personal perspective. We describe how the activity can be integrated into a statistics course as a one-time activity or with repetition at intervals throughout a course, discuss results of using the activity in class, and present possible extensions.


title: Time-Consistent Risk Measures for Continuous-Time Markov Chains

abstract: We develop an approach to time-consistent risk evaluation of continuous-time processes in Markov systems. Our analysis is based on dual representation of coherent risk measures, differentiability concepts for multivalued mappings, and a refined concept of time consistency. We prove that the risk measures are defined by a family of risk evaluation functionals (transition risk mappings), which depend on state, time, and the transition function. Their dual representations are risk multikernels of the Markov system. We introduce the concept of a semi-derivative of a risk multikernel and use it to generalize the concept of a generator of a Markov process. Using these semi-derivatives, we derive a system of ordinary differential equations that the risk evaluation must satisfy, which generalize the classical backward Kolmogorov equations for Markov processes. Additionally, we construct convergent discrete-time approximations to the continuous-time risk measures.


title: Does the repulsive interatomic potential determine fragility in metallic liquids?

abstract: The dynamical behavior of liquids is frequently characterized by the fragility, which can be defined from the temperature dependence of the shear viscosity, {\eta}. For a strong liquid, the activation energy for {\eta} changes little with cooling towards the glass transition temperature, Tg. The change is much greater in fragile liquids, with the activation energy becoming very large near Tg. While fragility is widely recognized as an important concept, for example believed to play an important role in glass formation, the microscopic origin of fragility is poorly understood. Here, we present new experimental evidence showing that fragility reflects the strength of the repulsive part of the interatomic potential, which can be determined from the steepness of the pair distribution function near the hard-sphere cutoff. Based on an analysis of scattering data from ten different metallic alloy liquids, we show that stronger liquids have steeper repulsive potentials.


title: Magnetic diode at $T$ = 300 K

abstract: We report the finding of unidirectional electronic properties, analogous to a semiconductor diode, in two-dimensional artificial permalloy honeycomb lattice of ultra-small bond, with a typical length of ~ 12 nm. The unidirectional transport behavior, characterized by the asymmetric colossal enhancement in differential conductivity at a modest current application of ~ 10-15 $\mu$A, persists to T = 300 K in honeycomb lattice of thickness ~ 6 nm. The asymmetric behavior arises without the application of magnetic field. A qualitative analysis of experimental data suggests the role of magnetic charge or monopoles in the unusual observations with strong implication for spintronics.


title: On the Communication Cost of Determining an Approximate Nearest Lattice Point

abstract: We consider the closest lattice point problem in a distributed network setting and study the communication cost and the error probability for computing an approximate nearest lattice point, using the nearest-plane algorithm, due to Babai. Two distinct communication models, centralized and interactive, are considered. The importance of proper basis selection is addressed. Assuming a reduced basis for a two-dimensional lattice, we determine the approximation error of the nearest plane algorithm. The communication cost for determining the Babai point, or equivalently, for constructing the rectangular nearest-plane partition, is calculated in the interactive setting. For the centralized model, an algorithm is presented for reducing the communication cost of the nearest plane algorithm in an arbitrary number of dimensions.


title: Robust entanglement with 3D nonreciprocal photonic topological insulators

abstract: We investigate spontaneous and pumped entanglement of two level systems in the vicinity of a photonic topological insulator interface, which supports a nonreciprocal (unidirectional), scattering-immune and topologically-protected surface plasmon polariton in the bandgap of the bulk material. To this end, we derive a master equation for qubit interactions in a general three-dimensional, nonreciprocal, inhomogeneous and lossy environment. The environment is represented exactly, via the photonic Green function. The resulting entanglement is shown to be extremely robust to defects occurring in the material system, such that strong entanglement is maintained even if the interface exhibits electrically-large and geometrically sharp discontinuities. Alternatively, depending on the initial excitation state, using a non-reciprocal environment allows two qubits to remain unentangled even for very close spacing. The topological nature of the material is manifest in the insensitivity of the entanglement to variations in the material parameters that preserve the gap Chern number. Our formulation and results should be useful for both fundamental investigations of quantum dynamics in nonreciprocal environments, and technological applications related to entanglement in two-level systems.


title: Communication Cost of Transforming a Nearest Plane Partition to the Voronoi Partition

abstract: We consider the problem of distributed computation of the nearest lattice point for a two dimensional lattice. An interactive model of communication is considered. We address the problem of reconfiguring a specific rectangular partition, a nearest plane, or Babai, partition, into the Voronoi partition. Expressions are derived for the error probability as a function of the total number of communicated bits. With an infinite number of allowed communication rounds, the average cost of achieving zero error probability is shown to be finite. For the interactive model, with a single round of communication, expressions are obtained for the error probability as a function of the bits exchanged. We observe that the error exponent depends on the lattice.


title: Regularized solutions for some backward nonlinear parabolic equations with statistical data

abstract: In this paper, we study the backward problem of determining initial condition for some class of nonlinear parabolic equations in multidimensional domain where data are given under random noise. This problem is ill-posed, i.e., the solution does not depend continuously on the data. To regularize the instable solution, we develop some new methods to construct some new regularized solution. We also investigate the convergence rate between the regularized solution and the solution of our equations. In particular, we establish results for several equations with constant coefficients and time dependent coefficients. The equations with constant coefficients include heat equation, extended Fisher-Kolmogorov equation, Swift-Hohenberg equation and many others. The equations with time dependent coefficients include Fisher type Logistic equations, Huxley equation, Fitzhugh-Nagumo equation. The methods developed in this paper can also be applied to get approximate solutions to several other equations including 1-D Kuramoto-Sivashinsky equation, 1-D modified Swift-Hohenberg equation, strongly damped wave equation and 1-D Burger's equation with randomly perturbed operator.


title: Symmetry reduction and soliton-like solutions for the generalized Korteweg-de Vries equation

abstract: We analyze the gKdV equation, a generalized version of Korteweg-de Vries with an arbitrary function $f(u)$. In general, for a function $f(u)$ the Lie algebra of symmetries of gKdV is the $2$-dimensional Lie algebra of translations of the plane $xt$. This implies the existence of plane wave solutions. Indeed, for some specific values of $f(u)$ the equation gKdV admits a Lie algebra of symmetries of dimension grater than $2$. We compute the similarity reductions corresponding to these exceptional symmetries. We prove that the gKdV equation has soliton-like solutions under some general assumptions, and we find a closed formula for the plane wave solutions, that are of hyperbolic secant type.


title: High quality factor manganese-doped aluminum lumped-element kinetic inductance detectors sensitive to frequencies below 100 GHz

abstract: Aluminum lumped-element kinetic inductance detectors (LEKIDs) sensitive to millimeter-wave photons have been shown to exhibit high quality factors, making them highly sensitive and multiplexable. The superconducting gap of aluminum limits aluminum LEKIDs to photon frequencies above 100 GHz. Manganese-doped aluminum (Al-Mn) has a tunable critical temperature and could therefore be an attractive material for LEKIDs sensitive to frequencies below 100 GHz if the internal quality factor remains sufficiently high when manganese is added to the film. To investigate, we measured some of the key properties of Al-Mn LEKIDs. A prototype eight-element LEKID array was fabricated using a 40 nm thick film of Al-Mn deposited on a 500 {\mu}m thick high-resistivity, float-zone silicon substrate. The manganese content was 900 ppm, the measured $T_c = 694\pm1$ mK, and the resonance frequencies were near 150 MHz. Using measurements of the forward scattering parameter $S_{21}$ at various bath temperatures between 65 and 250 mK, we determined that the Al-Mn LEKIDs we fabricated have internal quality factors greater than $2 \times 10^5$, which is high enough for millimeter-wave astrophysical observations. In the dark conditions under which these devices were measured, the fractional frequency noise spectrum shows a shallow slope that depends on bath temperature and probe tone amplitude, which could be two-level system noise. The anticipated white photon noise should dominate this level of low-frequency noise when the detectors are illuminated with millimeter-waves in future measurements. The LEKIDs responded to light pulses from a 1550 nm light-emitting diode, and we used these light pulses to determine that the quasiparticle lifetime is 60 {\mu}s.


title: TipTop: (Almost) Exact Solutions for Influence Maximization in Billion-scale Networks

abstract: In this paper, we study the Cost-aware Target Viral Marketing (CTVM) problem, a generalization of Influence Maximization (IM). CTVM asks for the most cost-effective users to influence the most relevant users. In contrast to the vast literature, we attempt to offer exact solutions. As the problem is NP-hard, thus, exact solutions are intractable, we propose TipTop, a $(1-\epsilon)$-optimal solution for arbitrary $\epsilon>0$ that scales to very large networks such as Twitter. At the heart of TipTop lies an innovative technique that reduces the number of samples as much as possible. This allows us to exactly solve CTVM on a much smaller space of generated samples using Integer Programming. Furthermore, TipTop lends a tool for researchers to benchmark their solutions against the optimal one in large-scale networks, which is currently not available.


title: Strangeon and Strangeon Star

abstract: The nature of pulsar-like compact stars is essentially a central question of the fundamental strong interaction (explained in quantum chromo-dynamics) at low energy scale, the solution of which still remains a challenge though tremendous efforts have been tried. This kind of compact objects could actually be strange quark stars if strange quark matter in bulk may constitute the true ground state of the strong-interaction matter rather than Fe^56 (the so-called Witten's conjecture). From astrophysical points of view, however, it is proposed that strange cluster matter could be absolutely stable and thus those compact stars could be strange cluster stars in fact. This proposal could be regarded as a general Witten's conjecture: strange matter in bulk could be absolutely stable, in which quarks are either free (for strange quark matter) or localized (for strange cluster matter). Strange cluster with three-light-flavor symmetry is renamed strangeon, being coined by combining "strange nucleon" for the sake of simplicity. A strangeon star can then be thought as a 3-flavored gigantic nucleus, and strangeons are its constituent as an analogy of nucleons which are the constituent of a normal (micro) nucleus. The observational consequences of strangeon stars show that different manifestations of pulsar-like compact stars could be understood in the regime of strangeon stars, and we are expecting more evidence for strangeon star by advanced facilities (e.g., FAST, SKA, and eXTP).


title: Extracting losses from asymmetric resonances in micro-ring resonators

abstract: Propagation losses in micro-ring resonator waveguides can be determined from the shape of individual resonances in their transmission spectrum. The losses are typically extracted by fitting these resonances to an idealized model that is derived using scattering theory. Reflections caused by waveguide boundaries or stitching errors, however, cause the resonances to become asymmetric, resulting in poor fits and unreliable propagation loss coefficients. We derive a model that takes reflections into account and, by performing full-wave simulations, we show that this model accurately describes the asymmetric resonances that result from purely linear effects, yielding accurate propagation loss coefficients.


title: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web

abstract: Critical human-machine interfaces are present in many systems including avionics systems and medical devices. Use error is a concern in these systems both in terms of hardware panels and input devices, and the software that drives the interfaces. Guaranteeing safe usability, in terms of buttons, knobs and displays is now a key element in the overall safety of the system. New integrated development environments (IDEs) based on formal methods technologies have been developed by the research community to support the design and analysis of high-confidence human-machine interfaces. To date, little work has focused on the comparison of these particular types of formal IDEs. This paper compares and evaluates two state-of-the-art toolkits: CIRCUS, a model-based development and analysis tool based on Petri net extensions, and PVSio-web, a prototyping toolkit based on the PVS theorem proving system.


title: Predicting SMT Solver Performance for Software Verification

abstract: The Why3 IDE and verification system facilitates the use of a wide range of Satisfiability Modulo Theories (SMT) solvers through a driver-based architecture. We present Where4: a portfolio-based approach to discharge Why3 proof obligations. We use data analysis and machine learning techniques on static metrics derived from program source code. Our approach benefits software engineers by providing a single utility to delegate proof obligations to the solvers most likely to return a useful result. It does this in a time-efficient way using existing Why3 and solver installations - without requiring low-level knowledge about SMT solver operation from the user.


title: Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

abstract: Many project-specific languages, including in particular filtering languages, are defined using non-formal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper reports on an industrial experiment on using a tool-supported language specification framework (K) for the formal specification of the syntax and semantics of a filtering language having a complexity similar to those of real-life projects. This experimentation aims at estimating, in a specific industrial setting, the difficulty and benefits of formally specifying a packet filtering language using a tool-supported formal approach.


title: Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation

abstract: We are concerned with systems, particularly safety-critical systems, that involve interaction between users and devices, such as the user interface of medical devices. We therefore developed a MISRA C code generator for formal models expressed in the PVSio-web prototyping toolkit. PVSio-web allows developers to rapidly generate realistic interactive prototypes for verifying usability and safety requirements in human-machine interfaces. The visual appearance of the prototypes is based on a picture of a physical device, and the behaviour of the prototype is defined by an executable formal model. Our approach transforms the PVSio-web prototyping tool into a model-based engineering toolkit that, starting from a formally verified user interface design model, will produce MISRA C code that can be compiled and linked into a final product. An initial validation of our tool is presented for the data entry system of an actual medical device.


title: The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving

abstract: Hybrid systems verification is quite important for developing correct controllers for physical systems, but is also challenging. Verification engineers, thus, need to be empowered with ways of guiding hybrid systems verification while receiving as much help from automation as possible. Due to undecidability, verification tools need sufficient means for intervening during the verification and need to allow verification engineers to provide system design insights. This paper presents the design ideas behind the user interface for the hybrid systems theorem prover KeYmaera X. We discuss how they make it easier to prove hybrid systems as well as help learn how to conduct proofs in the first place. Unsurprisingly, the most difficult user interface challenges come from the desire to integrate automation and human guidance. We also share thoughts how the success of such a user interface design could be evaluated and anecdotal observations about it.


title: Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa"

abstract: The application of automatic theorem provers to discharge proof obligations is necessary to apply formal methods in an efficient manner. Tools supporting formal methods, such as Atelier~B, generate proof obligations fully automatically. Consequently, such proof obligations are often cluttered with information that is irrelevant to establish their validity. We present iapa, an "Interface to Automatic Proof Agents", a new tool that is being integrated to Atelier~B, through which the user will access proof obligations, apply operations to simplify these proof obligations, and then dispatch the resulting, simplified, proof obligations to a portfolio of automatic theorem provers.


title: User Assistance Characteristics of the USE Model Checking Tool

abstract: The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL constraints. In the development process for formal models, it is important to make sure that these models are (a) correct, i.e. consistent and complete, and (b) testable in the sense that the developer is able to interactively check model properties. The USE tool (UML-based Specification Environment) allows both characteristics to be studied. We demonstrate how the tool supports modelers to analyze, validate and verify UML and OCL models via the use of several graphical means that assist the modeler in interpreting and visualizing formal model descriptions. In particular, we discuss how the so-called USE model validator plugin is integrated into the USE environment in order to allow non domain experts to use it and construct object models that help to verify properties like model consistency.


title: Assessing the Economics of Customer-Sited Multi-Use Energy Storage

abstract: This paper presents an approach to assess the economics of customer-sited energy storage systems (ESSs) which are owned and operated by a customer. The ESSs can participate in frequency regulation and spinning reserve markets, and are used to help the customer consume available renewable energy and reduce electricity bill. A rolling-horizon approach is developed to optimize the service schedule, and the resulting costs and revenues are used to assess economics of the ESSs. The economic assessment approach is illustrated with case studies, from which we obtain some new observations on profitability of the customer- sited multi-use ESSs.


title: Model-based Classification and Novelty Detection For Point Pattern Data

abstract: Point patterns are sets or multi-sets of unordered elements that can be found in numerous data sources. However, in data analysis tasks such as classification and novelty detection, appropriate statistical models for point pattern data have not received much attention. This paper proposes the modelling of point pattern data via random finite sets (RFS). In particular, we propose appropriate likelihood functions, and a maximum likelihood estimator for learning a tractable family of RFS models. In novelty detection, we propose novel ranking functions based on RFS models, which substantially improve performance.


title: IFCIoT: Integrated Fog Cloud IoT Architectural Paradigm for Future Internet of Things

abstract: We propose a novel integrated fog cloud IoT (IFCIoT) architectural paradigm that promises increased performance, energy efficiency, reduced latency, quicker response time, scalability, and better localized accuracy for future IoT applications. The fog nodes (e.g., edge servers, smart routers, base stations) receive computation offloading requests and sensed data from various IoT devices. To enhance performance, energy efficiency, and real-time responsiveness of applications, we propose a reconfigurable and layered fog node (edge server) architecture that analyzes the applications' characteristics and reconfigure the architectural resources to better meet the peak workload demands. The layers of the proposed fog node architecture include application layer, analytics layer, virtualization layer, reconfiguration layer, and hardware layer. The layered architecture facilitates abstraction and implementation for fog computing paradigm that is distributed in nature and where multiple vendors (e.g., applications, services, data and content providers) are involved. We also elaborate the potential applications of IFCIoT architecture, such as smart cities, intelligent transportation systems, localized weather maps and environmental monitoring, and real-time agricultural data analytics and control.


title: Scalable Nearest Neighbor Search based on kNN Graph

abstract: Nearest neighbor search is known as a challenging issue that has been studied for several decades. Recently, this issue becomes more and more imminent in viewing that the big data problem arises from various fields. In this paper, a scalable solution based on hill-climbing strategy with the support of k-nearest neighbor graph (kNN) is presented. Two major issues have been considered in the paper. Firstly, an efficient kNN graph construction method based on two means tree is presented. For the nearest neighbor search, an enhanced hill-climbing procedure is proposed, which sees considerable performance boost over original procedure. Furthermore, with the support of inverted indexing derived from residue vector quantization, our method achieves close to 100% recall with high speed efficiency in two state-of-the-art evaluation benchmarks. In addition, a comparative study on both the compressional and traditional nearest neighbor search methods is presented. We show that our method achieves the best trade-off between search quality, efficiency and memory complexity.


title: Well-posedness and dispersive decay of small data solutions for the Benjamin-Ono equation

abstract: This article represents a first step toward understanding the long time dynamics of solutions for the Benjamin-Ono equation. While this problem is known to be both completely integrable and globally well-posed in $L^2$, much less seems to be known concerning its long time dynamics. Here, we prove that for small localized data the solutions have (nearly) dispersive dynamics almost globally in time. An additional objective is to revisit the $L^2$ theory for the Benjamin-Ono equation and provide a simpler, self-contained approach.


title: Dimensional crossover in a strongly interacting ultracold atomic Fermi gas

abstract: We theoretically explore the crossover from three dimensions (3D) to two (2D) in a strongly interacting atomic Fermi superfluid through confining the transverse spatial dimension. Using the gaussian pair fluctuation theory, we determine the zero-temperature equation of state and Landau critical velocity as functions of the spatial extent of the transverse dimension and interaction strength. In the presence of strong interactions, we map out a dimensional crossover diagram from the location of maximum critical velocity, which exhibits distinct dependence on the transverse dimension from 2D to quasi-2D, and to 3D. We calculate the dynamic structure factor to characterize the low-energy excitations of the system and propose that the intermediate quasi-2D regime can be experimentally probed using Bragg spectroscopy.


title: Ind-varieties of generalized flags: a survey of results

abstract: This is a review of results on the structure of the homogeneous ind-varieties $G/P$ of the ind-groups $G=\mathrm{GL}_{\infty}(\mathbb{C})$, $\mathrm{SL}_{\infty}(\mathbb{C})$, $\mathrm{SO}_{\infty}(\mathbb{C})$, $\mathrm{Sp}_{\infty}(\mathbb{C})$, subject to the condition that $G/P$ is a inductive limit of compact homogeneous spaces $G_n/P_n$. In this case the subgroup $P\subset G$ is a splitting parabolic subgroup of $G$, and the ind-variety $G/P$ admits a "flag realization". Instead of ordinary flags, one considers generalized flags which are, generally infinite, chains $\mathcal{C}$ of subspaces in the natural representation $V$ of $G$ which satisfy a certain condition: roughly speaking, for each nonzero vector $v$ of $V$ there must be a largest space in $\mathcal{C}$ which does not contain $v$, and a smallest space in $\mathcal{C}$ which contains $v$. We start with a review of the construction of the ind-varieties of generalized flags, and then show that these ind-varieties are homogeneous ind-spaces of the form $G/P$ for splitting parabolic ind-subgroups $P\subset G$. We also briefly review the characterization of more general, i.e. non-splitting, parabolic ind-subgroups in terms of generalized flags. In the special case of an ind-grassmannian $X$, we give a purely algebraic-geometric construction of $X$. Further topics discussed are the Bott--Borel--Weil Theorem for ind-varieties of generalized flags, finite-rank vector bundles on ind-varieties of generalized flags, the theory of Schubert decomposition of $G/P$ for arbitrary splitting parabolic ind-subgroups $P\subset G$, as well as the orbits of real forms on $G/P$ for $G=\mathrm{SL}_{\infty}(\mathbb{C})$.


title: A fixed point formula and Harish-Chandra's character formula

abstract: The main result in this paper is a fixed point formula for equivariant indices of elliptic differential operators, for proper actions by connected semisimple Lie groups on possibly noncompact manifolds, with compact quotients. For compact groups and manifolds, this reduces to the Atiyah-Segal-Singer fixed point formula. Other special cases include an index theorem by Connes and Moscovici for homogeneous spaces, and an earlier index theorem by the second author, both in cases where the group acting is connected and semisimple. As an application of this fixed point formula, we give a new proof of Harish-Chandra's character formula for discrete series representations.


title: A Combinatorial Problem from Group Theory

abstract: Keller proposed a combinatorial conjecture on construction of an n-by-infinite matrix, which comes from showing the existence of many orbits of different sizes in certain linear group actions. He proved it for the case n=4, and we show that conjecture is true in the general case. We also propose a combinatorial game version of the conjecture which even further generalizes the problem.


title: CNN as Guided Multi-layer RECOS Transform

abstract: There is a resurging interest in developing a neural-network-based solution to the supervised machine learning problem. The convolutional neural network (CNN) will be studied in this note. To begin with, we introduce a RECOS transform as a basic building block of CNNs. The "RECOS" is an acronym for "REctified-COrrelations on a Sphere". It consists of two main concepts: 1) data clustering on a sphere and 2) rectification. Afterwards, we interpret a CNN as a network that implements the guided multi-layer RECOS transform with three highlights. First, we compare the traditional single-layer and modern multi-layer signal analysis approaches, point out key ingredients that enable the multi-layer approach, and provide a full explanation to the operating principle of CNNs. Second, we discuss how guidance is provided by labels through backpropagation (BP) in the training. Third, we show that a trained network can be greatly simplified in the testing stage demanding only one-bit representation for both filter weights and inputs.


title: Quantum magnetomechanics: towards the ultra-strong coupling regime

abstract: In this paper we investigate a hybrid quantum system comprising a mechanical oscillator coupled via magnetic induced electromotive force to an $LC$ resonator. We derive the Lagrangian and Hamiltonian for this system and find that the interaction can be described by a charge-momentum coupling with a strength that has a strong geometric dependence. We focus our study on a mechanical resonator with a thin-film magnetic coating which interacts with a nano-fabricated planar coil. We determine that the coupling rate between these two systems can enter the strong, ultra-strong, and even deep-strong coupling regimes with experimentally feasible parameters. This magnetomechanical configuration allows for a range of applications including electro-mechanical state transfer and weak-force sensing.


title: The facets of the matroid polytope and the independent set polytope of a positroid

abstract: A positroid is a special case of a realizable matroid that arose from the study of the totally nonnegative part of the Grassmannian by Postnikov. In this paper, we study the facets of its matroid polytope and the independent set polytope. This allows one to describe the bases and independent sets directly from the decorated permutation, bypassing the use of the Grassmann necklace. We also describe a criterion for determining whether a given cyclic interval is a flat or not using the decorated permutation, then show how it applies to checking the concordancy of positroids.


title: Young Galaxy Candidates in the Hubble Frontier Fields IV. MACS J1149.5+2223

abstract: We search for high-redshift dropout galaxies behind the Hubble Frontier Fields (HFF) galaxy cluster MACS J1149.5+2223, a powerful cosmic lens that has revealed a number of unique objects in its field. Using the deep images from the Hubble and Spitzer space telescopes, we find 11 galaxies at z>7 in the MACS J1149.5+2223 cluster field, and 11 in its parallel field. The high-redshift nature of the bright z~9.6 galaxy MACS1149-JD, previously reported by Zheng et al., is further supported by non-detection in the extremely deep optical images from the HFF campaign. With the new photometry, the best photometric redshift solution for MACS1149-JD reduces slightly to z=9.44 +/- 0.12. The young galaxy has an estimated stellar mass of (7 +/- 2)X10E8 Msun, and was formed at z=13.2 +1.9-1.6 when the universe was ~300 Myr old. Data available for the first four HFF clusters have already enabled us to find faint galaxies to an intrinsic magnitude of M(UV) ~ -15.5, approximately a factor of ten deeper than the parallel fields.


title: Auto-Documenation for Software Development

abstract: Software documentation is an essential but labor intensive task that often requires a dedicated team of developers to ensure coverage and accuracy. Good documentation will help shorten the development cycle and improve the overall team efficiency as well as maintainability. In today's crowd-driven development environment, good documentation can go a long way in building a developer community from scratch. To that end, we took the first steps in building a tool called Autodoc that can assist software developers in writing better documentation faster. Autodoc goes beyond traditional boilerplate template generation. Our integrated tool uses Deep Learning methods to construct a semantic understanding of the code. Just like machine translation in natural languages, Autodoc can translate snippets of code to comments, and insert them as short summaries inside the docstring. We also demonstrate the integration of Autodoc as an IDE plugin as well as a web hook from within software hosting platforms when submitting auto-documented code to user's Git repository.


title: K\"ahlerity of shrinking gradient Ricci solitons asymptotic to K\"ahler cones

abstract: We prove that a shrinking gradient Ricci soliton which is asymptotic to a K\"ahler cone along some end is itself K\"ahler on some neighborhood of infinity of that end. When the shrinker is complete, it is globally K\"ahler.


title: Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension

abstract: Tensor expression simplification is an "ancient" topic in computer algebra, a representative of which is the canonicalization of Riemann tensor polynomials. Practically fast algorithms exist for monoterm canonicalization, but not for multiterm canonicalization. Targeting the multiterm difficulty, in this paper we establish the extension theory of graph algebra, and propose a canonicalization algorithm for Riemann tensor polynomials based on this theory.


title: A remark on a central limit theorem for non-symmetric random walks on crystal lattices

abstract: Recently, Ishiwata, Kawabi and Kotani [2] proved two kinds of central limit theorems for non-symmetric random walks on crystal lattices from the view point of discrete geometric analysis. In the present paper, we obtain yet another kind of the central limit theorem for them. Our argument is based on a measure-change technique due to Alexopoulos [1].


title: Cohen-Macaulayness of trivial extensions

abstract: Our goal is to determine when the trivial extensions of commutative rings by modules are Cohen-Macaulay in the sense of Hamilton and Marley. For this purpose, we provide a generalization of the concept of Cohen-Macaulayness of rings to modules.


title: Multi-Layer Free Energy Perturbation

abstract: Free energy perturbation (FEP) is frequently used to evaluate the free energy change of a biological process, e.g. the drug binding free energy or the ligand solvation free energy. Due to the sampling inefficiency, FEP is often employed together with computationally expensive enhanced sampling methods. Here we show that this sampling inefficiency, which stems from not accounting for the environmental reorganization, is an inherent property of the single-ensemble ansatz of FEP, and hence simply prolonging the MD simulation can hardly alleviate the problem. Instead, we propose a new, multi-ensemble ansatz -- the multi-layer free energy perturbation (MLFEP), which allows environmental reorganization processes (relaxation) to occur automatically during the MD sampling. Our study paves the way toward a fast but accurate free energy calculation that can be employed in computer-aided drug design.


title: Sharp eigenvalue estimates on degenerating surfaces

abstract: We consider the first non-zero eigenvalue $\lambda_1$ of the Laplacian on hyperbolic surfaces for which one disconnecting collar degenerates and prove that $8\pi \nabla\log(\lambda_1)$ essentially agrees with the dual of the differential of the degenerating Fenchel-Nielsen length coordinate. As a consequence, we can improve previous results of Schoen, Wolpert, Yau and Burger to obtain estimates with optimal error rates and obtain new information on the leading order terms of the polyhomogeneous expansion of $\lambda_1$ of Albin, Rochon and Sher.


title: On Zero Error Capacity of Nearest Neighbor Error Channels with Multilevel Alphabet

abstract: This paper studies the zero error capacity of the Nearest Neighbor Error (NNE) channels with a multilevel alphabet. In the NNE channels, a transmitted symbol is a $d$-tuple of elements in $\{0,1,2,\dots, n-1 \}$. It is assumed that only one element error to a nearest neighbor element in a transmitted symbol can occur. The NNE channels can be considered as a special type of limited magnitude error channels, and it is closely related to error models for flash memories. In this paper, we derive a lower bound of the zero error capacity of the NNE channels based on a result of the perfect Lee codes. An upper bound of the zero error capacity of the NNE channels is also derived from a feasible solution of a linear programming problem defined based on the confusion graphs of the NNE channels. As a result, a concise formula of the zero error capacity is obtained using the lower and upper bounds.


title: A Survey of Structure from Motion

abstract: The structure from motion (SfM) problem in computer vision is the problem of recovering the three-dimensional ($3$D) structure of a stationary scene from a set of projective measurements, represented as a collection of two-dimensional ($2$D) images, via estimation of motion of the cameras corresponding to these images. In essence, SfM involves the three main stages of (1) extraction of features in images (e.g., points of interest, lines, etc.) and matching these features between images, (2) camera motion estimation (e.g., using relative pairwise camera positions estimated from the extracted features), and (3) recovery of the $3$D structure using the estimated motion and features (e.g., by minimizing the so-called reprojection error). This survey mainly focuses on relatively recent developments in the literature pertaining to stages (2) and (3). More specifically, after touching upon the early factorization-based techniques for motion and structure estimation, we provide a detailed account of some of the recent camera location estimation methods in the literature, followed by discussion of notable techniques for $3$D structure recovery. We also cover the basics of the simultaneous localization and mapping (SLAM) problem, which can be viewed as a specific case of the SfM problem. Further, our survey includes a review of the fundamentals of feature extraction and matching (i.e., stage (1) above), various recent methods for handling ambiguities in $3$D scenes, SfM techniques involving relatively uncommon camera models and image features, and popular sources of data and SfM software.


title: Reductions of Topologically Massive Gravity I: Hamiltonian Analysis of The Second Order Degenerate Lagrangians

abstract: We study the Hamiltonian formalisms of the second order degenerate Cl\`ement and Sar{\i}o\u{g}lu-Tekin Lagrangians. The Dirac-Bergmann constraint algorithm is employed while arriving at the total Hamiltonian functions and the Hamilton's equations on the associated momemtum phase spaces whereas the Gotay-Nester-Hinds algorithm is run while investigating the Skinner-Rusk unified formalism on the proper Whitney bundles.


title: Hartman-Grobman Theorem for IFS

abstract: In this paper, for iterated function systems, we define the classic concept of the dynamical systems: topological conjugacy of diffeomorphisms. We generalize the Hartman-Grobman theorem for one dimensional iterated function systems on R. Also, we introduce the basic concept of structural stability for an iterated function system and so we investigate the necessary condition for structural stability of an iterated function system on R.


title: First Results with HIJING++ in High-Energy Heavy-Ion Collisions

abstract: First calculated results with the new HIJING++ are presented for identified hadron production in high-energy heavy ion collisions. The recently developed HIJING++ version is based on the latest version of PYTHIA8 and contains all the nuclear effects has been included in the HIJING2.552, which will be improved by a new version of the shadowing parametrization and jet quenching module. Here, we summarize the major changes of the new program code beside the comparison between experimental data for some specific high-energy nucleus-nucleus collisions.


title: Hysteretic behavior between quasi-two-dimensional flow and three-dimensional flow in forced rotating turbulence

abstract: Conflict between formation of a cyclonic vortex and isotropization in forced homogeneous rotating turbulence is numerically investigated. It is well known that a large rotation rate of the system induces columnar vortices to result in quasi-two-dimensional (Q2D) flow, while a small rotation rate allows turbulence to be three-dimensional (3D). It is found that the transition from the Q2D turbulent flow to the 3D turbulent flow and the reverse transition occur at different values of the rotation rates. At the intermediate rotation rates, bistability of these two statistically steady states is observed. Such hysteretic behavior is also observed for the variation of the amplitude of an external force.