title: Riesz transforms on a class of non-doubling manifolds

abstract: We consider a class of manifolds $\mathcal{M}$ obtained by taking the connected sum of a finite number of $N$-dimensional Riemannian manifolds of the form $(\mathbb{R}^{n_i}, \delta) \times (\mathcal{M}_i, g)$, where $\mathcal{M}_i$ is a compact manifold, with the product metric. The case of greatest interest is when the Euclidean dimensions $n_i$ are not all equal. This means that the ends have different `asymptotic dimension', and implies that the Riemannian manifold $\mathcal{M}$ is not a doubling space. We completely describe the range of exponents $p$ for which the Riesz transform on $\mathcal{M}$ is a bounded operator on $L^p(\mathcal{M})$. Namely, under the assumption that each $n_i$ is at least $3$, we show that Riesz transform is of weak type $(1,1)$, is continuous on $L^p$ for all $p \in (1, \min_i n_i)$, and is unbounded on $L^p$ otherwise. This generalizes results of the first-named author with Carron and Coulhon devoted to the doubling case of the connected sum of several copies of Euclidean space $\mathbb{R}^{N}$, and of Carron concerning the Riesz transform on connected sums.


title: Parity sequences of the 3x+1 map on the 2-adic integers and Euclidean embedding

abstract: In this paper, we consider the one-to-one correspondence between a 2-adic integer and its parity sequence under iteration of the so-called "3x+1" map. First, we prove a new formula for the inverse transform. Next, we briefly review what is known about the induced automorphism and study its dynamics on the 2-adic integers. We find that it is ergodic on many small odd invariant sets, and that it has two odd cycles of period 2 in addition to its two odd fixed points. Finally, a plane embedding is presented, for which we establish affine self-similarity by using functional equations.


title: Fractional powers of monotone operators in Hilbert spaces

abstract: In this article, we show that if $A$ is a maximal monotone operator on a Hilbert space $H$ with $0$ in the range $\textrm{Rg}(A)$ of $A$, then for every $0<s<1$, the Dirichlet problem associated with the Bessel-type equation $$ A_{1-2s}u:=-\frac{1-2s}{t}u_{t}-u_{tt}+Au\ni 0 $$ is well-posed for boundary values $\varphi\in \overline{D(A)}^{\mbox{}_{H}}$. This allows us to define the Dirichlet-to-Neumann (DtN) operator $\Lambda_{s}$ associated with $A_{1-2s}$ as $$ \varphi\mapsto \Lambda_{s}\varphi:=-\lim_{t\to 0+}t^{1-2s}u_{t}(t)\qquad\text{in H.} $$ The existence of the DtN operator $\Lambda_{s}$ associated with $A_{1-2s}$ is the first step to define fractional powers $A^{\alpha}$ of monotone (possibly, nonlinear and multivalued) operators $A$ on $H$. We prove that $\Lambda_{s}$ is monotone on $H$ and if $\overline{\Lambda}_{s}$ is the closure of $\Lambda_{s}$ in $H\times H_{w}$ then we provide sufficient conditions implying that $-\overline{\Lambda}_{s}$ generates a strongly continuous semigroup on $\overline{D(A)}^{\mbox{}_{H}}$. In addition, we show that if $A$ is completely accretive on $L^{2}(\Sigma,\mu)$ for a $\sigma$-finite measure space $(\Sigma,\mu)$, then $\Lambda_{s}$ inherits this property from $A$.


title: Axions and the luminosity function of white dwarfs. The thin and thick disks, and the halo

abstract: The evolution of white dwarfs is a simple gravothermal process of cooling. Since the shape of their luminosity function is sensitive to the characteristic cooling time, it is possible to use its slope to test the existence of additional sources or sinks of energy, such as those predicted by alternative physical theories. The aim of this paper is to study if the changes in the slope of the white dwarf luminosity function around bolometric magnitudes ranging from 8 to 10 and previously attributed to axion emission are, effectively, a consequence of the existence of axions and not an artifact introduced by the star formatio rate. We compute theoretical luminosity functions of the thin and thick disk, and of the stellar halo including axion emission and we compare them with the existing observed luminosity functions. Since these stellar populations have different star formation histories, the slope change should be present in all of them at the same place if it is due to axions or any other intrinsic cooling mechanism. The signature of an unexpected cooling seems to be present in the luminosity functions of the thin and thick disks, as well as in the halo luminosity function. This additional cooling is compatible with axion emission, thus supporting the idea that DFSZ axions, with a mass in the range of 4 to 10 meV, could exist. If this were the case, these axions could be detected by the future solar axioscope IAXO.


title: Physics of Reverse Flow on Rotors at High Advance Ratios

abstract: When a rotor blade encounters reverse flow in edgewise flight at high advance ratio, a strong vortical structure forms on the leeside of the sharp blade edge. This has unexpected effects on blade aerodynamics. A differential onset velocity gradient due to rotor rotation creates an envelope of reverse flow extending from the hub. A Sharp Edge Vortex (SEV) is observed at the geometric trailing edge, forming soon after the blade enters the retreating-blade side. The SEV grows radially inwards in size and strength as the blade retreats. The SEV convects and evolves along with the rotor blade until dissipation. In this paper, a coherent vortex is observed at 240 degrees azimuth. Vortex size and strength increase as the blade retreats, ceasing to grow before 270 degrees. The reverse flow envelope increases at higher advance ratios with increased vortical strength. The solid body rotation core of the vortex stretches at lower advance ratios and shows the signs of a burst vortex in the dissipation phase. The proximity of the SEV to the blade causes large excursions in surface static pressures which in turn generates significant negative lift on the retreating blade. The attached, coherent sharp edge vortex shows similar morphological features as the leading edge vortex on a delta wing.


title: Mean-field theory of active electrolytes: dynamic adsorption and overscreening

abstract: We investigate active electrolytes within the mean-field level of description. The focus is on how the double-layer structure of passive, thermalized charges is affected by active dynamics of all constituting ions. One feature of active dynamics is that particles adhere to hard-surfaces, regardless of chemical properties of a surface and specifically in complete absence of any chemipsorption or physisorption. To carry out the mean-field analysis of the system that is out of equilibrium, we develop the "mean-field simulation" technique, where the simulated system consists of charged parallel sheets moving on a line and obeying active dynamics, with the interaction strength rescaled by the number of sheets. The mean-field limit becomes exact in the limit of an infinite number of movable sheets.


title: Semantic Binary Segmentation using Convolutional Networks without Decoders

abstract: In this paper, we propose an efficient architecture for semantic image segmentation using the depth-to-space (D2S) operation. Our D2S model is comprised of a standard CNN encoder followed by a depth-to-space reordering of the final convolutional feature maps. Our approach eliminates the decoder portion of traditional encoder-decoder segmentation models and reduces the amount of computation almost by half. As a participant of the DeepGlobe Road Extraction competition, we evaluate our models on the corresponding road segmentation dataset. Our highly efficient D2S models exhibit comparable performance to standard segmentation models with much lower computational cost.


title: Pulsar giant pulse: coherent instability near light cylinder

abstract: Giant pulses (GPs) are extremely bright individual pulses of radio pulsar. In microbursts of Crab pulsar, which is an active GP emitter, zebra-pattern-like spectral structures are observed, which are reminiscent of the `zebra bands' that are observed in type IV solar radio flares. However, band spacing linearly increases with the band center frequency of $\sim5-30$\,GHz. In this study, we propose that the Crab pulsar GP can originate from the coherent instability of plasma near a light cylinder. Further, the growth of coherent instability can be attributed to the resonance observed between the cyclotron-resonant-excited wave and the background plasma oscillation. The particles can be injected into the closed-field line regions owing to magnetic reconnection near a light cylinder. These particles introduce a large amount of free energy that further causes cyclotron-resonant instability, which grows and amplifies radiative waves at frequencies close to the electron cyclotron harmonics that exhibit zebra-pattern-like spectral band structures. Further, these structures can be modulated by the resonance between the cyclotron-resonant-excited wave and the background plasma oscillation. In this scenario, the band structures of the Crab pulsar can be well fitted by a coherent instability model, where the plasma density of a light cylinder should be $\sim10^{13-15}\,\rm{cm^{-3}}$, with an estimated gradient of $>5.5\times10^5\,\rm{cm^{-4}}$. This process may be accompanied by high-energy emissions. Similar phenomena are expected to be detected in other types of GP sources that have magnetic fields of $\simeq10^6$\,G in a light cylinder.


title: Investigating Power Outage Effects on Reliability of Solid-State Drives

abstract: Solid-State Drives (SSDs) are recently employed in enterprise servers and high-end storage systems in order to enhance performance of storage subsystem. Although employing high speed SSDs in the storage subsystems can significantly improve system performance, it comes with significant reliability threat for write operations upon power failures. In this paper, we present a comprehensive analysis investigating the impact of workload dependent parameters on the reliability of SSDs under power failure for variety of SSDs (from top manufacturers). To this end, we first develop a platform to perform two important features required for study: a) a realistic fault injection into the SSD in the computing systems and b) data loss detection mechanism on the SSD upon power failure. In the proposed physical fault injection platform, SSDs experience a real discharge phase of Power Supply Unit (PSU) that occurs during power failure in data centers which was neglected in previous studies. The impact of workload dependent parameters such as workload Working Set Size (WSS), request size, request type, access pattern, and sequence of accesses on the failure of SSDs is carefully studied in the presence of realistic power failures. Experimental results over thousands number of fault injections show that data loss occurs even after completion of the request (up to 700ms) where the failure rate is influenced by the type, size, access pattern, and sequence of IO accesses while other parameters such as workload WSS has no impact on the failure of SSDs.


title: The Restriction Principle and Commuting Families of Toeplitz Operators on the Unit Ball

