title: Search for Food of Birds, Fish and Insects

abstract: This book chapter introduces to the problem to which extent search strategies of foraging biological organisms can be identified by statistical data analysis and mathematical modeling. A famous paradigm in this field is the Levy Flight Hypothesis: It states that under certain mathematical conditions Levy flights, which are a key concept in the theory of anomalous stochastic processes, provide an optimal search strategy. This hypothesis may be understood biologically as the claim that Levy flights represent an evolutionary adaptive optimal search strategy for foraging organisms. Another interpretation, however, is that Levy flights emerge from the interaction between a forager and a given (scale-free) distribution of food sources. These hypotheses are discussed controversially in the current literature. We give examples and counterexamples of experimental data and their analyses supporting and challenging them.


title: Asymmetric and symmetric exchange in a generalized 2D Rashba ferromagnet

abstract: Dzyaloshinskii-Moriya interaction (DMI) is investigated in a 2D ferromagnet (FM) with spin-orbit interaction of Rashba type at finite temperatures. The FM is described in the continuum limit by an effective $s$-$d$ model with arbitrary dependence of spin-orbit coupling (SOC) and kinetic energy of itinerant electrons on the absolute value of momentum. In the limit of weak SOC, we derive a general expression for the DMI constant $D$ from a microscopic analysis of the electronic grand potential. We compare $D$ with the exchange stiffness $A$ and show that, to the leading order in small SOC strength $\alpha_{\text{R}}$, the conventional relation $D=(4 m\alpha_{\text{R}}/\hbar)A$, in general, does not hold beyond the Bychkov-Rashba model. Moreover, in this model, both $A$ and $D$ vanish at zero temperature in the metal regime (i.e., when two spin sub-bands are partly occupied). For nonparabolic bands or nonlinear Rashba coupling, these coefficients are finite and acquire a nontrivial dependence on the chemical potential that demonstrates the possibility to control the size and chirality of magnetic textures by adjusting a gate voltage.


title: Multimodal Sparse Bayesian Dictionary Learning

abstract: This paper addresses the problem of learning dictionaries for multimodal datasets, i.e. datasets collected from multiple data sources. We present an algorithm called multimodal sparse Bayesian dictionary learning (MSBDL). MSBDL leverages information from all available data modalities through a joint sparsity constraint. The underlying framework offers a considerable amount of flexibility to practitioners and addresses many of the shortcomings of existing multimodal dictionary learning approaches. In particular, the procedure includes the automatic tuning of hyperparameters and is unique in that it allows the dictionaries for each data modality to have different cardinality, a significant feature in cases when the dimensionality of data differs across modalities. MSBDL is scalable and can be used in supervised learning settings. Theoretical results relating to the convergence of MSBDL are presented and the numerical results provide evidence of the superior performance of MSBDL on synthetic and real datasets compared to existing methods.


title: Quantum groups, from a functional analysis perspective

abstract: It is well-known that any compact Lie group appears as closed subgroup of a unitary group, $G\subset U_N$. The unitary group $U_N$ has a free analogue $U_N^+$, and the study of the closed quantum subgroups $G\subset U_N^+$ is a problem of general interest. We review here the basic tools for dealing with such quantum groups, with all the needed preliminaries included, and we discuss as well a number of more advanced topics.


title: Stochastic unravellings of non-Markovian completely positive and trace preserving maps

abstract: We consider open quantum systems with factorized initial states, providing the structure of the reduced system dynamics, in terms of environment cumulants. We show that such completely positive (CP) and trace preserving (TP) maps can be unraveled by linear stochastic Schr\"odinger equations (SSEs) characterized by sets of colored stochastic processes (with n-th order cumulants). We obtain both the conditions such that the SSEs provide CPTP dynamics, and those for unraveling an open system dynamics. We then focus on Gaussian non-Markovian unravellings, whose known structure displays a functional derivative. We provide a novel description that replaces the functional derivative with a recursive operatorial structure. Moreover, for the family of quadratic bosonic Hamiltonians, we are able to provide an explicit operatorial dependence for the unravelling.


title: GONG Catalog of Solar Filament Oscillations Near Solar Maximum

abstract: We have catalogued 196 filament oscillations from the GONG $H{\alpha}$ network data during several months near the maximum of solar cycle 24 (January - June 2014). Selected examples from the catalog are described in detail, along with our statistical analyses of all events. Oscillations were classified according to their velocity amplitude: 106 small-amplitude oscillations (SAOs), with velocities $<10\mathrm{\, km \; s^{-1}}$, and 90 large-amplitude oscillations (LAOs), with velocities $>10\mathrm{\, km \; s^{-1}}$. Both SAOs and LAOs are common, with one event of each class every two days on the visible side of the Sun. For nearly half of the events we identified their apparent trigger. The period distribution has a mean value of 58$\pm$15 min for both types of oscillations. The distribution of the damping time per period peaks at $\tau/P=1.75$ and $1.25$ for SAOs and LAOs respectively. We confirmed that LAO damping rates depend nonlinearly on the oscillation velocity. The angle between the direction of motion and the filament spine has a distribution centered at $27^\circ$ for all filament types. This angle agrees with the observed direction of filament-channel magnetic fields, indicating that most of the catalogued events are longitudinal (i.e., undergo field-aligned motions). We applied seismology to determine the average radius of curvature in the magnetic dips, $R\approx89$ Mm, and the average minimum magnetic-field strength, $B\approx16$ G. The catalog is available to the community online, and is intended to be expanded to cover at least 1 solar cycle.


title: Non-Archimedean Replicator Dynamics and Eigen's Paradox

abstract: We present a new non-Archimedean model of evolutionary dynamics, in which the genomes are represented by p-adic numbers. In this model the genomes have a variable length, not necessarily bounded, in contrast with the classical models where the length is fixed. The time evolution of the concentration of a given genome is controlled by a p-adic evolution equation. This equation depends on a fitness function f and on mutation measure Q. By choosing a mutation measure of Gibbs type, and by using a p-adic version of the Maynard Smith Ansatz, we show the existence of threshold function M_{c}(f,Q), such that the long term survival of a genome requires that its length grows faster than M_{c}(f,Q). This implies that Eigen's paradox does not occur if the complexity of genomes grows at the right pace. About twenty years ago, Scheuring and Poole, Jeffares, Penny proposed a hypothesis to explain Eigen's paradox. Our mathematical model shows that this biological hypothesis is feasible, but it requires p-adic analysis instead of real analysis. More exactly, the Darwin-Eigen cycle proposed by Poole et al. takes place if the length of the genomes exceeds M_{c}(f,Q).


title: Staircase in magnetization and entanglement entropy of spin squeezed condensates

abstract: Staircases in response functions are associated with physically observable quantities that respond discretely to continuous tuning of a control parameter. A well-known example is the quantization of the Hall conductivity in two dimensional electron gases at high magnetic fields. Here, we show that such a staircase response also appears in the magnetization of spin-1 atomic ensembles evolving under several spin-squeezing Hamiltonians.We discuss three examples, two mesoscopic and one macroscopic, where the system's magnetization vector responds discretely to continuous tuning of the applied magnetic field or the atom density, thus producing a magnetization staircase. The examples that we consider are directly related to Hamiltonians that have been implemented experimentally in the context of spin and spin-nematic squeezing. Thus, our results can be readily put to experimental test in spin-1 ferromagnetic $^{87}$Rb and anti-ferromagnetic $^{23}$Na condensates.


title: The Dark Side of the Sun A Plea for a Next-Generation Opacity Calculation

abstract: Is the Sun likely to have a more opaque interior than previously thought? The solar oxygen (or abundance) problem can be solved with higher interior opacities, reconciling abundance analyses based on 3D convective atmospheres with the helioseismic structure of the solar interior. This has been known for more than a decade, but last year we learned that the absorption by just iron may contribute 7\% more to the solar opacity at the bottom of the convection zone than predicted by any opacity calculation so far, and by OP05 in particular. I find that artificial changes to the absorption (calibrated against the iron experiment) by other elements in a solar mixture give an opacity increase of a shape and magnitude that can restore agreement between modern abundance analysis and helioseismology. This suggests that improved opacity calculations will solve the solar oxygen problem.


title: Superconducting Phases in Lithium Decorated Graphene LiC 6

abstract: A study of possible superconducting phases of graphene has been constructed in detail. A realistic tight binding model, fit to ab initio calculations, accounts for the Li-decoration of graphene with broken lattice symmetry, and includes $s$ and $d$ symmetry Bloch character that influences the gap symmetries that can arise. The resulting seven hybridized Li-C orbitals that support nine possible bond pairing amplitudes. The gap equation is solved for all possible gap symmetries. One band is weakly dispersive near the Fermi energy along $\Gamma\rightarrow M$ where its Bloch wave function has linear combination of $d_{x^2-y^2}$ and $d_{xy}$ character, and is responsible for $ d_{x^{2}-y^{2}}$ and $d_{xy}$ pairing with lowest pairing energy in our model. These symmetries almost preserve properties from a two band model of pristine graphene. Another part of this band, along $K\rightarrow \Gamma$, is nearly degenerate with upper $s$ band that favors extended $s$ wave pairing which is not found in two band model. Upon electron doping to a critical chemical potential $\mu_1=0.22 eV$ the pairing potential decreases, then increases until a second critical value $\mu_2$=1.3 eV at which a phase transition to a new phase which is not appear in two band model. This phase in the pristine graphene converts to usual extended s-wave pairing.


title: The Silurian Hypothesis: Would it be possible to detect an industrial civilization in the geological record?

abstract: If an industrial civilization had existed on Earth many millions of years prior to our own era, what traces would it have left and would they be detectable today? We summarize the likely geological fingerprint of the Anthropocene, and demonstrate that while clear, it will not differ greatly in many respects from other known events in the geological record. We then propose tests that could plausibly distinguish an industrial cause from an otherwise naturally occurring climate event.


title: Time-dependent method for many-body problems and its application to nuclear resonant systems

