title: Dynamical generation of fermion mass hierarchy in an extra dimension

abstract: We propose a new mechanism to produce a fermion mass hierarchy dynamically in a model with a singlet generation of fermions. A five dimensional gauge theory on an interval with point interactions (zero-width branes) takes responsibility for realizing three generations and each massless zero mode localizes at boundaries of the segments on the extra dimension. An extra-dimension coordinate-dependent vacuum expectation value of a scalar field makes large differences in overlap integrals of the localized zero modes and then an exponential fermion mass hierarchy can appear. The positions of the point interactions control the magnitude of the fermion mass hierarchy and are determined by the minimization condition of the Casimir energy. As a result of the minimization of the Casimir energy, an exponential mass hierarchy appears dynamically. We also discuss the stability of the extra dimension.


title: Solutions of the 4-species quadratic reaction-diffusion system are bounded and $C^\infty$, in any space dimension

abstract: We establish the boundedness of solutions of reaction-diffusion systems with quadratic (in fact slightly super-quadratic) reaction terms that satisfy a natural entropy dissipation property, in any space dimension N>2. This bound imply the smoothness of the solutions. This result extends the theory which was restricted to the two-dimensional case. The proof heavily uses De Giorgi's iteration scheme, which allows us to obtain local estimates. The arguments rely on duality reasonings in order to obtain new estimates on the total mass of the system, both in $L^{(N+1)/N}$ norm and in a suitable weak norm. The latter uses $C^\alpha$ regularization properties for parabolic equations.


title: Detecting higher spin fields through statistical anisotropy in the CMB and galaxy power spectra

abstract: Primordial inflation may represent the most powerful collider to test high-energy physics models. In this paper we study the impact on the inflationary power spectrum of the comoving curvature perturbation in the specific model where massive higher spin fields are rendered effectively massless during a de Sitter epoch through suitable couplings to the inflaton field. In particular, we show that such fields with spin $s$ induce a distinctive statistical anisotropic signal on the power spectrum, in such a way that not only the usual $g_{2M}$-statistical anisotropy coefficients, but also higher-order ones (i.e., $g_{4M}$, $g_{6M}$, $\cdots$, $g_{(2s-2)M}$ and $g_{(2s) M}$) are nonvanishing. We examine their imprints in the cosmic microwave background and galaxy power spectra. Our Fisher matrix forecasts indicate that the detectability of $g_{LM}$ depends very weakly on $L$: all coefficients could be detected in near future if their magnitudes are bigger than about $10^{-3}$.


title: On the rationality problem for forms of moduli spaces of stable marked curves of positive genus

abstract: Let $M_{g, n}$ (respectively, $\overline{M_{g, n}}$) be the moduli space of smooth (respectively stable) curves of genus $g$ with $n$ marked points. Over the field of complex numbers, it is a classical problem in algebraic geometry to determine whether or not $M_{g, n}$ (or equivalently, $\overline{M_{g, n}}$) is a rational variety. Theorems of J. Harris, D. Mumford, D. Eisenbud and G. Farkas assert that $M_{g, n}$ is not unirational for any $n \geqslant 0$ if $g \geqslant 22$. Moreover, P. Belorousski and A. Logan showed that $M_{g, n}$ is unirational for only finitely many pairs $(g, n)$ with $g \geqslant 1$. Finding the precise range of pairs $(g, n)$, where $M_{g, n}$ is rational, stably rational or unirational, is a problem of ongoing interest. In this paper we address the rationality problem for twisted forms of $\overline{M_{g, n}}$ defined over an arbitrary field $F$ of characteristic $\neq 2$. We show that all $F$-forms of $\overline{M_{g, n}}$ are stably rational for $g = 1$ and $3 \leqslant n \leqslant 4$, $g = 2$ and $2 \leqslant n \leqslant 3$, $g = 3$ and $1 \leqslant n \leqslant 14$, $g = 4$ and $1 \leqslant n \leqslant 9$, $g = 5$ and $1 \leqslant n \leqslant 12$.


title: Experimental Demonstration of Non-local Controlled-Unitary Quantum Gates Using a Five-qubit Quantum Computer

abstract: Local implementation of non-local quantum gates is necessary in a distributed quantum computer. Here, we demonstrate the non-local implementation of controlled-unitary quantum gates proposed by Eisert et al. (Phys Rev A 62:052317, 2000) using the five-qubit IBM quantum computer. We verify the fidelity and accuracy of the implementation through the techniques of quantum state and process tomographies.


title: The rationality problem for forms of $\overline{M_{0, n}}$

abstract: Let $X$ be a del Pezzo surface of degree $5$ defined over a field $F$. A theorem of Yu. I. Manin and P. Swinnerton-Dyer asserts that every Del Pezzo surface of degree $5$ is rational. In this paper we generalize this result as follows. Recall that del Pezzo surfaces of degree $5$ over a field $F$ are precisely the twisted $F$-forms of the moduli space $\overline{M_{0, 5}}$ of stable curves of genus $0$ with $5$ marked points. Suppose $n \geq 5$ is an integer, and $F$ is an infinite field of characteristic $\neq 2$. It is easy to see that every twisted $F$-form of $\overline{M_{0, n}}$ is unirational over $F$. We show that (a) if $n$ is odd, then every twisted $F$-form of $\overline{M_{0, n}}$ is rational over $F$. (b) If $n$ is even, there exists a field extension $F/k$ and a twisted $F$-form $X$ of $\overline{M_{0, n}}$ such that $X$ is not retract rational over $F$.


title: A generalization of the theorems of Chevalley-Warning and Ax-Katz via polynomial substitutions

abstract: We give conditions under which the number of solutions of a system of polynomial equations over a finite field F_q of characteristic p is divisible by p. Our setup involves the substitution t_i |-> f_i(t_i) for auxiliary polynomials f_1,...,f_n in F_q[t]. We recover as special cases results of Chevalley-Warning and Morlaye-Joly. Then we investigate higher p-adic divisibilities, proving a result that recovers the Ax-Katz Theorem. We also consider p-weight degrees, recovering work of Moreno-Moreno, Moreno-Castro and Castro-Castro-Velez.


title: Morphology-based Entity and Relational Entity Extraction Framework for Arabic

abstract: Rule-based techniques to extract relational entities from documents allow users to specify desired entities with natural language questions, finite state automata, regular expressions and structured query language. They require linguistic and programming expertise and lack support for Arabic morphological analysis. We present a morphology-based entity and relational entity extraction framework for Arabic (MERF). MERF requires basic knowledge of linguistic features and regular expressions, and provides the ability to interactively specify Arabic morphological and synonymity features, tag types associated with regular expressions, and relations and code actions defined over matches of subexpressions. MERF constructs entities and relational entities from matches of the specifications. We evaluated MERF with several case studies. The results show that MERF requires shorter development time and effort compared to existing application specific techniques and produces reasonably accurate results within a reasonable overhead in run time.


title: Transkingdom Networks: A Systems Biology Approach to Identify Causal Members of Host-Microbiota Interactions

abstract: Improvements in sequencing technologies and reduced experimental costs have resulted in a vast number of studies generating high-throughput data. Although the number of methods to analyze these "omics" data has also increased, computational complexity and lack of documentation hinder researchers from analyzing their high-throughput data to its true potential. In this chapter we detail our data-driven, transkingdom network (TransNet) analysis protocol to integrate and interrogate multi-omics data. This systems biology approach has allowed us to successfully identify important causal relationships between different taxonomic kingdoms (e.g. mammals and microbes) using diverse types of data.


title: On directed homotopy equivalences and a notion of directed topological complexity