abstract: On the unit ball B^n we consider the weighted Bergman spaces H_\lambda and their Toeplitz operators with bounded symbols. It is known from our previous work that if a closed subgroup H of \widetilde{\SU(n,1)} has a multiplicity-free restriction for the holomorphic discrete series of $\widetilde{\SU(n,1)}$, then the family of Toeplitz operators with H-invariant symbols pairwise commute. In this work we consider the case of maximal abelian subgroups of \widetilde{\SU(n,1)} and provide a detailed proof of the pairwise commutativity of the corresponding Toeplitz operators. To achieve this we explicitly develop the restriction principle for each (conjugacy class of) maximal abelian subgroup and obtain the corresponding Segal-Bargmann transform. In particular, we obtain a multiplicity one result for the restriction of the holomorphic discrete series to all maximal abelian subgroups. We also observe that the Segal-Bargman transform is (up to a unitary transformation) a convolution operator against a function that we write down explicitly for each case. This can be used to obtain the explicit simultaneous diagonalization of Toeplitz operators whose symbols are invariant by one of these maximal abelian subgroups.


title: URLLC-eMBB Slicing to Support VR Multimodal Perceptions over Wireless Cellular Systems

abstract: Virtual reality (VR) enables mobile wireless users to experience multimodal perceptions in a virtual space. In this paper we investigate the problem of concurrent support of visual and haptic perceptions over wireless cellular networks, with a focus on the downlink transmission phase. While the visual perception requires moderate reliability and maximized rate, the haptic perception requires fixed rate and high reliability. Hence, the visuo-haptic VR traffic necessitates the use of two different network slices: enhanced mobile broadband (eMBB) for visual perception and ultra-reliable and low latency communication (URLLC) for haptic perception. We investigate two methods by which these two slices share the downlink resources orthogonally and non-orthogonally, respectively. We compare these methods in terms of the just-noticeable difference (JND), an established measure in psychophysics, and show that non-orthogonal slicing becomes preferable under a higher target integrated-perceptual resolution and/or a higher target rate for haptic perceptions.


title: Foveated Time Stretch

abstract: Given prior knowledge of the spectral statistics, the SNR of optical waveforms can be manipulated in a reversible manner. We introduce this concept and discuss its potential application to encryption and context-aware detection of weak signals in noisy environments. The same technology performs single shot sparse sampling for optical data compression.


title: Nonlinear quantum optics for spinor slow light

abstract: We investigate quantum nonlinear effects at a level of individual quanta in a double tripod atom-light coupling scheme involving two atomic Rydberg states. In such a scheme the slow light coherently coupled to strongly interacting Rydberg states represents a two-component or spinor light. The scheme provides additional possibilities for the control and manipulation of light quanta. A distinctive feature of the proposed setup is that it combines the spin-orbit coupling for the spinor slow light with an interaction between the photons, enabling generation of the second probe beam even when two-photon detuning is zero. Furthermore, the interaction between the photons can become repulsive if the one-photon detunings have opposite signs. This is different from a single ladder atom-light coupling scheme, in which the interaction between the photons is attractive for both positive and negative detunings, as long as the Rabi frequency of the control beam is not too large.


title: Dialog-based Interactive Image Retrieval

abstract: Existing methods for interactive image retrieval have demonstrated the merit of integrating user feedback, improving retrieval results. However, most current systems rely on restricted forms of user feedback, such as binary relevance responses, or feedback based on a fixed set of relative attributes, which limits their impact. In this paper, we introduce a new approach to interactive image search that enables users to provide feedback via natural language, allowing for more natural and effective interaction. We formulate the task of dialog-based interactive image retrieval as a reinforcement learning problem, and reward the dialog system for improving the rank of the target image during each dialog turn. To mitigate the cumbersome and costly process of collecting human-machine conversations as the dialog system learns, we train our system with a user simulator, which is itself trained to describe the differences between target and candidate images. The efficacy of our approach is demonstrated in a footwear retrieval application. Experiments on both simulated and real-world data show that 1) our proposed learning framework achieves better accuracy than other supervised and reinforcement learning baselines and 2) user feedback based on natural language rather than pre-specified attributes leads to more effective retrieval results, and a more natural and expressive communication interface.


title: LED Selection and MAP Detection for Generalized LED Index Modulation

abstract: In this paper, we propose light-emitting diode (LED) selection that can be applied not only to the conventional Multiple-Input Multiple-Output (MIMO) case, but also to a larger MIMO configuration of generalized LED index modulation (GLIM) system with optical orthogonal frequency division multiplexing (OFDM) in visible light communication (VLC). Moreover, we derive a simplified implementation of the maximum a posteriori (MAP) detector when the number of LEDs is an even number larger than four. Simulation results show that the performance of MAP and LED selection is better than other detection algorithms for larger even numbers of LEDs and conventional GLIM for $4\times4$ transmission, respectively.


title: State Diagrams of a Class of Singular LFSR and Their Applications to the Construction of de Bruijn Cycles

abstract: The state diagrams of a class of singular linear feedback shift registers (LFSR) are discussed. It is shown that the state diagrams of the given LFSR have special structures. An algorithm is presented to construct a new class of de Bruijn cycles from the state diagrams of these singular LFSR.


title: Quantum manipulation of biphoton spectral distributions in a 2D frequency space toward arbitrary shaping of a biphoton wave packet

abstract: In this work, we experimentally manipulate the spectrum and phase of a biphoton wave packet in a two-dimensional frequency space. The spectrum is shaped by adjusting the temperature of the crystal, and the phase is controlled by tilting the dispersive glass plate. The manipulating effects are confirmed by measuring the two-photon spectral intensity (TSI) and the Hong-Ou-Mandel (HOM) interference patterns. Unlike the previous independent manipulation schemes, here we perform joint manipulation on the biphoton spectrum. The technique in this work paves the way for arbitrary shaping of a multi-photon wave packet in a quantum manner.


title: Cayley graphs of order kp are hamiltonian for k < 48

abstract: We provide a computer-assisted proof that if G is any finite group of order kp, where k < 48 and p is prime, then every connected Cayley graph on G is hamiltonian (unless kp = 2). As part of the proof, it is verified that every connected Cayley graph of order less than 48 is either hamiltonian connected or hamiltonian laceable (or has valence less than three).


title: Memory-augmented Dialogue Management for Task-oriented Dialogue Systems

abstract: Dialogue management (DM) decides the next action of a dialogue system according to the current dialogue state, and thus plays a central role in task-oriented dialogue systems. Since dialogue management requires to have access to not only local utterances, but also the global semantics of the entire dialogue session, modeling the long-range history information is a critical issue. To this end, we propose a novel Memory-Augmented Dialogue management model (MAD) which employs a memory controller and two additional memory structures, i.e., a slot-value memory and an external memory. The slot-value memory tracks the dialogue state by memorizing and updating the values of semantic slots (for instance, cuisine, price, and location), and the external memory augments the representation of hidden states of traditional recurrent neural networks through storing more context information. To update the dialogue state efficiently, we also propose slot-level attention on user utterances to extract specific semantic information for each slot. Experiments show that our model can obtain state-of-the-art performance and outperforms existing baselines.


title: Robust Multi-Path Communications for UAVs in the Urban IoT

abstract: Unmanned Aerial Vehicle (UAV) systems are being increasingly used in a broad range of scenarios and applications. However, their deployment in urban areas poses important technical challenges. One of the most prominent concerns is the robustness of communications between the ground stations and the UAVs in a highly dynamic and crowded spectrum. Indeed, competing data streams may create local or temporary congestion impairing the ground stations to control the UAVs. The main contribution of this paper is a robust multi-path communication framework for UAV systems. The framework continuously probes the performance of multiple wireless multi-hop paths from the ground stations to each UAV, and dynamically selects the path providing the best performance to support timely control. Numerical results, based on a real-world implementation and extensive field experimentation, demonstrate the ability of the proposed framework to provide robust control against exogenous interference and network congestion.


title: On the Equivalence of Generative and Discriminative Formulations of the Sequential Dependence Model

abstract: The sequential dependence model (SDM) is a popular retrieval model which is based on the theory of probabilistic graphical models. While it was originally introduced by Metzler and Croft as a Markov Random Field (aka discriminative probabilistic model), in this paper we demonstrate that it is equivalent to a generative probabilistic model. To build an foundation for future retrieval models, this paper details the axiomatic underpinning of the SDM model as discriminative and generative probabilistic model. The only difference arises whether model parameters are estimated in log-space or Multinomial-space. We demonstrate that parameter-estimation with grid-tuning is negatively impacting the generative formulation, an effect that vanishes when parameters are estimated with coordinate-gradient descent. This is concerning, since empirical differences may be falsely attributed to improved models.


title: Around the nearby cycle functor for arithmetic $\mathscr{D}$-modules

abstract: We will establish a nearby and vanishing cycle formalism for the arithmetic $\mathscr{D}$-module theory following Beilinson's philosophy. As an application, we define smooth objects in the framework of arithmetic $\mathscr{D}$-modules whose category is equivalent to the category of overconvergent isocrystals.


title: Consensus-based Distributed Quantile Estimation in Sensor Networks

abstract: A quantile is defined as a value below which random draws from a given distribution falls with a given probability. In a centralized setting where the cumulative distribution function (CDF) is unknown, the empirical CDF (ECDF) can be used to estimate such quantiles after aggregating the data. In a fully distributed sensor network, however, it is challenging to estimate quantiles. This is because each sensor node observes local measurement data with limited storage and data transmission power which make it difficult to obtain the global ECDF. This paper proposes consensus-based quantile estimation for such a distributed network. The states of the proposed algorithm are recursively updated with two-steps at each iteration: one is a local update based on the measurement data and the current state, and the other is averaging the updated states with neighboring nodes. We consider the realistic case of communication links between nodes being corrupted by independent random noise. It is shown that the estimated state sequence is asymptotically unbiased and converges toward the sample quantile in the mean-square sense. The two step-size sequences corresponding to the averaging and local update steps result in a mixed-time scale algorithm with proper decay rates in order to achieve convergence. We also provide applications to distributed estimation of trimmed mean, computation of median, maximum, or minimum values and identification of outliers through simulation.


title: Live Functional Programming with Typed Holes