abstract: The decay process of the schematic one-dimensional three-body system is considered. A time-dependent approach is used in combination with a one-dimensional three-body model, which is composed of a heavier core nucleus and two nucleons, with the aim of describing its evolution in two-nucleon emission. The process is calculated from the initial state, in which the three ingredient particles are confined. In this process, two different types of emission can be found: the earlier process includes the emission of spatially correlated two-nucleon pair, like a dinucleon, whereas, at a subsequent time, all the particles are separated from each other. The time-dependent method can be a suitable option to investigate the meta-stable and/or open-quantum systems, where the complicated many-body dynamics should necessarily be taken into account.


title: Reconfigurable vortex beam generator based on the Fourier transformation principle

abstract: A method to generate the optical vortex beam with arbitrary superposition of different orders of orbital angular momentum (OAM) on a photonic chip is proposed. The distributed Fourier holographic gratings are proposed to convert the propagating wave in waveguides to a vortex beam in the free space, and the components of different OAMs can be controlled by the amplitude and phases of on-chip incident light based on the principle of Fourier transformation. As an example, we studied a typical device composed of nine Fourier holographic gratings on fan-shaped waveguides. By scalar diffraction calculation, the OAM of the optical beam from the reconfigurable vortex beam generator can be controlled on-demand from -2nd to 2nd by adjusting the phase of input light fields, which is demonstrated numerically with the fidelity of generated optical vortex beam above 0.69. The working bandwidth of the Fourier holographic grating is about 80 nm with a fidelity above 0.6. Our work provides an feasible method to manipulate the vortex beam or detect arbitrary superposition of OAMs, which can be used in integrated photonics structures for optical trapping, signal processing, and imaging.


title: Conversion of Heat into Charge Current by the Spin Wave Anomalous Nernst Effect

abstract: A novel process of spin conversion from a temperature gradient to a transverse voltage is addressed in this paper, viz. the anomalous Nernst effect (ANE) in a ferromagnetic metal. We report that an additional voltage is superposed on the conventional anomalous Nernst voltage in FePt crystalline thin films. The dynamics of the local magnetization is modulated by the heat current and excites spin waves. These generate a conduction electron spin current via s-d coupling, which flows along the temperature gradient, and the spin current is converted to a Nernst voltage by the inverse spin Hall effect.


title: Conjectured lower bound for the clique number of a graph

abstract: It is well known that $n/(n - \mu)$, where $\mu$ is the spectral radius of a graph with $n$ vertices, is a lower bound for the clique number. We conjecture that $\mu$ can be replaced in this bound with $\sqrt{s^+}$, where $s^+$ is the sum of the squares of the positive eigenvalues. We prove this conjecture for various classes of graphs, including triangle-free graphs, and for almost all graphs.


title: Explicit bounds for critical infection rates and expected extinction times of the contact process on finite random graphs

abstract: We introduce a method to prove metastability of the contact process on Erd\H{o}s-R\'enyi graphs and on configuration model graphs. The method relies on uniformly bounding the total infection rate from below, over all sets with a fixed number of nodes. Once this bound is established, a simple comparison with a well chosen birth-and-death process will show the exponential growth of the extinction time. Our paper complements recent results on the metastability of the contact process: under a certain minimal edge density condition, we give explicit lower bounds on the infection rate needed to get metastability, and we have explicit exponentially growing lower bounds on the expected extinction time.


title: Field induced nucleation in nano-structures

abstract: We predict the probability of field induced nucleation (FIN) of conductive filaments across the nano-thin dielectric layers in memory and switching devices. The novelty of our analysis is that it deals with a dielectric layer of thickness below the critical nucleation length. We show how the latter constraint can make FIN a truly threshold phenomenon possible only for voltage (not the field) exceeding a certain critical value that does not depend on the dielectric thickness. Our analysis predicts the possibility of threshold switching without memory under certain thickness dependent voltages. In parallel, the thermal runaway mechanism of electronic switching is described analytically leading to results consistent with the earlier published numerical modeling. Our predictions offer the possibility of experimental verifications deciding between FIN and thermal runaway switching.


title: Phase diagram for the one-way quantum deficit of two-qubit X states

abstract: The one-way quantum deficit, a measure of quantum correlation, can exhibit for X quantum states the regions (subdomains) with the phases $\Delta_0$ and $\Delta_{\pi/2}$ which are characterized by constant (i.e., universal) optimal measurement angles, correspondingly, zero and $\pi/2$ with respect to the $z$-axis and a third phase $\Delta_\vartheta$ with the variable (state-dependent) optimal measurement angle $\vartheta$. We build the complete phase diagram of one-way quantum deficit for the XXZ subclass of symmetric X states. In contrast to the quantum discord where the region for the phase with variable optimal measurement angle is very tiny (more exactly, it is a very thin layer), the similar region $\Delta_\vartheta$ is large and achieves the sizes comparable to those of regions $\Delta_0$ and $\Delta_{\pi/2}$. This instils hope to detect the mysterious fraction of quantum correlation with the variable optimal measurement angle experimentally.


title: Design and Control of an Aerial Manipulator for Contact-based Inspection

abstract: Manipulator dynamics, external forces and moments raise issues in stability and efficient control during aerial manipulation. Additionally, multirotor Micro Aerial Vehicles impose stringent limits on payload, actuation and system states. In view of these challenges, this work addressed the design and control of a 3-DoF serial aerial manipulator for contact inspection. A lightweight design with sufficient dexterous workspace for NDT (Non-Destructive Testing) inspection is presented. This operation requires the regulation of normal force on the inspected point. Contact dynamics have been discussed along with a simulation of the closed-loop dynamics during contact. The simulated controller preserves inherent system nonlinearities and uses a passivity approach to ensure the convergence of error to zero. A transition scheme from free-flight to contact was developed along with the hardware and software frameworks for implementation. This paper concludes with important drawbacks and prospects.


title: Control of Connected and Automated Vehicles: State of the Art and Future Challenges

abstract: Autonomous driving technology pledges safety, convenience, and energy efficiency. Challenges include the unknown intentions of other road users: communication between vehicles and with the road infrastructure is a possible approach to enhance awareness and enable cooperation. Connected and automated vehicles (CAVs) have the potential to disrupt mobility, extending what is possible with driving automation and connectivity alone. Applications include real-time control and planning with increased awareness, routing with micro-scale traffic information, coordinated platooning using traffic signals information, eco-mobility on demand with guaranteed parking. This paper introduces a control and planning architecture for CAVs, and surveys the state of the art on each functional block therein; the main focus is on techniques to improve energy efficiency. We provide an overview of existing algorithms and their mutual interactions, we present promising optimization-based approaches to CAVs control and identify future challenges.


title: Universal Successor Representations for Transfer Reinforcement Learning

abstract: The objective of transfer reinforcement learning is to generalize from a set of previous tasks to unseen new tasks. In this work, we focus on the transfer scenario where the dynamics among tasks are the same, but their goals differ. Although general value function (Sutton et al., 2011) has been shown to be useful for knowledge transfer, learning a universal value function can be challenging in practice. To attack this, we propose (1) to use universal successor representations (USR) to represent the transferable knowledge and (2) a USR approximator (USRA) that can be trained by interacting with the environment. Our experiments show that USR can be effectively applied to new tasks, and the agent initialized by the trained USRA can achieve the goal considerably faster than random initialization.


title: Manipulation-resistant facility location mechanisms for ZV-line graphs

abstract: In many real-life scenarios, a group of agents needs to agree on a common action, e.g., on the location for a public facility, while there is some consistency between their preferences, e.g., all preferences are derived from a common metric space. The facility location problem models such scenarios and it is a well-studied problem in social choice. We study mechanisms for facility location on graphs, which are resistant to manipulations (strategy-proof, abstention-proof, and false-name-proof) by both individuals and coalitions and are efficient (Pareto optimal). We define a family of graphs, ZV-line graphs, and show a general facility location mechanism for these graphs which satisfies all these desired properties. Moreover, we show that this mechanism can be computed in polynomial time, the mechanism is anonymous, and it can equivalently be defined as the first Pareto optimal location according to some predefined order. Our main result, the ZV-line graphs family and the mechanism we present for it, unifies the few current works in the literature of false-name-proof facility location on discrete graphs, including all the preliminary (unpublished) works we are aware of. Finally, we discuss some generalizations and limitations of our result for problems of facility location on other structures.


title: The New Urban Success: How Culture Pays

abstract: Urban economists have put forward the idea that cities that are culturally interesting tend to attract "the creative class" and, as a result, end up being economically successful. Yet it is still unclear how economic and cultural dynamics mutually influence each other. By contrast, that has been extensively studied in the case of individuals. Over decades, the French sociologist Pierre Bourdieu showed that people's success and their positions in society mainly depend on how much they can spend (their economic capital) and what their interests are (their cultural capital). For the first time, we adapt Bourdieu's framework to the city context. We operationalize a neighborhood's cultural capital in terms of the cultural interests that pictures geo-referenced in the neighborhood tend to express. This is made possible by the mining of what users of the photo-sharing site of Flickr have posted in the cities of London and New York over 5 years. In so doing, we are able to show that economic capital alone does not explain urban development. The combination of cultural capital and economic capital, instead, is more indicative of neighborhood growth in terms of house prices and improvements of socio-economic conditions. Culture pays, but only up to a point as it comes with one of the most vexing urban challenges: that of gentrification.


title: Derivative free optimization via repeated classification

abstract: We develop an algorithm for minimizing a function using $n$ batched function value measurements at each of $T$ rounds by using classifiers to identify a function's sublevel set. We show that sufficiently accurate classifiers can achieve linear convergence rates, and show that the convergence rate is tied to the difficulty of active learning sublevel sets. Further, we show that the bootstrap is a computationally efficient approximation to the necessary classification scheme. The end result is a computationally efficient derivative-free algorithm requiring no tuning that consistently outperforms other approaches on simulations, standard benchmarks, real-world DNA binding optimization, and airfoil design problems whenever batched function queries are natural.


title: Partial Galois cohomology and related homomorphisms (expanded version)