abstract: This short note introduces a notion of directed homotopy equivalence and of "directed" topological complexity (which elaborates on the notion that can be found in e.g. Farber's book) which have a number of desirable joint properties. In particular, being dihomotopically equivalent implies having bisimilar natural homologies (defined in Dubut et al. 2015). Also, under mild conditions, directed topological complexity is an invariant of our directed homotopy equivalence and having a directed topological complexity equal to one is (under these conditions) equivalent to being dihomotopy equivalent to a point (i.e., to being "dicontractible", as in the undirected case). It still remains to compare this notion with the notion introduced in Dubut et al. 2016, which has lots of good properties as well. For now, it seems that for reasonable spaces, this new proposal of directed homotopy equivalence identifies more spaces than the one of Dubut et al. 2016.


title: AI Programmer: Autonomously Creating Software Programs Using Genetic Algorithms

abstract: In this paper, we present the first-of-its-kind machine learning (ML) system, called AI Programmer, that can automatically generate full software programs requiring only minimal human guidance. At its core, AI Programmer uses genetic algorithms (GA) coupled with a tightly constrained programming language that minimizes the overhead of its ML search space. Part of AI Programmer's novelty stems from (i) its unique system design, including an embedded, hand-crafted interpreter for efficiency and security and (ii) its augmentation of GAs to include instruction-gene randomization bindings and programming language-specific genome construction and elimination techniques. We provide a detailed examination of AI Programmer's system design, several examples detailing how the system works, and experimental data demonstrating its software generation capabilities and performance using only mainstream CPUs.


title: Adsorption of the astatine species on gold surface: a relativistic density functional theory study

abstract: We report on first-principle based studies of the adsorption interaction of astatine species on a gold surface. These studies are aimed primarily at the support and interpretation of gas chromatographic experiments with Superheavy Elements, tennessine (Ts, $Z=117$) as the heavier homologue of At and possibly nihonium (Nh, $Z=113$) as its pseudo-homologue. The adsorption energies of elemental astatine or the corresponding monohydroxide on a stable gold (111) surface are estimated using gold clusters with up to 69 atoms in order to simulate the adsorption site. To simulate the electronic structure of $\rm At-Au_n$ and $\rm AtOH-Au_n$ complexes, we combine accurate shape-consistent relativistic pseudopotentials and non-collinear two-component relativistic density functional theory. The predicted adsorption energies for At and AtOH on gold are $\rm 130 \pm 10$ kJ/mol and $\rm 90 \pm 10$ kJ/mol, respectively.


title: Intrinsic spin-orbit coupling gap and the evidence of a topological state in graphene

abstract: In 2005 Kane & Mele[C. L. Kane and E. J. Mele, Phys. Rev. Lett. 95, 226801 (2005)], predicted that at sufficiently low energy, graphene exhibits a topological state of matter with an energy gap generated by the atomic spin-orbit interaction. However, this intrinsic gap has not been measured to this date. In this letter, we exploit the chirality of the low energy states to resolve this gap. We probe the spin states experimentally, by employing low temperature microwave excitation in a resistively detected electron spin resonance on graphene. The structure of the topological bands is reflected in our transport experiments, where our numerical models allow us to identify the resonance signatures. We determine the intrinsic spin-orbit bulk gap to be exactly 42.2 {\mu}eV. Electron-spin resonance experiments can reveal the competition between the intrinsic spin-orbit coupling and classical Zeeman energy that arises at low magnetic fields and demonstrate that graphene remains to be a material with surprising properties.


title: Memory Augmented Control Networks

abstract: Planning problems in partially observable environments cannot be solved directly with convolutional networks and require some form of memory. But, even memory networks with sophisticated addressing schemes are unable to learn intelligent reasoning satisfactorily due to the complexity of simultaneously learning to access memory and plan. To mitigate these challenges we introduce the Memory Augmented Control Network (MACN). The proposed network architecture consists of three main parts. The first part uses convolutions to extract features and the second part uses a neural network-based planning module to pre-plan in the environment. The third part uses a network controller that learns to store those specific instances of past information that are necessary for planning. The performance of the network is evaluated in discrete grid world environments for path planning in the presence of simple and complex obstacles. We show that our network learns to plan and can generalize to new environments.


title: Nonparametric Shape-restricted Regression

abstract: We consider the problem of nonparametric regression under shape constraints. The main examples include isotonic regression (with respect to any partial order), unimodal/convex regression, additive shape-restricted regression, and constrained single index model. We review some of the theoretical properties of the least squares estimator (LSE) in these problems, emphasizing on the adaptive nature of the LSE. In particular, we study the behavior of the risk of the LSE, and its pointwise limiting distribution theory, with special emphasis to isotonic regression. We survey various methods for constructing pointwise confidence intervals around these shape-restricted functions. We also briefly discuss the computation of the LSE and indicate some open research problems and future directions.


title: Cost-Based Assessment of Partitioning Algorithms of Agent-Based Systems on Hybrid Cloud Environments

abstract: Distributing agent-based simulators reveals many challenges while deploying them on a hybrid cloud infrastructure. In fact, a researcher's main motivations by running simulations on hybrid clouds, are reaching more scalable systems as well as reducing monetary costs. Indeed, hybrid cloud environment, despite providing scalability and effective control over proper data, requires an efficient deployment strategy combining both an efficient partitioning mechanism and cost savings. In this paper, we propose a cost deployment model dedicated to distributed agent-based simulation systems. This cost model, combining general performance partitioning criteria as well as monetary costs, is used to evaluate cluster and grid based partitioning algorithms on hybrid cloud environments. The first experimental results show that, for a given agent-based model, a good partitioning method used with the suitable hybrid cloud environment lead to an efficient and economic deployment.


title: Lexico-minimum Replica Placement in Multitrees

abstract: In this work, we consider the problem of placing replicas in a data center or storage area network, represented as a digraph, so as to lexico-minimize a previously proposed reliability measure which minimizes the impact of all failure events in the model in decreasing order of severity. Prior work focuses on the special case in which the digraph is an arborescence. In this work, we consider the broader class of multitrees: digraphs in which the subgraph induced by vertices reachable from a fixed node forms a tree. We parameterize multitrees by their number of "roots" (nodes with in-degree zero), and rule out membership in the class of fixed-parameter tractable problems (FPT) by showing that finding optimal replica placements in multitrees with 3 roots is NP-hard. On the positive side, we show that the problem of finding optimal replica placements in the class of \emph{untangled} multitrees is FPT, as parameterized by the replication factor $\rho$ and the number of roots $k$. Our approach combines dynamic programming (DP) with a novel tree decomposition to find an optimal placement of $\rho$ replicas on the leaves of a multitree with $n$ nodes and $k$ roots in $O(n^2\rho^{2k+3})$ time.


title: Fine-Grained Endpoint-Driven In-Network Traffic Control for Proactive DDoS Attack Mitigation

abstract: Volumetric attacks, which overwhelm the bandwidth of a destination, are among the most common DDoS attacks today. Despite considerable effort made by both research and industry, our recent interviews with over 100 potential DDoS victims in over 10 industry segments indicate that today's DDoS prevention is far from perfect. On one hand, few academical proposals have ever been deployed in the Internet; on the other hand, solutions offered by existing DDoS prevention vendors are not a silver bullet to defend against the entire attack spectrum. Guided by such large-scale study of today's DDoS defense, in this paper, we present MiddlePolice, the first readily deployable and proactive DDoS prevention mechanism. We carefully architect MiddlePolice such that it requires no changes from both the Internet core and the network stack of clients, yielding instant deployability in the current Internet architecture. Further, relying on our novel capability feedback mechanism, MiddlePolice is able to enforce destination-driven traffic control so that it guarantees to deliver victim-desired traffic regardless of the attacker strategies. We implement a prototype of MiddlePolice, and demonstrate its feasibility via extensive evaluations in the Internet, hardware testbed and large-scale simulations.


title: Diffusion and Drift in Volume-Preserving Maps

abstract: A nearly-integrable dynamical system has a natural formulation in terms of actions, $y$ (nearly constant), and angles, $x$ (nearly rigidly rotating with frequency $\Omega(y)$). We study angle-action maps that are close to symplectic and have a positive-definite twist, the derivative of the frequency map, $D\Omega(y)$. When the map is symplectic, Nekhoroshev's theorem implies that the actions are confined for exponentially long times: the drift is exponentially small and numerically appears to be diffusive. We show that when the symplectic condition is relaxed, but the map is still volume-preserving, the actions can have a strong drift along resonance channels. Averaging theory is used to compute the drift for the case of rank-$r$ resonances. A comparison with computations for a generalized Froeschl\'e map in four-dimensions, shows that this theory gives accurate results for the rank-one case.


title: Multipath IP Routing on End Devices: Motivation, Design, and Performance

abstract: Most end devices are now equipped with multiple network interfaces. Applications can exploit all available interfaces and benefit from multipath transmission. Recently Multipath TCP (MPTCP) was proposed to implement multipath transmission at the transport layer and has attracted lots of attention from academia and industry. However, MPTCP only supports TCP-based applications and its multipath routing flexibility is limited. In this paper, we investigate the possibility of orchestrating multipath transmission from the network layer of end devices, and develop a Multipath IP (MPIP) design consisting of signaling, session and path management, multipath routing, and NAT traversal. We implement MPIP in Linux and Android kernels. Through controlled lab experiments and Internet experiments, we demonstrate that MPIP can effectively achieve multipath gains at the network layer. It not only supports the legacy TCP and UDP protocols, but also works seamlessly with MPTCP. By facilitating user-defined customized routing, MPIP can route traffic from competing applications in a coordinated fashion to maximize the aggregate user Quality-of-Experience.


title: Elastic amplitudes studied with the LHC measurements at 7 and 8 TeV

abstract: Recent measurements of the differential cross sections in the forward region of pp elastic scattering at 7 and 8 TeV show precise form of the $t$ dependence. We propose a detailed analysis of these measurements including the structures of the real and imaginary parts of the scattering amplitude. A good description is achieved, confirming in all experiments the existence of a zero in the real part in the forward region close to the origin, in agreement with the prediction of a theorem by A. Martin, with important role in the observed form of $d\sigma/dt$. Universal value for the position of this zero and regularity in other features of the amplitudes are found, leading to quantitative predictions for the forward elastic scattering at 13 TeV.


title: The varieties of semi-conformal vectors of affine vertex operator algebras

abstract: This is a continuation of our work to understand vertex operator algebras using the geometric properties of varieties attached to vertex operator algebras. For a class of vertex operator algebras including affine vertex operator algebras associated to a finite dimensional simple Lie algebra $\mathfrak{g}$, we describe their varieties of semi-conformal vectors by some matrix equations. These matrix equations are too complicated to be solved for us. However, for affine vertex operator algebras associated to the simple Lie algebra $\mathfrak{g}$, we find the adjoint group $G$ of $\mathfrak{g}$ acts on the corresponding varieties by a natural way, which implies that such varieties should be described more clearly by studying the corresponding $G$-orbit structures. Based on above methods for general cases, as an example, considering affine vertex operator algebras associated to the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$, we shall give the decompositions of $G$-orbits of varieties of their semi-conformal vectors according to different levels. Our results imply that such orbit structures depends on the levels of affine vertex operator algebras associated to a finite dimensional simple Lie algebra $\mathfrak{g}$


title: Optimal Battery Control Under Cycle Aging Mechanisms in Pay for Performance Settings

abstract: We study the optimal control of battery energy storage under a general "pay-for-performance" setup such as providing frequency regulation and renewable integration. In these settings, batteries need to carefully balance the trade-off between following the instruction signals and their degradation costs in real-time. Existing battery control strategies either do not consider the uncertainty of future signals, or cannot accurately account for battery cycle aging mechanism during operation. In this work, we take a different approach to the optimal battery control problem. Instead of attacking the complexity of battery degradation function or the lack of future information one at a time, we address these two challenges together in a joint fashion. In particular, we present an electrochemically accurate and trackable battery degradation model called the rainflow cycle-based model. We prove the degradation cost is convex. Then we propose an online control policy with a simple threshold structure and show it achieve near-optimal performance with respect to an offline controller that has complete future information. We explicitly characterize the optimality gap and show it is independent to the duration of operation. Simulation results with both synthetic and real regulation traces are conducted to illustrate the theoretical results.


title: Response to 'Burden of proof: A comprehensive review of the feasibility of 100% renewable-electricity systems'

abstract: A recent article 'Burden of proof: A comprehensive review of the feasibility of 100% renewable-electricity systems' claims that many studies of 100% renewable electricity systems do not demonstrate sufficient technical feasibility, according to the criteria of the article's authors (henceforth 'the authors'). Here we analyse the authors' methodology and find it problematic. The feasibility criteria chosen by the authors are important, but are also easily addressed at low economic cost, while not affecting the main conclusions of the reviewed studies and certainly not affecting their technical feasibility. A more thorough review reveals that all of the issues have already been addressed in the engineering and modelling literature. Nuclear power, which the authors have evaluated positively elsewhere, faces other, genuine feasibility problems, such as the finiteness of uranium resources and a reliance on unproven technologies in the medium- to long-term. Energy systems based on renewables, on the other hand, are not only feasible, but already economically viable and decreasing in cost every year.


title: An equivariant description of certain holomorphic symplectic varieties

abstract: This short note considers varieties of the form $G\times S_{\text{reg}}$, where $G$ is a complex semisimple group and $S_{\text{reg}}$ is a regular Slodowy slice in the Lie algebra of $G$. Such varieties arise naturally in hyperk\"ahler geometry, theoretical physics, and in the theory of abstract integrable systems developed by Fernandes, Laurent-Gengoux, and Vanhaecke. In particular, previous work of the author and Rayan uses a Hamiltonian $G$-action to endow $G\times S_{\text{reg}}$ with a canonical abstract integrable system. One might therefore wish to understand, in some sense, all examples of abstract integrable systems arising from Hamiltonian $G$-actions. Accordingly, we consider a holomorphic symplectic variety $X$ carrying an abstract integrable system induced by a Hamiltonian $G$-action. Under certain hypotheses, we show that there must exist a $G$-equivariant variety isomorphism $X\cong G\times S_{\text{reg}}$.


title: From the betweenness centrality in street networks to structural invariants in random planar graphs

abstract: We demonstrate that the distribution of betweenness centrality (BC), a global structural metric based on network flow, is an invariant quantity in most planar graphs. We confirm this invariance through an empirical analysis of street networks from 97 of the most populous cities worldwide, at scales significantly larger than previous studies. We also find that the BC distribution is robust to major alterations in the network, including significant changes to its topology and edge weight structure, indicating that the only relevant factors shaping the distribution are the number of nodes and edges as well as the constraint of planarity. Through simulations of random planar graph models and analytical calculations on Cayley trees, this invariance is demonstrated to be a consequence of a bimodal regime consisting of an underlying tree structure for high BC nodes, and a low BC regime arising from the presence of loops providing local path alternatives. Furthermore, the high BC nodes display a non-trivial spatial dependence, with increasing spatial correlation as a function of the number of edges, leading them to cluster around the barycenter at large densities. Our results suggest that the spatial distribution of the BC is a more accurate discriminator when comparing patterns across cities. Moreover, the BC being a static predictor of congestion in planar graphs, the observed invariance and spatial dependence has practical implications for infrastructural and biological networks. In particular, for the case of street networks, as long as planarity is conserved, bottlenecks continue to persist, and the effect of planned interventions to alleviate structural congestion will be limited primarily to load redistribution, a feature confirmed by analyzing 200 years of data for central Paris.


title: Riemannian geometry on spaces of submanifolds induced by the diffeomorphism group

abstract: The space of embedded submanifolds plays an important role in applications such as computational anatomy and shape analysis. We can define two different classes on Riemannian metrics on this space: so-called outer metrics are metrics that measure shape changes using deformations of the ambient space and they find applications mostly in computational anatomy; the second class that are defined directly on the space of embeddings using intrinsic differential operations and they are used in shape analysis. In this paper we compare for the first time the topologies and the geodesic distance functions induced by these the two classes of metrics.


title: Quantum knots in Bose-Einstein condensates created by counterdiabatic control

abstract: We theoretically study the creation of knot structures in the polar phase of spin-1 BECs using the counterdiabatic protocol in an unusual fashion. We provide an analytic solution to the evolution of the external magnetic field that is used to imprint the knots. As confirmed by our simulations using the full three-dimensional spin-1 Gross-Pitaevskii equation, our method allows for the precise control of the Hopf charge as well as the creation time of the knots. The knots with Hopf charge exceeding unity display multiple nested Hopf links.


title: The distributivity spectrum of Baker's variety

abstract: For every $n$, we evaluate the smallest $k$ such that the congruence inclusion $\alpha (\beta \circ_n \gamma ) \subseteq \alpha \beta \circ_{k} \alpha \gamma $ holds in a variety of reducts of lattices introduced by K. Baker. We also study varieties with a near-unanimity term and discuss identities dealing with reflexive and admissible relations.


title: Charles Peirce on the Classification of Dyadic Relations and the Implications for Mathematical Logic

abstract: Charles Peirce develops a scheme for classifying different kinds of monadic, dyadic and triadic relations. His account of these different classes of relations figures prominently in the development of his algebraic and diagrammatic systems of mathematical logic. Our aim in this essay is to reconstruct and examine central features of the classificatory system that he develops. Given the complexity of the system, we will focus our attention on the classification and explanation of of degenerate and genuine dyadic relations, and we will take up the discussion of triadic relations elsewhere. One of our reasons for wanting to explore this account of relations is to better understand how it informed the later development of relations as they figure in the history of mathematical logic. The earlier work of Peirce on dyadic relations influenced the development of the account of dyadic logical relations in works of Ernst Schroder, Leopold Lowenheim, Thoralf Skolem and Alfred Tarski. As such, our primary aim in this essay is to trace the early development of these ideas about the formal relation of the dyad for the sake of better understanding how it might have influenced these later developments.


title: Worksheets for Guiding Novices through the Visualization Design Process

abstract: For visualization pedagogy, an important but challenging notion to teach is design, from making to evaluating visualization encodings, user interactions, or data visualization systems. In our previous work, we introduced the design activity framework to codify the high-level activities of the visualization design process. This framework has helped structure experts' design processes to create visualization systems, but the framework's four activities lack a breakdown into steps with a concrete example to help novices utilizing this framework in their own real-world design process. To provide students with such concrete guidelines, we created worksheets for each design activity: understand, ideate, make, and deploy. Each worksheet presents a high-level summary of the activity with actionable, guided steps for a novice designer to follow. We validated the use of this framework and the worksheets in a graduate-level visualization course taught at our university. For this evaluation, we surveyed the class and conducted 13 student interviews to garner qualitative, open-ended feedback and suggestions on the worksheets. We conclude this work with a discussion and highlight various areas for future work on improving visualization design pedagogy.


title: A lax monoidal Topological Quantum Field Theory for representation varieties

abstract: We construct a lax monoidal Topological Quantum Field Theory that computes Deligne-Hodge polynomials of representation varieties of the fundamental group of any closed manifold into any complex algebraic group $G$. As byproduct, we obtain formulas for these polynomials in terms of homomorphisms between the space of mixed Hodge modules on $G$. The construction is developed in a categorical-theoretic framework allowing its application to other situations.


title: FlashProfile: A Framework for Synthesizing Data Profiles

abstract: We address the problem of learning a syntactic profile for a collection of strings, i.e. a set of regex-like patterns that succinctly describe the syntactic variations in the strings. Real-world datasets, typically curated from multiple sources, often contain data in various syntactic formats. Thus, any data processing task is preceded by the critical step of data format identification. However, manual inspection of data to identify the different formats is infeasible in standard big-data scenarios. Prior techniques are restricted to a small set of pre-defined patterns (e.g. digits, letters, words, etc.), and provide no control over granularity of profiles. We define syntactic profiling as a problem of clustering strings based on syntactic similarity, followed by identifying patterns that succinctly describe each cluster. We present a technique for synthesizing such profiles over a given language of patterns, that also allows for interactive refinement by requesting a desired number of clusters. Using a state-of-the-art inductive synthesis framework, PROSE, we have implemented our technique as FlashProfile. Across $153$ tasks over $75$ large real datasets, we observe a median profiling time of only $\sim\,0.7\,$s. Furthermore, we show that access to syntactic profiles may allow for more accurate synthesis of programs, i.e. using fewer examples, in programming-by-example (PBE) workflows such as FlashFill.


title: On the instability of the essential spectrum for block Jacobi matrices

abstract: We are interested in the phenomenon of the essential spectrum instability for a class of unbounded (block) Jacobi matrices. We give a series of sufficient conditions for the matrices from certain classes to have a discrete spectrum on a half-axis of a real line. An extensive list of examples showing the sharpness of obtained results is provided.


title: Molecular Mechanism of Transition from Catch-Bond to Slip-Bond in Fibrin

abstract: The lifetimes of non-covalent A:a knob-hole bonds in fibrin probed with the optical trap-based force-clamp first increases ("catch bonds") and then decreases ("slip bonds") with increasing tensile force. Molecular modeling of "catch-to-slip" transition using the atomic structure of the A:a complex reveals that the movable flap serves as tension-dependent molecular switch. Flap dissociation from the regulatory B-domain in $\gamma$-nodule and translocation from the periphery to knob `A' triggers the hole `a' closure and interface remodeling, which results in the increased binding affinity and prolonged bond lifetimes. Fluctuating bottleneck theory is developed to understand the "catch-to-slip" transition in terms of the interface stiffness $\kappa =$ 15.7 pN nm $^{-1}$, interface size fluctuations 0.7-2.7 nm, knob `A' escape rate constant $k_0 =$ 0.11 nm$^2$ s$^{-1}$, and transition distance for dissociation $\sigma_y =$ 0.25 nm. Strengthening of the A:a knob-hole bonds under small tension might favor formation and reinforcement of nascent fibrin clots under hydrodynamic shear.


title: On Lie nilpotent associative algebras

abstract: Let $G$ be a group generated by a set $X$. It is well known and easy to check that \[ [g_1, g_2, \dots ,g_n] = 1 \mbox{ for all } g_i \in G \qquad \iff \qquad [x_1, x_2, \dots , x_n] =1 \mbox{ for all } x_i \in X. \] Let $L$ be a Lie algebra generated by a set $X$. Then it is also well known and easy to check that \[ [h_1, h_2, \dots , h_n] = 0 \mbox{ for all } h_i \in L \qquad \iff \qquad [x_1, x_2, \dots ,x_n] = 0 \mbox{ for all } x_i \in X. \] Now let $A$ be a unital associative algebra generated by a set $X$. Then the assertion similar to the above does not hold: for $n > 2$, it is easy to find an algebra $A$ with a generating set $X$ such that $[x_1, x_2, \dots ,x_n] = 0$ for all $x_i \in X$ but $[a_1, a_2, \dots ,a_n] \ne 0$ for some $a_i \in A$. However, we prove the following result. Let $R$ be a unital associative and commutative ring such that $\frac{1}{3} \in R$. Let $A$ be a unital associative $R$-algebra generated by a set $X$. Let $X^2 = \{ x_1 x_2 \mid x_i \in X \}$ be the set of all products of $2$ elements of $X$. Then \[ [a_1, a_2, \dots ,a_n] = 0 \mbox{ for all } a_i \in A \qquad \iff \qquad [y_1, y_2, \dots , y_n] =0 \mbox{ for all } y_i \in X \cup X^2. \] Moreover, one can assume that in the commutator $[y_1, y_2, \dots , y_n]$ above $y_1, y_n \in X$.


title: Flexible Computing Services for Comparisons and Analyses of Classical Chinese Poetry

abstract: We collect nine corpora of representative Chinese poetry for the time span of 1046 BCE and 1644 CE for studying the history of Chinese words, collocations, and patterns. By flexibly integrating our own tools, we are able to provide new perspectives for approaching our goals. We illustrate the ideas with two examples. The first example show a new way to compare word preferences of poets, and the second example demonstrates how we can utilize our corpora in historical studies of the Chinese words. We show the viability of the tools for academic research, and we wish to make it helpful for enriching existing Chinese dictionary as well.


title: Tensor product of $f$-rings

abstract: In this paper we prove that $\ell$-group tensor product of archimedean $f$-rings is an $f$-ring. We will use this result to characterize multiplicative $\ell$-bimorphisms between unital $f$-rings.


title: Facial Feature Tracking under Varying Facial Expressions and Face Poses based on Restricted Boltzmann Machines

abstract: Facial feature tracking is an active area in computer vision due to its relevance to many applications. It is a nontrivial task, since faces may have varying facial expressions, poses or occlusions. In this paper, we address this problem by proposing a face shape prior model that is constructed based on the Restricted Boltzmann Machines (RBM) and their variants. Specifically, we first construct a model based on Deep Belief Networks to capture the face shape variations due to varying facial expressions for near-frontal view. To handle pose variations, the frontal face shape prior model is incorporated into a 3-way RBM model that could capture the relationship between frontal face shapes and non-frontal face shapes. Finally, we introduce methods to systematically combine the face shape prior models with image measurements of facial feature points. Experiments on benchmark databases show that with the proposed method, facial feature points can be tracked robustly and accurately even if faces have significant facial expressions and poses.


title: A Hierarchical Probabilistic Model for Facial Feature Detection

abstract: Facial feature detection from facial images has attracted great attention in the field of computer vision. It is a nontrivial task since the appearance and shape of the face tend to change under different conditions. In this paper, we propose a hierarchical probabilistic model that could infer the true locations of facial features given the image measurements even if the face is with significant facial expression and pose. The hierarchical model implicitly captures the lower level shape variations of facial components using the mixture model. Furthermore, in the higher level, it also learns the joint relationship among facial components, the facial expression, and the pose information through automatic structure learning and parameter estimation of the probabilistic model. Experimental results on benchmark databases demonstrate the effectiveness of the proposed hierarchical probabilistic model.


title: The Stochastic Geometry Analyses of Cellular Networks with {\alpha}-Stable Self-Similarity

abstract: To understand the spatial deployment of base stations (BSs) is the first step to analyze the performance of cellular networks and further design efficient networking protocols. Poisson point process (PPP), which has been widely adopted to characterize the deployment of BSs and established the reputation to give tractable results in the stochastic geometry analyses, usually assumes a static BS deployment density in homogeneous PPP (HPPP) models or delicately designed location-dependent density functions in in-homogeneous PPP (IPPP) models. However, the simultaneous existence of attractiveness and repulsiveness among BSs practically deployed in a large-scale area defies such an assumption, and the $\alpha$-stable distribution, one kind of heavy-tailed distributions, has recently demonstrated superior accuracy to statistically model the varying BS density in different areas. In this paper, we start with these new findings and investigate the intrinsic feature (i.e., the spatial self-similarity) embedded in the BSs. Afterwards, we refer to a generalized PPP setup with $\alpha$-stable distributed density and theoretically derive the related coverage probability. In particular, we give an upper bound of the derived coverage probability for high signal-to-interference-plus-noise ratio (SINR) thresholds and show the monotonically decreasing property of this bound with respect to the variance of BS density. Besides, we prove that our model could reduce to the single-tier HPPP for some special cases, and demonstrate the superior accuracy of the $\alpha$-stable model to approach the real environment.


title: Maps between curves and arithmetic obstructions

abstract: Let X and Y be curves over a finite field. In this article we explore methods to determine whether there is a rational map from Y to X by considering L-functions of certain covers of X and Y and propose a specific family of covers to address the special case of determining when X and Y are isomorphic. We also discuss an application to factoring polynomials over finite fields.


title: Maxwell-Hydrodynamic Model for Simulating Nonlinear Terahertz Generation from Plasmonic Metasurfaces

abstract: The interaction between the electromagnetic field and plasmonic nanostructures leads to both the strong linear response and inherent nonlinear behavior. In this paper, a time-domain hydrodynamic model for describing the motion of electrons in plasmonic nanostructures is presented, in which both surface and bulk contributions of nonlinearity are considered. A coupled Maxwell-hydrodynamic system capturing full-wave physics and free electron dynamics is numerically solved with the parallel finite-difference time-domain (FDTD) method. The validation of the proposed method is presented to simulate linear and nonlinear responses from a plasmonic metasurface. The linear response is compared with the Drude dispersion model and the nonlinear terahertz emission from a difference-frequency generation process is validated with theoretical analyses. The proposed scheme is fundamentally important to design nonlinear plasmonic nanodevices, especially for efficient and broadband THz emitters.

categories: physics.optics cond-mat.mes-hall math.NA physics.comp-ph


title: Magnetism and superconductivity in the layered hexagonal transition metal pnictides

abstract: We investigate the electronic and magnetic structures of the 122 (AM$_2$B$_2$) hexagonal transition-metal pnictides with A=(Sr, Ca), M=(Cr, Mn, Fe, Co, Ni) and B=(As, P, Sb). It is found that the family of materials share critical similarities with those of tetragonal structures that include the famous iron-based high temperature superconductors. In both families, the next nearest neighbor(NNN) effective antiferromagnetic(AFM) exchange couplings reach the maximum value in the iron-based materials. While the NNN couplings in the latter are known to be responsible for the C-type AFM state and to result in the extended s-wave superconducting state upon doping, they cause the former to be extremely frustrated magnetic systems and can lead to an time reversal symmetry broken $d+id$ superconducting state upon doping. The iron-based compounds with the hexagonal structure, thus if synthesized, can help us to determine the origin of high temperature superconductivity.


title: Neural network-based arithmetic coding of intra prediction modes in HEVC

abstract: In both H.264 and HEVC, context-adaptive binary arithmetic coding (CABAC) is adopted as the entropy coding method. CABAC relies on manually designed binarization processes as well as handcrafted context models, which may restrict the compression efficiency. In this paper, we propose an arithmetic coding strategy by training neural networks, and make preliminary studies on coding of the intra prediction modes in HEVC. Instead of binarization, we propose to directly estimate the probability distribution of the 35 intra prediction modes with the adoption of a multi-level arithmetic codec. Instead of handcrafted context models, we utilize convolutional neural network (CNN) to perform the probability estimation. Simulation results show that our proposed arithmetic coding leads to as high as 9.9% bits saving compared with CABAC.


title: Supernovae generated High Velocity Compact Clouds

abstract: It has been proposed that an intermediate mass black hole can produce compact molecular clouds with large velocity dispersions. This model is called into question due to the discovery of several such short lived clouds, which suggests they are common, and hence it is unlikely that their formation involves an exotic object such as an intermediate mass black hole. In this paper we propose an alternative model, where supernovae produce such clouds. We apply our model to a such a cloud called CO-0.40-0.22. A previous work pointed out the fact that the kinetic energy of this cloud is comparable to that from a supernova, but disqualified the supernova scenario due to lack of thermal emission. We explain the lack of thermal emission as a consequence of the large density of the medium. In such a medium, the supernova shock is radiation dominated, and hence the initial temperatures are lower by many orders of magnitude compared with a typical supernova. Finally, we discuss some of the consequences of having a significant population of intermediate mass black holes in the galactic centre.


title: Expansiveness, Lyapunov exponents and entropy for set valued maps

abstract: In this paper we introduce a notion of expansiveness for a set valued map defined on a topological space different from that given by Richard Williams at \cite{Wi, Wi2} and prove that the topological entropy of an expansive set valued map defined on a Peano space of positive dimension is greater than zero. We define Lyapunov exponent for set valued maps and prove that positiveness of its Lyapunov exponent implies positiveness for the topological entropy. Finally we introduce the definition of (Lyapunov) stable points for set valued maps and prove a dichotomy for the set of stable points for set valued maps defined on Peano spaces: either it is empty or the whole space.


title: Decoding the spectroscopic features and timescales of aqueous proton defects

abstract: Acid solutions exhibit a variety of complex structural and dynamical features arising from the presence of multiple interacting reactive proton defects and counterions. However, disentangling the transient structural motifs of proton defects in the water hydrogen bond network and the mechanisms for their interconversion remains a formidable challenge. Here, we use simulations treating the quantum nature of both the electrons and nuclei to show how the experimentally observed spectroscopic features and relaxation timescales can be elucidated using a physically transparent coordinate that encodes the overall asymmetry of the solvation environment of the proton defect. We demonstrate that this coordinate can be used both to discriminate the extremities of the features observed in the linear vibrational spectrum and to explain the molecular motions that give rise to the interconversion timescales observed in recent nonlinear experiments. This analysis provides a unified condensed-phase picture of proton structure and dynamics that, at its extrema, encompasses proton sharing and spectroscopic features resembling the limiting Eigen [H$_{3}$O(H$_{2}$O)$_{3}$]$^{+}$ and Zundel [H(H$_{2}$O)$_{2}$]$^{+}$ gas-phase structures, while also describing the rich variety of interconverting environments in the liquid phase.


title: Modeling Infrastructure Sharing in mmWave Networks with Shared Spectrum Licenses

abstract: Competing cellular operators aggressively share infrastructure in many major US markets. If operators also were to share spectrum in next-generation millimeter-wave (mmWave) networks, intra-cellular interference will become correlated with inter-cellular interference. We propose a mathematical framework to model a multi-operator mmWave cellular network with co-located base-stations (BSs). We then characterize the signal-to-interference-plus-noise ratio (SINR) distribution for an arbitrary network and derive its coverage probability. To understand how varying the spatial correlation between different networks affects coverage probability, we derive special results for the two-operator scenario, where we construct the operators' individual networks from a single network via probabilistic coupling. For external validation, we devise a method to quantify and estimate spatial correlation from actual base-station deployments. We compare our two-operator model against an actual macro-cell-dominated network and an actual network primarily comprising distributed-antenna-system (DAS) nodes. Using the actual deployment data to set the parameters of our model, we observe that coverage probabilities for the model and actual deployments not only compare very well to each other, but also match nearly perfectly for the case of the DAS-node-dominated deployment. Another interesting observation is that a network that shares spectrum and infrastructure has a lower rate coverage probability than a network of the same number of BSs that shares neither spectrum nor infrastructure, suggesting that the latter is more suitable for low-rate applications.


title: aIR-Jumper: Covert Air-Gap Exfiltration/Infiltration via Security Cameras & Infrared (IR)

abstract: Infrared (IR) light is invisible to humans, but cameras are optically sensitive to this type of light. In this paper, we show how attackers can use surveillance cameras and infrared light to establish bi-directional covert communication between the internal networks of organizations and remote attackers. We present two scenarios: exfiltration (leaking data out of the network) and infiltration (sending data into the network). Exfiltration. Surveillance and security cameras are equipped with IR LEDs, which are used for night vision. In the exfiltration scenario, malware within the organization access the surveillance cameras across the local network and controls the IR illumination. Sensitive data such as PIN codes, passwords, and encryption keys are then modulated, encoded, and transmitted over the IR signals. Infiltration. In an infiltration scenario, an attacker standing in a public area (e.g., in the street) uses IR LEDs to transmit hidden signals to the surveillance camera(s). Binary data such as command and control (C&C) and beacon messages are encoded on top of the IR signals. The exfiltration and infiltration can be combined to establish bidirectional, 'air-gap' communication between the compromised network and the attacker. We discuss related work and provide scientific background about this optical channel. We implement a malware prototype and present data modulation schemas and a basic transmission protocol. Our evaluation of the covert channel shows that data can be covertly exfiltrated from an organization at a rate of 20 bit/sec per surveillance camera to a distance of tens of meters away. Data can be covertly infiltrated into an organization at a rate of over 100 bit/sec per surveillance camera from a distance of hundreds of meters to kilometers away.


title: Towards Building a Knowledge Base of Monetary Transactions from a News Collection

abstract: We address the problem of extracting structured representations of economic events from a large corpus of news articles, using a combination of natural language processing and machine learning techniques. The developed techniques allow for semi-automatic population of a financial knowledge base, which, in turn, may be used to support a range of data mining and exploration tasks. The key challenge we face in this domain is that the same event is often reported multiple times, with varying correctness of details. We address this challenge by first collecting all information pertinent to a given event from the entire corpus, then considering all possible representations of the event, and finally, using a supervised learning method, to rank these representations by the associated confidence scores. A main innovative element of our approach is that it jointly extracts and stores all attributes of the event as a single representation (quintuple). Using a purpose-built test set we demonstrate that our supervised learning approach can achieve 25% improvement in F1-score over baseline methods that consider the earliest, the latest or the most frequent reporting of the event.


title: Indistinguishability and Energy Sensitivity of Asymptotically Gaussian Compressed Encryption

abstract: The principle of compressed sensing (CS) can be applied in a cryptosystem by providing the notion of security. In information-theoretic sense, it is known that a CS-based cryptosystem can be perfectly secure if it employs a random Gaussian sensing matrix updated at each encryption and its plaintext has constant energy. In this paper, we propose a new CS-based cryptosystem that employs a secret bipolar keystream and a public unitary matrix, which can be suitable for practical implementation by generating and renewing the keystream in a fast and efficient manner. We demonstrate that the sensing matrix is asymptotically Gaussian for a sufficiently large plaintext length, which guarantees a reliable CS decryption for a legitimate recipient. By means of probability metrics, we also show that the new CS-based cryptosystem can have the indistinguishability against an adversary, as long as the keystream is updated at each encryption and each plaintext has constant energy. Finally, we investigate how much the security of the new CS-based cryptosystem is sensitive to energy variation of plaintexts.


title: Joint Estimation of Camera Pose, Depth, Deblurring, and Super-Resolution from a Blurred Image Sequence

abstract: The conventional methods for estimating camera poses and scene structures from severely blurry or low resolution images often result in failure. The off-the-shelf deblurring or super-resolution methods may show visually pleasing results. However, applying each technique independently before matching is generally unprofitable because this naive series of procedures ignores the consistency between images. In this paper, we propose a pioneering unified framework that solves four problems simultaneously, namely, dense depth reconstruction, camera pose estimation, super-resolution, and deblurring. By reflecting a physical imaging process, we formulate a cost minimization problem and solve it using an alternating optimization technique. The experimental results on both synthetic and real videos show high-quality depth maps derived from severely degraded images that contrast the failures of naive multi-view stereo methods. Our proposed method also produces outstanding deblurred and super-resolved images unlike the independent application or combination of conventional video deblurring, super-resolution methods.


title: Adversarial Discriminative Sim-to-real Transfer of Visuo-motor Policies

abstract: Various approaches have been proposed to learn visuo-motor policies for real-world robotic applications. One solution is first learning in simulation then transferring to the real world. In the transfer, most existing approaches need real-world images with labels. However, the labelling process is often expensive or even impractical in many robotic applications. In this paper, we propose an adversarial discriminative sim-to-real transfer approach to reduce the cost of labelling real data. The effectiveness of the approach is demonstrated with modular networks in a table-top object reaching task where a 7 DoF arm is controlled in velocity mode to reach a blue cuboid in clutter through visual observations. The adversarial transfer approach reduced the labelled real data requirement by 50%. Policies can be transferred to real environments with only 93 labelled and 186 unlabelled real images. The transferred visuo-motor policies are robust to novel (not seen in training) objects in clutter and even a moving target, achieving a 97.8% success rate and 1.8 cm control accuracy.


title: Douglas-Rachford splitting and ADMM for nonconvex optimization: tight convergence results

abstract: Although originally designed and analyzed for convex problems, the alternating direction method of multipliers (ADMM) and its close relatives, Douglas-Rachford splitting (DRS) and Peaceman-Rachford splitting (PRS), have been observed to perform remarkably well when applied to certain classes of structured nonconvex optimization problems. However, partial global convergence results in the nonconvex setting have only recently emerged. In this paper we show how the Douglas-Rachford envelope (DRE), introduced in 2014, can be employed to unify and considerably simplify the theory for devising global convergence guarantees for ADMM, DRS and PRS applied to nonconvex problems under less restrictive conditions, larger prox-stepsizes and over-relaxation parameters than previously known. In fact, our bounds are tight whenever the over-relaxation parameter ranges in $(0,2]$. The analysis of ADMM uses a universal primal equivalence with DRS that generalizes the known duality of the algorithms.


title: Settling Payments Fast and Private: Efficient Decentralized Routing for Path-Based Transactions

abstract: Path-based transaction (PBT) networks, which settle payments from one user to another via a path of intermediaries, are a growing area of research. They overcome the scalability and privacy issues in cryptocurrencies like Bitcoin and Ethereum by replacing expensive and slow on-chain blockchain operations with inexpensive and fast off-chain transfers. In the form of credit networks such as Ripple and Stellar, they also enable low-price real-time gross settlements across different currencies. For example, SilentWhsipers is a recently proposed fully distributed credit network relying on path-based transactions for secure and in particular private payments without a public ledger. At the core of a decentralized PBT network is a routing algorithm that discovers transaction paths between payer and payee. During the last year, a number of routing algorithms have been proposed. However, the existing ad hoc efforts lack either efficiency or privacy. In this work, we first identify several efficiency concerns in SilentWhsipers. Armed with this knowledge, we design and evaluate SpeedyMurmurs, a novel routing algorithm for decentralized PBT networks using efficient and flexible embedding-based path discovery and on-demand efficient stabilization to handle the dynamics of a PBT network. Our simulation study, based on real-world data from the currently deployed Ripple credit network, indicates that SpeedyMurmurs reduces the overhead of stabilization by up to two orders of magnitude and the overhead of routing a transaction by more than a factor of two. Furthermore, using SpeedyMurmurs maintains at least the same success ratio as decentralized landmark routing, while providing lower delays. Finally, SpeedyMurmurs achieves key privacy goals for routing in PBT networks.


title: Anticipating Information Needs Based on Check-in Activity

abstract: In this work we address the development of a smart personal assistant that is capable of anticipating a user's information needs based on a novel type of context: the person's activity inferred from her check-in records on a location-based social network. Our main contribution is a method that translates a check-in activity into an information need, which is in turn addressed with an appropriate information card. This task is challenging because of the large number of possible activities and related information needs, which need to be addressed in a mobile dashboard that is limited in size. Our approach considers each possible activity that might follow after the last (and already finished) activity, and selects the top information cards such that they maximize the likelihood of satisfying the user's information needs for all possible future scenarios. The proposed models also incorporate knowledge about the temporal dynamics of information needs. Using a combination of historical check-in data and manual assessments collected via crowdsourcing, we show experimentally the effectiveness of our approach.


title: Adaptive Laplace Mechanism: Differential Privacy Preservation in Deep Learning

abstract: In this paper, we focus on developing a novel mechanism to preserve differential privacy in deep neural networks, such that: (1) The privacy budget consumption is totally independent of the number of training steps; (2) It has the ability to adaptively inject noise into features based on the contribution of each to the output; and (3) It could be applied in a variety of different deep neural networks. To achieve this, we figure out a way to perturb affine transformations of neurons, and loss functions used in deep neural networks. In addition, our mechanism intentionally adds "more noise" into features which are "less relevant" to the model output, and vice-versa. Our theoretical analysis further derives the sensitivities and error bounds of our mechanism. Rigorous experiments conducted on MNIST and CIFAR-10 datasets show that our mechanism is highly effective and outperforms existing solutions.


title: New Algorithms for Minimizing the Weighted Number of Tardy Jobs On a Single Machine

abstract: In this paper we study the classical single machine scheduling problem where the objective is to minimize the total weight of tardy jobs. Our analysis focuses on the case where one or more of three natural parameters is either constant or is taken as a parameter in the sense of parameterized complexity. These three parameters are the number of different due dates, processing times, and weights in our set of input jobs. We show that the problem belongs to the class of fixed parameter tractable (FPT)problems when combining any two of these three parameters. We also show that the problem is polynomial-time solvable when the latter two parameters are constant, complementing Karp's result who showed that the problem is NP-hard already for a single due date.


title: Complete Einstein equation from the generalized First Law of Entanglement

abstract: Recently it was observed that the first law of Entanglement leads to the linearized Einstein equation. In this paper, we point out that the gravity dual of an relative entropy expression is equivalent to the full non-linear Einstein equation. We also construct an entanglement vector field $V_{E}$ whose flux is the entanglement entropy. The flow of the vector field looks like sewing two space regions along the interface.


title: A Family of Partially Ordered Sets with Small Balance Constant

abstract: Given a finite poset $\mathcal P$ and two distinct elements $x$ and $y$, we let $\operatorname{pr}_{\mathcal P}(x \prec y)$ denote the fraction of linear extensions of $\mathcal P$ in which $x$ precedes $y$. The balance constant $\delta(\mathcal P)$ of $\mathcal P$ is then defined by \[ \delta(\mathcal P) = \max_{x \neq y \in \mathcal P} \min \left\{ \operatorname{pr}_{\mathcal P}(x \prec y), \operatorname{pr}_{\mathcal P}(y \prec x) \right\}. \] The $1/3$-$2/3$ conjecture asserts that $\delta(\mathcal P) \ge \frac13$ whenever $\mathcal P$ is not a chain, but except from certain trivial examples it is not known when equality occurs, or even if balance constants can approach $1/3$. In this paper we make some progress on the conjecture by exhibiting a sequence of posets with balance constants approaching $\frac{1}{32}(93-\sqrt{6697}) \approx 0.3488999$, answering a question of Brightwell. These provide smaller balance constants than any other known nontrivial family.


title: A mean value formula and a Liouville theorem for the complex Monge-Amp\`ere equation

abstract: In this paper, we prove a mean value formula for bounded subharmonic Hermitian matrix valued function on a complete Riemannian manifold with nonnegative Ricci curvature. As its application, we obtain a Liouville type theorem for the complex Monge-Amp\`ere equation on product manifolds.


title: Finite-Alphabet Precoding for Massive MU-MIMO with Low-resolution DACs

abstract: Massive multiuser multiple-input multiple-output (MU-MIMO) systems are expected to be the core technology in fifth-generation wireless systems because they significantly improve spectral efficiency. However, the requirement for a large number of radio frequency (RF) chains results in high hardware costs and power consumption, which obstruct the commercial deployment of massive MIMO systems. A potential solution is to use low-resolution digital-to-analog converters (DAC)/analog-to-digital converters for each antenna and RF chain. However, using low-resolution DACs at the transmit side directly limits the degree of freedom of output signals and thus poses a challenge to the precoding design. In this study, we develop efficient and universal algorithms for a downlink massive MU-MIMO system with finite-alphabet precodings. Our algorithms are developed based on the alternating direction method of multipliers (ADMM) framework. The original ADMM does not converge in a nonlinear discrete optimization problem. The primary cause of this problem is that the alternating (update) directions in ADMM on one side are biased, and those on the other side are unbiased. By making the two updates consistent in an unbiased manner, we develop two algorithms called iterative discrete estimation (IDE) and IDE2: IDE demonstrates excellent performance and IDE2 possesses a significantly low computational complexity. Compared with state-of-the-art techniques, the proposed precoding algorithms present significant advantages in performance and computational complexity.


title: Gravitational Redshifts in Clusters and Voids

abstract: Gravitational redshift as a relativistic effect in cosmological objects is investigated. Possible signatures of the gravitational redshift in measurements of satellite galaxies in clusters of galaxies, intracluster gas, as well as galaxies associated with voids are investigated by developing simple theoretical models. In the analysis of the gravitational redshift of satellite galaxies, we develop a very simple analytic model for satellite galaxies virialised in halos, which enables us to evaluate the signals depending on the properties of the halo occupation distribution of galaxies. We obtain results consistent with recent previous results, though our results are restricted to the satellite galaxies inside the virial radius. In the analysis of intracluster gas, we develop a simple analytic model including the effect of random motions of gases, which are assumed to generate nonthermal pressure. We demonstrate a possible contribution of the random motions of gases to the gravitational redshift. We also investigate a possible signature of the gravitational redshift in measurements of galaxies associated with voids, for the first time as far as we know, by utilising a simple analytic model. We show that the second-order Hubble term, which appears in the expansion of the scale factor around the centre of a void, may make a significant contribution depending on the way the galaxy samples are analysed.


title: Entanglement of the Vacuum between Left, Right, Future, and Past: The Origin of Entanglement-Induced Quantum Radiation

abstract: The Minkowski vacuum state is expressed as an entangled state between the left and right Rindler wedges when it is constructed on the Rindler vacuum. In this paper, we further examine the entanglement structure and extend the expression to the future (expanding) and past (shrinking) Kasner spacetimes. This clarifies the origin of the quantum radiation produced by an Unruh--DeWitt detector in uniformly accelerated motion in the four-dimensional Minkowski spacetime. We also investigate the two-dimensional massless case where the quantum radiation vanishes but the same entanglement structure exists.


title: A Study of Piecewise Linear-Quadratic Programs

abstract: Motivated by a growing list of nontraditional statistical estimation problems of the piecewise kind, this paper provides a survey of known results supplemented with new results for the class of piecewise linear-quadratic programs. These are linearly constrained optimization problems with piecewise linear-quadratic (PLQ) objective functions. Starting from a study of the representation of such a function in terms of a family of elementary functions consisting of squared affine functions, squared plus-composite-affine functions, and affine functions themselves, we summarize some local properties of a PLQ function in terms of their first and second-order directional derivatives. We extend some well-known necessary and sufficient second-order conditions for local optimality of a quadratic program to a PLQ program and provide a dozen such equivalent conditions for strong, strict, and isolated local optimality, showing in particular that a PLQ program has the same characterizations for local minimality as a standard quadratic program. As a consequence of one such condition, we show that the number of strong, strict, or isolated local minima of a PLQ program is finite; this result supplements a recent result about the finite number of directional stationary objective values. Interestingly, these finiteness results can be uncovered by invoking a very powerful property of subanalytic functions; our proof is fairly elementary, however. We discuss applications of PLQ programs in some modern statistical estimation problems. These problems lead to a special class of unconstrained composite programs involving the non-differentiable $\ell_1$-function, for which we show that the task of verifying the second-order stationary condition can be converted to the problem of checking the copositivity of certain Schur complement on the nonnegative orthant.


title: Godement-Jacquet L-functions and full theta lifts

abstract: We relate poles of local Godement-Jacquet L-functions to distributions on matrix spaces with singular supports. As an application, we show the irreducibility of the full theta lifts to $GL_n(F)$ of generic irreducible representations of $GL_n(F)$, where $F$ is an arbitrary local field.


title: Quotient-complete arc-transitive latin square graphs from groups

abstract: We consider latin square graphs $\Gamma = \rm{LSG}(H)$ of the Cayley table of a given finite group $H$. We characterize all pairs $(\Gamma,G)$, where $G$ is a subgroup of autoparatopisms of the Cayley table of $H$ such that $G$ acts arc-transitively on $\Gamma$ and all nontrivial $G$-normal quotient graphs of $\Gamma$ are complete. We show that $H$ must be elementary abelian and determine the number $k$ of complete normal quotients. This yields new infinite families of diameter two arc-transitive graphs with $k = 1$ or $k = 2$.


title: Tropical superelliptic curves

abstract: We present an algorithm for computing the Berkovich skeleton of a superelliptic curve $y^n=f(x)$ over a valued field. After defining superelliptic weighted metric graphs, we show that each one is realizable by an algebraic superelliptic curve when $n$ is prime. Lastly, we study the locus of superelliptic weighted metric graphs inside the moduli space of tropical curves of genus $g$.


title: Ordinary p-adic automorphic forms

abstract: Generalizing the completed cohomology groups introduced by Matthew Emerton, we define certain spaces of "ordinary $p$-adic automorphic forms along a parabolic subgroup" and show that they interpret all classical ordinary automorphic forms.


title: Bug or Not? Bug Report Classification Using N-Gram IDF

abstract: Previous studies have found that a significant number of bug reports are misclassified between bugs and non-bugs, and that manually classifying bug reports is a time-consuming task. To address this problem, we propose a bug reports classification model with N-gram IDF, a theoretical extension of Inverse Document Frequency (IDF) for handling words and phrases of any length. N-gram IDF enables us to extract key terms of any length from texts, these key terms can be used as the features to classify bug reports. We build classification models with logistic regression and random forest using features from N-gram IDF and topic modeling, which is widely used in various software engineering tasks. With a publicly available dataset, our results show that our N-gram IDF-based models have a superior performance than the topic-based models on all of the evaluated cases. Our models show promising results and have a potential to be extended to other software engineering tasks.


title: Entropy dynamics of a dephasing model in a squeezed thermal bath

abstract: We study the entropy dynamics of a dephasing model, where a two-level system (TLS) is coupled with a squeezed thermal bath via non-demolition interaction. This model is exactly solvable, and the time dependent states of both the TLS and its bath can be obtained exactly. Based on these states, we calculate the entropy dynamics of both the TLS and the bath, and find that the dephasing rate of the system relies on the squeezing phase of the bath. In zero temperature and high temperature limits, we prove that both the system and bath entropy increases monotonically. Moreover, we find that the dephasing rate of the system relies on the squeezing phase of the bath, and this phase dependence cannot be precisely derived from the Born-Markovian approximation which is widely adopted in open quantum systems.


title: Topological Maxwell Metal Bands in a Superconducting Qutrit

abstract: We experimentally explore the topological Maxwell metal bands by mapping the momentum space of condensed-matter models to the tunable parameter space of superconducting quantum circuits. An exotic band structure that is effectively described by the spin-1 Maxwell equations is imaged. Three-fold degenerate points dubbed Maxwell points are observed in the Maxwell metal bands. Moreover, we engineer and observe the topological phase transition from the topological Maxwell metal to a trivial insulator, and report the first experiment to measure the Chern numbers that are higher than one.


title: Study of the PeV Neutrino, $\gamma$-rays and UHECRs around The Lobes of Centaurus A

abstract: Pierre Auger observatory reported the distribution of arrival directions of the highest energy cosmic rays. These events were collected in 10 years of operations with declinations between -90$^\circ$ and +45$^\circ$. The IceCube neutrino telescope reported the detection of 82 extraterrestrial neutrinos in the High-Energy Starting Events catalog. The highest-energy neutrino event (IC35) reported in this catalog had an energy of 2004$^{+236}_{-262}$ TeV and its reconstruction was centered at RA=$208.4^\circ$ and DEC=$-55.8^\circ$ (J2000). Being Centaurus A the nearest radio-loud active Galactic nucleus and one of the potential candidates for accelerating cosmic rays up to $\sim\, 10^{20}$ eV, we show that the ultra-high-energy cosmic rays (UHECRs) around the direction of Centaurus A (15$^\circ$ radius) could be accelerated inside the giant lobes. Studying the composition of UHECRs through the photo-disintegration processes, the maximum energy that these can reach in the giant lobes and the average deflecting angles that nuclei undergo due to Galactic and extragalactic magnetic fields, it is shown that the most promise candidates of UHECR composition are light nuclei such as carbon/nitrogen nuclei. Considering the interactions of the relativistic carbon nuclei with photon fields (extragalactic background light and synchrotron) and materials (inside and outside the lobes), we do not find enough evidence to associate the IC35 event with the UHECRs reported by Pierre Auger observatory.


title: Wavepacket Dynamics in One-Dimensional System with Long-Range Correlated Disorder

abstract: We numerically investigate dynamical property in the one-dimensional tight-binding model with long-range correlated disorder having power spectrum $1/f^\alpha$ ($\alpha:$spectrum exponent) generated by Fourier filtering method. For relatively small $\alpha<\alpha_c(=2)$ time-dependence of mean square displacement (MSD) of the initially localized wavepacket shows ballistic spread and localizes as time elapses. It is shown that $\alpha-$dependence of the dynamical localization length (DLL) determined by the MSD exhibits a simple scaling law in the localization regime for the relatively weak disorder strength $W$. Furthermore, scaled MSD by the DLL almost obeys an universal function from the ballistic to the localization regime in the various combinations of the parameters $\alpha$ and $W$.


title: Using High-Rising Cities to Visualize Performance in Real-Time

abstract: For developers concerned with a performance drop or improvement in their software, a profiler allows a developer to quickly search and identify bottlenecks and leaks that consume much execution time. Non real-time profilers analyze the history of already executed stack traces, while a real-time profiler outputs the results concurrently with the execution of software, so users can know the results instantaneously. However, a real-time profiler risks providing overly large and complex outputs, which is difficult for developers to quickly analyze. In this paper, we visualize the performance data from a real-time profiler. We visualize program execution as a three-dimensional (3D) city, representing the structure of the program as artifacts in a city (i.e., classes and packages expressed as buildings and districts) and their program executions expressed as the fluctuating height of artifacts. Through two case studies and using a prototype of our proposed visualization, we demonstrate how our visualization can easily identify performance issues such as a memory leak and compare performance changes between versions of a program. A demonstration of the interactive features of our prototype is available at https://youtu.be/eleVo19Hp4k.


title: Where to Focus: Deep Attention-based Spatially Recurrent Bilinear Networks for Fine-Grained Visual Recognition

abstract: Fine-grained visual recognition typically depends on modeling subtle difference from object parts. However, these parts often exhibit dramatic visual variations such as occlusions, viewpoints, and spatial transformations, making it hard to detect. In this paper, we present a novel attention-based model to automatically, selectively and accurately focus on critical object regions with higher importance against appearance variations. Given an image, two different Convolutional Neural Networks (CNNs) are constructed, where the outputs of two CNNs are correlated through bilinear pooling to simultaneously focus on discriminative regions and extract relevant features. To capture spatial distributions among the local regions with visual attention, soft attention based spatial Long-Short Term Memory units (LSTMs) are incorporated to realize spatially recurrent yet visually selective over local input patterns. All the above intuitions equip our network with the following novel model: two-stream CNN layers, bilinear pooling layer, spatial recurrent layer with location attention are jointly trained via an end-to-end fashion to serve as the part detector and feature extractor, whereby relevant features are localized and extracted attentively. We show the significance of our network against two well-known visual recognition tasks: fine-grained image classification and person re-identification.


title: Lorentz Invariance and QCD Equation of Motion Relations for Generalized Parton Distributions and the Dynamical Origin of Proton Orbital Angular Momentum

abstract: We derive new Lorentz Invariance and Equation of Motion Relations between twist-three Generalized Parton Distributions (GPDs) and moments in the parton transverse momentum, $k_T$, of twist-two Generalized Transverse Momentum-Dependent Distributions (GTMDs), as a function of the parton longitudinal momentum fraction $x$. Although GTMDs in principle define the observables for partonic orbital motion, experiments that can unambiguously detect them appear remote at present. The relations presented here provide a solution to this impasse in that, e.g., the orbital angular momentum density is connected to directly measurable twist-three GPDs. Out of 16 possible Equation of Motion relations that can be written in the T-even sector, we focus on three helicity configurations that can be detected analyzing specific spin asymmetries: two correspond to longitudinal proton polarization and are associated with quark orbital angular momentum and spin-orbit correlations; the third, obtained for transverse proton polarization, is a generalization of the relation obeyed by the $g_2$ structure function. We also exhibit an additional relation connecting the off-forward extension of the Sivers function to an off-forward Qiu-Sterman term.


title: Variational formulas, Busemann functions, and fluctuation exponents for the corner growth model with exponential weights

abstract: These lecture notes discuss several related features of the exactly solvable two-dimensional corner growth model with exponentially distributed weights. A key property of this model is the availability of a fairly explicit stationary version that possesses useful independence properties. With the help of couplings and estimates, we prove the existence of Busemann functions for this model, and the precise values of the longitudinal and transversal fluctuation exponents for the stationary corner growth model. The Busemann functions in turn furnish extremals for variational formulas that describe limiting shape functions.


title: Towards matching user mobility traces in large-scale datasets

abstract: The problem of unicity and reidentifiability of records in large-scale databases has been studied in different contexts and approaches, with focus on preserving privacy or matching records from different data sources. With an increasing number of service providers nowadays routinely collecting location traces of their users on unprecedented scales, there is a pronounced interest in the possibility of matching records and datasets based on spatial trajectories. Extending previous work on reidentifiability of spatial data and trajectory matching, we present the first large-scale analysis of user matchability in real mobility datasets on realistic scales, i.e. among two datasets that consist of several million people's mobility traces, coming from a mobile network operator and transportation smart card usage. We extract the relevant statistical properties which influence the matching process and analyze their impact on the matchability of users. We show that for individuals with typical activity in the transportation system (those making 3-4 trips per day on average), a matching algorithm based on the co-occurrence of their activities is expected to achieve a 16.8% success only after a one-week long observation of their mobility traces, and over 55% after four weeks. We show that the main determinant of matchability is the expected number of co-occurring records in the two datasets. Finally, we discuss different scenarios in terms of data collection frequency and give estimates of matchability over time. We show that with higher frequency data collection becoming more common, we can expect much higher success rates in even shorter intervals.


title: Generation, amplification, frequency conversion and reversal of propagation of THz photons in nonlinear hyperbolic metamaterial

abstract: The metamaterial is proposed which supports a mixture of three or more normal and backward electromagnetic modes with equal co-directed phase velocities and mutually contra-directed energy fluxes. This enables extraordinary three-wave mixing, greatly enhanced optical parametric amplification and frequency-changing generation of entangled photons in the reflection direction. Proof-of-principle numerical simulation of such processes is presented based on the particular example of the wave-guided THz waves contra-propagating in the metamaterial made of carbon nanotubes.


title: Direction-Aware Semi-Dense SLAM

abstract: To aide simultaneous localization and mapping (SLAM), future perception systems will incorporate forms of scene understanding. In a step towards fully integrated probabilistic geometric scene understanding, localization and mapping we propose the first direction-aware semi-dense SLAM system. It jointly infers the directional Stata Center World (SCW) segmentation and a surfel-based semi-dense map while performing real-time camera tracking. The joint SCW map model connects a scene-wide Bayesian nonparametric Dirichlet Process von-Mises-Fisher mixture model (DP-vMF) prior on surfel orientations with the local surfel locations via a conditional random field (CRF). Camera tracking leverages the SCW segmentation to improve efficiency via guided observation selection. Results demonstrate improved SLAM accuracy and tracking efficiency at state of the art performance.


title: Social Style Characterization from Egocentric Photo-streams

abstract: This paper proposes a system for automatic social pattern characterization using a wearable photo-camera. The proposed pipeline consists of three major steps. First, detection of people with whom the camera wearer interacts and, second, categorization of the detected social interactions into formal and informal. These two steps act at event-level where each potential social event is modeled as a multi-dimensional time-series, whose dimensions correspond to a set of relevant features for each task, and a LSTM network is employed for time-series classification. In the last step, recurrences of the same person across the whole set of social interactions are clustered to achieve a comprehensive understanding of the diversity and frequency of the social relations of the user. Experiments over a dataset acquired by a user wearing a photo-camera during a month show promising results on the task of social pattern characterization from egocentric photo-streams.


title: Littlewood-Richardson coefficients via mirror symmetry for cluster varieties

abstract: I prove that the full Fock-Goncharov conjecture holds for $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})$-- the configuration space of triples of decorated flags in generic position. As a key ingredient of this proof, I exhibit a maximal green sequence for the quiver of the initial seed. I compute the Landau-Ginzburg potential $W$ on $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})^\vee$ associated to the partial minimal model $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell}) \subset \mathrm{Conf}_3(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})$. The integral points of the associated "cone" ${\Xi:=\left\{W^T \geq 0\right\} \subset \mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})^\vee\left({\mathbb{R}^T}\right)}$ parametrize a basis for $\mathcal{O}\left(\mathrm{Conf}_3(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})\right) = \bigoplus \left(V_\alpha \otimes V_\beta \otimes V_\gamma \right)^G$ and encode the Littlewood-Richardson coefficients $c^\gamma_{\alpha \beta}$. In the initial seed, the inequalities defining $\Xi$ are exactly Zelevinsky's tail positivity conditions. I exhibit a unimodular $p^*$ map that identifies $W$ with the potential of Goncharov-Shen on $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})$ and $\Xi$ with the Knutson-Tao hive cone.


title: Hidden Variable Theory of a Single World from Many-Worlds Quantum Mechanics

abstract: We propose a method for finding an initial state vector which by ordinary Hamiltonian time evolution follows a single branch of many-worlds quantum mechanics. The resulting deterministic system appears to exhibit random behavior as a result of the successive emergence over time of information present in the initial state but not previously observed.


title: Word Vector Enrichment of Low Frequency Words in the Bag-of-Words Model for Short Text Multi-class Classification Problems

abstract: The bag-of-words model is a standard representation of text for many linear classifier learners. In many problem domains, linear classifiers are preferred over more complex models due to their efficiency, robustness and interpretability, and the bag-of-words text representation can capture sufficient information for linear classifiers to make highly accurate predictions. However in settings where there is a large vocabulary, large variance in the frequency of terms in the training corpus, many classes and very short text (e.g., single sentences or document titles) the bag-of-words representation becomes extremely sparse, and this can reduce the accuracy of classifiers. A particular issue in such settings is that short texts tend to contain infrequently occurring or rare terms which lack class-conditional evidence. In this work we introduce a method for enriching the bag-of-words model by complementing such rare term information with related terms from both general and domain-specific Word Vector models. By reducing sparseness in the bag-of-words models, our enrichment approach achieves improved classification over several baseline classifiers in a variety of text classification problems. Our approach is also efficient because it requires no change to the linear classifier before or during training, since bag-of-words enrichment applies only to text being classified.


title: An application of the value distribution theory for semi-abelian varieties to problems of Ax-Lindemann and Manin-Mumford types

abstract: The aim of this paper is to prove a theorem of Ax-Lindemann type for complex semi-abelian varieties as an application of a big Picard theorem proved by the author in 1981, and then apply it to prove a theorem of classical Manin-Mumford Conjecture for semi-abelian varieties, which was proved by M. Raynaud 1983, M. Hindry 1988, ....., and Pila-Zannier 2008 by a different method from others, which is most relevant to our's. The present result might be a first instance of a direct connection between the value distribution theory of holomorphic maps and the arithmetic (Diophantine) theory over algebraic number fields, while there have been many analogies between them.


title: On the indivisibility of derived Kato's Euler systems and the main conjecture for modular forms

abstract: We provide a simple and efficient numerical criterion to verify the Iwasawa main conjecture and the indivisibility of derived Kato's Euler systems for modular forms of weight two at any good prime under mild assumptions. In the ordinary case, the criterion works for all members of a Hida family once and for all. The key ingredient is the explicit computation of the integral image of the derived Kato's Euler systems under the dual exponential map. We provide explicit new examples at the end. This work does not appeal to the Eisenstein congruence method at all.


title: Foundations of Logarithmic Adic Spaces

abstract: The main objects of study are adic spaces with logarithmic structures. After establishing the basic definitions, we analyze the Kummer \'etale and pro-Kummer \'etale topologies on log adic spaces. In particular, we show that log adic spaces are locally "log affinoid perfectoid" in the pro-Kummer \'etale topology. As an application, we prove finiteness of cohomologies for Kummer \'etale $\mathbb{F}_p$-local systems on proper log smooth adic spaces.


title: Isometries on Banach algebras of vector-valued maps

abstract: We propose a unified approach to the study of isometries on algebras of vector-valued Lipschitz maps and those of continuously differentiable maps by means of the notion of admissible quadruples. We describe isometries on function spaces of some admissible quadruples that take values in unital commutative $C^*$-algebras. As a consequence we confirm the statement of \cite[Example 8]{jp} on Lipschitz algebras and show that isometries on such algebras indeed take the canonical form.


title: Exact solution for many-body Hamiltonian of interacting particles with linear spectrum

abstract: The exact solution of the Schr\"odinger equation for the one-dimensional system of interacting particles with the linear dispersion law in an arbitrary external field is found. The solution is reduced to two groups of particles moving with constant velocities in the opposite directions with a fixed distance between the particles in each group. The problem is applied to the edge states of the 2D topological insulator.


title: The fate of close-in planets: tidal or magnetic migration?

abstract: Planets in close-in orbits interact magnetically and tidally with their host stars. These interactions lead to a net torque that makes close-in planets migrate inward or outward depending on their orbital distance. We compare systematically the strength of magnetic and tidal torques for typical observed star-planet systems (T-Tauri & hot Jupiter, M dwarf & Earth-like planet, K star & hot Jupiter) based on state-of-the-art scaling-laws. We find that depending on the characteristics of the system, tidal or magnetic effects can dominate. For very close-in planets, we find that both torques can make a planet migrate on a timescale as small as 10 to 100 thousands of years. Both effects thus have to be taken into account when predicting the evolution of compact systems.


title: Parabolic-elliptic chemotaxis model with space-time dependent logistic sources on $\mathbb{R}^N$. I. Persistence and asymptotic spreading

abstract: The current series of three papers is concerned with the asymptotic dynamics in the following chemotaxis model $$\partial_tu=\Delta u-\chi\nabla(u\nabla v)+u(a(x,t)-ub(x,t))\ ,\ 0=\Delta v-\lambda v+\mu u \ \ (1)$$where $\chi, \lambda, \mu$ are positive constants, $a(x,t)$ and $b(x,t)$ are positive and bounded. In the first of the series, we investigate the persistence and asymptotic spreading. Under some explicit condition on the parameters, we show that (1) has a unique nonnegative time global classical solution $(u(x,t;t_0,u_0),v(x,t;t_0,u_0))$ with $u(x,t_0;t_0,u_0)=u_0(x)$ for every $t_0\in R$ and every $u_0\in C^{b}_{\rm unif}(R^N)$, $u_0\geq 0$. Next we show the pointwise persistence phenomena in the sense that, for any solution $(u(x,t;t_0,u_0),v(x,t;t_0,u_0))$ of (1) with strictly positive initial function $u_0$, then$$0<\inf_{t_0\in R, t\geq 0}u(x,t+t_0;t_0,u_0)\le\sup_{t_0\in R, t\geq 0} u(x,t+t_0;t_0,u_0)<\infty$$and show the uniform persistence phenomena in the sense that there are $0<m<M$ such that for any strictly positive initial function $u_0$, there is $T(u_0)>0$ such that$$m\le u(x,t+t_0;t_0,u_0)\le M\ \forall\,t\ge T(u_0),\ x\in R^N.$$We then discuss the spreading properties of solutions to (1) with compactly supported initial and prove that there are positive constants $0<c_{-}^{*}\le c_{+}^{*}<\infty$ such that for every $t_0\in R$ and every $u_0\in C^b_{\rm unif}(R^N), u_0\ge 0$ with nonempty compact support, we have that$$\lim_{t\to\infty}\sup_{|x|\ge ct}u(x,t+t_0;t_0,u_0)=0,\ \forall c>c_+^*,$$and$$\liminf_{t\to\infty}\sup_{|x|\le ct}u(x,t+t_0;t_0,u_0)>0, \ \forall 0<c<c_-^*.$$We also discuss the spreading properties of solutions to (1) with front-like initial functions. In the second and third of the series, we will study the existence, uniqueness, and stability of strictly positive entire solutions and the existence of transition fronts, respectively.


title: Parameter Regimes in Partial Functional Panel Regression

abstract: A new partial functional linear regression model for panel data with time varying parameters is introduced. The parameter vector of the multivariate model component is allowed to be completely time varying while the function-valued parameter of the functional model component is assumed to change over K unknown parameter regimes. Consistency is derived for the suggested estimators and for the classification procedure used to detect the K unknown parameter regimes. Additionally, the convergence rates of the estimators are derived under a double asymptotic differentiating between asymptotic scenarios depending on the relative order of the panel dimensions n and T. The statistical model is motivated by a real data application considering the so-called idiosyncratic volatility puzzle using high frequency data from the S&P500.


title: Closed-form solutions of Lucas-Uzawa model with externalities via partial Hamiltonian approach

abstract: In this paper, we establish multiple closed-form solutions for all the variables in the Lucas-Uzawa model with externalities for the case with no parameter restrictions as well as for cases with specific parameter restrictions. These multiple solutions are derived with the help of the results derived in Naz et al (2016); Naz and Chaudhry (2017). This multiplicity of solutions is new to the economic growth literature on Lucas-Uzawa model with externalities. After finding solutions for the Lucas-Uzawa model with externalities, we use these solutions to derive the growth rates of all the variables in the system which enables us to fully describe the dynamics of the model. The multiple solutions can potentially explain why some countries economically overtake other countries even though they start from the same initial conditions.