abstract: This paper develops a dynamic semantics for incomplete functional programs, starting from the static semantics developed in recent work on Hazelnut. We model incomplete functional programs as expressions with holes, with empty holes standing for missing expressions or types, and non-empty holes operating as membranes around static and dynamic type inconsistencies. Rather than aborting when evaluation encounters any of these holes as in some existing systems, evaluation proceeds around holes, tracking the closure around each hole instance as it flows through the remainder of the program. Editor services can use the information in these hole closures to help the programmer develop and confirm their mental model of the behavior of the complete portions of the program as they decide how to fill the remaining holes. Hole closures also enable a fill-and-resume operation that avoids the need to restart evaluation after edits that amount to hole filling. Formally, the semantics borrows machinery from both gradual type theory (which supplies the basis for handling unfilled type holes) and contextual modal type theory (which supplies a logical basis for hole closures), combining these and developing additional machinery necessary to continue evaluation past holes while maintaining type safety. We have mechanized the metatheory of the core calculus, called Hazelnut Live, using the Agda proof assistant. We have also implemented these ideas into the Hazel programming environment. The implementation inserts holes automatically, following the Hazelnut edit action calculus, to guarantee that every editor state has some (possibly incomplete) type. Taken together with this paper's type safety property, the result is a proof-of-concept live programming environment where rich dynamic feedback is truly available without gaps, i.e. for every reachable editor state.


title: Towards a globular path object for weak $\infty$-groupoids

abstract: The goal of this paper is to address the problem of building a path object for the category of Grothendieck (weak) $\infty$-groupoids. This is the missing piece for a proof of Grothendieck's homotopy hypothesis. We show how to endow the putative underlying globular set with a system of composition, a system of identities and a system of inverses, together with an approximation of the interpretation of any map for a theory of $\infty$-categories. Finally, we introduce a coglobular $\infty$-groupoid representing modifications of $\infty$-groupoids, and prove some basic properties it satisfies, that will be exploited to interpret all $2$-dimensional categorical operations on cells of the path object $\mathbb{P} X$ of a given $\infty$-groupoid $X$.


title: The chromatic number of the plane is at least 5 - a new proof

abstract: We present an alternate proof of the fact that given any 4-coloring of the plane there exist two points unit distance apart which are identically colored.


title: Optimal Load-Balancing for High-Density Wireless Networks with Flow-Level Dynamics

abstract: We consider the load-balancing design for forwarding incoming flows to access points (APs) in high-density wireless networks with both channel fading and flow-level dynamics, where each incoming flow has a certain amount of service demand and leaves the system once its service request is complete (referred as flow-level dynamic model). The efficient load-balancing design is strongly needed for supporting high-quality wireless connections in high-density areas. Despite the presence of a variety of earlier works on the design and analysis of the load-balancing schemes in wireless networks, there does not exist a work on the load-balancing design in the realistic flow-level dynamic model. In this work, we propose a Join-the-Least-Workload (JLW) Algorithm that always forwards the incoming flows to the AP with the smallest workload in the presence of flow-level dynamics. However, our considered flow-level dynamic model differs from traditional queueing model for wireless networks in the following two aspects: (1) the dynamics of the flows is short-term and flows will leave the network once they received the desired amount of service; (2) each individual flow faces an independent channel fading. These differences pose significant challenges on the system performance analysis. To tackle these challenges, we perform Lyapunov-drift-based analysis of the stochastic network taking into account sharp flow-level dynamics. Our analysis reveals that our proposed JLW Algorithm not only achieves maximum system throughput, but also minimizes the total system workload in heavy-traffic regimes. Moreover, we observe from both our theoretical and simulation results that the mean total workload performance under the proposed JLW Algorithm does not degrade as the number of APs increases, which is strongly desirable in high-density wireless networks.


title: Detecting Galaxy-Filament Alignments in the Sloan Digital Sky Survey III

abstract: Previous studies have shown the filamentary structures in the cosmic web influence the alignments of nearby galaxies. We study this effect in the LOWZ sample of the Sloan Digital Sky Survey using the "Cosmic Web Reconstruction" filament catalogue. We find that LOWZ galaxies exhibit a small but statistically significant alignment in the direction parallel to the orientation of nearby filaments. This effect is detectable even in the absence of nearby galaxy clusters, which suggests it is an effect from the matter distribution in the filament. A nonparametric regression model suggests that the alignment effect with filaments extends over separations of 30-40 Mpc. We find that galaxies that are bright and early-forming align more strongly with the directions of nearby filaments than those that are faint and late-forming; however, trends with stellar mass are less statistically significant, within the narrow range of stellar mass of this sample.


title: Moving Mesh simulation of contact sets in two dimensional models of elastic-electrostatic deflection problems

abstract: Numerical and analytical methods are developed for the investigation of contact sets in electrostatic-elastic deflections modeling micro-electro mechanical systems. The model for the membrane deflection is a fourth-order semi-linear partial differential equation and the contact events occur in this system as finite time singularities. Primary research interest is in the dependence of the contact set on model parameters and the geometry of the domain. An adaptive numerical strategy is developed based on a moving mesh partial differential equation to dynamically relocate a fixed number of mesh points to increase density where the solution has fine scale detail, particularly in the vicinity of forming singularities. To complement this computational tool, a singular perturbation analysis is used to develop a geometric theory for predicting the possible contact sets. The validity of these two approaches are demonstrated with a variety of test cases.


title: Natural Higgs Inflation, Gauge Coupling Unification, and Neutrino Masses

abstract: We present a class of non-supersymmetric models in which so-called critical Higgs inflation ($\xi<100$) naturally can be realized without using specific values for Higgs and top quark masses. In these scenarios, the Standard Model (SM) vacuum stability problem, gauge coupling unification, neutrino mass generation and Higgs inflation mechanism are linked to each other. We adopt in our models Type I seesaw mechanism for neutrino masses. An appropriate choice of the Type I Seesaw scale allows us to have an arbitrarily small but positive value of SM Higgs quartic coupling around the inflation scale. We present a few benchmark points where we show that the scalar spectral indices are around 0.9626 and 0.9685 for the number of e-folding $N=50$ and $N=60$ respectively. The tensor-to-scalar ratios are order of $10^{-3}$. The running of the scalar spectral index is negative and is order of $10^{-4}$.


title: Estimating the spectrum in computed tomography via Kullback-Leibler divergence constrained optimization

abstract: We study the problem of spectrum estimation from transmission data of a known phantom. The goal is to reconstruct an x-ray spectrum that can accurately model the x-ray transmission curves and reflects a realistic shape of the typical energy spectra of the CT system. To this end, spectrum estimation is posed as an optimization problem with x-ray spectrum as unknown variables, and a Kullback-Leibler (KL) divergence constraint is employed to incorporate prior knowledge of the spectrum and enhance numerical stability of the estimation process. The formulated constrained optimization problem is convex and can be solved efficiently by use of the exponentiated-gradient (EG) algorithm. We demonstrate the effectiveness of the proposed approach on the simulated and experimental data. The comparison to the expectation-maximization (EM) method is also discussed. In simulations, the proposed algorithm is seen to yield x-ray spectra that closely match the ground truth and represent the attenuation process of x-ray photons in materials, both included and not included in the estimation process. In experiments, the calculated transmission curve is in good agreement with the measured transmission curve, and the estimated spectra exhibits physically realistic looking shapes. The results further show the comparable performance between the proposed optimization-based approach and EM. In conclusion, our formulation of a constrained optimization provides an interpretable and flexible framework for spectrum estimation. Moreover, a KL-divergence constraint can include a prior spectrum and appears to capture important features of x-ray spectrum, allowing accurate and robust estimation of x-ray spectrum in CT imaging.


title: Global large solutions and incompressible limit for the compressible flow of liquid crystals

abstract: The present paper is dedicated to the global large solutions and incompressible limit for the compressible flow of liquid crystals under the assumption on almost constant density and large volume viscosity. The result is based on Fourier analysis and involved so-called critical Besov norm.


title: Affine Multiplexing Networks: System Analysis, Learning, and Computation

abstract: We introduce a novel architecture and computational framework for formal, automated analysis of systems with a broad set of nonlinearities in the feedback loop, such as neural networks, vision controllers, switched systems, and even simple programs. We call this computational structure an affine multiplexing network (AMN). The architecture is based on interconnections of two basic conceptual building blocks: multiplexers ($\mu$), and affine transformations ($\alpha$). When attached together appropriately, these building blocks translate to conjunctions and disjunctions of affine statements, resulting in an encoding of the network into satisfiability modulo theory (SMT), mixed integer programming, and sequential convex optimization solvers. We show how to formulate and verify system properties like stability and robustness, how to compute margins, and how to verify performance through a sequence of SMT queries. As illustration, we use the framework to verify closed loop, possibly nonlinear dynamical systems that contain neural networks in the loop, and hint at a number of extensions that can make AMNs a potent playground for interfacing between machine learning, control, convex and nonconvex optimization, and formal methods.


title: Convolutional Neural Network Architectures for Signals Supported on Graphs

abstract: Two architectures that generalize convolutional neural networks (CNNs) for the processing of signals supported on graphs are introduced. We start with the selection graph neural network (GNN), which replaces linear time invariant filters with linear shift invariant graph filters to generate convolutional features and reinterprets pooling as a possibly nonlinear subsampling stage where nearby nodes pool their information in a set of preselected sample nodes. A key component of the architecture is to remember the position of sampled nodes to permit computation of convolutional features at deeper layers. The second architecture, dubbed aggregation GNN, diffuses the signal through the graph and stores the sequence of diffused components observed by a designated node. This procedure effectively aggregates all components into a stream of information having temporal structure to which the convolution and pooling stages of regular CNNs can be applied. A multinode version of aggregation GNNs is further introduced for operation in large scale graphs. An important property of selection and aggregation GNNs is that they reduce to conventional CNNs when particularized to time signals reinterpreted as graph signals in a circulant graph. Comparative numerical analyses are performed in a source localization application over synthetic and real-world networks. Performance is also evaluated for an authorship attribution problem and text category classification. Multinode aggregation GNNs are consistently the best performing GNN architecture.


title: Higgs-Axion interplay and anomalous magnetic phase diagram in TlCuCl$_3$