abstract: For a partial Galois extension of commutative rings we give a seven terms sequence, which is an analogue of the Chase-Harrison-Rosenberg sequence.


title: Network Structure, Efficiency, and Performance in WikiProjects

abstract: The internet has enabled collaborations at a scale never before possible, but the best practices for organizing such large collaborations are still not clear. Wikipedia is a visible and successful example of such a collaboration which might offer insight into what makes large-scale, decentralized collaborations successful. We analyze the relationship between the structural properties of WikiProject coeditor networks and the performance and efficiency of those projects. We confirm the existence of an overall performance-efficiency trade-off, while observing that some projects are higher than others in both performance and efficiency, suggesting the existence factors correlating positively with both. Namely, we find an association between low-degree coeditor networks and both high performance and high efficiency. We also confirm results seen in previous numerical and small-scale lab studies: higher performance with less skewed node distributions, and higher performance with shorter path lengths. We use agent-based models to explore possible mechanisms for degree-dependent performance and efficiency. We present a novel local-majority learning strategy designed to satisfy properties of real-world collaborations. The local-majority strategy as well as a localized conformity-based strategy both show degree-dependent performance and efficiency, but in opposite directions, suggesting that these factors depend on both network structure and learning strategy. Our results suggest possible benefits to decentralized collaborations made of smaller, more tightly-knit teams, and that these benefits may be modulated by the particular learning strategies in use.


title: Numerical characterization of the ARAPUCA: a new approach for LAr scintillation light detection

abstract: The ARAPUCA concept has been proposed as a simple and neat solution for increasing the effective collection area of SiPMs through the shifting and trapping of scintillation light in noble liquids, thus with great potential for improving timing and calorimetry resolution in neutrino and dark matter search experiments using time projection chambers. It is expected to achieve a single photon detection efficiency larger than 1\%. The initial design consists of a box made of highly reflective internal surface material and with an acceptance window for photons composed of two shifters and a dichroic filter. The first shifter converts liquid argon scintillation VUV light to a photon of wavelength smaller than the dichroic cutoff, so the surface is highly transparent to it. When passing through the dichroic filter, it reaches the second shifter which allows the photon to be shifted to the visible region and be detected by the SiPM nested inside it. When it enters the box, the photon will likely reflect a few times, including on the dichroic filter surface, before being detected. We present a full numerical description of the device using a Monte Carlo framework, including characterization of the acceptance window, models of reflection of different materials, and sensor quantum efficiency, that can now be used to further improve the detection efficiency by comparing different geometries, positions of SiPM and materials. Estimates of simulated efficiencies, number of reflections and acquisition time are presented and compared to analytical calculations. Those are very promising results, giving a total efficiency for the detection of scintillation light in liquid argon of 1.7$\rm \pm$0.3\%. Comparison of the estimated total efficiency with a preliminary result from an experimental test with an ARAPUCA prototype made in Brazil is also presented.


title: Optimizing spectroscopic follow-up strategies for supernova photometric classification with active learning

abstract: We report a framework for spectroscopic follow-up design for optimizing supernova photometric classification. The strategy accounts for the unavoidable mismatch between spectroscopic and photometric samples, and can be used even in the beginning of a new survey -- without any initial training set. The framework falls under the umbrella of active learning (AL), a class of algorithms that aims to minimize labelling costs by identifying a few, carefully chosen, objects which have high potential in improving the classifier predictions. As a proof of concept, we use the simulated data released after the Supernova Photometric Classification Challenge (SNPCC) and a random forest classifier. Our results show that, using only 12\% the number of training objects in the SNPCC spectroscopic sample, this approach is able to double purity results. Moreover, in order to take into account multiple spectroscopic observations in the same night, we propose a semi-supervised batch-mode AL algorithm which selects a set of $N=5$ most informative objects at each night. In comparison with the initial state using the traditional approach, our method achieves 2.3 times higher purity and comparable figure of merit results after only 180 days of observation, or 800 queries (73% of the SNPCC spectroscopic sample size). Such results were obtained using the same amount of spectroscopic time necessary to observe the original SNPCC spectroscopic sample, showing that this type of strategy is feasible with current available spectroscopic resources. The code used in this work is available in the COINtoolbox: https://github.com/COINtoolbox/ActSNClass .


title: Universal renormalization group flow toward perfect Fermi-surface nesting driven by enhanced electron-electron correlations in monolayer vanadium diselenide

abstract: In the present study we examine nature of a charge ordering transition in monolayer vanadium diselenide ($VSe_{2}$), which would be distinguished from that of $VSe_{2}$ bulk samples, driven by more enhanced electron-electron correlations. Recently, angle resolved photoemission spectroscopy measurements uncovered that the Fermi surface nesting becomes perfect, where the dynamics of hot electrons is dispersionless along the orthogonal direction of the nesting wave-vector. In addition, scanning tunneling microscopy measurements confirmed that the resulting CDW state shows essentially the same modulation pattern as the three dimensional system of $VSe_{2}$. Here, we perform the renormalization group analysis based on an effective field theory in terms of critical CDW fluctuations and hot electrons of imperfect Fermi-surface nesting. As a result, we reveal that the imperfect nesting universally flows into perfect nesting in two dimensions, where the Fermi velocity along the orthogonal direction of the nesting vector vanishes generically. We argue that this electronic reconstruction is responsible for the observation that the CDW transition temperature is much more enhanced to be around $T_{c} > 300$ $K$ than that of the bulk sample.


title: Constraint Splitting and Projection Methods for Optimal Control of Double Integrator

abstract: We consider the minimum-energy control of a car, which is modelled as a point mass sliding on the ground in a fixed direction, and so it can be mathematically described as the double integrator. The control variable, representing the acceleration or the deceleration, is constrained by simple bounds from above and below. Despite the simplicity of the problem, it is not possible to find an analytical solution to it because of the constrained control variable. To find a numerical solution to this problem we apply three different projection-type methods: (i)~Dykstra's algorithm, (ii)~the Douglas--Rachford (DR) method and (iii)~the Arag\'on Artacho--Campoy (AAC) algorithm. To the knowledge of the authors, these kinds of (projection) methods have not previously been applied to continuous-time optimal control problems, which are infinite-dimensional optimization problems. The problem we study in this article is posed in infinite-dimensional Hilbert spaces. Behaviour of the DR and AAC algorithms are explored via numerical experiments with respect to their parameters. An error analysis is also carried out numerically for a particular instance of the problem for each of the algorithms.


title: New Lower Bounds for Permutation Arrays Using Contraction

abstract: A permutation array $A$ is a set of permutations on a finite set $\Omega$, say of size $n$. Given distinct permutations $\pi, \sigma\in \Omega$, we let $hd(\pi, \sigma) = |\{ x\in \Omega: \pi(x) \ne \sigma(x) \}|$, called the Hamming distance between $\pi$ and $\sigma$. Now let $hd(A) =$ min$\{ hd(\pi, \sigma): \pi, \sigma \in A \}$. For positive integers $n$ and $d$ with $d\le n$, we let $M(n,d)$ be the maximum number of permutations in any array $A$ satisfying $hd(A) \geq d$. There is an extensive literature on the function $M(n,d)$, motivated in part by suggested applications to error correcting codes for message transmission over power lines. A basic fact is that if a permutation group $G$ is sharply $k$-transitive on a set of size $n\geq k$, then $M(n,n-k+1) = |G|$. Motivated by this we consider the permutation groups $AGL(1,q)$ and $PGL(2,q)$ acting sharply $2$-transitively on $GF(q)$ and sharply $3$-transitively on $GF(q)\cup \{\infty\}$ respectively. Applying a contraction operation to these groups, we obtain the following new lower bounds for prime powers $q$ satisfying $q\equiv 1$ (mod $3$). 1. $M(q-1,q-3)\geq (q^{2} - 1)/2$ for $q$ odd, $q\geq 7$, 2. $M(q-1,q-3)\geq (q-1)(q+2)/3$ for $q$ even, $q\geq 8$, 3. $M(q,q-3)\geq Kq^{2}\log q$ for some constant $K$ if $q$ is odd, $q\geq 13$. These results resolve a case left open in a previous paper \cite{BLS}, where it was shown that $M(q-1, q-3) \geq q^{2} - q$ and $M(q,q-3) \geq q^{3} - q$ for all prime powers $q$ such that $q\not \equiv 1$ (mod $3$). We also obtain lower bounds for $M(n,d)$ for a finite number of exceptional pairs $n,d$, by applying this contraction operation to the sharply $4$ and $5$-transitive Mathieu groups.


title: On the nature of the glass transition in atomistic models of glass formers

abstract: We study the nature of the glass transition by cooling model atomistic glass formers at constant rate from a temperature above the onset of glassy dynamics to $T=0$. Motivated by the East model, a kinetically constrained lattice model with hierarchical relaxation, we make several predictions about the behavior of the supercooled liquid as it passes through the glass transition. We then compare those predictions to the results of our atomistic simulations. Consistent with our predictions, our results show that the relaxation time $\tau$ of the material undergoes a crossover from super-Arrhenius to Arrhenius behavior at a cooling-rate-dependent glass transition temperature $T_\text{g}$. The slope of $\ln\tau$ with respect to inverse temperature exhibits a peak near $T_\text{g}$ that grows more pronounced with slower cooling, matching our expectations qualitatively. Additionally, the limiting value of this slope at low temperature shows remarkable quantitative agreement with our predictions. Our results also show that the rate of short-time particle displacements deviates from the equilibrium linear scaling around $T_\text{g}$, asymptotically approaching a different linear scaling. To our surprise, these short-time displacements, the dynamic indicators of the underlying excitations responsible for structural relaxation, show no spatial correlations beyond a few particle diameters, both above and below $T_\text{g}$. This final result is contrary to our expectation, based on previous results for East model glasses formed by cooling, that inter-excitation correlations should emerge as the liquid vitrifies.


title: Tilings of the Sphere by Congruent Pentagons I: Edge Combinations $a^2b^2c$ and $a^3bc$

abstract: We develop the basic tools for classifying edge-to-edge tilings of the sphere by congruent pentagons. Then we prove that, for the edge combination $a^2b^2c$, such tilings are three two-parameter families of pentagonal subdivisions of the Platonic solids, with $12$, $24$ and $60$ tiles. We also prove that, for the edge combination $a^3bc$, such tilings are two unique double pentagonal subdivisions of the Platonic solids, with $48$ and $120$ tiles.


title: Time resolved spectroscopic observations of an M-dwarf flare star EV Lacertae during a flare

abstract: We have performed 5 night spectroscopic observation of the Halpha line of EV Lac with a medium wavelength resolution (R~ 10,000) using the 2m Nayuta telescope at the Nishi-Harima Astronomical Observatory. EV Lac always possesses the Halpha emission line; however, its intensity was stronger on August 15, 2015 than during other four-night periods. On this night, we observed a rapid rise (~ 20min) and a subsequent slow decrease (~ 1.5h) of the emission-line intensity of Halpha, which was probably caused by a flare. We also found an asymmetrical change in the Halpha line on the same night. The enhancement has been observed in the blue wing of the Ha line during each phase of this flare (from the flare start to the flare end), and absorption components were present in its red wing during the early and later phases of the flare. Such blue enhancement (blue asymmetry) of the Halpha line is sometimes seen during solar flares, but only during the early phases. Even for solar flares, little is known about the origin of the blue asymmetry. Compared with solar-flare models, the presented results can lead to the understanding of the dynamics of stellar flares.


title: Topological Floquet edge states in periodically curved waveguides

abstract: We study the Floquet edge states in arrays of periodically curved optical waveguides described by the modulated Su-Schrieffer-Heeger model. Beyond the bulk-edge correspondence, our study explores the interplay between band topology and periodic modulations. By analysing the quasi-energy spectra and Zak phase, we reveal that, although topological and non-topological edge states can exist for the same parameters, \emph{they can not appear in the same spectral gap}. In the high-frequency limit, we find analytically all boundaries between the different phases and study the coexistence of topological and non-topological edge states. In contrast to unmodulated systems, the edge states appear due to either band topology or modulation-induced defects. This means that periodic modulations may not only tune the parametric regions with nontrivial topology, but may also support novel edge states.


title: Monodromy, liftings of holomorphic maps, and extensions of holomorphic motions

abstract: We study monodromy of holomorphic motions and show the equivalence of triviality of monodromy of holomorphic motions and extensions of holomorphic motions to continuous motions of the Riemann sphere. We also study liftings of holomorphic maps into certain Teichm\"uller spaces. We use this "lifting property" to prove that, under the condition of trivial monodromy, any holomorphic motion of a closed set in the Riemann sphere, over a hyperbolic Riemann surface, can be extended to a holomorphic motion of the sphere, over the same parameter space. We conclude that this extension can be done in a conformally natural way.


title: Localized Chern Characters for 2-periodic complexes

abstract: For a two-periodic complex of vector bundles, Polishchuk and Vaintrob have constructed its localized Chern character. We explore some basic properties of this localized Chern character. In particular, we show that the cosection localization defined by Kiem and Li is equivalent to a localized Chern character operation for the associated two-periodic Koszul complex, strengthening a work of Chang, Li, and Li. We apply this equivalence to the comparison of virtual classes of moduli of epsilon-stable quasimaps and moduli of the corresponding LG epsilon-stable quasimaps, in full generality.


title: Double Hopf bifurcation in delayed reaction-diffusion systems

abstract: Double Hopf bifurcation analysis can be used to reveal some complicated dynamical behavior in a dynamical system, such as the existence or coexistence of periodic orbits, quasi-periodic orbits, or even chaos. In this paper, an algorithm for deriving the normal form near a codimension-two double Hopf bifurcation of a reaction-diffusion system with time delay and Neumann boundary condition is rigorously established, by employing the center manifold reduction technique and the normal form method. We find that the dynamical behavior near bifurcation points are proved to be governed by twelve distinct unfolding systems. Two examples are performed to illustrate our results: for a stage-structured epidemic model, we find that double Hopf bifurcation appears when varying the diffusion rate and time delay, and two stable spatially inhomogeneous periodic oscillations are proved to coexist near the bifurcation point; in a diffusive predator-prey system, we theoretically proved that quasi-periodic orbits exist on two- or three-torus near a double Hopf bifurcation point, which will break down after slight perturbation, leaving the system a strange attractor.


title: A Recollimation Shock in a Stationary Jet Feature with Limb-brightening in the Gamma-ray Emitting Narrow-line Seyfert 1 Galaxy 1H 0323+342

abstract: We report the discovery of a local convergence of a jet cross section in the quasi-stationary jet feature in the gamma-ray-emitting narrow-line Seyfert 1 galaxy (NLS1) 1H 0323+342. The convergence site is located at approximately 7 mas (corresponding to the order of 100 pc in deprojection) from the central engine. We also found limb-brightened jet structures at both the upstream and downstream of the convergence site. We propose that the quasi-stationary feature showing the jet convergence and limb-brightening occurs as a consequence of recollimation shock in the relativistic jets. The quasi-stationary feature is one of the possible gamma-ray-emitting sites in this NLS1, in analogy with the HST-1 complex in the M87 jet. Monitoring observations have revealed that superluminal components passed through the convergence site and the peak intensity of the quasi-stationary feature, which showed apparent coincidences with the timing of observed gamma-ray activities.


title: Equivariant hyperbolization of $3$-manifolds via homology cobordisms

abstract: The main result of this paper is that any $3$-dimensional manifold with a finite group action is equivariantly, invertibly homology cobordant to a hyperbolic manifold; this result holds with suitable twisted coefficients as well. The following two consequences motivated this work. First, there are hyperbolic equivariant corks (as defined in previous work of the authors) for a wide class of finite groups. Second, any finite group that acts on a homology $3$-sphere also acts on a hyperbolic homology $3$-sphere. The theorem has other applications, including establishing the existence of an infinite number of hyperbolic homology spheres with a free $Z_p$ action that does not extend to any contractible manifold. A non-equivariant version yields an infinite number of hyperbolic integer homology spheres that bound integer homology balls but do not bound contractible manifolds. In passing, it is shown that the invertible homology cobordism relation on $3$-manifolds is antisymmetric.


title: Smart Soft-RAN for 5G: Dynamic Resource Management in CoMP-NOMA Based Systems

abstract: In this paper, we design a new smart software-defined radio access network architecture which is flexible and traffic and density aware for the fifth generation (5G) of cellular wireless networks and beyond. The proposed architecture, based on network parameters such as density of users and system traffic, performs five important tasks namely, dynamic radio resource management (RRM), dynamic BS type selection, dynamic functionality splitting, dynamic transmission technology selection, and dynamic framing. In this regard, we first elaborate the structure of the proposed smart soft-RAN model and explain the details of the proposed architecture and RRM algorithms. Next, as a case study, based on the proposed architecture, we design a novel coordinated multi point beamforming technique to enhance the throughput of a virtualized software defined-based 5G network utilizing the combination of power domain non-orthogonal multiple access and multiple-input single-output downlink communication. In doing so, we formulate an optimization problem with the aim of maximizing the total throughput subject to minimum required data rate of each user and maximum transmit power constraint of each mobile virtual network operator and each BS, and find jointly the non-orthogonal set, beamforming, and subcarrier allocation. To solve the proposed optimization problem, based on the network density, we design two centralized and semi-centralized algorithms. Specifically, for the ultra-dense scenario, we use the centralized algorithm while the semi-centralized one is used for the high and moderate density scenarios. Numerical results illustrate the performance and signaling overhead of the proposed algorithms, e.g., taking computational limitations into account the number of supported users is increased by more than 60%.


title: Computational study on the half-metallicity in transition metal-oxide-incorporated 2D g-C3N4 nanosheets

abstract: In this study, based on the first-principles calculations, we systematically investigated the electronic and magnetic properties of the transition metal-oxide-incorporated 2D g-C3N4 nanosheet (labeled C3N4-TM-O, TM = Sc-Mn). The results suggest that the TM-O binds to g-C3N4 nanosheets strongly for all systems. We found that the 2D C3N4-TM-O framework is ferromagnetic for TM = Sc, Ti, V, Cr, while it is antiferromagnetic for TM = Mn. All the ferromagnetic systems exhibit the half-metallic property. Furthermore, Monte Carlo simulations based on the Heisenberg model suggest that the Curie temperatures (T_c) of the C3N4-TM-O (TM = Sc, Ti, V, Cr) framework are 169 K, 68 K, 203 K, and 190 K, respectively. Based on Bader charge analysis, we found that the origin of the half-metallicity at Fermi energy can be partially attributed to the transfer of electrons from TM atoms to the g-C3N4 nanosheet. In addition, we found that not only electrons but also holes can induce half-metallicity for 2D g-C3N4 nanosheets, which may help to understand the origin of half-metallicity for graphitic carbon nitride.


title: Nonreciprocal spin Seebeck effect in antiferromagnets

abstract: We theoretically propose a nonreciprocal spin Seebeck effect, i.e., nonreciprocal spin transport generated by a temperature gradient, in antiferromagnetic insulators with broken inversion symmetry. We find that nonreciprocity in antiferromagnets has rich properties not expected in ferromagnets. In particular, we show that polar antiferromagnets, in which the crystal lacks the spatial inversion symmetry, exhibit perfect nonreciprocity --- one-way spin current flow irrespective of the direction of the temperature gradient. We also show that nonpolar centrosymmetric crystals can exhibit nonreciprocity when a magnetic order breaks the inversion symmetry, and in this case, the direction of the nonreciprocal flow can be controlled by reversing the magnetic domain. As their representatives, we calculate the nonreciprocal spin Seebeck voltages for the polar antiferromagnet $\alpha$-Cu$_2$V$_2$O$_7$ and the honeycomb antiferromagnet MnPS$_3$, while varying temperature and magnetic field.


title: Spatial regularity of semigroups generated by L\'{e}vy type operators