abstract: What is so unique in TlCuCl3 which drives so many unique magnetic features in this compound? To study these properties, here we employ a combination of ab-initio band structure, tight-binding model, and an effective quantum field theory. Within a density-functional theory (DFT) calculation, we find an unexpected bulk Dirac cone without spin-orbit coupling (SOC). Tracing back to its origin, we identify, for the first time, the presence of a Su-Schrieffer-Heeger (SSH) like dimerized Cu chain lying in the 3D crystal structure. The SSH chain, combined with SOC, stipulates an anisotropic 3D Dirac cone where chiral and helical states are intertwined. As a Heisenberg interaction is introduced, we show that the dimerized Cu sublattices of the SSH chain condensate into spin-singlet, dimerized magnets. In the magnetic ground state, we also find a topological phase, distinguished by the axion angle. Finally, to study how the topological axion term couples to magnetic excitations, we derive a Chern-Simons-Ginzburg-Landau action from the 3D SSH Hamiltonian. We find that axion term provides an additional mass term to the Higgs mode, and a lifetime to paramagnons, which are independent of the quantum critical physics. The axion-Higgs interplay can be probed with electric and magnetic field applied parallel or anti-parallel to each other.


title: Quantum dissipation of a heavy quark from a nonlinear stochastic Schr\"odinger equation

abstract: We study the open system dynamics of a heavy quark in the quark-gluon plasma using a Lindblad master equation. Applying the quantum state diffusion approach by Gisin and Percival, we derive and numerically solve a nonlinear stochastic Schr\"odinger equation for wave functions, which is equivalent to the Lindblad master equation for the density matrix. From our numerical analysis in one spatial dimension, it is shown that the density matrix relaxes to the Boltzmann distribution in various setups (with and without external potentials), independently of the initial conditions. We also confirm that quantum dissipation plays an essential role not only in the long-time behavior of the heavy quark but also at early times if the heavy quark initial state is localized and quantum decoherence is ineffective.


title: Probing the Unruh effect with an accelerated extended system

abstract: It has been proved in the context of quantum fields in Minkowski spacetime that the vacuum state is a thermal state according to uniformly accelerated observers -- a seminal result known as the Unruh effect. Recent claims, however, have challenged the validity of this result for extended systems, thus casting doubts on its physical reality. Here, we study the dynamics of an extended system, uniformly accelerated in the vacuum. We show that its reduced density matrix evolves to a Gibbs thermal state with local temperature given by the Unruh temperature. This proves that the vacuum state does induce thermalization of an accelerated extended system -- which is all one can expect of a legitimate thermal reservoir.


title: Multi-Step Knowledge-Aided Iterative ESPRIT for Direction Finding

abstract: In this work, we propose a subspace-based algorithm for DOA estimation which iteratively reduces the disturbance factors of the estimated data covariance matrix and incorporates prior knowledge which is gradually obtained on line. An analysis of the MSE of the reshaped data covariance matrix is carried out along with comparisons between computational complexities of the proposed and existing algorithms. Simulations focusing on closely-spaced sources, where they are uncorrelated and correlated, illustrate the improvements achieved.


title: Large Chiroptical Effects in Planar Chiral Metamaterials

abstract: Chiroptical effects, characterized by different optical responses for left- (LCP) and right- handed circularly polarized light (RCP), are powerful and valuable tools in optics with wide applications in polarization resolved imaging and sensing. Previously observed strong chiroptical effects are limited to metamaterials with complex three-dimensional chiral structures at the sub-wavelength scale. Although asymmetrical transmission of LCP and RCP have been investigated in planar chiral metasurfaces, the observed weak chiroptical effects result from anisotropic Ohmic dissipation of the metal constituents. Here, we demonstrate by theory and proof-of-concept experiments that large difference in transmittances of LCP and RCP can be attained in a single-layer planar chiral metamaterial with a sub-wavelength thickness. Without violating the reciprocity and mirror symmetry, the strong chiroptical effect, independent of dielectric loss, arise from a novel mechanism of multimode interference. The described effect may lead to new gateway towards chiral manipulations of light and chiral optical devices.


title: Optoelectronic spin memories of electrons in semiconductors

abstract: We optically generate electron spins in semiconductors and apply an external magnetic field perpendicularly to them. Time-resolved photoluminescence measurements, pumped with a circularly polarized light, are performed to study the spin polarization and spin memory times in the semiconducting host. The measured spin polarization is found to be an exponential decay with the time delay of the probe. It is also found that the spin memory times, extracted from the polarization decays, enhance with the strength of the external magnetic field. However, at higher fields, the memory times get saturated to sub-{\mu}s because of the coupling for interacting electrons with the local nuclear field.


title: Calculation of large-aspect-ratio tokamak and toroidally-averaged stellarator equilibria of high-beta reduced magnetohydrodynamics via simulated annealing

abstract: A simulated annealing (SA) relaxation method is used for calculation of high-beta reduced magnetohydrodynamics (MHD) equilibria in toroidal geometry. The SA method, based on artificial dynamics derived from the MHD Hamiltonian structure, is used to calculate equilibria of large-aspect-ratio and circular-cross-section tokamaks as well as toroidally averaged stellarators. Tokamak equilibria including incompressible poloidal rotations are obtained and the Shafranov shift is seen to increase nearly quadratically in the rotation speed. A mapping procedure between non-rotating and poloidally rotating equilibria is shown to explain a quadratic dependence of equilibria shift on rotation. Calculated stellarator equilibria are seen to agree reasonably with previous results. The numerical results demonstrate the first successful application of the SA method to obtain toroidal equilibria.


title: Wake effects of a stationary charged grain in streaming magnetized ions

abstract: A systematic numerical study of wake potential and ion density distribution of a single grain in streaming ions under the influence of the magnetic field applied along flow is presented. Strong magnetic field introduces ion focus depletion behind grain facilitating the entrance of electrons far away in the downstream towards the grain. It is shown that the magnetic field suppresses the amplitude of wake potential and modifies the ion density distribution substantially. The wake peak potential and position characteristics, and density distribution of plasma constituents in the presence of magnetic field and charge-exchange collisions for the subsonic, sonic, and supersonic regime is also delineated. In the subsonic regime, simulations demonstrate the accumulation of ions near dust grain in the transverse direction while complete suppression of oscillations in the transverse direction takes place for sonic and subsonic regime.


title: Two-step frequency conversion for connecting distant quantum memories by transmission through an optical fiber

abstract: Long-distance quantum communication requires entanglement between distant quantum memories. For this purpose, photon transmission is necessary to connect the distant memories. Here, for the first time, we develop a two-step frequency conversion process (from a visible wavelength to a telecommunication wavelength and back) involving the use of independent two-frequency conversion media where the target quantum memories are nitrogen-vacancy centers in diamonds (with an emission/absorption wavelength of 637.2 nm), and experimentally characterize the performance of this process acting on light from an attenuated CW laser. A total conversion efficiency of approximately 7% is achieved. The noise generated in the frequency conversion processes is measured, and the signal-to-noise ratio is estimated for a single photon signal emitted by a nitrogen-vacancy (NV) center. The developed frequency conversion system has future applications via transmission through a long optical fiber channel at a telecommunication wavelength for a quantum repeater network.


title: Revisiting PbTe to identify how thermal conductivity is really limited

abstract: Due to the long range interaction in lead telluride (PbTe), the transverse optical (TO) phonon becomes soft around the Brillouin zone center. Previous studies have postulated that this zone-center softening causes the low thermal conductivity of PbTe through either enlarged phonon scattering phase space and/or strengthened lattice anharmonicity. In this work, we reported an extensive sensitivity analysis of the PbTe thermal conductivity to various factors: range and magnitude of harmonic and anharmonic interatomic force constants, and phonon wavevectors in the three-phonon scattering processes. The analysis reveals that the softening by long range harmonic interaction itself does not reduce thermal conductivity and it is the large magnitude of the anharmonic (cubic) force constants that realizes low thermal conductivity, however, not through the TO phonons around the zone center but dominantly through the ones with larger wavevectors in the middle of Brillion zone. The work clarifies that local band softening cannot be a direct finger print for low thermal conductivity and the entire Brillion zone needs to be characterized on exploring low thermal conductivity materials.


title: Low-complexity separable beamformers for massive antenna array systems

abstract: Future cellular systems will likely employ massive bi-dimensional arrays to improve performance by large array gain and more accurate spatial filtering, motivating the design of low-complexity signal processing methods. We propose optimising a Kronecker-separable beamforming filter that takes advantage of the bi-dimensional array geometry to reduce computational costs. The Kronecker factors are obtained using two strategies: alternating optimisation, and sub-array minimum mean square error beamforming with Tikhonov regularization. According to the simulation results, the proposed methods are computationally efficient but come with source recovery degradation, which becomes negligible when the sources are sufficiently separated in space.


title: Lepton Flavor Violating Decays of $B$ and $K$ Mesons in Models with Extended Gauge Group

abstract: Lepton Flavor Violating (LFV) decays are forbidden in the Standard Model (SM) and to explore them one has to go beyond it. The flavor changing neutral current induced Lepton Flavor Conserving and LFV decays of $K$ and $B$ mesons are discussed in the gauge group $G = SU(2)_L\times U(1)_{Y_1}\times SU(2)_X$. The lepto-quark $X^{\pm 2/3}_{\mu}$ corresponding to gauge group $ SU(2)_X$ allows the quark-lepton transitions and hence giving a framework to construct the effective Lagrangian for the LFV decays. The mass of lepto-quark $m_{X}$ provides a scale at which the gauge group $G$ is broken to the SM gauge group. Using the most stringent experimental limit $\mathcal{B}(K^{0}_{L}\to \mu^{\mp}e^{\pm}) < 1.7 \times 10^{-12}$, the upper bound on the effective coupling constant $(\frac{G_{X}}{G_F})^2 < 1.1 \times 10^{-10}$ is obtained for certain pairing of lepton and quark generations in the representation $(2, \bar{2})$ of the group $G$. Later, the effective Lagrangian for the LFV meson decays for the gauge group $G = \left[SU(2)_{L}\times SU(2)_{R}\times U(1)_{Y_1^{\prime}}\right]\times SU(2)_{X}$ is constructed. Using $\mathcal{B}(K^{-} \to \pi^{-}\nu \bar{\nu}) = (1.7 \pm 1.1)\times 10^{-10}$, the bound on the ratio of effective couplings is obtained to be $\left(\frac{G_{X}}{G_{F}}\right)^2 < 10^{-10}$. A number of decay modes are discussed which provide a promising area to test this model in the current and future particle physics experiments.