abstract: We apply the probabilistic coupling approach to establish the spatial regularity of semigroups associated with L\'{e}vy type operators, by assuming that the martingale problem of L\'{e}vy type operators is well posed. In particular, we can prove the Lipschitz continuity of the semigroups under H\"{o}lder continuity of coefficients, even when the L\'evy kernel corresponding to L\'{e}vy type operators is singular.


title: CoT: Cooperative Training for Generative Modeling of Discrete Data

abstract: In this paper, we study the generative models of sequential discrete data. To tackle the exposure bias problem inherent in maximum likelihood estimation (MLE), generative adversarial networks (GANs) are introduced to penalize the unrealistic generated samples. To exploit the supervision signal from the discriminator, most previous models leverage REINFORCE to address the non-differentiable problem of sequential discrete data. However, because of the unstable property of the training signal during the dynamic process of adversarial training, the effectiveness of REINFORCE, in this case, is hardly guaranteed. To deal with such a problem, we propose a novel approach called Cooperative Training (CoT) to improve the training of sequence generative models. CoT transforms the min-max game of GANs into a joint maximization framework and manages to explicitly estimate and optimize Jensen-Shannon divergence. Moreover, CoT works without the necessity of pre-training via MLE, which is crucial to the success of previous methods. In the experiments, compared to existing state-of-the-art methods, CoT shows superior or at least competitive performance on sample quality, diversity, as well as training stability.


title: Threshold Trapdoor Functions and Their Applications

abstract: We introduce a cryptographic primitive named threshold trapdoor functions (TTDFs), from which we give generic constructions of threshold and revocation encryptions under adaptive corruption model. Then, we show TTDF can be instantiated under the decisional Diffie-Hellman (DDH) assumption and the learning with errors (LWE) assumption. By combining the instantiations of TTDF with the generic constructions, we obtain threshold and revocation encryptions which compare favorably over existing schemes. The experimental results show that our proposed schemes are practical.


title: Stationarity in the Realizations of the Causal Rate-Distortion Function for One-Sided Stationary Sources

abstract: This paper derives novel results on the characterization of the the causal information rate-distortion function (IRDF) $R_{c}^{it}(D)$ for arbitrarily-distributed one-sided stationary $\kappa$-th order Markov source x(1),x(2),.... It is first shown that Gorbunov and Pinsker's results on the stationarity of the realizations to the causal IRDF (stated for two-sided stationary sources) do not apply to the commonly used family of asymptotic average single-letter (AASL) distortion criteria. Moreover, we show that, in general, a reconstruction sequence cannot be both jointly stationary with a one-sided stationary source sequence and causally related to it. This implies that, in general, the causal IRDF for one-sided stationary sources cannot be realized by a stationary distribution. However, we prove that for an arbitrarily distributed one-sided stationary source and a large class of distortion criteria (including AASL), the search for $R_{c}^{it}(D)$ can be restricted to distributions which yield the output sequence y(1), y(2),... jointly stationary with the source after $\kappa$ samples. Finally, we improve the definition of the stationary causal IRDF $\overline{R}_{c}^{it}(D)$ previously introduced by Derpich and {\O}stergaard for two-sided Markovian stationary sources and show that $\overline{R}_{c}^{it}(D)$ for a two-sided source ...,x(-1),x(0),x(1),... equals $R_{c}^{it}(D)$ for the associated one-sided source x(1), x(2),.... This implies that, for the Gaussian quadratic case, the practical zero-delay encoder-decoder pairs proposed by Derpich and {\O}stergaard for approaching $R_{c}^{it}(D)$ achieve an operational data rate which exceeds $R_{c}^{it}(D)$ by less than $1+0.5 \log_2(2 \pi e /12) \simeq 1.254$ bits per sample.


title: Uniform bounds of Piltz divisor problem over number fields

abstract: We consider the upper bound of Piltz divisor problem over number fields. Piltz divisor problem is known as a generalization of the Dirichlet divisor problem. We deal with this problem over number fields and improve the error term of this function for many cases. Our proof uses the estimate of exponential sums. We also show uniform results for ideal counting function and relatively $r$-prime lattice points as one of applications.


title: Nonlinear 3D Face Morphable Model

abstract: As a classic statistical model of 3D facial shape and texture, 3D Morphable Model (3DMM) is widely used in facial analysis, e.g., model fitting, image synthesis. Conventional 3DMM is learned from a set of well-controlled 2D face images with associated 3D face scans, and represented by two sets of PCA basis functions. Due to the type and amount of training data, as well as the linear bases, the representation power of 3DMM can be limited. To address these problems, this paper proposes an innovative framework to learn a nonlinear 3DMM model from a large set of unconstrained face images, without collecting 3D face scans. Specifically, given a face image as input, a network encoder estimates the projection, shape and texture parameters. Two decoders serve as the nonlinear 3DMM to map from the shape and texture parameters to the 3D shape and texture, respectively. With the projection parameter, 3D shape, and texture, a novel analytically-differentiable rendering layer is designed to reconstruct the original input face. The entire network is end-to-end trainable with only weak supervision. We demonstrate the superior representation power of our nonlinear 3DMM over its linear counterpart, and its contribution to face alignment and 3D reconstruction.


title: Multi-Scale Generalized Plane Match for Optical Flow

abstract: Despite recent advances, estimating optical flow remains a challenging problem in the presence of illumination change, large occlusions or fast movement. In this paper, we propose a novel optical flow estimation framework which can provide accurate dense correspondence and occlusion localization through a multi-scale generalized plane matching approach. In our method, we regard the scene as a collection of planes at multiple scales, and for each such plane, compensate motion in consensus to improve match quality. We estimate the square patch plane distortion using a robust plane model detection method and iteratively apply a plane matching scheme within a multi-scale framework. During the flow estimation process, our enhanced plane matching method also clearly localizes the occluded regions. In experiments on MPI-Sintel datasets, our method robustly estimated optical flow from given noisy correspondences, and also revealed the occluded regions accurately. Compared to other state-of-the-art optical flow methods, our method shows accurate occlusion localization, comparable optical flow quality, and better thin object detection.


title: Linear instability and uniqueness of the peaked periodic wave in the reduced Ostrovsky equation

abstract: Stability of the peaked periodic waves in the reduced Ostrovsky equation has remained an open problem for a long time. In order to solve this problem we obtain sharp bounds on the exponential growth of the $L^2$ norm of co-periodic perturbations to the peaked periodic wave, from which it follows that the peaked periodic wave is linearly unstable. We also prove that the peaked periodic wave with parabolic profile is the unique peaked wave in the space of periodic $L^2$ functions with zero mean and a single minimum per period.

categories: math.AP math-ph math.MP nlin.PS physics.flu-dyn


title: Geometric Consistency for Self-Supervised End-to-End Visual Odometry

abstract: With the success of deep learning based approaches in tackling challenging problems in computer vision, a wide range of deep architectures have recently been proposed for the task of visual odometry (VO) estimation. Most of these proposed solutions rely on supervision, which requires the acquisition of precise ground-truth camera pose information, collected using expensive motion capture systems or high-precision IMU/GPS sensor rigs. In this work, we propose an unsupervised paradigm for deep visual odometry learning. We show that using a noisy teacher, which could be a standard VO pipeline, and by designing a loss term that enforces geometric consistency of the trajectory, we can train accurate deep models for VO that do not require ground-truth labels. We leverage geometry as a self-supervisory signal and propose "Composite Transformation Constraints (CTCs)", that automatically generate supervisory signals for training and enforce geometric consistency in the VO estimate. We also present a method of characterizing the uncertainty in VO estimates thus obtained. To evaluate our VO pipeline, we present exhaustive ablation studies that demonstrate the efficacy of end-to-end, self-supervised methodologies to train deep models for monocular VO. We show that leveraging concepts from geometry and incorporating them into the training of a recurrent neural network results in performance competitive to supervised deep VO methods.


title: Quantum phase transition without gap opening

abstract: Quantum phase transitions (QPTs), including symmetry breaking and topological types, always associated with gap closing and opening. We analyze the topological features of the quantum phase boundary of the XY model in a transverse magnetic field. Based on the results from graphs in the auxiliary space, we find that gapless ground states at boundary have different topological characters. On the other hand, In the framework of Majorana representation, the Majorana lattice is shown to be two coupled SSH chains. The analysis of the quantum fidelity for the Majorana eigen vector indicates the signature of QPT for the gapless state. Furthermore numerical computation shows that the transition between two types of gapless phases associates with divergence of second-order derivative of groundstate energy density, which obeys scaling behavior. It indicates that a continues QPT can occur among gapless phases. The underlying mechanism of the gapless QPT is also discussed. The gap closing and opening are not necessary for a QPT.


title: Quantum Lattice Contraction Induced by Transient Raman Process

abstract: The lattice contraction phenomenon found in time resolved X-ray diffraction and electron diffraction experiments is usually considered to be caused by photo-generated carriers. However, the quantum calculation under finite-time boundary conditions leads to a transient Raman process that directly connects optical transitions and lattice displacements. The lattice contraction phenomenon and the coherent phonon phenomenon can be explained well by the process.


title: Quantum security computation on shared secrets

abstract: Ouyang et al. proposed an $(n,n)$ threshold quantum secret sharing scheme, where the number of participants is limited to $n=4k+1,k\in Z^+$, and the security evaluation of the scheme was carried out accordingly. In this paper, we propose an $(n,n)$ threshold quantum secret sharing scheme for the number of participants $n$ in any case ( $n\in Z^+$ ). The scheme is based on a quantum circuit, which consists of Clifford group gates and Toffoli gate. We study the properties of the quantum circuit in this paper and use the quantum circuit to analyze the security of the scheme for dishonest participants.


title: A $C^0$ linear finite element method for sixth order elliptic equations

abstract: In this paper, we develop a straightforward $C^0$ linear finite element method for sixth-order elliptic equations. The basic idea is to use gradient recovery techniques to generate higher-order numerical derivatives from a $C^0$ linear finite element function. Both theoretical analysis and numerical experiments show that the proposed method has the optimal convergence rate under the energy norm. The method avoids complicated construction of conforming $C^2$ finite element basis or nonconforming penalty terms and has a low computational cost.


title: Differentially Private Confidence Intervals for Empirical Risk Minimization

abstract: The process of data mining with differential privacy produces results that are affected by two types of noise: sampling noise due to data collection and privacy noise that is designed to prevent the reconstruction of sensitive information. In this paper, we consider the problem of designing confidence intervals for the parameters of a variety of differentially private machine learning models. The algorithms can provide confidence intervals that satisfy differential privacy (as well as the more recently proposed concentrated differential privacy) and can be used with existing differentially private mechanisms that train models using objective perturbation and output perturbation.


title: Normal reduction numbers for normal surface singularities with application to elliptic singularities of Brieskorn type

abstract: In this paper, we give a formula for normal reduction number of an integrally closed $\mathfrak m$-primary ideal of a $2$-dimensional normal local ring $(A,\mathfrak m)$ in terms of the geometric genus $p_g(A)$ of $A$. Also we compute the normal reduction number of the maximal ideal of Brieskorn hypersurfaces. As an application, we give a short proof of a classification of Brieskorn hypersurfaces having elliptic singularities.


title: Support theorem for the transverse ray transform of tensor fields of rank 2

abstract: Let (M, g) be a simple, real analytic, Riemannian manifold with boundary and of dimension n>=3. In this work, we prove a support theorem for the transverse ray transform of tensor fields of rank 2 defined over such manifolds. More specifically, given a symmetric tensor field f of rank 2, we show that if the transverse ray transform of f vanishes over an appropriate open set of maximal geodesics of M , then the support of f vanishes on the points of M that lie on the union of the aforementioned open set of geodesics.


title: Dynamic Multivariate Functional Data Modeling via Sparse Subspace Learning

abstract: Multivariate functional data from a complex system are naturally high-dimensional and have complex cross-correlation structure. The complexity of data structure can be observed as that (1) some functions are strongly correlated with similar features, while some others may have almost no cross-correlations with quite diverse features; and (2) the cross-correlation structure may also change over time due to the system evolution. With this regard, this paper presents a dynamic subspace learning method for multivariate functional data modeling. In particular, we consider different functions come from different subspaces, and only functions of the same subspace have cross-correlations with each other. The subspaces can be automatically formulated and learned by reformatting the problem as a sparse regression. By allowing but regularizing the regression change over time, we can describe the cross-correlation dynamics. The model can be efficiently estimated by the fast iterative shrinkage-thresholding algorithm (FISTA), and the features of every subspace can be extracted using the smooth multi-channel functional PCA. Numerical studies together with case studies demonstrate the efficiency and applicability of the proposed methodology.


title: Developing Takeuti-Yasumoto forcing

abstract: In late 90's G.Takeuti and Y.Yasumoto gave forcing constructions for bounded arithmetic. We will reformulate their constructions using two-sort bounded arithmetic and prove the followings. 1. Generic extensions are related with P=NP problem. 2. J.Krajicek's forcing constructions can be given as Takeuti-Yasumoto forcing. 3. We can either satisfy or falsify the dual weak pigeonhole principles in generic extensions.


title: Achieving Fluency and Coherency in Task-oriented Dialog

abstract: We consider real world task-oriented dialog settings, where agents need to generate both fluent natural language responses and correct external actions like database queries and updates. We demonstrate that, when applied to customer support chat transcripts, Sequence to Sequence (Seq2Seq) models often generate short, incoherent and ungrammatical natural language responses that are dominated by words that occur with high frequency in the training data. These phenomena do not arise in synthetic datasets such as bAbI, where we show Seq2Seq models are nearly perfect. We develop techniques to learn embeddings that succinctly capture relevant information from the dialog history, and demonstrate that nearest neighbor based approaches in this learned neural embedding space generate more fluent responses. However, we see that these methods are not able to accurately predict when to execute an external action. We show how to combine nearest neighbor and Seq2Seq methods in a hybrid model, where nearest neighbor is used to generate fluent responses and Seq2Seq type models ensure dialog coherency and generate accurate external actions. We show that this approach is well suited for customer support scenarios, where agents' responses are typically script-driven, and correct external actions are critically important. The hybrid model on the customer support data achieves a 78% relative improvement in fluency scores, and a 130% improvement in accuracy of external calls.


title: Ghost imaging for an occluded object

abstract: Imaging for an occluded object is usually a difficult problem, in this letter, we introduce an imaging scheme based on computational ghost imaging, which can obtain the image of a target object behind an obstacle. According to our theoretical analysis, once the distance between the object and the obstacle is far enough, one can obtain the image of the object by using ghost imaging technique. The wavelength of the light source also affects the quality of the reconstructed image. In addition, if the bucket detector is placed far away from the obstacle, a tiny point-like detector without collecting lens can be applied to realize the imaging. These theoretical results above have been verified with our numerical simulations. Furthermore, the robustness of this imaging scheme is also investigated.


title: Computing Integrals Involved the Gaussian Function with a Small Standard Deviation

abstract: We develop efficient numerical integration methods for computing an integral whose integrand is a product of a smooth function and the Gaussian function with a small standard deviation. Traditional numerical integration methods applied to the integral normally lead to poor accuracy due to the rapid change in high order derivatives of its integrand when the standard deviation is small. The proposed quadrature schemes are based on graded meshes designed according to the standard deviation so that the quadrature errors on the resulting subintervals are approximately equal. The integral in each subinterval is then computed by considering the Gaussian function as a weight function and interpolating the smooth factor of the integrand at the Chebyshev points of the first kind. For a finite order differentiable factor, we design a quadrature scheme having accuracy of a polynomial order and for an infinitely differentiable factor of the integrand, we design a quadrature scheme having accuracy of an exponential order. Numerical results are presented to confirm the accuracy of these proposed quadrature schemes.


title: Exceptional Points of Resonant States on a Periodic Slab

abstract: A special kind of degeneracies known as the exceptional points (EPs), for resonant states on a dielectric periodic slab, are investigated. Due to their unique properties, EPs have found important applications in lasing, sensing, unidirectional operations, etc. In general, EPs may appear in non-Hermitian eigenvalue problems, including those related to PT-symmetric systems and those for open dielectric structures (due to the existence of radiation loss). In this paper, we study EPs on a simple periodic structure: a slab with a periodic array of gaps. Using an efficient numerical method, we calculate the EPs and study their dependence on geometric parameters. Analytic results are obtained for the limit as the periodic slab approaches a uniform one. Our work provides a simple platform for further studies concerning EPs on dielectric periodic structures, their unusual properties and applications.


title: Decoupled Novel Object Captioner

abstract: Image captioning is a challenging task where the machine automatically describes an image by sentences or phrases. It often requires a large number of paired image-sentence annotations for training. However, a pre-trained captioning model can hardly be applied to a new domain in which some novel object categories exist, i.e., the objects and their description words are unseen during model training. To correctly caption the novel object, it requires professional human workers to annotate the images by sentences with the novel words. It is labor expensive and thus limits its usage in real-world applications. In this paper, we introduce the zero-shot novel object captioning task where the machine generates descriptions without extra sentences about the novel object. To tackle the challenging problem, we propose a Decoupled Novel Object Captioner (DNOC) framework that can fully decouple the language sequence model from the object descriptions. DNOC has two components. 1) A Sequence Model with the Placeholder (SM-P) generates a sentence containing placeholders. The placeholder represents an unseen novel object. Thus, the sequence model can be decoupled from the novel object descriptions. 2) A key-value object memory built upon the freely available detection model, contains the visual information and the corresponding word for each object. The SM-P will generate a query to retrieve the words from the object memory. The placeholder will then be filled with the correct word, resulting in a caption with novel object descriptions. The experimental results on the held-out MSCOCO dataset demonstrate the ability of DNOC in describing novel concepts in the zero-shot novel object captioning task.


title: Quantum phase transition modulation in an atomtronic Mott switch

abstract: Mott insulators provide stable quantum states and long coherence times to due to small number fluctuations, making them good candidates for quantum memory and atomic circuits. We propose a proof-of-principle for a 1D Mott switch using an ultracold Bose gas and optical lattice. With time-evolving block decimation simulations -- efficient matrix product state methods -- we design a means for transient parameter characterization via a local excitation for ease of engineering into more complex atomtronics. We perform the switch operation by tuning the intensity of the optical lattice, and thus the interaction strength through a conductance transition due to the confined modifications of the "wedding cake" Mott structure. We demonstrate the time-dependence of Fock state transmission and fidelity of the excitation as a means of tuning up the device in a double well and as a measure of noise performance. Two-point correlations via the $g^{(2)}$ measure provide additional information regarding superfluid fragments on the Mott insulating background due to the confinement of the potential.


title: Degradation analysis in the estimation of photometric redshifts from non-representative training sets

abstract: We perform an analysis of photometric redshifts estimated by using a non-representative training sets in magnitude space. We use the ANNz2 and GPz algorithms to estimate the photometric redshift both in simulations as well as in real data from the Sloan Digital Sky Survey (DR12). We show that for the representative case, the results obtained by using both algorithms have the same quality, either using magnitudes or colours as input. In order to reduce the errors when estimating the redshifts with a non-representative training set, we perform the training in colour space. We estimate the quality of our results by using a mock catalogue which is split samples cuts in the $r$-band between $19.4< r< 20.8$. We obtain slightly better results with GPz on single point z-phot estimates in the complete training set case, however the photometric redshifts estimated with ANNz2 algorithm allows us to obtain mildly better results in deeper $r$-band cuts when estimating the full redshift distribution of the sample in the incomplete training set case. By using a cumulative distribution function and a Monte-Carlo process, we manage to define a photometric estimator which fits well the spectroscopic distribution of galaxies in the mock testing set, but with a larger scatter. To complete this work, we perform an analysis of the impact on the detection of clusters via density of galaxies in a field by using the photometric redshifts obtained with a non-representative training set.


title: Atomic and electronic reconstruction at van der Waals interface in twisted bilayer graphene