title: Dynamic Sentence Sampling for Efficient Training of Neural Machine Translation

abstract: Traditional Neural machine translation (NMT) involves a fixed training procedure where each sentence is sampled once during each epoch. In reality, some sentences are well-learned during the initial few epochs; however, using this approach, the well-learned sentences would continue to be trained along with those sentences that were not well learned for 10-30 epochs, which results in a wastage of time. Here, we propose an efficient method to dynamically sample the sentences in order to accelerate the NMT training. In this approach, a weight is assigned to each sentence based on the measured difference between the training costs of two iterations. Further, in each epoch, a certain percentage of sentences are dynamically sampled according to their weights. Empirical results based on the NIST Chinese-to-English and the WMT English-to-German tasks depict that the proposed method can significantly accelerate the NMT training and improve the NMT performance.


title: Characteristic quasi-polynomials of ideals and signed graphs of classical root systems

abstract: With a main tool is signed graphs, we give a full description of the characteristic quasi-polynomials of ideals of classical root systems ($ABCD$) with respect to the integer and root lattices. As a result, we obtain a full description of the characteristic polynomials of the toric arrangements defined by these ideals. As an application, we provide a combinatorial verification to the fact that the characteristic polynomial of every ideal subarrangement factors over the dual partition of the ideal in the classical cases.


title: Tiling iterated function systems and Anderson-Putnam theory

abstract: The theory of fractal tilings of fractal blow-ups is extended to graph-directed iterated function systems, resulting in generalizations and extensions of some of the theory of Anderson and Putnam and of Bellisard et al. regarding self-similar tilings.


title: Spectrally Robust Graph Isomorphism

abstract: We initiate the study of spectral generalizations of the graph isomorphism problem. (a)The Spectral Graph Dominance (SGD) problem: On input of two graphs $G$ and $H$ does there exist a permutation $\pi$ such that $G\preceq \pi(H)$? (b) The Spectrally Robust Graph Isomorphism (SRGI) problem: On input of two graphs $G$ and $H$, find the smallest number $\kappa$ over all permutations $\pi$ such that $ \pi(H) \preceq G\preceq \kappa c \pi(H)$ for some $c$. SRGI is a natural formulation of the network alignment problem that has various applications, most notably in computational biology. Here $G\preceq c H$ means that for all vectors $x$ we have $x^T L_G x \leq c x^T L_H x$, where $L_G$ is the Laplacian $G$. We prove NP-hardness for SGD. We also present a $\kappa$-approximation algorithm for SRGI for the case when both $G$ and $H$ are bounded-degree trees. The algorithm runs in polynomial time when $\kappa$ is a constant.


title: Birational geometry for d-critical loci and wall-crossing in Calabi-Yau 3-folds

abstract: The notion of d-critical loci was introduced by Joyce in order to give classical shadows of $(-1)$-shifted symplectic derived schemes. In this paper, we discuss birational geometry for d-critical loci, by introducing notions such as `d-critical flips', `d-critical flops', etc. They are not birational maps of the underlying spaces, but rather should be understood as virtual birational maps. We show that several wall-crossing phenomena of moduli spaces of stable objects on Calabi-Yau 3-folds are described in terms of d-critical birational geometry. Among them, we show that wall-crossing diagrams of Pandharipande-Thomas (PT) stable pair moduli spaces, which are relevant in showing the rationality of PT generating series, form a d-critical minimal model program.


title: Semiorthogonal decompositions of stable pair moduli spaces via d-critical flips

abstract: We show the existence of semiorthogonal decompositions (SOD) of Pandharipande-Thomas (PT) stable pair moduli spaces on Calabi-Yau 3-folds with irreducible curve classes, assuming relevant moduli spaces are non-singular. The above result is motivated by categorifications of wall-crossing formula of PT invariants in the derived category, and also a d-critical analogue of Bondal-Orlov, Kawamata's D/K equivalence conjecture. We also give SOD of stable pair moduli spaces on K3 surfaces, which categorifies Kawai-Yoshioka's formula proving Katz-Klemm-Vafa formula for PT invariants on K3 surfaces with irreducible curve classes.


title: Compact Factorization of Matrices Using Generalized Round-Rank

abstract: Matrix factorization is a well-studied task in machine learning for compactly representing large, noisy data. In our approach, instead of using the traditional concept of matrix rank, we define a new notion of link-rank based on a non-linear link function used within factorization. In particular, by applying the round function on a factorization to obtain ordinal-valued matrices, we introduce generalized round-rank (GRR). We show that not only are there many full-rank matrices that are low GRR, but further, that these matrices cannot be approximated well by low-rank linear factorization. We provide uniqueness conditions of this formulation and provide gradient descent-based algorithms. Finally, we present experiments on real-world datasets to demonstrate that the GRR-based factorization is significantly more accurate than linear factorization, while converging faster and using lower rank representations.


title: Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming

abstract: Evolutionary Biologists have long struggled with the challenge of developing analysis workflows in a flexible manner, thus facilitating the reuse of phylogenetic knowledge. An evolutionary biology workflow can be viewed as a plan which composes web services that can retrieve, manipulate, and produce phylogenetic trees. The Phylotastic project was launched two years ago as a collaboration between evolutionary biologists and computer scientists, with the goal of developing an open architecture to facilitate the creation of such analysis workflows. While composition of web services is a problem that has been extensively explored in the literature, including within the logic programming domain, the incarnation of the problem in Phylotastic provides a number of additional challenges. Along with the need to integrate preferences and formal ontologies in the description of the desired workflow, evolutionary biologists tend to construct workflows in an incremental manner, by successively refining the workflow, by indicating desired changes (e.g., exclusion of certain services, modifications of the desired output). This leads to the need of successive iterations of incremental replanning, to develop a new workflow that integrates the requested changes while minimizing the changes to the original workflow. This paper illustrates how Phylotastic has addressed the challenges of creating and refining phylogenetic analysis workflows using logic programming technology and how such solutions have been used within the general framework of the Phylotastic project. Under consideration in Theory and Practice of Logic Programming (TPLP).


title: Self-anisotropizing inflationary universe in Horndeski theory and beyond

abstract: As opposed to Wald's cosmic no-hair theorem in general relativity, it is shown that the Horndeski theory (and its generalization) admits anisotropic inflationary attractors if the Lagrangian depends cubically on the second derivatives of the scalar field. We dub such a solution as a self-anisotropizing inflationary universe because anisotropic inflation can occur without introducing any anisotropic matter fields such as a vector field. As a concrete example of self-anisotropization we present the dynamics of a Bianchi type-I universe in the Horndeski theory.


title: Hom-Lie structures on Kac-Moody algebras

abstract: We describe Hom-Lie structures on affine Kac-Moody and related Lie algebras, and discuss the question when they form a Jordan algebra.


title: Response Ranking with Deep Matching Networks and External Knowledge in Information-seeking Conversation Systems

abstract: Intelligent personal assistant systems with either text-based or voice-based conversational interfaces are becoming increasingly popular around the world. Retrieval-based conversation models have the advantages of returning fluent and informative responses. Most existing studies in this area are on open domain "chit-chat" conversations or task / transaction oriented conversations. More research is needed for information-seeking conversations. There is also a lack of modeling external knowledge beyond the dialog utterances among current conversational models. In this paper, we propose a learning framework on the top of deep neural matching networks that leverages external knowledge for response ranking in information-seeking conversation systems. We incorporate external knowledge into deep neural models with pseudo-relevance feedback and QA correspondence knowledge distillation. Extensive experiments with three information-seeking conversation data sets including both open benchmarks and commercial data show that, our methods outperform various baseline methods including several deep text matching models and the state-of-the-art method on response selection in multi-turn conversations. We also perform analysis over different response types, model variations and ranking examples. Our models and research findings provide new insights on how to utilize external knowledge with deep neural models for response selection and have implications for the design of the next generation of information-seeking conversation systems.


title: Exploring the Accuracy of MIRT Scale Linking Procedures for Mixed-format Tests

abstract: This study investigates the accuracy of Stocking-Lord scale linking procedures for UIRT and MIRT models with common-item nonequivalent-group design for mixed-format tests under two anchor conditions: MC-Only and MC-CR across three different levels of format effects (FEs). Results provide recommendations on the appropriateness of UIRT and two MIRT models when FEs present under each anchor scenario.


title: Generic Single Edge Fault Tolerant Exact Distance Oracle