abstract: Control of the interlayer twist angle in two-dimensional (2D) van der Waals (vdW) heterostructures enables one to engineer a quasiperiodic moir\'e superlattice of tunable length scale. In twisted bilayer graphene (TBG), the simple moir\'e superlattice band description suggests that the electronic band width can be tuned to be comparable to the vdW interlayer interaction at a 'magic angle', exhibiting strongly correlated behavior. However, the vdW interlayer interaction can also cause significant structural reconstruction at the interface by favoring interlayer commensurability, which competes with the intralayer lattice distortion. Here we report the atomic scale reconstruction in TBG and its effect on the electronic structure. We find a gradual transition from incommensurate moir\'e structure to an array of commensurate domain structures as we decrease the twist angle across the characteristic crossover angle, $\theta_c$ ~1\deg. In the twist regime smaller than $\theta_c$ where the atomic and electronic reconstruction become significant, a simple moir\'e band description breaks down. Upon applying a transverse electric field, we observe electronic transport along the network of one-dimensional (1D) topological channels that surround the alternating triangular gapped domains, providing a new pathway to engineer the system with continuous tunability.


title: A Blackbox Polynomial System Solver on Parallel Shared Memory Computers

abstract: A numerical irreducible decomposition for a polynomial system provides representations for the irreducible factors of all positive dimensional solution sets of the system, separated from its isolated solutions. Homotopy continuation methods are applied to compute a numerical irreducible decomposition. Load balancing and pipelining are techniques in a parallel implementation on a computer with multicore processors. The application of the parallel algorithms is illustrated on solving the cyclic $n$-roots problems, in particular for $n = 8, 9$, and~12.


title: Non-existence of perfect binary sequences

abstract: Binary sequences with lower autocorrelation values have important applications in cryptography and communications. In this paper, we present all possible parameters for binary periodical sequences with a 2-level autocorrelation values. For $n \equiv 1\pmod 4$, we prove some cases of Schmidt's Conjecture for perfect binary sequences. (Des. Codes Cryptogr. 78 (2016), 237-267.) For $n \equiv 2\pmod 4$, Jungnickel and Pott (Discrete Appl. Math. 95 (1999) 331-359.) left four perfect binary sequences as open problem and we solve three of its. For $n \equiv 3\pmod 4$, we present some nonexistence of binary sequences which all nontrivial autocorrelation values are equal 3. For $n \equiv 0\pmod 4$, we show that there do not exist the binary sequences which all nontrivial autocorrelation values are equal 4.


title: Demoir\'eing of Camera-Captured Screen Images Using Deep Convolutional Neural Network

abstract: Taking photos of optoelectronic displays is a direct and spontaneous way of transferring data and keeping records, which is widely practiced. However, due to the analog signal interference between the pixel grids of the display screen and camera sensor array, objectionable moir\'e (alias) patterns appear in captured screen images. As the moir\'e patterns are structured and highly variant, they are difficult to be completely removed without affecting the underneath latent image. In this paper, we propose an approach of deep convolutional neural network for demoir\'eing screen photos. The proposed DCNN consists of a coarse-scale network and a fine-scale network. In the coarse-scale network, the input image is first downsampled and then processed by stacked residual blocks to remove the moir\'e artifacts. After that, the fine-scale network upsamples the demoir\'ed low-resolution image back to the original resolution. Extensive experimental results have demonstrated that the proposed technique can efficiently remove the moir\'e patterns for camera acquired screen images; the new technique outperforms the existing ones.


title: Privacy Verification in POMDPs via Barrier Certificates

abstract: Privacy is an increasing concern in cyber-physical systems that operates over a shared network. In this paper, we propose a method for privacy verification of cyber- physical systems modeled by Markov decision processes (MDPs) and partially-observable Markov decision processes (POMDPs) based on barrier certificates. To this end, we consider an opacity-based notion of privacy, which is characterized by the beliefs in system states. We show that the belief update equations can be represented as discrete-time switched systems, for which we propose a set of conditions for privacy verification in terms of barrier certificates. We further demonstrate that, for MDPs and for POMDPs, privacy verification can be computationally implemented by solving a set of semi-definite programs and sum-of-squares programs, respectively. The method is illustrated by an application to privacy verification of an inventory management system.


title: Estimating Time-Varying Graphical Models

abstract: In this paper, we study time-varying graphical models based on data measured over a temporal grid. Such models are motivated by the needs to describe and understand evolving interacting relationships among a set of random variables in many real applications, for instance the study of how stocks interact with each other and how such interactions change over time. We propose a new model, LOcal Group Graphical Lasso Estimation (loggle), under the assumption that the graph topology changes gradually over time. Specifically, loggle uses a novel local group-lasso type penalty to efficiently incorporate information from neighboring time points and to impose structural smoothness of the graphs. We implement an ADMM based algorithm to fit the loggle model. This algorithm utilizes blockwise fast computation and pseudo-likelihood approximation to improve computational efficiency. An R package loggle has also been developed. We evaluate the performance of loggle by simulation experiments. We also apply loggle to S&P 500 stock price data and demonstrate that loggle is able to reveal the interacting relationships among stocks and among industrial sectors in a time period that covers the recent global financial crisis.


title: Existence of multiple solutions to an elliptic problem with measure data

abstract: In this paper we prove the existence of multiple nontrivial solutions of the following equation. \begin{align*} \begin{split} -\Delta_{p}u & = \lambda |u|^{q-2}u+f(x,u)+\mu\,\,\mbox{in}\,\,\Omega, u & = 0\,\, \mbox{on}\,\, \partial\Omega; \end{split} \end{align*} where $\Omega \subset \mathbb{R}^N$ is a smooth bounded domain with $N \geq 3$, $1 < q^{\prime} < q < p-1; \; \lambda,\;$ and $f$ satisfies certain conditions, $\mu>0$ is a Radon measure, $q^{\prime}=\frac{q}{q-1}$ is the conjugate of $q$.


title: Topologically nontrivial black holes in Lovelock-Born-Infeld gravity

abstract: We present the black hole solutions possessing horizon with nonconstant-curvature and additional scalar restrictions on the base manifold in Lovelock gravity coupled to Born-Infeld (BI) nonlinear electrodynamics. The asymptotic and near origin behavior of the metric is presented and we analyze different behaviors of the singularity. We find that, in contrast to the case of the black hole solutions of BI-Lovelock gravity with constant curvature horizon and Maxwell-Lovelock gravity with nonconstant horizon which has only timelike singularities, spacelike, and timelike singularities may exist for BI-Lovelock black holes with nonconstant curvature horizon. By calculating the thermodynamic quantities, we study the effects of nonlinear electrodynamics via the Born-Infeld action. Stability analysis shows that black holes with positive sectional curvature, k, possess an intermediate unstable phase and large and small black holes are stable. We see that while Ricci flat Lovelock-Born-Infeld black holes having exotic horizons are stable in the presence of Maxwell field or either Born Infeld field with large born Infeld parameter beta, unstable phase appears for smaller values of beta, and therefore nonlinearity brings in the instability.


title: Photon echo using imperfect X-ray pulse with phase fluctuation

abstract: We study the impact of inter-pulse phase fluctuation in free-electron X-ray laser on the signal in the photon echo spectroscopy, which is one of the simplest non-linear spectroscopic methods. A two-pulse echo model is considered with two-level atoms as the sample. The effect of both fluctuation amplitude and correlation strength of the random phase fluctuation is studied both numerically and analytically. We show that the random phase effect only affects the amplitude of the photon echo, yet not change the recovering time. Such random phase induces the fluctuation of recovering amplitude in the photon echo signals among different measurements. We show the normal method of measuring coherence time retains by averaging across the signals in different repeats in current paper.


abstract: Recently superfluid black holes are reported in Lovelock gravity with conformally coupled scalar field [Robie A. Hennigar, Robert B. Mann, Erickson Tjoa, Phys.Rev.Lett. 118 (2017) no.2, 021301]. In this paper, we present another example of black holes containing $\lambda$ phase transition in Horava gravity. After studying the extended thermodynamics of general dimensional Horava-Lifshitz AdS black holes, it is found that only the one with spherical horizon in four and five dimensions have a $\lambda$ phase transition, which is a line of (continuous) second order phase transitions and was famous in the discussion of superfluidity of liquid ${}^4$He. The "superfluid" black hole phase and "normal" black hole phase are also distinguished. Especially, six dimensional Horava-Lifshitz AdS black holes exhibit infinitely many critical points in $P-\nu$ plane and the divergent points for specific heat, for which they only contain the "normal" black hole phase and the "superfluid" black hole phase disappears due to the physical temperature constraint; therefore there is no similar phase transition. In more than six dimensions, there is no $P-\nu$ critical behavior. After choosing the appropriate ordering field, we study the critical phenomena in different planes of thermodynamical phase space. We also calculate the critical exponents, which are the same with the van der Waals fluid.


title: Tunable quantum critical point and detached superconductivity in Al-doped CrAs

abstract: The origin of unconventional superconductivity and its relationship to a T=0 K continuous quantum phase transition (a quantum critical point, QCP), which is hidden inside the dome of a superconducting state, have long been an outstanding puzzle in correlated superconductors. The observation and tuning of the hidden QCP, which is critical in resolving the mystery, however, has been rarely reported due to lack of ideal systems. The helical antiferromagnet CrAs provides an example in which a dome of superconductivity appears at a pressure where its magnetic transition goes to zero temperature. Here we report the tuning of a projected critical point in CrAs via Al chemical doping (Al-CrAs) and separation of the magnetic critical point from the pressure-induced superconducting phase. When CrAs is doped with Al, its AFM ordering temperature TN increases from 260 K to 270 K. With applied pressure, TN decreases and extrapolates to zero Kelvin near 4.5 kbar, which is shifted from 8 kbar for undoped CrAs. A funnel of anomalously enhanced electron scattering and a non-Fermi liquid resistivity underscore an AFM QCP near 4.5 kbar in Al-CrAs. Pressure-induced superconductivity, in contrast, is almost independent of Al doping and forms a dome with essentially the identical maximum Tc and same optimal pressure as in pure CrAs. The clear separation between the tuned AFM QCP and Tc maximum in Al-CrAs suggests that superconductivity is independent of the AFM QCP, illustrating subtleties in the interplay between superconductivity and quantum criticality in correlated electron systems.


title: Pauli energy spectrum for twist-deformed space-time

abstract: In this article, we define the Pauli Hamiltonian function for twist-deformed N-enlarged Newton-Hooke space-time provided in article [12]. Further, we derive its energy spectrum, i.e., we find the corresponding eigenvalues as well as the proper eigenfunctions.


title: Polytropic Inspired Inflation on the Brane

abstract: The brane inflationary model inspired by a polytropic inflationary idea is studied. In the slow-roll approximation and high energy limit, for a chaotic potential, the model is developed, and its characteristics are discussed. We obtain explicit expressions for the scalar power spectrum, the tensor-scalar ratio, the scalar spectral index and its running in terms of the polytropic parameters. We find a new constraint on the energy scale of the inflation and the brane tension using the WMAP9 data.


title: Efficient (nonrandom) construction and decoding for non-adaptive group testing

abstract: The task of non-adaptive group testing is to identify up to $d$ defective items from $N$ items, where a test is positive if it contains at least one defective item, and negative otherwise. If there are $t$ tests, they can be represented as a $t \times N$ measurement matrix. We have answered the question of whether there exists a scheme such that a larger measurement matrix, built from a given $t\times N$ measurement matrix, can be used to identify up to $d$ defective items in time $O(t \log_2{N})$. In the meantime, a $t \times N$ nonrandom measurement matrix with $t = O \left(\frac{d^2 \log_2^2{N}}{(\log_2(d\log_2{N}) - \log_2{\log_2(d\log_2{N})})^2} \right)$ can be obtained to identify up to $d$ defective items in time $\mathrm{poly}(t)$. This is much better than the best well-known bound, $t = O \left( d^2 \log_2^2{N} \right)$. For the special case $d = 2$, there exists an efficient nonrandom construction in which at most two defective items can be identified in time $4\log_2^2{N}$ using $t = 4\log_2^2{N}$ tests. Numerical results show that our proposed scheme is more practical than existing ones, and experimental results confirm our theoretical analysis. In particular, up to $2^{7} = 128$ defective items can be identified in less than $16$s even for $N = 2^{100}$.


title: KRB-CCN: Lightweight Authentication & Access Control for Private Content-Centric Networks

abstract: Content-Centric Networking (CCN) is an internetworking paradigm that offers an alternative to today's IP-based Internet Architecture. Instead of focusing on hosts and their locations, CCN emphasizes addressable named content. By decoupling content from its location, CCN allows opportunistic in-network content caching, thus enabling better network utilization, at least for scalable content distribution. However, in order to be considered seriously, CCN must support basic security services, including content authenticity, integrity, confidentiality, authorization and access control. Current approaches rely on content producers to perform authorization and access control. This general approach has several disadvantages. First, consumer privacy vis-a-vis producers is not preserved. Second, identity management and access control impose high computational overhead on producers. Also, unnecessary repeated authentication and access control decisions must be made for each content request. These issues motivate our design of KRB-CCN - a complete authorization and access control system for private CCNs. Inspired by Kerberos in IP-based networks, KRB-CCN involves distinct authentication and authorization authorities. By doing so, KRB-CCN obviates the need for producers to make consumer authentication and access control decisions. KRB-CCN preserves consumer privacy since producers are unaware of consumer identities. Producers are also not required to keep any hard state and only need to perform two symmetric key operations to guarantee that sensitive content is confidentially delivered only to authenticated and authorized consumers. Most importantly, unlike prior designs, KRB-CCN leaves the network (i.e., CCN routers) out of any authorization, access control or confidentiality issues. We describe KRB-CCN design and implementation, analyze its security, and report on its performance.


title: ExFuse: Enhancing Feature Fusion for Semantic Segmentation

abstract: Modern semantic segmentation frameworks usually combine low-level and high-level features from pre-trained backbone convolutional models to boost performance. In this paper, we first point out that a simple fusion of low-level and high-level features could be less effective because of the gap in semantic levels and spatial resolution. We find that introducing semantic information into low-level features and high-resolution details into high-level features is more effective for the later fusion. Based on this observation, we propose a new framework, named ExFuse, to bridge the gap between low-level and high-level features thus significantly improve the segmentation quality by 4.0\% in total. Furthermore, we evaluate our approach on the challenging PASCAL VOC 2012 segmentation benchmark and achieve 87.9\% mean IoU, which outperforms the previous state-of-the-art results.


title: Enumerating All Subgraphs without Forbidden Induced Subgraphs via Multivalued Decision Diagrams

abstract: We propose a general method performed over multivalued decision diagrams that enumerates all subgraphs of an input graph that are characterized by input forbidden induced subgraphs. Our method combines elaborations of classical set operations and the developing construction technique, called the frontier based search, for multivalued decision diagrams. Using the algorithm, we enumerated all the chordal graphs of size at most 10 on multivalued decision diagrams.


title: Optimal Scalar Linear Codes for Some Classes of The Two-Sender Groupcast Index Coding Problem

abstract: The two-sender groupcast index coding problem (TGICP) consists of a set of receivers, where all the messages demanded by the set of receivers are distributed among the two senders. The senders can possibly have a set of messages in common. Each message can be demanded by more than one receiver. Each receiver has a subset of messages (known as its side information) and demands a message it does not have. The objective is to design scalar linear codes at the senders with the minimum aggregate code length such that all the receivers are able to decode their demands, by leveraging the knowledge of the side information of all the receivers. In this work, optimal scalar linear codes of three sub-problems (considered as single-sender groupcast index coding problems (SGICPs)) of the TGICP are used to construct optimal scalar linear codes for some classes of the TGICP. We introduce the notion of joint extensions of a finite number of SGICPs, which generalizes the notion of extensions of a single SGICP introduced in a prior work. An SGICP $\mathcal{I}_E$ is said to be a joint extension of a finite number of SGICPs if all the SGICPs are disjoint sub-problems of $\mathcal{I}_E$. We identify a class of joint extensions, where optimal scalar linear codes of the joint extensions can be constructed using those of the sub-problems. We then construct scalar linear codes for some classes of the TGICP, when one or more sub-problems of the TGICP belong to the above identified class of joint extensions, and provide some necessary conditions for the optimality of the construction.


title: Reference-less Measure of Faithfulness for Grammatical Error Correction

abstract: We propose USim, a semantic measure for Grammatical Error Correction (GEC) that measures the semantic faithfulness of the output to the source, thereby complementing existing reference-less measures (RLMs) for measuring the output's grammaticality. USim operates by comparing the semantic symbolic structure of the source and the correction, without relying on manually-curated references. Our experiments establish the validity of USim, by showing that (1) semantic annotation can be consistently applied to ungrammatical text; (2) valid corrections obtain a high USim similarity score to the source; and (3) invalid corrections obtain a lower score.


title: The Averagely Radial Speed of Light for The Rotating And Charged Black Hole

abstract: The Kerr-Newman metric is used to discuss the averagely measured speed of light along the radial direction at the black hole from a weak-gravitation reference frame such as an observer on Earth. The velocity equation of light at the black hole is represented in the spherical coordinate (r, thita, phi) and the main parameters are the Schwarzschild radius RS, the rotation term a, and the charged term RQ. From the calculations, the averagely radial speed of light from r=Rs to r= (alpha)Rs with alpha>1 is possibly exceeding the speed of light c in free space by an observer in a reference frame far away from the black hole like on Earth. The result extends to the large r region when the rotation of the black hole is very high or the charge is large enough. This averagely radial speed finally goes to c in a large distance away from the black hole. We also propose a new explanation based on our results that the observation of the faster-than-light particle is due to the light bending near the black hole or supermassive star with very strong gravity. Finally, we also give explanation that the propagation speed of gravity shall not be faster than the corresponding speed of light.


title: AFA-PredNet: The action modulation within predictive coding

abstract: The predictive processing (PP) hypothesizes that the predictive inference of our sensorimotor system is encoded implicitly in the regularities between perception and action. We propose a neural architecture in which such regularities of active inference are encoded hierarchically. We further suggest that this encoding emerges during the embodied learning process when the appropriate action is selected to minimize the prediction error in perception. Therefore, this predictive stream in the sensorimotor loop is generated in a top-down manner. Specifically, it is constantly modulated by the motor actions and is updated by the bottom-up prediction error signals. In this way, the top-down prediction originally comes from the prior experience from both perception and action representing the higher levels of this hierarchical cognition. In our proposed embodied model, we extend the PredNet Network, a hierarchical predictive coding network, with the motor action units implemented by a multi-layer perceptron network (MLP) to modulate the network top-down prediction. Two experiments, a minimalistic world experiment, and a mobile robot experiment are conducted to evaluate the proposed model in a qualitative way. In the neural representation, it can be observed that the causal inference of predictive percept from motor actions can be also observed while the agent is interacting with the environment.


title: Cascade of transitions in molecular information theory

abstract: Biological organisms are open, adaptve systems that can respond to changes in environment in specific ways. Adaptation and response can be posed as an optimization problem, with a tradeoff between the benefit obtained from a response and the cost of producing environment-specific responses. Using recent results in stochastic thermodynamics, we formulate the cost as the mutual information between the environment and the stochastic response. The problem of designing an optimally performing network now reduces to a problem in rate distortion theory -- a branch of information theory that deals with lossy data compression. We find that as the cost of unit information goes down, the system undergoes a sequence of transitions, corresponding to the recruitment of an increasing number of responses, thus improving response specificity as well as the net payoff. We derive formal equations for the transition points and exactly solve them for special cases. The first transition point, also called the {\it coding transition}, demarcates the boundary between a passive response and an active decision-making by the system. We study this transition point in detail, and derive three classes of asymptotic behavior, corresponding to the three limiting distributions of the statistics of extreme values. Our work points to the necessity of a union between information theory and the theory of adaptive biomolecular networks, in particular metabolic networks.