abstract: Given an undirected unweighted graph $G$ and a source set $S$ of $|S| = \sigma $ sources, we want to build a data structure which can process the following query {\sc Q}$(s,t,e):$ find the shortest distance from $s$ to $t$ avoiding an edge $e$, where $s \in S$ and $t \in V$. When $\sigma=n$, Demetrescu, Thorup, Chowdhury and Ramachandran (SIAM Journal of Computing, 2008) designed an algorithm with $\tilde O(n^2)$ space ($\tilde O(\cdot)$ hides poly $\log n$ factor.) and $O(1)$ query time. A natural open question is to generalize this result to any number of sources. Recently, Bil{\`o} et. al. (STACS 2018) designed a data-structure of size $\tilde O(\sigma^{1/2}n^{3/2})$ with the query time of $O(\sqrt{n\sigma})$ for the above problem. We improve their result by designing a data-structure of size $\tilde O(\sigma^{1/2} n^{3/2})$ that can answer queries in $\tilde O(1)$ time. In a related problem of finding fault tolerant subgraph, Parter and Peleg (ESA 2013) showed that if detours of the {\em replacement} paths ending at a vertex $t$ are disjoint, then the number of such paths is $O(\sqrt{n\sigma})$. This eventually gives a bound of $O( n \sqrt{n \sigma}) = O(\sigma^{1/2}n^{3/2})$ for their problem. {\em Disjointness of detours} is a very crucial property used in the above result. We show a similar result for a subset of replacement path which \textbf{may not} be disjoint. This result is the crux of our paper and may be of independent interest.?


title: Many-Body Blow-Up Profile of Boson Stars with External Potentials

abstract: We consider a 3D quantum system of $N$ identical bosons in a trapping potential $|x|^p$, with $p\geq0$, interacting via a Newton potential with an attractive interaction strength $a_{N}$. For a fixed large $N$ and the coupling constant $a_{N}$ smaller than a critical value $a_{*}$ (Chandrasekhar limit mass), in an appropriate sense, the many-body system admits a ground state. We investigate the blow-up behavior of the ground state energy as well as the ground states when $a_{N}$ approaches $a_{*}$ sufficiently slowly in the limit $N\to\infty$. The blow-up profile is given by the Gagliardo-Nirenberg solutions.


title: Fixation Data Analysis for High Resolution Satellite Images

abstract: The presented study is an eye tracking experiment for high-resolution satellite (HRS) images. The reported experiment explores the Area Of Interest (AOI) based analysis of eye fixation data for complex HRS images. The study reflects the requisite of reference data for bottom-up saliency-based segmentation and the struggle of eye tracking data analysis for complex satellite images. The intended fixation data analysis aims towards the reference data creation for bottom-up saliency-based segmentation of high-resolution satellite images. The analytical outcome of this experimental study provides a solution for AOI-based analysis for fixation data in the complex environment of satellite images and recommendations for reference data construction which is already an ongoing effort.


title: Tie-decay networks in continuous time and eigenvector-based centralities

abstract: Network theory is a useful framework for studying interconnected systems of interacting entities. Many networked systems evolve continuously in time, but most existing methods for the analysis of time-dependent networks rely on discrete or discretized time. In this paper, we propose an approach for studying networks that evolve in continuous time by distinguishing between \emph{interactions}, which we model as discrete contacts, and \emph{ties}, which encode the strengths of relationships as functions of time. To illustrate our tie-decay network formalism, we adapt the well-known PageRank centrality score to our tie-decay framework in a mathematically tractable and computationally efficient way. We apply this framework to a synthetic example and then use it to study a network of retweets during the 2012 National Health Service controversy in the United Kingdom. Our work also provides guidance for similar generalizations of other tools from network theory to continuous-time networks with tie decay, including for applications to streaming data.

categories: physics.soc-ph cs.NA cs.SI math.NA math.PR nlin.AO


title: Intrinsic Complexity And Scaling Laws: From Random Fields to Random Vectors

abstract: Random fields are commonly used for modeling of spatially (or timely) dependent stochastic processes. In this study, we provide a characterization of the intrinsic complexity of a random field in terms of its second order statistics, e.g., the covariance function, based on the Karhumen-Lo\'{e}ve expansion. We then show scaling laws for the intrinsic complexity of a random field in terms of the correlation length as it goes to 0. In the discrete setting, it becomes approximate embeddings of a set of random vectors. We provide a precise scaling law when the random vectors have independent and identically distributed entires using random matrix theory as well as when the random vectors has a specific covariance structure.


title: An Annotated Corpus for Machine Reading of Instructions in Wet Lab Protocols

abstract: We describe an effort to annotate a corpus of natural language instructions consisting of 622 wet lab protocols to facilitate automatic or semi-automatic conversion of protocols into a machine-readable format and benefit biological research. Experimental results demonstrate the utility of our corpus for developing machine learning approaches to shallow semantic parsing of instructional texts. We make our annotated Wet Lab Protocol Corpus available to the research community.


title: A generalization of strongly monomial groups

abstract: Olivieri, del R{\'{\i}}o and Sim{\'o}n defined strongly monomial groups and a significant result proved by them is the explicit description of the simple components of the rational group algebra $\mathbb{Q}G$ of a strongly monomial group $G$. In this paper, generalized strongly monomial groups are defined, which is a generalization of strongly monomial groups. Beside strongly monomial groups, an extensive list of important families of groups which are generalized strongly monomial is produced. A description of the simple components of $\mathbb{Q}G$, when $G$ is a generalized strongly monomial group, is also provided. Furthermore, the work by Jespers, Olteanu, del R{\'{\i}}o and Van Gelder on the construction of a subgroup of finite index in the group of central units of integral group ring of a strongly monomial group has also been generalized.


title: Small amplitude limit of solitary waves for the Euler-Poisson system

abstract: The one-dimensional Euler-Poisson system arises in the study of phenomena of plasma such as plasma solitons, plasma sheaths, and double layers. When the system is rescaled by the Gardner-Morikawa transformation, the rescaled system is known to be formally approximated by the Korteweg-de Vries (KdV) equation. In light of this, we show existence of solitary wave solutions of the Euler-Poisson system in the stretched moving frame given by the transformation, and prove that they converge to the solitary wave solution of the associated KdV equation as the small amplitude parameter tends to zero. Our results assert that the formal expansion for the rescaled system is mathematically valid in the presence of solitary waves and justify Sagdeev's formal approximation for the solitary wave solutions of the pressureless Euler-Poisson system. Our work extends to the isothermal case.


title: The large-mass regime of the dilaton-pion low-energy effective theory

abstract: Numerical data of the SU(3) gauge theory with $N_f=8$ fermions in the fundamental representation suggest the existence of a large-mass regime, where the fermion mass is not small relative to the confinement scale, but nevertheless the dilaton-pion low-energy theory is applicable thanks to the parametric proximity of the conformal window. In this regime, the leading hyperscaling relations are similar to those of a mass-deformed conformal theory, so that distinguishing infrared conformality from confinement requires the study of subleading effects. Assuming that the $N_f=8$ theory confines, we estimate how light the fermion mass should be to enter the small-mass regime, where the pions become much lighter than the dilatonic scalar meson.


title: Higgs inflation and cosmological electroweak phase transition with N scalars in the post-Higgs era

abstract: We study inflation and cosmological electroweak phase transitions utilizing the Standard model augmented by $N$ scalars respecting a global $O(N)$ symmetry. We observe that the representation of the global symmetry is restricted by the inflationary observables and the condition of a strongly first order electroweak phase transition. Theoretical constraints including the stability, perturbativity and unitarity are used to bound the model parameter space. The Electroweak precision observables and Higgs precisions limit the representation of the symmetry. We evaluate the possibility to simultaneously address the inflation and the dark matter after considering the experimental constraints from the future leptonic colliders. When the $O (N)$ symmetry respected by the N-scalar is spontaneously broken to the $O (N-1)$ symmetry, both the one-step and two-step SFOEWPT can occur within the inflation viable parameter regions, which will be tested by the future CEPC, ILC and FCC-ee. The relation between the number of Goldstones and the SFOEWPT condition depends on phase transition patterns. The situation of Goldstone faking neutrinos and contributing to the dark radiation are investigated.


title: Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

abstract: With the rapid development of software and distributed computing, Cyber-Physical Systems (CPS) are widely adopted in many application areas, e.g., smart grid, autonomous automobile. It is difficult to detect defects in CPS models due to the complexities involved in the software and physical systems. To find defects in CPS models efficiently, robustness guided falsification of CPS is introduced. Existing methods use several optimization techniques to generate counterexamples, which falsify the given properties of a CPS. However those methods may require a large number of simulation runs to find the counterexample and is far from practical. In this work, we explore state-of-the-art Deep Reinforcement Learning (DRL) techniques to reduce the number of simulation runs required to find such counterexamples. We report our method and the preliminary evaluation results.


title: Purification of single photons by temporal heralding of quantum dot sources

abstract: Efficient, high rate photon sources with high single photon purity are essential ingredients for quantum technologies. Single photon sources based on solid state emitters such as quantum dots are very advantageous for integrated photonic circuits, but they can suffer from a high two-photon emission probability, which in cases of non-cryogenic environment cannot be spectrally filtered. Here we propose two temporal purification-by-heralding methods for using a two photon emission process to yield highly pure and efficient single photon emission, bypassing the inherent problem of spectrally overlapping bi-photon emission. We experimentally demonstrate their feasibility on the emission from a single nanocrystal quantum dot, exhibiting single photon purities exceeding 99.5%, without a significant loss of single photon efficiency. These methods can be applied for any indeterministic source of spectrally broadband photon pairs.


title: Controlled Tracking in Urban Terrain: Closing the Loop

abstract: We investigate the challenging problem of integrating detection, signal processing, target tracking, and adaptive waveform scheduling with lookahead in urban terrain. We propose a closed-loop active sensing system to address this problem by exploiting three distinct levels of diversity: (1) spatial diversity through the use of coordinated multistatic radars; (2) waveform diversity by adaptively scheduling the transmitted waveform; and (3) motion model diversity by using a bank of parallel filters matched to different motion models. Specifically, at every radar scan, the waveform that yields the minimum trace of the one-step-ahead error covariance matrix is transmitted; the received signal goes through a matched-filter, and curve fitting is used to extract range and range-rate measurements that feed the LMIPDA-VSIMM algorithm for data association and filtering. Monte Carlo simulations demonstrate the effectiveness of the proposed system in an urban scenario contaminated by dense and uneven clutter, strong multipath, and limited line-of-sight.


title: Quantum Langlands dualities of boundary conditions, D-modules, and conformal blocks

abstract: We review and extend the vertex algebra framework linking gauge theory constructions and a quantum deformation of the Geometric Langlands Program. The relevant vertex algebras are associated to junctions of two boundary conditions in a 4d gauge theory and can be constructed from the basic ones by following certain standard procedures. Conformal blocks of modules over these vertex algebras give rise to twisted D-modules on the moduli stacks of G-bundles on Riemann surfaces which have applications to the Langlands Program. In particular, we construct a series of vertex algebras for every simple Lie group G which we expect to yield D-module kernels of various quantum Geometric Langlands dualities. We pay particular attention to the full duality group of gauge theory, which enables us to extend the standard qGL duality to a larger duality groupoid. We also discuss various subtleties related to the spin and gerbe structures and present a detailed analysis for the U(1) and SU(2) gauge theories.


title: Edge and Fano on nets of quadrics

abstract: In a number of papers by Edge, and in a related paper by Fano, several properties are discussed of the family of scrolls of degree 8, in the complex projective space, whose plane sections are projected bicanonical models of a genus 3 curve C. This beautiful subject is implicitely related to the moduli of semistable rank two vector bundles on C with bicanonical determinant. We revisit and reconstruct this matter in modern terms with a modular point of view. This paper is the refereed version of a contribution to a volume in honor of W.L Edge, to be published by European Journal of Mathematics.


abstract: We proposed a new Portfolio Management method termed as Robust Log-Optimal Strategy (RLOS), which ameliorates the General Log-Optimal Strategy (GLOS) by approximating the traditional objective function with quadratic Taylor expansion. It avoids GLOS's complex CDF estimation process,hence resists the "Butterfly Effect" caused by estimation error. Besides,RLOS retains GLOS's profitability and the optimization problem involved in RLOS is computationally far more practical compared to GLOS. Further, we combine RLOS with Reinforcement Learning (RL) and propose the so-called Robust Log-Optimal Strategy with Reinforcement Learning (RLOSRL), where the RL agent receives the analyzed results from RLOS and observes the trading environment to make comprehensive investment decisions. The RLOSRL's performance is compared to some traditional strategies on several back tests, where we randomly choose a selection of constituent stocks of the CSI300 index as assets under management and the test results validate its profitability and stability.


title: {\phi}^4 Solitary Waves in a Parabolic Potential: Existence, Stability, and Collisional Dynamics

abstract: We explore a {\phi}^4 model with an added external parabolic potential term. This term dramatically alters the spectral properties of the system. We identify single and multiple kink solutions and examine their stability features; importantly, all of the stationary structures turn out to be unstable. We complement these with a dynamical study of the evolution of a single kink in the trap, as well as of the scattering of kink and anti-kink solutions of the model. We see that some of the key characteristics of kink-antikink collisions, such as the critical velocity and the multi-bounce windows, are sensitively dependent on the trap strength parameter, as well as the initial displacement of the kink and antikink.


title: Realistic Multimedia Tools based on Physical Models: I. The Spectrum Analyzer and Animator (SA2)

abstract: The present sequence of two articles reports on a custom-built toolkit implementing a technique similar to multi-directional medical tomography to simulate and visualize the composite 3D structure of winds from hot close double stars. In such hot binaries, the light sources scanning and probing the composite wind volume are the bright "surfaces" (photospheres) of the individual stars. Then, as the Keplerian orbit is traced out and the geometry presented to the observer varies, each star constitutes an analyzer upon its companion's wind. In contrast to medical tomography, however, these targets are too far to be resolved spatially so we resort to modeling the ultraviolet (UV) spectral lines of certain wind ions (e.g., N+4, Si+3, C+3) whose shapes vary with Keplerian phase as the stars revolve around their common centre of mass. The flagships of the toolkit are the Spectrum Analyzer and Animator (SA 2 ) and the Binary 3D Renderer (B3dR). The SA 2 is the subject of the present article (paper I). It automates (a) the derivation of light curves from the observed spectra and (b) the generation of synthetic binary wind-line profiles which reproduce the morphologies and variabilities of the observed wind profiles. The second tool, the B3dR is discussed in paper II.


title: Some properties of Controlled Fusion Frames

abstract: Controlled frames in Hilbert spaces have been introduced by Balazs, Antoine and Grybos to improve the numerical output of in relation to algorithms for inverting the frame operator. In this paper we have introduced and displayed some new concepts and results on controlled fusion frames for Hilbert spaces. It is shown that controlled fusion frames as a generalization of fusion frames give a generalized way to obtain numerical advantage in the sense of reconditioning to check the fusion frame condition. For this end, we introduce the notion of Q-duality for Controlled fusion frames. Also, we survey the robustness of Controlled fusion frames under some perturbations.


title: Quantitative non-vanishing of central values of certain $L$-functions on ${\rm GL}(2)\times {\rm GL}(3)$

abstract: Let $\phi$ be an even Hecke-Maass cusp form on ${\rm SL}_2(\mathbb{Z})$ whose $L$-function does not vanish at the center of the functional equation. In this article, we obtain an exact formula of the average of triple products of $\phi$, $f$ and $\bar f$, where $f$ runs over an orthonormal basis $H_k$ of Hecke eigen elliptic cusp forms on ${\rm SL}_2(\mathbb{Z})$ of a fixed weight $k\geq 4$. As an application, we prove a quantitative non-vanishing results on the central values for the family of degree $6$ $L$-functions $L(s,\phi \times {\rm Ad}\,f)$ with $f$ in the union of $H_k$ $({\rm K} \leq k < 2{\rm K})$ as ${\rm K}\rightarrow \infty$.


title: Resolution Requirements and Resolution Problems in Simulations of Radiative Feedback in Dusty Gas

abstract: In recent years a number of authors have introduced methods to model the effects of radiation pressure feedback on flows of interstellar and intergalactic gas, and have posited that the forces exerted by stars' radiation output represents an important feedback mechanism capable of halting accretion and thereby regulating star formation. However, numerical simulations have reached widely varying conclusions about the effectiveness of this feedback. In this paper I show that much of the divergence in the literature is a result of failure to obey an important resolution criterion: whether radiation feedback is able to reverse an accretion flow is determined on scales comparable to the dust destruction radius, which is $\lesssim 1000$ AU even for the most luminous stellar sources. Simulations that fail to resolve this scale can produce unphysical results, in many cases leading to a dramatic overestimate of the effectiveness of radiation feedback. Most published simulations of radiation feedback on molecular cloud and galactic scales fail to satisfy this condition. I show how the problem can be circumvented by introducing a new subgrid model that explicitly accounts for momentum balance on unresolved scales, making it possible to simulate dusty accretion flows safely even at low resolution.


title: Realistic Multimedia Tools based on Physical Models: II. The Binary 3D Renderer (B3dR)

abstract: The present article reports on the second tool of a custom-built toolkit intended to train astronomers into simulating and visualizing the composite 3D structure of winds from hot close double stars by implementing a technique which is similar to multi-directional medical tomography. The flagships of the toolkit are the Spectrum Analyzer and Animator (SA 2 ) and the Binary 3D Renderer (B3dR). Following application of the first tool, SA 2 as detailed in paper I, the composite wind structure of the binary has been recovered and the B3dR is subsequently employed to visualize the results and simulate the revolution of the entire system (stars, winds and wind-interaction effects) around the common centre of mass. The B3dR thus repackages the end product of a lengthy physical modeling process to generate realistic multimedia content and enable the presentation of the 3D system from the point of view of an observer on Earth as well as from any other observer location in the Galaxy.


title: Nearly Optimal Distinct Elements and Heavy Hitters on Sliding Windows

abstract: We study the distinct elements and $\ell_p$-heavy hitters problems in the sliding window model, where only the most recent $n$ elements in the data stream form the underlying set. We first introduce the composable histogram, a simple twist on the exponential (Datar et al., SODA 2002) and smooth histograms (Braverman and Ostrovsky, FOCS 2007) that may be of independent interest. We then show that the composable histogram along with a careful combination of existing techniques to track either the identity or frequency of a few specific items suffices to obtain algorithms for both distinct elements and $\ell_p$-heavy hitters that are nearly optimal in both $n$ and $\epsilon$. Applying our new composable histogram framework, we provide an algorithm that outputs a $(1+\epsilon)$-approximation to the number of distinct elements in the sliding window model and uses $\mathcal{O}\left(\frac{1}{\epsilon^2}\log n\log\frac{1}{\epsilon}\log\log n+\frac{1}{\epsilon}\log^2 n\right)$ bits of space. For $\ell_p$-heavy hitters, we provide an algorithm using space $\mathcal{O}\left(\frac{1}{\epsilon^p}\log^3 n\left(\log\log n+\log\frac{1}{\epsilon}\right)\right)$ for $0<p\le 2$, improving upon the best-known algorithm for $\ell_2$-heavy hitters (Braverman et al., COCOON 2014), which has space complexity $\mathcal{O}\left(\frac{1}{\epsilon^4}\log^3 n\right)$. We also show lower bounds of $\Omega\left(\frac{1}{\epsilon}\log^2 n+\frac{1}{\epsilon^2}\log n\right)$ for distinct elements and $\Omega\left(\frac{1}{\epsilon^p}\log^2 n\right)$ for $\ell_p$-heavy hitters.


title: Circuit presentation and lattice stick number with exactly 4 $z$-sticks

abstract: The lattice stick number $s_L(L)$ of a link $L$ is defined to be the minimal number of straight line segments required to construct a stick presentation of $L$ in the cubic lattice. Hong, No and Oh found a general upper bound $s_L(K) \leq 3 c(K) +2$. A rational link can be represented by a lattice presentation with exactly 4 $z$-sticks. An $n$-circuit is the disjoint union of $n$ arcs in the lattice plane $\mathbb{Z}^2$. An $n$-circuit presentation is an embedding obtained from the $n$-circuit by connecting each $n$ pair of vertices with one line segment above the circuit. By using a 2-circuit presentation, we can easily find the lattice presentation with exactly 4 $z$-sticks. In this paper, we show that an upper bound for the lattice stick number of rational $\dfrac{p}{q}$-links realized with exactly 4 $z$-sticks is $2p+6$. Furthermore it is $2p+5$ if $L$ is a 2-component link.


title: Matching on a line

abstract: Matching is a method of the design of experiments. If we had an even number of patients and wanted to form pairs of patients such that their ages, for example, in each pair be as close as possible, we would use nonbipartite matching. Not only do we present a fast method to do this, we also extend our approach to triples, quadruples, etc. In part 1 a matching algorithm uses kn points on a line as vertices, pairs of vertices as edges, and either absolute values of differences or the squares of differences as weights or distances. It forms n of k-tuples with the minimal sum of distances within each k-tuple in O(n log n) time. In part 2 we present a trivial algorithm for bipartite matching with absolute values or squares of differences as weights and a generalisation to tripartite matching on tripartite graphs.


title: Internal node bagging

abstract: We introduce a novel view to understand how dropout works as an inexplicit ensemble learning method, which doesn't point out how many and which nodes to learn a certain feature. We propose a new training method named internal node bagging, it explicitly forces a group of nodes to learn a certain feature in training time, and combine those nodes to be one node in inference time. It means we can use much more parameters to improve model's fitting ability in training time while keeping model small in inference time. We test our method on several benchmark datasets and find it performs significantly better than dropout on small models.


title: Privately Learning High-Dimensional Distributions

abstract: We present novel, computationally efficient, and differentially private algorithms for two fundamental high-dimensional learning problems: learning a multivariate Gaussian and learning a product distribution over the Boolean hypercube in total variation distance. The sample complexity of our algorithms nearly matches the sample complexity of the optimal non-private learners for these tasks in a wide range of parameters, showing that privacy comes essentially for free for these problems. In particular, in contrast to previous approaches, our algorithm for learning Gaussians does not require strong a priori bounds on the range of the parameters. Our algorithms introduce a novel technical approach to reducing the sensitivity of the estimation procedure that we call recursive private preconditioning.


title: Fermions in Geodesic Witten Diagrams

abstract: We develop the embedding formalism for odd dimensional Dirac spinors in AdS and apply it to the (geodesic) Witten diagrams including fermionic degrees of freedom. We first show that the geodesic Witten diagram (GWD) with fermion exchange is equivalent to the conformal partial waves associated with the spin one-half primary field. Then, we explicitly demonstrate the GWD decomposition of the Witten diagram including the fermion exchange with the aid of the split representation. The geodesic representation of CPW indeed gives the useful basis for computing the Witten diagrams.


title: Locally conformally symplectic convexity

abstract: We investigate special lcs and twisted Hamiltonian torus actions on strict lcs manifolds and characterize them geometrically in terms of the minimal presentation. We prove a convexity theorem for the corresponding twisted moment map, establishing thus an analog of the symplectic convexity theorem of Atiyah and Guillemin-Sternberg. We also prove similar results for the symplectic moment map (defined on the minimal presentation) whose image is then a convex cone. In the special case of a compact toric Vaisman manifold, we obtain a structure theorem.


title: Tidal Deformability of Neutron Stars with Realistic Nuclear Energy Density Functionals

abstract: We investigate the constraints on the mass and radius of neutron stars by considering the tidal deformability in the merge of neutron star binaries. In order to extract the most reliable range of uncertainty from theory, we employ models based upon the Skyrme force and density functional theory and select models that are consistent with empirical data of finite nuclei, measured properties of nuclear matter around the saturation density, and observation of the maximum mass of neutron stars. From the selected models, we calculate the Love number $k_2$, dimensionless tidal deformability $\Lambda$, and mass-weighted deformability $\tilde{\Lambda}$ in the binary system. We find that all the models considered in this work give $\tilde{\Lambda}$ less than 800 which is the upper limit obtained from the measurement of GW170817. However, the model dependence of tidal deformability is manifest such that our results on the tidal deformability exhibit critical sensitivity to the size of neutron stars.


title: Global passivity in microscopic thermodynamics

abstract: The main thread that links classical thermodynamics and the thermodynamics of small quantum systems is the celebrated Clausius inequality form of the second law. However, its application to small quantum systems suffers from two cardinal problems: (i) The Clausius inequality does not hold when the system and environment are initially correlated - a commonly encountered scenario in microscopic setups. (ii) In some other cases, the Clausius inequality does not provide any useful information (e.g. in dephasing scenarios). We address these deficiencies by developing the notion of global passivity and employing it as a tool for deriving thermodynamic inequalities on observables. For initially uncorrelated thermal environments the global passivity framework recovers the Clausius inequality. More generally, global passivity provides an extension of the Clausius inequality that holds even in the presences of strong initial system-environment correlations. Crucially, the present framework provides additional thermodynamic bounds on expectation values. To illustrate the role of the additional bounds we use them to detect unaccounted heat leaks and weak feedback operations ("Maxwell's demons") that the Clausius inequality cannot detect. In addition, it is shown that global passivity can put practical upper and lower bounds on the buildup of system-environment correlation for dephasing interactions. Our findings are highly relevant for experiments in various systems such as ion traps, superconducting circuits, atoms in optical cavities and more.


title: Transition to ultimate Rayleigh-B\'{e}nard turbulence revealed through extended self similarity scaling analysis of the temperature structure functions

abstract: In turbulent Rayleigh-B\'{e}nard (RB) convection, a transition to the so-called ultimate regime, in which the boundary layers (BL) are of turbulent type, has been postulated. Indeed, at very large Rayleigh number $Ra \approx 10^{13}-10^{14}$ a transition in the scaling of the global Nusselt number $Nu$ (the dimensionless heat transfer) and the Reynolds number with $Ra$ has been observed in experiments and very recently in direct numerical simulations (DNS) of two-dimensional (2D) RB. In this paper we analyse the local scaling properties of the lateral temperature structure functions in the BLs of this simulation of 2D RB, employing extended self-similarity (ESS) (i.e., plotting the structure functions against each other, rather than only against the scale) in the spirit of the attached eddy hypothesis, as we have recently introduced for velocity structure functions in wall turbulence (Krug \textit{et al.}, \textit{J. Fluid Mech.}, vol. 830, 2017, pp. 797-819). We find no ESS scaling below the transition and in the near wall region. However, beyond the transition and for large enough wall distance $z^+ > 100$, we find clear ESS behaviour, as expected for a scalar in a turbulent boundary layer. In striking correspondence to the $Nu$ scaling, the ESS scaling region is negligible at $Ra = 10^{11}$ and well developed at $Ra = 10^{14}$, thus providing strong evidence that the observed transition in the global Nusselt number at $Ra \approx 10^{13}$ indeed is the transition from a laminar type BL to a turbulent type BL. Our results further show that the relative slopes for scalar structure functions in the ESS scaling regime are the same as for their velocity counterparts extending their previously established universality. The findings are confirmed by comparing to scalar structure functions in 3D turbulent channel flow.


title: Model-Free Active Input-Output Feedback Linearization of a Single-Link Flexible Joint Manipulator: An Improved ADRC Approach

abstract: Traditional Input-Output Feedback Linearization (IOFL) requires full knowledge of system dynamics and assumes no disturbance at the input channel and no system's uncertainties. In this paper, a model-free Active Input-Output Feedback Linearization (AIOFL) technique based on an Improved Active Disturbance Rejection Control (IADRC) paradigm is proposed to design feedback linearization control law for a generalized nonlinear system with known relative degree. The Linearization Control Law(LCL) is composed of a scaled generalized disturbance estimated by an Improved Nonlinear Extended State Observer (INLESO) with saturation-like behavior and the nominal control law produced by an Improved Nonlinear State Error Feedback (INLSEF). The proposed AIOFL cancels in real-time fashion the generalized disturbances which represent all the unwanted dynamics, exogenous disturbances, and system uncertainties and transforms the system into a chain of integrators up to the relative degree of the system, the only information required about the nonlinear system. Stability analysis has been conducted based on Lyapunov functions and revealed the convergence of the INLESO and the asymptotic stability of the closed-loop system. Verification of the outcomes has been achieved by applying the proposed AIOFL technique on the Flexible Joint Single Link Manipulator (SLFJM). The simulations results validated the effectiveness of the proposed AIOFL tool based on IADRC as compared to the conventional ADRC based AIOFL and the traditional IOFL techniques.


title: Localization: A Missing Link in the Pipeline of Object Matching and Registration

abstract: Image registration is a process of aligning two or more images of same objects using geometric transformation. Most of the existing approaches work on the assumption of location invariance. These approaches require object-centric images to perform matching. Further, in absence of intensity level symmetry between the corresponding points in two images, the learning based registration approaches rely on synthetic deformations, which often fail in real scenarios. To address these issues, a combination of convolutional neural networks (CNNs) to perform the desired registration is developed in this work. The complete objective is divided into three sub-objectives: object localization, segmentation and matching transformation. Object localization step establishes an initial correspondence between the images. A modified version of single shot multi-box detector is used for this purpose. The detected region is cropped to make the images object-centric. Subsequently, the objects are segmented and matched using a spatial transformer network employing thin plate spline deformation. Initial experiments on MNIST and Caltech-101 datasets show that the proposed model is able to produce accurate matching. Quantitative evaluation performed using dice coefficient (DC) and mean intersection over union (mIoU) show that proposed method results in the values of 79% and 66%, respectively for MNIST dataset and the values of 94% and 90%, respectively for Caltech-101 dataset. The proposed framework is extended to the registration of CT and US images, which is free from any data specific assumptions and has better generalization capability as compared to the existing rule-based/classical approaches.


title: Multi-objective path planning of an autonomous mobile robot using hybrid PSO-MFB optimization algorithm

abstract: The main aim of this paper is to solve a path planning problem for an autonomous mobile robot in static and dynamic environments. The problem is solved by determining the collision-free path that satisfies the chosen criteria for shortest distance and path smoothness. The proposed path planning algorithm mimics the real world by adding the actual size of the mobile robot to that of the obstacles and formulating the problem as a moving point in the free-space. The proposed algorithm consists of three modules. The first module forms an optimized path by conducting a hybridized Particle Swarm Optimization-Modified Frequency Bat (PSO-MFB) algorithm that minimizes distance and follows path smoothness criteria. The second module detects any infeasible points generated by the proposed hybrid PSO-MFB Algorithm by a novel Local Search (LS) algorithm integrated with the hybrid PSO-MFB algorithm to be converted into feasible solutions. The third module features obstacle detection and avoidance (ODA), which is triggered when the mobile robot detects obstacles within its sensing region, allowing it to avoid collision with obstacles. The simulation results indicate that this method generates an optimal feasible path even in complex dynamic environments and thus overcomes the shortcomings of conventional approaches such as grid methods. Moreover, compared to recent path planning techniques, simulation results show that the proposed hybrid PSO-MFB algorithm is highly competitive in terms of path optimality.