title: Parameter estimation with almost no public communication for continuous-variable quantum key distribution

abstract: One crucial step in any quantum key distribution (QKD) scheme is parameter estimation. In a typical QKD protocol the users have to sacrifice part of their raw data to estimate the parameters of the communication channel as, for example, the error rate. This introduces a tradeoff between the secret key rate and the accuracy of parameter estimation in the finite-size regime. Here we show that continuous-variable (CV) QKD is not subject to this constraint as the whole raw keys can be used for both parameter estimation and secret key generation, without compromising the security. First we show that this property holds for measurement-device independent (MDI) protocols, as a consequence of the fact that in an MDI protocol the correlations between Alice and Bob are post-selected by the measurement performed by an untrusted relay. This result is then extended beyond the MDI framework by exploiting the fact that MDI protocols can simulate device-dependent one-way QKD with arbitrarily high precision.


title: The quaternionic Gauss-Lucas Theorem

abstract: The classic Gauss-Lucas Theorem for complex polynomials of degree $d\ge2$ has a natural reformulation over quaternions, obtained via rotation around the real axis. We prove that such a reformulation is true only for $d=2$. We present a new quaternionic version of the Gauss-Lucas Theorem valid for all $d\geq2$, together with some consequences.


title: The massive 3-loop operator matrix elements with two masses and the generalized variable flavor number scheme

abstract: We report on our latest results in the calculation of the two--mass contributions to 3--loop operator matrix elements (OMEs). These OMEs are needed to compute the corresponding contributions to the deep-inealstic scattering structure functions and to generalize the variable flavor number scheme by including both charm and bottom quarks. We present the results for the non-singlet and $A_{gq,Q}$ OMEs, and compare the size of their contribution relative to the single mass case. Results for the gluonic OME $A_{gg,Q}$ are given in the physical case, going beyond those presented in a previous publication where scalar diagrams were computed. We also discuss our recently published two--mass contribution to the pure singlet OME, and present an alternative method of calculating the corresponding diagrams.


title: One Parameter family of N-qudit Werner-Popescu states: Bipartite separability using conditional quantum relative Tsallis entropy

abstract: The conditional version of sandwiched Tsallis relative entropy (CSTRE) is employed to study the bipartite separability of one parameter family of N-qudit Werner- Popescu states in their 1 : N-1 partition. For all N, the strongest limitation on bipartite separability is realized in the limit q tending to infinity and is found to match exactly with the separability range obtained using an algebraic method which is both necessary and sufficient. The theoretical superiority of using CSTRE criterion to find the bipartite separability range over the one using Abe- Rajagopal (AR) q-conditional entropy is illustrated by comparing the convergence of the parameter x with respect to q, in the implicit plots of AR q-conditional entropy and CSTRE.


title: Toric Codes and Lattice Ideals

abstract: Let $X$ be a complete simplicial toric variety over a finite field $\mathbb{F}_q$ with homogeneous coordinate ring $S=\mathbb{F}_q[x_1,\dots,x_r]$ and split torus $T_X\cong (\mathbb{F}^*_q)^n$. We prove that vanishing ideal of a subset $Y$ of the torus $T_X$ is a lattice ideal if and only if $Y$ is a subgroup. We show that these subgroups are exactly those subsets that are parameterized by Laurents monomials. We give an algorithm for determining this parametrization if the subgroup is the zero locus of a lattice ideal in the torus. We also show that vanishing ideals of subgroups of $T_X$ are radical homogeneous lattice ideals of dimension $r-n$. We identify the lattice corresponding to a degenerate torus in $X$ and completely characterize when its lattice ideal is a complete intersection. We compute dimension and length of some generalized toric codes defined on these degenerate tori.


title: The parabolic flows for complex quotient equations

abstract: We apply the parabolic flow method to solving complex quotient equations on closed K\"ahler manifolds. We study the parabolic equation and prove the convergence. As a result, we solve the complex quotient equations.


title: Carath\'eodory extremal functions on the symmetrized bidisc

abstract: We show how realization theory can be used to find the solutions of the Carath\'eodory extremal problem on the symmetrized bidisc \[ G \stackrel{\rm{def}}{=} \{(z+w,zw):|z|<1, \, |w|<1\}. \] We show that, generically, solutions are unique up to composition with automorphisms of the disc. We also obtain formulae for large classes of extremal functions for the Carath\'eodory problems for tangents of non-generic types.


title: Haptic Assembly and Prototyping: An Expository Review

abstract: An important application of haptic technology to digital product development is in virtual prototyping (VP), part of which deals with interactive planning, simulation, and verification of assembly-related activities, collectively called virtual assembly (VA). In spite of numerous research and development efforts over the last two decades, the industrial adoption of haptic-assisted VP/VA has been slower than expected. Putting hardware limitations aside, the main roadblocks faced in software development can be traced to the lack of effective and efficient computational models of haptic feedback. Such models must 1) accommodate the inherent geometric complexities faced when assembling objects of arbitrary shape; and 2) conform to the computation time limitation imposed by the notorious frame rate requirements---namely, 1 kHz for haptic feedback compared to the more manageable 30-60 Hz for graphic rendering. The simultaneous fulfillment of these competing objectives is far from trivial. This survey presents some of the conceptual and computational challenges and opportunities as well as promising future directions in haptic-assisted VP/VA, with a focus on haptic assembly from a geometric modeling and spatial reasoning perspective. The main focus is on revisiting definitions and classifications of different methods used to handle the constrained multibody simulation in real-time, ranging from physics-based and geometry-based to hybrid and unified approaches using a variety of auxiliary computational devices to specify, impose, and solve assembly constraints. Particular attention is given to the newly developed 'analytic methods' inherited from motion planning and protein docking that have shown great promise as an alternative paradigm to the more popular combinatorial methods.


title: ALLSAT compressed with wildcards: An invitation for C-programmers

abstract: The model set of a general Boolean function in CNF is calculated in a compressed format, using novel wildcards. This method can be explained in very visual ways. Preliminary comparison with existing methods (BDD's and Mathematica's ESOP command) looks promising but our algorithm begs for a C encoding which would render it comparable in more systematic ways.


title: Towards a Browder theorem for spherical classes in $\Omega^lS^{n+l}$

abstract: According to Browder if $4n+2\neq 2^{t+1}-2$ then the Kervaire invariant of the cobordism class of a $(4n+2)$-dimensional manifold $M^{4n+2}$ vanishes and $M^{2^{t+1}-2}$ is of Kervaire invariant one if and only if $h_t^2\in\mathrm{Ext}(\mathbb{Z}/2,\mathbb{Z}/2)$ is a permanent cycle. On the other hand, according to Madsen if $4n+2\neq 2^t-2$ then $M^{4n+2}$ is cobordant to a sphere (hence of Kervaire invariant zero) and $M^{2^{t+1}-2}$ is not cobordant to a sphere (hence of Kervaire invariant one) if and only if certain element $p_{2^{t}-1}^2\in H_*QS^0$ is spherical. Moreover, it is known that $p_{2^t-1}^2$ is spherical if and only if $h_t^2$ is a permanent cycle in the Adams spectral sequence. Moreover, classes $p_{2n+1}^2\in H_*QS^0$ with $2n+1\neq 2^t-1$ are easily eliminated from being spherical. Hence, Browder's theorem admits a presentation and proof in terms of certain square classes being spherical in $H_*QS^0$ (see also work of Akhmetev and Eccles). In this note, we consider the problem of determining spherical classes $H_*\Omega^lS^{n+l}$ with $n>0$ and $4\leqslant l\leqslant +\infty$. We show (1) if $\xi^2\in H_*\Omega^lS^{n+l}$ is given with $\dim\xi+1\neq 2^t$ and $\dim \xi+1\equiv 2\textrm{ mod }4$ and $n>l$, then $\xi^2$ is not spherical. We refer to this as a generalised Browder theorem. We also present some partial results on the degenerate cases, corresponding to $\dim\xi\neq 2^t-1$, when $l>n$. (2) For $l\in\{4,5,6,7,8\}$ the only spherical classes in $H_*\Omega^lS^{n+l}$ arise from the inclusion of the bottom cell, or the Hopf invariant one elements. This verifies Eccles conjecture when restricted to finite loop spaces with $l<9$.


title: Eigenvalue bounds of mixed Steklov problems

abstract: We study bounds on the Riesz means of the mixed Steklov-Neumann and Steklov-Dirichlet eigenvalue problem on a bounded domain $\Omega$ in $\mathbb{R}^n$. The Steklov-Neumann eigenvalue problem is also called the sloshing problem. We obtain two-term asymptotically sharp lower bounds on the Riesz means of the sloshing problem and also provide an asymptotically sharp upper bound for the Riesz means of mixed Steklov-Dirichlet problem. The proof of our results for the sloshing problem uses the average variational principle and monotonicity of sloshing eigenvalues. In the case of Steklov-Dirichlet eigenvalue problem, the proof is based on a well-known bound on the Riesz means of the Dirichlet fractional Laplacian and an inequality between the Dirichlet and Navier fractional Laplacian. The two-term asymptotic results for the Riesz means of mixed Steklov eigenvalue problems are discussed in the appendix which in particular show the asymptotic sharpness of the bounds we obtain.


title: Universal discrete-time reservoir computers with stochastic inputs and linear readouts using non-homogeneous state-affine systems

abstract: A new class of non-homogeneous state-affine systems is introduced for use in reservoir computing. Sufficient conditions are identified that guarantee first, that the associated reservoir computers with linear readouts are causal, time-invariant, and satisfy the fading memory property and second, that a subset of this class is universal in the category of fading memory filters with stochastic almost surely uniformly bounded inputs. This means that any discrete-time filter that satisfies the fading memory property with random inputs of that type can be uniformly approximated by elements in the non-homogeneous state-affine family.


title: Rings with canonical reduction

abstract: The aim of this note is to study the class of one dimensional Cohen-Macaulay local rings, $(R, \mathfrak{m})$ say, possessing a canonical ideal $K$ which is a reduction of $\mathfrak{m}$. We call $R$ to have canonical reduction $K$. We show that the class of rings with canonical reductions contains the class of almost Gorenstein rings and establish its relation with rings obtained by idealizations and also with numerical semigroup rings.


title: A branch and bound algorithm for the robust parall machine scheduling

abstract: This paper focuses on the identical parallel machine scheduling problem with sequence-dependent setup time, with special attention paid to the uncertainty of processing time. In this paper, a mathematical model of the parallel machine scheduling problem with stochastic processing time is constructed. Then a branch and bound (B&B) algorithm is proposed, and three methods for generating upper bounds and one heuristic for generating lower bound are developed to evaluate the performance of the B&B. In addition, a new branch scheme and two dominance rules are also devised to further improve the efficiency of the algorithm. In the numerical experiment analysis, the performance of the new branch scheme, the upper and lower bounds, and the dominance rule are tested, and the robustness of the stochastic parallel machine scheduling problem is verified by compared it with the deterministic version .


title: Berezinskii-Kosterlitz-Thouless and Vogel-Fulcher-Tammann criticality in $\mathrm{XY}$ model

abstract: We develop a gauge theory of the critical behavior of the topological excitations-driven Berezinskii-Kosterlitz-Thouless (BKT) phase transition in the XY model with weak quenched disorder. We find that while in two-dimensions the liquid of topological defects exhibits the BKT critical behavior, the three-dimensional system shows more singular Vogel-Fulcher-Tamman criticality heralding its freezing into a spin glass. Our findings provide insights into the topological origin of spin glass formation.


title: T-duality in rational homotopy theory via $L_\infty$-algebras

abstract: We combine Sullivan models from rational homotopy theory with Stasheff's $L_\infty$-algebras to describe a duality in string theory. Namely, what in string theory is known as topological T-duality between $K^0$-cocycles in type IIA string theory and $K^1$-cocycles in type IIB string theory, or as Hori's formula, can be recognized as a Fourier-Mukai transform between twisted cohomologies when looked through the lenses of rational homotopy theory. We show this as an example of topological T-duality in rational homotopy theory, which in turn can be completely formulated in terms of morphisms of $L_\infty$-algebras.


title: Filtration of the gravitational frequency shift in the radio links communication with Earth's satellite

abstract: At present the Radioastron (RA) Earth's satellite having very elliptic orbit is used for probing of the gravitational red shift effect [1, 2]. Objective of this test consists in the enhancing accuracy of measurement to check the correspondence of value of the effect to Einsten's theory at one order of value better then in was done in the GP-A experiment [3]. There are two H-masers in disposal, one at the board of satellite and other at the Land Tracking Station (LTS). One can compare its mutual time rate using communication radio links between RA and LTS. In contrast with the GP-A experiment there is a possibility of measurement repetition and accumulation of data in the process of RA orbital circulation. In principle it might be resulted in the increasing of the integral accuracy. In this paper we investigate the achievable accuracy in the frame of particular method of the red shift extraction associated with the techical specific of RA mission.


title: Cannon-Thurston Maps

abstract: We give an overview of the theory of Cannon-Thurston maps which forms one of the links between the complex analytic and hyperbolic geometric study of Kleinian groups. We also briefly sketch connections to hyperbolic subgroups of hyperbolic groups and end with some open questions.


title: Improved bounds on Gauss sums in arbitrary finite fields

abstract: Let $q$ be a power of a prime and let $\mathbb{F}_q$ be the finite field consisting of $q$ elements. We establish new explicit estimates on Gauss sums of the form $S_n(a) = \sum_{x\in \mathbb{F}_q}\psi_a(x^n)$, where $\psi_a$ is a nontrivial additive character. In particular, we show that one has a nontrivial upper bound on $|S_n(a)|$ for certain values of $n$ of order up to $q^{1/2 + 1/68}$. Our results improve on the previous best known bound, due to Zhelezov.


title: p-dimensional cones and applications

abstract: We introduce a notion of p-dimensional cones made of $p$-dimensional subspaces and gauges on these cones, giving rise to a contraction principle which generalizes the one for Birkhoff cones. Using tools on the grassmannian and the exterior algebra, we prove a spectral gap result for the p largest eigenvalues of an operator and a regularity result for the characteristic exponents of a random product of cone-contracting operators.


title: Exact results in explicit three-loop calculations using higher derivatives for ${\cal N}=1$ SQCD

abstract: We calculate the three-loop Adler $D$-function of ${\cal N}=1$ SQCD regularized by higher covariant derivatives and find the subtraction scheme in which the exact NSVZ-like relation for this function that was recently proposed is valid.


title: Arbitrarily Varying Wiretap Channel with State Sequence Known or Unknown at the Receiver

abstract: The secrecy capacity problems over the general arbitrarily varying wiretap channel (AVWC), with respect to the maximal decoding error probability and strong secrecy criterion, are considered, where the channel state sequence may be known or unknown at the receiver. In the mean time, it is always assumed that the channel state sequence is known at the eavesdropper and unknown at the transmitter. Capacity results of both stochastic code (with random encoder and deterministic decoder) and random code (with random encoder and decoder) are discussed. This model includes the previous models of classic AVWC as special cases. Single-letter lower bounds on the secrecy capacities are given, which are proved to be the secrecy capacities when the main channel is less noisy than the wiretap channel. The coding scheme is based on Csiszar's almost independent coloring scheme and Ahlswede's elimination technique. Moreover, a new kind of typical sequence with respect to states is defined for this coding scheme. It is concluded that the secrecy capacity of stochastic code is identical to that of random code when the receiver knows the state sequence. Meanwhile, random code may achieve larger secrecy capacity when the state sequence is unknown by the receiver.


title: Local Nahm transform and singularity formation of ASD connections

abstract: This paper develops a local analogue of the ADHM construction, which characterises ASD instantons defined over smooth bounded domains inside Euclidean $\mathbb{R}^4$ diffeomorphic to the 4-ball, in terms of infinite dimensional Hilbert spaces and bounded Hermitian linear operators satisfying an analogue of the ADHM equation. Morever, we describe the degeneration of this construction when a family of instantons develops a curvature singularity at the origin.


title: Electromagnetic counterparts of high-frequency gravitational waves having additional polarization states: distinguishing and probing tensor-mode, vector-mode and scalar-mode gravitons

abstract: GWs from extra dimensions, very early universe, and some high-energy astrophysical process, might have at most six polarizations: plus- and cross-type (tensor-mode gravitons), x-, y-type (vector-mode), and b-, l-type (scalar-mode). Peak or partial peak regions of some of such GWs are just distributed in GHz or higher frequency band, which would be optimal band for electromagnetic(EM) response. In this paper we investigate EM response to such high-frequency GWs(HFGWs) having additional polarizations. For the first time we address:(1)concrete forms of analytic solutions for perturbed EM fields caused by HFGWs having all six possible polarizations in background stable EM fields; (2)perturbed EM signals of HFGWs with additional polarizations in three-dimensional-synchro-resonance-system(3DSR system) and in galactic-extragalactic background EM fields. These perturbative EM fields are actually EM counterparts of HFGWs, and such results provide a novel way to simultaneously distinguish and display all possible six polarizations. It is also shown: (i)In EM response, pure cross-, x-type and pure y-type polarizations can independently generate perturbative photon fluxes(PPFs, signals), while plus-, b- and l-type polarizations produce PPFs in different combination states. (ii) All such six polarizations have separability and detectability. (iii)In EM response to HFGWs from extra-dimensions, distinguishing and displaying different polarizations would be quite possible due to their very high frequencies, large energy densities and special properties of spectrum. (iv)Detection band(10^8 to 10^12 Hz or higher) of PPFs by 3DSR and observation range(7*10^7 to 3*10^9 Hz) of PPFs by FAST (Five-hundred-meter-Aperture-Spherical Telescope, China), have a certain overlapping property, so their coincidence experiments will have high complementarity.


title: Proximity and Josephson effects in microstructures based on multiband superconductors

abstract: Emerging in the 1950s, the multiband superconductivity has been considered for a long time as an approximate model in the form of a generalization of the BCS theory to the case of two bands for a more accurate quantitative description of the properties and characteristics of such superconductors as cuprates, heavy fermions compounds, metal boron carbides, fullerides, strontium ruthenate etc. due to their complex piecewise-continuous Fermi surfaces. However the discovery of the multiband structure of the superconducting state in magnesium diboride in 2001 and iron oxypnictides and chalcogenides in 2008 led to the appearance of many papers in which effects and different dependences well known for conventional single-band s-wave superconductors were reexamined. The main purpose of these studies was to reveal the symmetry type of the order parameter, which provides an important information about the mechanism of Cooper pairing in these superconductors. One of the most effective methods of obtaining information on the symmetry properties of the order parameter in the multiband superconductors is phase-sensitive techniques. This review summarizes the results of theoretical and experimental studies of the proximity and Josephson effects in systems based on multiband superconductors in contact with normal metals, insulators and other superconductors.


title: Universal single-mode lasing in fully chaotic two-dimensional microcavity lasers under continuous-wave operation with large pumping power

abstract: For a fully chaotic two-dimensional (2D) microcavity laser, we present a theory that guarantees both the existence of a stable single-mode lasing state and the nonexistence of a stable multimode lasing state, under the assumptions that the cavity size is much larger than the wavelength and the external pumping power is sufficiently large. It is theoretically shown that these universal spectral characteristics arise from the synergistic effect of two different kinds of nonlinearities: deformation of the cavity shape and mode interaction due to a lasing medium. Our theory is based on the linear stability analysis of stationary states for the Maxwell-Bloch equations and accounts for single-mode lasing phenomena observed in real and numerical experiments of fully chaotic 2D microcavity lasers.


title: Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy

abstract: We present a model of set theory, in which, for a given $n\ge2$, there exists a non-ROD-uniformizable planar lightface $\varPi^1_n$ set in $\mathbb R\times\mathbb R$, whose all vertical cross-sections are countable sets (and in fact Vitali classes), while all planar boldface $\bf\Sigma^1_n$ sets with countable cross-sections are $\bf\Delta^1_{n+1}$-uniformizable. Thus it is true in this model, that the ROD-uniformization principle for sets with countable cross-sections first fails precisely at a given projective level.


title: Statistical analysis of random trajectories of vibrated disks: towards a macroscopic realization of Brownian motion

abstract: We propose a macroscopic realization of planar Brownian motion by vertically vibrated disks. We perform a systematic statistical analysis of many random trajectories of individual disks. The distribution of increments is shown to be almost Gaussian, with slight deviations at large increments caused by inter-disk collisions. The velocity auto-correlation function takes both positive and negative values at short lag times but rapidly vanishes. We compare the empirical and theoretical distributions of time averaged mean square displacements and discuss distinctions between its mean and mode. These well-controlled experimental data can serve for validating statistical tools developed for the analysis of single-particle trajectories in microbiology.


title: Randomized incomplete $U$-statistics in high dimensions

abstract: This paper studies inference for the mean vector of a high-dimensional $U$-statistic. In the era of Big Data, the dimension $d$ of the $U$-statistic and the sample size $n$ of the observations tend to be both large, and the computation of the $U$-statistic is prohibitively demanding. Data-dependent inferential procedures such as the empirical bootstrap for $U$-statistics is even more computationally expensive. To overcome such computational bottleneck, incomplete $U$-statistics obtained by sampling fewer terms of the $U$-statistic are attractive alternatives. In this paper, we introduce randomized incomplete $U$-statistics with sparse weights whose computational cost can be made independent of the order of the $U$-statistic. We derive non-asymptotic Gaussian approximation error bounds for the randomized incomplete $U$-statistics in high dimensions, namely in cases where the dimension $d$ is possibly much larger than the sample size $n$, for both non-degenerate and degenerate kernels. In addition, we propose generic bootstrap methods for the incomplete $U$-statistics that are computationally much less-demanding than existing bootstrap methods, and establish finite sample validity of the proposed bootstrap methods. Our methods are illustrated on the application to nonparametric testing for the pairwise independence of a high-dimensional random vector under weaker assumptions than those appearing in the literature.


title: Computationally efficient phase-field studies combining simulation sampling and statistical analysis

abstract: The trade-off between accuracy and computational cost as a function of the size and number of simulation boxes was studied for large-scale phase-field simulations. For this purpose, a reference simulation box was incrementally partitioned. We have considered diffusion-controlled precipitation of delta prime in a model Al-Li system from the growth stage until early ripening. The results of the simulations show that decomposition of simulation box can be a valuable computational technique to accelerate simulations without substantial loss of accuracy. In the current case study, the precipitate density was found to be the key controlling parameter. For a pre-set accuracy, it turned out that large-scale simulations of the reference domain can be replaced by a combination of smaller simulations. This shortens the required simulation time and improves the memory usage of the simulation considerably, and thus substantially increases the efficiency of massive parallel computation for phase-field applications.


title: Non-thermal distributions and energy transport in the solar flares

abstract: Determining the energy transport mechanisms in flares remains a central goal in solar flares physics that is still not adequately answered by the 'standard flare model'. In particular, the relative roles of particles and/or waves as transport mechanisms, the contributions of low energy protons and ions to the overall flare budget, and the limits of low energy non-thermal electron distribution are questions that still cannot be adequately reconciled with current instrumentation. In this 'White Paper' submitted in response to the call for inputs to the Next Generation Solar Physics Mission review process initiated by JAXA, NASA and ESA in 2016, we outline the open questions in this area and possible instrumentation that could provide the required observations to help answer these and other flare-related questions.


title: On fibering compact manifold over the circle

abstract: In this paper, we show that any compact manifold that carries a SL(n;R)-foliation is fibered on the circle S^1.


title: Analiza bezbednosnih mehanizama OSPF protokola

abstract: The security of the service and the system depends on the security of each of them components of this system. An attack on the routing protocol may be inaccurate functioning of the computer network. In some cases this is possible The attacker comes to data or artificial information for which he is not entitled. OSPF protocol is the most commonly used connection protocol. U In this paper, we conducted an OSPF security analysis and described it security mechanisms. ----- Bezbednost nekog servisa i sistema zavisi od bezbednosti svake komponente tog sistema. Napad na protokol rutiranja mo\v{z}e proizvesti neispravno funkcionisanje ra\v{c}unarske mre\v{z}e. U pojedinim slu\v{c}ajevima mogu\'ce je da napada\v{c} do{\dj}e do podataka ili umetne podatke za koje nema pravo. OSPF protokol je najrasprostranjeniji protokol stanja linka (link-state protocol). U ovom radu izvr\v{s}ili smo analizu bezbednosti OSPF protokola i opisali njegove bezbednosne mehanizme.


title: Multikast rutiranje open-source platformom - XORP

abstract: Integration of a software router into embedded systems is obtained possibility of the most modern routers, at a much more affordable price. Transfer services TV and radio signals over the IP network are only activated by using multicast 1 protocol for routing. Multicast routing 2 is currently a feature of only costly hardware solutions. The XORP open-source platform offers multicast routing through a software router, with the ability to integrate into cheap embedded platforms. ---- Integracijom softverskog rutera u embedded sisteme dobija se mogu\'cnost najsavremenijih rutera, po znatno pristupa\v{c}nijoj ceni. Servisi prenosa TV i radio signala preko IP mre\v{z}e, za\v{z}ivljavaju tek kori\v{s}\'cenjem multikast 1 protokola za rutiranje. Multikast rutiranje 2 je trenutno funkcija samo skupih hardverskih re\v{s}enja. XORP open-source platforma nudi multikast rutiranje kroz softverski ruter, sa mogu\'cno\v{s}\'cu integracije u jeftine embedded platforme.


title: Emergent pseudospin-1 Maxwell fermions with a threefold degeneracy in optical lattices

abstract: The discovery of relativistic spin-1/2 fermions such as Dirac and Weyl fermions in condensed-matter or artificial systems opens a new era in modern physics. An interesting but rarely explored question is whether other relativistic spinal excitations could be realized with artificial systems. Here, we construct twoand three-dimensional tight-binding models realizable with cold fermionic atoms in optical lattices, where the low energy excitations are effectively described by the spin-1 Maxwell equations in the Hamiltonian form. These relativistic (linear dispersion) excitations with unconventional integer pseudospin, beyond the Dirac-Weyl-Majorana fermions, are an exotic kind of fermions named asMaxwell fermions.We demonstrate that the systems have rich topological features. For instance, the threefold degenerate points called Maxwell points may have quantized Berry phases and anomalous quantum Hall effects with spin-momentum locking may appear in topological Maxwell insulators in the two-dimensional lattices. In three dimensions,Maxwell points may have nontrivial monopole charges of \pm2 with two Fermi arcs connecting them, and the merging of the Maxwell points leads to topological phase transitions. Finally, we propose realistic schemes for realizing the model Hamiltonians and detecting the topological properties of the emergent Maxwell quasiparticles in optical lattices.


title: Another ordering of the ten cardinal characteristics in Cicho\'n's diagram

abstract: It is consistent that \[ \aleph_1 < \mathrm{add}(\mathrm{Null}) < \mathrm{add}(\mathrm{Meager})= \mathfrak{b} < \mathrm{cov}(\mathrm{Null}) < \mathrm{non}(\mathrm{Meager}) < \mathrm{cov}(\mathrm{Meager}) = 2^{\aleph_0}. \] Assuming four strongly compact cardinals, it is consistent that \[ \aleph_1 < \mathrm{add}(\mathrm{Null}) <\mathrm{add}(\mathrm{Meager})=\mathfrak{b} < \mathrm{cov}(\mathrm{Null}) < \mathrm{non}(\mathrm{Meager}) < \mathrm{cov}(\mathrm{Meager}) < \mathrm{non}(\mathrm{Null}) < \mathrm{cof}(\mathrm{Meager})= \mathfrak{d} < \mathrm{cof}(\mathrm{Null}) < 2^{\aleph_0}. \]


title: Gradient Descent Learns One-hidden-layer CNN: Don't be Afraid of Spurious Local Minima

abstract: We consider the problem of learning a one-hidden-layer neural network with non-overlapping convolutional layer and ReLU activation, i.e., $f(\mathbf{Z}, \mathbf{w}, \mathbf{a}) = \sum_j a_j\sigma(\mathbf{w}^T\mathbf{Z}_j)$, in which both the convolutional weights $\mathbf{w}$ and the output weights $\mathbf{a}$ are parameters to be learned. When the labels are the outputs from a teacher network of the same architecture with fixed weights $(\mathbf{w}^*, \mathbf{a}^*)$, we prove that with Gaussian input $\mathbf{Z}$, there is a spurious local minimizer. Surprisingly, in the presence of the spurious local minimizer, gradient descent with weight normalization from randomly initialized weights can still be proven to recover the true parameters with constant probability, which can be boosted to probability $1$ with multiple restarts. We also show that with constant probability, the same procedure could also converge to the spurious local minimum, showing that the local minimum plays a non-trivial role in the dynamics of gradient descent. Furthermore, a quantitative analysis shows that the gradient descent dynamics has two phases: it starts off slow, but converges much faster after several iterations.


title: Computing the Cech cohomology of decomposition spaces

abstract: A line pattern in a free group $F$ is defined by a malnormal collection of cyclic subgroups. Otal defined a decomposition space $\mathcal{D}$ associated to a line pattern. We provide an algorithm that computes a presentation for the \v{C}ech cohomology of $\mathcal{D}$, thought of as a $F$-module. This answers a relative version of a question of Epstein about boundaries of hyperbolic groups.


title: Approachability with Constraints

abstract: We study approachability theory in the presence of constraints. Given a repeated game with vector payoffs, we characterize the pairs of sets (A,D) in the payoff space such that Player 1 can guarantee that the long-run average payoff converges to the set A, while the average payoff always remains in D.


title: Observation of bulk nodal lines in topological semimetal ZrSiS

abstract: ZrSiS is the most intensively studied topological nodal-line semimetal candidate, which is proposed to host multiple nodal lines in its bulk electronic structure. However, previous angle-resolved photoemission spectroscopy (ARPES) experiments with vacuum ultraviolet lights mainly probed the surface states. Here using bulk-sensitive soft X-ray ARPES, we acquire the bulk electronic states of ZrSiS without any interference from surface states. Our results clearly show two groups of three-dimensional bulk nodal lines located on high-symmetry planes and along high-symmetry lines in the bulk Brillouin zone, respectively. The nodal lines on high-symmetry planes are enforced to pin at the Fermi level by carrier compensation and constitute the whole Fermi surfaces. This means that the carriers in ZrSiS are entirely contributed by nodal-line fermions, suggesting that ZrSiS is a remarkable platform for studying physical properties related to nodal lines.


title: Folding time dependence of the motions of a molecular motor diluted inside an amorphous medium

abstract: We investigate the dependence of the displacements of a molecular motor embedded inside a glassy material on its folding characteristic time. We observe two different time regimes. For slow foldings (regime I) the diffusion evolves very slowly with the folding time, while for rapid foldings (regime II) the diffusion increases strongly with the folding time suggesting two different physical mechanisms. We find that in regime I the motor displacement during the folding process is counteracted by a reverse displacement during the unfolding, while in regime II this counteraction is much weaker. We notice that regime I behavior is reminiscent of the scallop theorem that holds for larger motors in a continuous medium. We find that the difference in the efficiency of the motor motion explains most of the observed difference between the two regimes. For fast foldings the motor trajectories differ significantly from the opposite trajectories induced by the following unfolding process, resulting in a more efficient global motion than for slow foldings. This result agrees with the fluctuation theorems expectation for time reversal mechanisms. In agreement with the fluctuation theorems we find that the motors are unexpectedly more efficient when they are generating more entropy, a result that can be used to increase dramatically the motor motion.


title: Stochastic gravitational-wave background from spin loss of black holes

abstract: Although spinning black holes are shown to be stable in vacuum in general relativity, there exists exotic mechanisms that can convert the spin energy of black holes into gravitational waves. Such waves may be very weak in amplitude, since the spin-down could take a long time, and a direct search may not be feasible. We propose to search for the stochastic background associated with the spin-down, and we relate the level of this background to the formation rate of spinning black holes from the merger of binary black holes, as well as the energy spectrum of waves emitted by the spin-down process. We argue that current LIGO-Virgo observations are not inconsistent with the existence of a spin-down process, as long as it is slow enough. On the other hand, the background may still exist as long as a moderate fraction of spin energy is emitted within Hubble time. This stochastic background could be one interesting target of next generation GW detector network, such as LIGO Voyager, and could be extracted from total stochastic background.


title: Rigidity in vacuum under conformal symmetry

abstract: Moitvated in part by [3], in this note we obtain a rigidity result for globally hyperbolic vacuum spacetimes in arbitrary dimension that admit a timelike conformal Killing vector field. Specifically, we show that if M is a Ricci flat, timelike geodesically complete spacetime with compact Cauchy surfaces that admits a timelike conformal Killing field X, then M must split as a metric product, and X must be Killing. This gives a partial proof of the Bartnik splitting conjecture in the vacuum setting.


title: Stimuli Thresholds for Isomerization-induced Molecular Motions in Azobenzene Containing Materials

abstract: We use large scale molecular dynamics simulations of the isomerizations of azobenzene molecules diluted inside a simple molecular material, to investigate the effect of a modification of the cis isomer shape on the induced diffusion mechanism. To this end we simulate incomplete isomerizations, modifying the amplitude of the trans to cis isomerization. We find thresholds in the evolution of the host molecules mobility with the isomerization amplitude, a result predicted by the cage- breaking mechanism hypothesis (Teboul, V.; Saiddine, M.; Nunzi, J.M.; Accary, J.B. J. Chem. Phys. 2011, 134, 114517) and by the gradient pressure mechanism theory (Barrett, C.J.; Rochon, P.L.; Natansohn, A.L. J. Chem. Phys. 1998, 109, 1505-1516. ). Above the threshold the diffusion then increases linearly with the variation of the chromophore size induced by the isomerization.


title: Plasma electron trapping in quasistatic simulations of plasma wakefield acceleration

abstract: Plasma wakefield acceleration studies currently rely considerably on simulating this effect numerically using highly specialized software. Exorbitant computational difficulty of the problem requires simplifying models and methods,limiting such software applicability. Quasistatic approximation, for example, utilizes a plasma model that does not include trapping plasma electrons by the wakefield. This article presents a method that reuses a quasistatic plasma-beam solver to calculate parameters of wakefield-trapped plasma electrons.


title: Dark Energy from the Thermal Sunyaev Zeldovich Power Spectrum

abstract: We constrain the dark energy equation of state parameter, $w$, using the power spectrum of the thermal Sunyaev-Zeldovich (tSZ) effect. We improve upon previous analyses by taking into account the trispectrum in the covariance matrix and marginalising over the foreground parameters, the correlated noise, the mass bias $B$ in the Planck universal pressure profile, and all the relevant cosmological parameters (i.e., not just $\Omega_{\mathrm{m}}$ and $\sigma_8$). We find that the amplitude of the tSZ power spectrum at $\ell\lesssim 10^3$ depends primarily on $F\equiv \sigma_{8}(\Omega_{{\mathrm{m}}}/B)^{0.40}h^{-0.21}$, where $B$ is related to more commonly used variable $b$ by $B=(1-b)^{-1}$. We measure this parameter with 2.6\% precision, $F=0.460\pm 0.012$ (68% CL). By fixing the bias to $B=1.25$ and adding the local determination of the Hubble constant $H_0$ and the amplitude of the primordial power spectrum constrained by the Planck Cosmic Microwave Background (CMB) data, we find $w=-1.10\pm0.12$, $\sigma_{\mathrm{8}}=0.802\pm0.037$, and $\Omega_{{\mathrm{m}}}=0.265\pm0.022$ (68% CL). Our limit on $w$ is consistent with and is as tight as that from the distance-alone constraint from the CMB and $H_0$. Finally, by combining the tSZ power spectrum and the CMB data we find, in the $\Lambda$ Cold Dark Matter (CDM) model, the mass bias of $B=1.71\pm 0.17$, i.e., $1-b=0.58\pm 0.06$ (68% CL).


title: Reconstruction of Electrical Impedance Tomography Using Fish School Search, Non-Blind Search, and Genetic Algorithm

abstract: Electrical Impedance Tomography (EIT) is a noninvasive imaging technique that does not use ionizing radiation, with application both in environmental sciences and in health. Image reconstruction is performed by solving an inverse problem and ill-posed. Evolutionary Computation and Swarm Intelligence have become a source of methods for solving inverse problems. Fish School Search (FSS) is a promising search and optimization method, based on the dynamics of schools of fish. In this article the authors present a method for reconstruction of EIT images based on FSS and Non-Blind Search (NBS). The method was evaluated using numerical phantoms consisting of electrical conductivity images with subjects in the center, between the center and the edge and on the edge of a circular section, with meshes of 415 finite elements. The authors performed 20 simulations for each configuration. Results showed that both FSS and FSS-NBS were able to converge faster than genetic algorithms.


title: SOAP: One Clean Analysis of All Age-Based Scheduling Policies

abstract: We consider an extremely broad class of M/G/1 scheduling policies called SOAP: Schedule Ordered by Age-based Priority. The SOAP policies include almost all scheduling policies in the literature as well as an infinite number of variants which have never been analyzed, or maybe not even conceived. SOAP policies range from classic policies, like first-come, first-serve (FCFS), foreground-background (FB), class-based priority, and shortest remaining processing time (SRPT); to much more complicated scheduling rules, such as the famously complex Gittins index policy and other policies in which a job's priority changes arbitrarily with its age. While the response time of policies in the former category is well understood, policies in the latter category have resisted response time analysis. We present a universal analysis of all SOAP policies, deriving the mean and Laplace-Stieltjes transform of response time.


title: Can measurements of 2HDM parameters provide hints for high scale supersymmetry?

abstract: Two-Higgs-doublet models (2HDMs) are minimal extensions of the Standard Model (SM) that may still be discovered at the LHC. The quartic couplings of their potentials can be determined from the measurement of the masses and branching ratios of their extended scalar sectors. We show that the evolution of these couplings through renormalization group equations can determine whether the observed 2HDM is a low energy manifestation of a more fundamental theory, as for instance, supersymmetry, which fixes the quartic couplings in terms of the gauge couplings. At leading order, the minimal supersymmetric extension of the SM (MSSM) dictates all the quartic couplings, which can be translated into a predictive structure for the scalar masses and mixings at the weak scale. Running these couplings to higher scales, one can check if they converge to their MSSM values, and more interestingly, whether one can infer the supersymmetry breaking scale. Although we study this question in the context of supersymmetry, this strategy could be applied to any theory whose ultraviolet completion unambiguously predicts all scalar quartic couplings.


title: A simple diatomic potential that prevents crystallization in supercooled liquids simulations

abstract: We study a simple and versatile diatomic potential function coined to prevent crystallization in supercooled liquids. We show that the corresponding liquid does not crystallize even with very long simulation runs at the lowest temperature that we can access with ergodic simulations. The medium displays the usual features of supercooled materials and a non-Arrhenius dependence of the diffusion coefficient and alpha relaxation time with temperature. We also observe the breakdown of the Stokes-Einstein relation at low temperatures.


title: Explaining the DAMPE $e^+ e^-$ excess using the Higgs triplet model with a vector dark matter

abstract: We explain the $e^+ e^-$ excess observed by the DAMPE Collaboration using a dark matter model based upon the Higgs triplet model and an additional hidden $SU(2)_X$ gauge symmetry. Two of the $SU(2)_X$ gauge bosons are stable due to a residual discrete symmetry and serve as the dark matter candidate. We search the parameter space for regions that can explain the observed relic abundance, and compute the flux of $e^+ e^-$ coming from a nearby dark matter subhalo. With the inclusion of background cosmic rays, we show that the model can render a good fit to the entire energy spectrum covering the AMS-02, Fermi-LAT and DAMPE data.


title: Homotopy morphisms between convolution homotopy Lie algebras

abstract: In previous works by the authors, a bifunctor was associated to any operadic twisting morphism, taking a coalgebra over a cooperad and an algebra over an operad, and giving back the space of (graded) linear maps between them endowed with a homotopy Lie algebra structure. We build on this result by using a more general notion of $\infty$-morphism between (co)algebras over a (co)operad associated to a twisting morphism, and show that this bifunctor can be extended to take such $\infty$-morphisms in either one of its two slots. We also provide a counterexample proving that it cannot be coherently extended to accept $\infty$-morphisms in both slots simultaneously. We apply this theory to rational models for mapping spaces.


title: Arcsine Laws in Stochastic Thermodynamics

abstract: We show that the fraction of time a thermodynamic current spends above its average value follows the arcsine law, a prominent result obtained by L\'evy for Brownian motion. Stochastic currents with long streaks above or below their average are much more likely than those that spend similar fractions of time above and below their average. Our result is confirmed with experimental data from a Brownian Carnot engine. We also conjecture that two other random times associated with currents obey the arcsine law: the time a current reaches its maximum value and the last time a current crosses its average value. These results apply to, inter alia, molecular motors, quantum dots and colloidal systems.


title: Multimodal Visual Concept Learning with Weakly Supervised Techniques

abstract: Despite the availability of a huge amount of video data accompanied by descriptive texts, it is not always easy to exploit the information contained in natural language in order to automatically recognize video concepts. Towards this goal, in this paper we use textual cues as means of supervision, introducing two weakly supervised techniques that extend the Multiple Instance Learning (MIL) framework: the Fuzzy Sets Multiple Instance Learning (FSMIL) and the Probabilistic Labels Multiple Instance Learning (PLMIL). The former encodes the spatio-temporal imprecision of the linguistic descriptions with Fuzzy Sets, while the latter models different interpretations of each description's semantics with Probabilistic Labels, both formulated through a convex optimization algorithm. In addition, we provide a novel technique to extract weak labels in the presence of complex semantics, that consists of semantic similarity computations. We evaluate our methods on two distinct problems, namely face and action recognition, in the challenging and realistic setting of movies accompanied by their screenplays, contained in the COGNIMUSE database. We show that, on both tasks, our method considerably outperforms a state-of-the-art weakly supervised approach, as well as other baselines.


title: Alternating and variable controls for the wave equation

abstract: The present article discusses the exact observability of the wave equation when the observation subset of the boundary is variable in time. In the one-dimensional case, we prove an equivalent condition for the exact observability, which takes into account only the location in time of the observation. To this end we use Fourier series. Then we investigate the two specific cases of single exchange of the control position, and of exchange at a constant rate. In the multi-dimensional case, we analyse sufficient conditions for the exact observability relying on the multiplier method. In the last section, the multi-dimensional results are applied to specific settings and some connections between the one and multi-dimensional case are discussed; furthermore some open problems are presented.


title: How does the motion of the surrounding molecules depend on the shape of a folding molecular motor ?

abstract: Azobenzene based molecules have the property of isomerizing when illuminated. In relation with that photoisomerization property, azobenzene containing materials are the subject of unexplained massive mass transport. In this work we use an idealised rectangular chromophore model to study the dependence of the isomerization induced transport on the chromophore dimensions. Our results show the presence of a motor arm length threshold for induced transport, which corresponds to the host molecule size. Above the threshold, the diffusive motions increase proportionally to the chromophore length. Intriguingly, we find only a very small chromophore width dependence of the induced diffusive motions. Our very simplified motor reproduces relatively well the behavior observed using the real DR1 motor molecule, suggesting that the complex closing procedure and the detailed shape of the motor are not necessary to induce the molecular motions.


title: Evolution of Structure and Magnetic Properties of Cu2MnBO5 under Partial Mn3+->Fe3+ Substitution

abstract: Single crystals of Fe-substituted Cu2Mn1-xFexBO5 ludwigites have been synthesized using flux technique (x=0.2, 0.4, 0.5 - in the initial flux system). Structural properties of the synthesized compounds were studied by the single crystal and powder X-ray diffraction analysis. Obtained results were analyzed in the relationship with parent compound Cu2MnBO5. It was revealed that the type of monoclinic distortions of Fe-substituted ludwigites is different from the structure of Cu2MnBO5. The real cation composition and local structure of Cu2Mn1-xFexBO5 ludwigites were studied using XANES and EXAFS techniques, respectively. Analysis of field and thermal dependencies of magnetization showed a strong dependence of the magnetic properties of these ludwigites on x with changing the type of magnetic ordering.


title: Sparse principal component analysis and its $l_1$-relaxation

abstract: Principal component analysis (PCA) is one of the most widely used dimensionality reduction methods in scientific data analysis. In many applications, for additional interpretability, it is desirable for the factor loadings to be sparse, that is, we solve PCA with an additional cardinality (l0) constraint. The resulting optimization problem is called the sparse principal component analysis (SPCA). One popular approach to achieve sparsity is to replace the l0 constraint by an l1 constraint. In this paper, we prove that, independent of the data, the optimal objective function value of the problem with l0 constraint is within a constant factor of the the optimal objective function value of the problem with l1 constraint. To the best of our knowledge, this is the first formal relationship established between the l0 and the l1 constraint version of the problem.


title: Adatom pair distribution up to half coverage: O-Pd(100)

abstract: The superposition approximation and the Born-Green-Yvon (BGY) equation allows calculation of pair distributions in thermal equilibrium from pair potentials. A 2-d variant can be used to derive adatom pair distributions from arbitrary analytical pair potentials. As practical example substrate mediated elastic interactions, fitted previously to first principles (FP) calculations, are used to derive adatom pair distributions of OPd(100). The evaluation method utilizes the particle-hole symmetry of the pair interaction lattice gas Hamiltonian. The nonlinear BGY-type integral equation is solved numerically up to half coverage using power series expansion of coverage. The resulting adatom pair- and three-body distributions are used to analyze the short-range order of adatoms. A Monte Carlo (MC) simulation was performed in parallel to compare the current model with established methods. MC derived pair distributions fit well to those found with the analytical model, except in the high coverage region. The Fourier transformed pair correlations are compared with experimental LEED spot data and provide additional insight. Due to significant attraction the model predicts formation of 3rd and 4th nearest neighbors (n.n.) at small 3rd n.n. chains. A long range order of adatoms like a p(2x2) lattice is not found with the current model but a glassy structure is proposed as also indicated by the equilibrium Monte Carlo configurations. The glassy structure is assumed to contain fluctuations explaining broad p(2x2) LEED spots in the 0.25 monolayer region. The assumptions and limitations of the model towards higher coverages are discussed and open questions are formulated.


title: Polystore Mathematics of Relational Algebra

abstract: Financial transactions, internet search, and data analysis are all placing increasing demands on databases. SQL, NoSQL, and NewSQL databases have been developed to meet these demands and each offers unique benefits. SQL, NoSQL, and NewSQL databases also rely on different underlying mathematical models. Polystores seek to provide a mechanism to allow applications to transparently achieve the benefits of diverse databases while insulating applications from the details of these databases. Integrating the underlying mathematics of these diverse databases can be an important enabler for polystores as it enables effective reasoning across different databases. Associative arrays provide a common approach for the mathematics of polystores by encompassing the mathematics found in different databases: sets (SQL), graphs (NoSQL), and matrices (NewSQL). Prior work presented the SQL relational model in terms of associative arrays and identified key mathematical properties that are preserved within SQL. This work provides the rigorous mathematical definitions, lemmas, and theorems underlying these properties. Specifically, SQL Relational Algebra deals primarily with relations - multisets of tuples - and operations on and between these relations. These relations can be modeled as associative arrays by treating tuples as non-zero rows in an array. Operations in relational algebra are built as compositions of standard operations on associative arrays which mirror their matrix counterparts. These constructions provide insight into how relational algebra can be handled via array operations. As an example application, the composition of two projection operations is shown to also be a projection, and the projection of a union is shown to be equal to the union of the projections.


title: On resolvability of Lindel\"of generated spaces

abstract: In this paper we study the properties of P-generated spaces (by analogy with compactly generated). We prove that a regular Lindel\"of generated space with uncountable dispersion character is resolvable. It is proved that Hausdorff hereditarily L-spaces are L-tight spaces which were defined by Istv\'an Juh\'asz, Jan van Mill in (Variations on countable tightness, arXiv:1702.03714v1). We also prove {\omega}-resolvability of regular L-tight space with uncountable dispersion character.


title: Rapid Bayesian Inference of Global Network Statistics Using Random Walks

abstract: We propose a novel Bayesian methodology which uses random walks for rapid inference of statistical properties of undirected networks with weighted or unweighted edges. Our formalism yields high-accuracy estimates of the probability distribution of any network node-based property, and of the network size, after only a small fraction of network nodes has been explored. The Bayesian nature of our approach provides rigorous estimates of all parameter uncertainties. We demonstrate our framework on several standard examples, including random, scale-free, and small-world networks, and apply it to study epidemic spreading on a scale-free network. We also infer properties of the large-scale network formed by hyperlinks between Wikipedia pages.


title: Exploration of an Interdisciplinary Scientific Landscape

abstract: Patterns of interdisciplinarity in science can be quantified through diverse complementary dimensions. This paper studies as a case study the scientific environment of a generalist journal in Geography, Cybergeo, in order to introduce a novel methodology combining citation network analysis and semantic analysis. We collect a large corpus of around 200,000 articles with their abstracts and the corresponding citation network that provides a first citation classification. Relevant keywords are extracted for each article through text-mining, allowing us to construct a semantic classification. We study the qualitative patterns of relations between endogenous disciplines within each classification, and finally show the complementarity of classifications and of their associated interdisciplinarity measures. The tools we develop accordingly are open and reusable for similar large scale studies of scientific environments.


title: $\ast$-g-frames in tensor products of hilbert $C^{\ast}$-modules

abstract: In this paper, we study $\ast$-g-frames in tensor products of Hilbert $C^{\ast}$-modules. We show that a tensor product of two $\ast$-g-frames is a $\ast$-g-frames, and we get some result.


title: Assessment of hydrophobicity scales for protein stability and folding using energy and RMSD criteria

abstract: De novo prediction of protein folding is an open scientific challenge. Many folding models and force fields have been developed, yet all face difficulties converging to native conformations. Hydrophobicity scales (HSs) play a crucial role in such simulations as they define the energetic interactions between protein residues, thus determining the energetically favorable conformation. While many HSs have been developed over the years using various methods, it is surprising that the scales show very weak consensus in their assignment of hydrophobicity indexes to the various residues. In this work, several HSs are systematically assessed via atomistic Monte Carlo simulation of folding of small proteins, by converting the HSs of interest into residue-residue contact energy matrices. HSs that poorly preserve native structures of proteins were tuned by applying a linear transformation. Subsequently, folding simulations were used to examine the ability of the HSs to correctly fold the proteins from a random initial conformation. Root mean square deviation (RMSD) and energy of the proteins during folding were sampled and used to define an ER-score, as the correlation between the 2-dimensional energy-RMSD (ER) histogram with 50% lowest energy conformations and the ER histogram with 50% lowest RMSD conformations. Thus, we were able to compare the ability of the different HSs to predict de novo protein folding quantitatively.


title: On Integrable Systems & Rigidity for PDEs with Symmetry

abstract: This thesis is divided into two parts. In the first part we study completely integrable systems, and their underlying structures, in detail. We study their deformation theory and the different equivalence relations surrounding it. We motivate the definition of weak equivalence (found in the literature) by studying different interpretations of the concept `singular Lagrangian foliation'. Finally, we prove a normal form theorem inspired by the Moser path method. In the second part we study the deformation theory of a PDE with a pseudogroup of symmetries in general. We prove that a solution is rigid if its deformation cohomology vanishes and certain `tame' estimates hold, inspired by the Nash-Moser fast convergence method. An essential detail is that this statements holds for local solutions of the PDE around a compact submanifold. We give alternative proofs for several classical normal form theorems, as applications. Key Words: completely integrable systems, singular foliations, singular Lagrangian foliations, closed pseudogroups, Lie algebra sheaves, geometric PDEs, local rigidity, normal forms, Nash-Moser, Moser path method, Newlander-Nirenberg, Eliasson.


title: Distinguishing critical graphs

abstract: The distinguishing number $D(G)$ of a graph $G$ is the least integer $d$ such that $G$ has a vertex labeling with $d$ labels that is preserved only by a trivial automorphism. We say that a graph $G$ is $d$-distinguishing critical, if $D(G)=d$ and $D(H)\neq D(G)$, for every proper induced subgraph $H$ of $G$. This generalizes the usual definition of a $d$-chromatic critical graph. While the investigation of $d$-critical graphs is a well established part of coloring theory, not much is known about $d$-distinguishing critical graphs. In this paper we determine all $d$-distinguishing critical graphs for $d= 1,2,3$ and observe that all of these kind of graphs are $k$-regular graph for some $k\leq d$. Also, we show that the disconnected $d$-distinguishing critical graph with $c$ connected components such that $c\geq \frac{d}{2}$, is a regular graph.


title: The Complexity of Satisfiability in Non-Iterated and Iterated Probabilistic Logics

abstract: Let L be some extension of classical propositional logic. The non-iterated probabilistic logic over L, is the logic PL that is defined by adding non-nested probabilistic operators in the language of L. For example in PL we can express a statement like "the probability of truthfulness of A is at 0.3" where A is a formula of L. The iterated probabilistic logic over L is the logic PPL, where the probabilistic operators may be iterated (nested). For example, in PPL we can express a statement like "this coin is counterfeit with probability 0.6". In this paper we investigate the influence of probabilistic operators in the complexity of satisfiability in PL and PPL. We obtain complexity bounds, for the aforementioned satisfiability problem, which are parameterized in the complexity of satisfiability of conjunctions of positive and negative formulas that have neither a probabilistic nor a classical operator as a top-connective. As an application of our results we obtain tight complexity bounds for the satisfiability problem in PL and PPL when L is classical propositional logic or justification logic.


title: Lower Bounds on Regular Expression Size

abstract: We introduce linear programs encoding regular expressions of finite languages. We show that, given a language, the optimum value of the associated linear program is a lower bound on the size of any regular expression of the language. Moreover we show that any regular expression can be turned into a dual feasible solution with an objective value that is equal to the size of the regular expression. For binomial languages we can relax the associated linear program using duality theorem. We use this relaxation to prove lower bounds on the size of regular expressions of binomial and threshold languages.


title: Exact upper and lower bounds on the misclassification probability

abstract: Exact lower and upper bounds on the best possible misclassification probability for a finite number of classes are obtained in terms of the total variation norms of the differences between the sub-distributions over the classes. These bounds are compared with the exact bounds in terms of the conditional entropy obtained by Feder and Merhav.


title: The Relation Between {\alpha}-Helical Conformation And Amyloidogenicity

abstract: Amyloid fibrils are stable aggregates of misfolded proteins and polypeptides that are insoluble and resistant to protease activity. Abnormal formation of amyloid fibrils in vivo may lead to neurodegenerative disorders and other systemic amyloidosis such as Alzheimer's, Parkinson's, and atherosclerosis. Because of their clinical importance amyloids are found under intense scientific research. Amyloidogenic sequences of short polypeptide segments within proteins are responsible for the transformation of correctly folded proteins into parts of larger amyloid fibrils. The {\alpha}-helical secondary structure is believed to host many amyloidogenic sequences and be a key player in different stages of the amyloidogenesis process. Most of the studies on amyloids focus on the role of amyloidogenic sequences. The focus of this study is the relation between amyloidogenicity and the structure of the amyloidogenic {\alpha}-helical sequence. We have previously shown that the {\alpha}-helical conformation may be expressed by two parameters ({\theta} and \{rho}) that form orthogonal coordinates based on the Ramachandran dihedrals ({\phi} and {\psi}) and provide an illuminating interpretation of the {\alpha}-helical conformation. By performing statistical analysis on {\alpha}-helical conformations found in the protein data bank, an apparent relation between {\alpha}-helical conformation, as expressed by {\theta} and \{rho}, and amyloidogenicity is revealed. Remarkably, random amino acid sequences, whose helical structure was obtained from the most probably dihedral angles as obtained from PDB data, revealed the same dependency of amyloidogenicity, suggesting the importance of {\alpha}-helical structure as opposed to sequence.


title: Groups acting acylindrically on hyperbolic spaces

abstract: The goal of this article is to survey some recent developments in the study of groups acting on hyperbolic spaces. We focus on the class of acylindrically hyperbolic groups; it is broad enough to include many examples of interest, yet a significant part of the theory of hyperbolic and relatively hyperbolic groups can be generalized in this context. In particular, we discuss group theoretic Dehn filling and small cancellation theory in acylindrically hyperbolic groups. Many results discussed here rely on the new generalization of relative hyperbolicity based on the notion of a hyperbolically embedded subgroup.


title: Spin transport in two-layer-CVD-hBN/graphene/hBN heterostructures

abstract: We study room temperature spin transport in graphene devices encapsulated between a layer-by-layer-stacked two-layer-thick chemical vapour deposition (CVD) grown hexagonal boron nitride (hBN) tunnel barrier, and a few-layer-thick exfoliated-hBN substrate. We find mobilities and spin-relaxation times comparable to that of SiO$_2$ substrate based graphene devices, and obtain a similar order of magnitude of spin relaxation rates for both the Elliott-Yafet and D'Yakonov-Perel' mechanisms. The behaviour of ferromagnet/two-layer-CVD-hBN/graphene/hBN contacts ranges from transparent to tunneling due to inhomogeneities in the CVD-hBN barriers. Surprisingly, we find both positive and negative spin polarizations for high-resistance two-layer-CVD-hBN barrier contacts with respect to the low-resistance contacts. Furthermore, we find that the differential spin injection polarization of the high-resistance contacts can be modulated by DC bias from -0.3 V to +0.3 V with no change in its sign, while its magnitude increases at higher negative bias. These features mark a distinctive spin injection nature of the two-layer-CVD-hBN compared to the bilayer-exfoliated-hBN tunnel barriers.


title: Nuclear recoil effect on the binding energies in highly charged He-like ions

abstract: The most precise to-date evaluation of the nuclear recoil effect on the $n=1$ and $n=2$ energy levels of He-like ions is presented in the range $Z=12-100$. The one-electron recoil contribution is calculated within the framework of the rigorous QED approach to first order in the electron-to-nucleus mass ratio $m/M$ and to all orders in the parameter $\alpha Z$. The two-electron $m/M$ recoil term is calculated employing the $1/Z$ perturbation theory. The recoil contribution of the zeroth order in $1/Z$ is evaluated to all orders in $\alpha Z$, while the $1/Z$ term is calculated using the Breit approximation. The recoil corrections of the second and higher orders in $1/Z$ are taken into account within the nonrelativistic approach. The obtained results are compared with the previous evaluation of this effect [A. N. Artemyev et al., Phys. Rev. A 71, 062104 (2005)].


title: Finitely cosilting modules

abstract: The notion of cosilting module was recently introduced as a generalization of the concept of cotilting module. In this paper, it is introduced the notion of finitely cosilting module, i.e. a cosilting module with some finitness conditions, and it is studied some properties of these modules. Moreover, it is given a Cosilting Theorem induced by such a module.


title: Semi-Global Stereo Matching with Surface Orientation Priors

abstract: Semi-Global Matching (SGM) is a widely-used efficient stereo matching technique. It works well for textured scenes, but fails on untextured slanted surfaces due to its fronto-parallel smoothness assumption. To remedy this problem, we propose a simple extension, termed SGM-P, to utilize precomputed surface orientation priors. Such priors favor different surface slants in different 2D image regions or 3D scene regions and can be derived in various ways. In this paper we evaluate plane orientation priors derived from stereo matching at a coarser resolution and show that such priors can yield significant performance gains for difficult weakly-textured scenes. We also explore surface normal priors derived from Manhattan-world assumptions, and we analyze the potential performance gains using oracle priors derived from ground-truth data. SGM-P only adds a minor computational overhead to SGM and is an attractive alternative to more complex methods employing higher-order smoothness terms.


title: The BBGKY hierarchy for ultracold bosonic systems

abstract: We establish a theoretical framework for exploring the quantum dynamics of finite ultracold bosonic ensembles based on the Born-Bogoliubov-Green-Kirkwood-Yvon (BBGKY) hierarchy of equations of motion for few-particle reduced density matrices (RDMs). The theory applies to zero as well as low temperatures and is formulated in a highly efficient way by utilizing dynamically optimized single-particle basis states and representing the RDMs in terms of permanents with respect to those. An energy, RDM compatibility and symmetry conserving closure approximation is developed on the basis of a recursively formulated cluster expansion for these finite systems. In order to enforce necessary representability conditions, two novel, minimal-invasive and energy-conserving correction algorithms are proposed, involving the dynamical purification of the solution of the truncated BBGKY hierarchy and the correction of the equations of motion themselves, respectively. For gaining conceptual insights, the impact of two-particle correlations on the dynamical quantum depletion is studied analytically. We apply this theoretical framework to both a tunneling and an interaction-quench scenario. Due to our efficient formulation of the theory, we can reach truncation orders as large as twelve and thereby systematically study the impact of the truncation order on the results. While the short-time dynamics is found to be excellently described with controllable accuracy, significant deviations occur on a longer time-scale in sufficiently far off-equilibrium situations. Theses deviations are accompanied by exponential-like instabilities leading to unphysical results. The phenomenology of these instabilities is investigated in detail and we show that the minimal-invasive correction algorithm of the equation of motion can indeed stabilize the BBGKY hierarchy truncated at the second order.


title: Optically discriminating carrier-induced quasiparticle band gap and exciton energy renormalization in monolayer MoS2

abstract: Optoelectronic excitations in monolayer MoS2 manifest from a hierarchy of electrically tunable, Coulombic free-carrier and excitonic many-body phenomena. Investigating the fundamental interactions underpinning these phenomena - critical to both many-body physics exploration and device applications - presents challenges, however, due to a complex balance of competing optoelectronic effects and interdependent properties. Here, optical detection of bound- and free-carrier photoexcitations is used to directly quantify carrier-induced changes of the quasiparticle band gap and exciton binding energies. The results explicitly disentangle the competing effects and highlight longstanding theoretical predictions of large carrier-induced band gap and exciton renormalization in 2D semiconductors.


title: The BBGKY hierarchy for ultracold bosonic systems: II. Applications

abstract: In this work, which is based on our previously derived theoretical framework [1], we apply the truncated Born-Bogoliubov-Green-Kirkwood-Yvon (BBGKY) hierarchy for ultracold bosonic systems with a fixed number of particles to two out-of-equilibrium scenarios, namely tunneling in a double-well potential and an interaction quench in a harmonic trap. The efficient formulation of the theory provided in [1] allows for going to large truncation orders such that the impact of the truncation order on the accuracy of the results can be systematically explored. While the short-time dynamics is found to be excellently described with controllable accuracy, significant deviations occur on a longer time-scale for a sufficiently strong interaction quench or the tunneling scenario. Theses deviations are accompanied by exponential-like instabilities leading to unphysical results. The phenomenology of these instabilities is investigated in detail and we show that the minimal-invasive correction algorithm of the equation of motion as proposed in [1] can indeed stabilize the BBGKY hierarchy truncated at the second order.


title: Polynomial $f(R)$ Palatini cosmology -- dynamical system approach

abstract: We investigate cosmological dynamics based on $f(R)$ gravity in the Palatini formulation. In this study we use the dynamical system methods. We show that the evolution of the Friedmann equation reduces to the form of the piece-wise smooth dynamical system. This system is is reduced to a 2D dynamical system of the Newtonian type. We demonstrate how the trajectories can be sewn to guarantee $C^0$ extendibility of the metric similarly as `Milne-like' FLRW spacetimes are $C^0$-extendible. We point out that importance of dynamical system of Newtonian type with non-smooth right-hand sides in the context of Palatini cosmology. In this framework we can investigate singularities which appear in the past and future of the cosmic evolution. We consider cosmological systems in both Einstein and Jordan frames. We show that at each frame the topological structures of phase space are different.


title: Approaching the UCT problem via crossed products of the Razak-Jacelon algebra

abstract: We show that the UCT problem for separable, nuclear $\mathrm C^*$-algebras relies only on whether the UCT holds for crossed products of certain finite cyclic group actions on the Razak-Jacelon algebra. This observation is analogous to and in fact recovers a characterization of the UCT problem in terms of finite group actions on the Cuntz algebra $\mathcal O_2$ established in previous work by the authors. Although based on a similar approach, the new conceptual ingredients in the finite context are the recent advances in the classification of stably projectionless $\mathrm C^*$-algebras, as well as a known characterization of the UCT problem in terms of certain tracially AF $\mathrm C^*$-algebras due to Dadarlat.


title: Dephasing in Mach-Zehnder interferometer by an Ohmic contact

abstract: We study dephasing in an electronic Mach-Zehnder (MZ) interferometer based on quantum Hall (QH) edge states by a micromiter-sized Ohmic contact embedded in one of its arms. We find that at the filling factor $\nu=1$, as well as in the case where an Ohmic contact is connected to an MZ interfeoremter by a quantum point contact (QPC) that transmits only one electron channel, the phase coherence may not be fully suppressed. Namely, if the voltage bias $\Delta \mu$ and the temperature $T$ are small compared to the charging energy of the Ohmic contact $E_C$, the free fermion picture is manifested, and the visibility saturates at its maximum value. At large biases, $\Delta \mu \gg E_C$, the visibility decays in a power-law manner.


title: An algorithm to reconstruct convex polyhedra from their face normals and areas

abstract: A well-known result in the study of convex polyhedra, due to Minkowski, is that a convex polyhedron is uniquely determined (up to translation) by the directions and areas of its faces. The theorem guarantees existence of the polyhedron associated to given face normals and areas, but does not provide a constructive way to find it explicitly. This article provides an algorithm to reconstruct 3D convex polyhedra from their face normals and areas, based on an method by Lasserre to compute the volume of a convex polyhedron in $\mathbb{R}^n$. A Python implementation of the algorithm is available at https://github.com/gsellaroli/polyhedrec.


title: On Hopf algebras over the unique $12$-dimensional Hopf algebra without the dual Chevalley property

abstract: Let $\mathds{k}$ be an algebraically closed field of characteristic zero. We determine all finite-dimensional Hopf algebras over $\mathds{k}$ whose Hopf coradical is isomorphic to the unique $12$-dimensional Hopf algebra $\mathcal{C}$ without the dual Chevalley property, such that the diagrams are strictly graded and the corresponding infinitesimal braidings are indecomposable objects in ${}_{\mathcal{C}}^{\mathcal{C}}\mathcal{YD}$. In particular, we obtain new Nichols algebras of dimension $18$ and $36$ and two families of new Hopf algebras of dimension $216$.


title: Entanglement and secret-key-agreement capacities of bipartite quantum interactions and read-only memory devices

abstract: A bipartite quantum interaction corresponds to the most general quantum interaction that can occur between two quantum systems in the presence of a bath. In this work, we determine bounds on the capacities of bipartite interactions for entanglement generation and secret key agreement between two quantum systems. Our upper bound on the entanglement generation capacity of a bipartite quantum interaction is given by a quantity called the bidirectional max-Rains information. Our upper bound on the secret-key-agreement capacity of a bipartite quantum interaction is given by a related quantity called the bidirectional max-relative entropy of entanglement. We also derive tighter upper bounds on the capacities of bipartite interactions obeying certain symmetries. Observing that reading of a memory device is a particular kind of bipartite quantum interaction, we leverage our bounds from the bidirectional setting to deliver bounds on the capacity of a task that we introduce, called private reading of a wiretap memory cell. Given a set of point-to-point quantum wiretap channels, the goal of private reading is for an encoder to form codewords from these channels, in order to establish secret key with a party who controls one input and one output of the channels, while a passive eavesdropper has access to one output of the channels. We derive both lower and upper bounds on the private reading capacities of a wiretap memory cell. We then extend these results to determine achievable rates for the generation of entanglement between two distant parties who have coherent access to a controlled point-to-point channel, which is a particular kind of bipartite interaction.


abstract: In this paper, we propose a Tensor Train Neighborhood Preserving Embedding (TTNPE) to embed multi-dimensional tensor data into low dimensional tensor subspace. Novel approaches to solve the optimization problem in TTNPE are proposed. For this embedding, we evaluate novel trade-off gain among classification, computation, and dimensionality reduction (storage) for supervised learning. It is shown that compared to the state-of-the-arts tensor embedding methods, TTNPE achieves superior trade-off in classification, computation, and dimensionality reduction in MNIST handwritten digits and Weizmann face datasets.


title: Lecture notes on Liouville theory and the DOZZ formula

abstract: The purpose of these notes, based on a series of 4 lectures given by the author at IHES, is to explain the recent proof of the DOZZ formula for the three point correlation functions of Liouville conformal field theory (LCFT). We first review the probabilistic construction of the $N$ point correlation functions of LCFT on the Riemann sphere for $N \geq 3$ (based on a series of works of the author with David, Kupiainen and Rhodes). We then explain the construction of the two point correlation functions of LCFT, also called reflection coefficient. These probabilistic constructions will be justified from the point of view of Polyakov's path integral formulation of LCFT. Finally, we explain the proof of the DOZZ formula for the three point correlation functions of LCFT (based on 2 papers by the author with Kupiainen and Rhodes).


title: Anisotropic Thermal Conductivity of 4H and 6H Silicon Carbide Measured Using Time-Domain Thermoreflectance

abstract: Silicon carbide (SiC) is a wide bandgap (WBG) semiconductor with promising applications in high-power and high-frequency electronics. Among its many useful properties, the high thermal conductivity is crucial. In this letter, the anisotropic thermal conductivity of three SiC samples: n-type 4H-SiC (N-doped 1x10^19 cm-3), unintentionally doped (UID) semi-insulating (SI) 4H-SiC, and SI 6H-SiC (V-doped 1x10^17 cm-3), is measured using femtosecond laser based time-domain thermoreflectance (TDTR) over a temperature range from 250 K to 450 K. We simultaneously measure the thermal conductivity parallel to (k_r) and across the hexagonal plane (k_z) for SiC by choosing the appropriate laser spot radius and the modulation frequency for the TDTR measurements. For both k_r and k_z, the following decreasing order of thermal conductivity value is observed: SI 4H-SiC > n-type 4H-SiC > SI 6H-SiC. This work serves as an important benchmark for understanding thermal transport in WBG semiconductors.


title: A Generalized Tur\'an Problem and its Applications

abstract: The investigation of conditions guaranteeing the appearance of cycles of certain lengths is one of the most well-studied topics in graph theory. In this paper we consider a problem of this type which asks, for fixed integers ${\ell}$ and $k$, how many copies of the $k$-cycle guarantee the appearance of an $\ell$-cycle? Extending previous results of Bollob\'as--Gy\H{o}ri--Li and Alon--Shikhelman, we fully resolve this problem by giving tight (or nearly tight) bounds for all values of $\ell$ and $k$. We also present a somewhat surprising application of the above mentioned estimates to the study of the graph removal lemma. Prior to this work, all bounds for removal lemmas were either polynomial or there was a tower-type gap between the best known upper and lower bounds. We fill this gap by showing that for every super-polynomial function $f(\varepsilon)$, there is a family of graphs ${\cal F}$, such that the bounds for the ${\cal F}$ removal lemma are precisely given by $f(\varepsilon)$. We thus obtain the first examples of removal lemmas with tight super-polynomial bounds. A special case of this result resolves a problem of Alon and the second author, while another special case partially resolves a problem of Goldreich.


title: Photometric Variability of the mCP Star CS Vir: Evolution of the Rotation Period

abstract: The aim of this study is to accurately calculate the rotational period of CS\,Vir by using {\sl STEREO} observations and investigate a possible period variation of the star with the help of all accessible data. The {\sl STEREO} data that cover five-year time interval between 2007 and 2011 are analyzed by means of the Lomb-Scargle and Phase Dispersion Minimization methods. In order to obtain a reliable rotation period and its error value, computational algorithms such as the Levenberg-Marquardt and Monte-Carlo simulation algorithms are applied to the data sets. Thus, the rotation period of CS\,Vir is improved to be 9.29572(12) days by using the five-year of combined data set. Also, the light elements are calculated as $HJD_\mathrm{max} = 2\,454\,715.975(11) + 9_{\cdot}^\mathrm{d}29572(12) \times E + 9_{\cdot}^\mathrm{d}78(1.13) \times 10^{-8} \times E^2$ by means of the extremum times derived from the {\sl STEREO} light curves and archives. Moreover, with this study, a period variation is revealed for the first time, and it is found that the period has lengthened by 0.66(8) s y$^{-1}$, equivalent to 66 seconds per century. Additionally, a time-scale for a possible spin-down is calculated around $\tau_\mathrm{SD} \sim 10^6$ yr. The differential rotation and magnetic braking are thought to be responsible of the mentioned rotational deceleration. It is deduced that the spin-down time-scale of the star is nearly three orders of magnitude shorter than its main-sequence lifetime ($\tau_\mathrm{MS} \sim 10^9$ yr). It is, in return, suggested that the process of increase in the period might be reversible.


title: Two-spinor description of massive particles and relativistic spin projection operators

abstract: On the basis of the Wigner unitary representations of the covering group ISL(2,C) of the Poincar\'{e} group, we obtain spin-tensor wave functions of free massive particles with arbitrary spin. The wave functions automatically satisfy the Dirac-Pauli-Fierz equations. In the framework of the two-spinor formalism we construct spin-vectors of polarizations and obtain conditions that fix the corresponding relativistic spin projection operators (Behrends-Fronsdal projection operators). With the help of these conditions we find explicit expressions for relativistic spin projection operators for integer spins (Behrends-Fronsdal projection operators) and then find relativistic spin projection operators for half integer spins. These projection operators determine the nominators in the propagators of fields of relativistic particles. We deduce generalizations of the Behrends-Fronsdal projection operators for arbitrary space-time dimensions D>2.


title: Femtosecond CDMA Using Dielectric Metasurfaces: Design Procedure and Challenges

abstract: Inspired by the ever-increasing demand for higher data transmission rates and the tremendous attention toward all-optical signal processing based on miniaturized nanophotonics, in this paper, for the first time, we investigate the integrable design of coherent ultrashort light pulse code-division multiple-access (CDMA) technique, also known as femtosecond CDMA, using all-dielectric metasurfaces (MSs). In this technique, the data bits are firstly modulated using ultrashort femtosecond optical pulses generated by mode-locked lasers, and then by employing a unique phase metamask for each data stream, in order to provide the multiple access capability, the optical signals are spectrally encoded. This procedure spreads the optical signal in the temporal domain and generates low-intensity pseudo-noise bursts through random phase coding leading to minimized multiple access interference. This paper comprehensively presents the principles and design approach to realize fundamental components of a typical femtosecond CDMA encoder, including the grating, lens, and phase mask, by employing high-contrast CMOS-compatible MSs. By controlling the interference between the provided Mie and Fabry-Perot resonance modes, we tailor the spectral and spatial responses of the impinging light locally and independently. Accordingly, we design a MS-based grating with the highest possible refracted angle and, in the meantime, the maximized efficiency which results in a reasonable diameter for the subsequent lens. Moreover, to design our MS-based lens commensurate with the spot size and distance requirements of the pursuant phase mask, we leverage a new optimization method which splits the lens structure into central and peripheral parts, and then design the peripheral part using a collection of gratings converging the impinging at the subsequent phase mask.


title: The KW Equations and the Nahm Pole Boundary Condition with Knots

abstract: It is conjectured that the coefficients of the Jones polynomial can be computed by counting solutions of the KW equations on a four-dimensional half-space, with certain boundary conditions that depend on a knot. The boundary conditions are defined by a "Nahm pole" away from the knot with a further singularity along the knot. In a previous paper, we gave a precise formulation of the Nahm pole boundary condition in the absence of knots, in the present paper, we do this in the more general case with knots included. We show that the KW equations with generalized Nahm pole boundary conditions are elliptic, and that the solutions are polyhomogeneous near the boundary and near the knot, with exponents determined by solutions of appropriate indicial equations. This involves the analysis of a "depth two incomplete iterated edge operator." As in our previous paper, a key ingredient in the analysis is a convenient new Weitzenb\"ock formula that is well-adapted to the specific problem.}


title: Mean turbulence statistics in boundary layers over high-porosity foams

abstract: This paper reports turbulent boundary layer measurements made over open-cell reticulated foams with varying pore size and thickness, but constant porosity ($\epsilon \approx 0.97$). The foams were flush-mounted into a cutout on a flat plate. A Laser Doppler Velocimeter (LDV) was used to measure mean streamwise velocity and turbulence intensity immediately upstream of the porous section, and at multiple measurement stations along the porous substrate. The friction Reynolds number upstream of the porous section was $Re_\tau \approx 1690$. For all but the thickest foam tested, the internal boundary layer was fully developed by $<10 \delta$ downstream from the porous transition, where $\delta$ is the boundary layer thickness. Fully developed mean velocity profiles showed the presence of a substantial slip velocity at the porous interface ($>30\%$ of the free stream velocity) and a mean velocity deficit relative to the canonical smooth-wall profile further from the wall. While the magnitude of the mean velocity deficit increased with average pore size, the slip velocity remained approximately constant. Fits to the mean velocity profile suggest that the logarithmic region is shifted relative to a smooth wall, and that this shift increases with pore size until it becomes comparable to substrate thickness $h$. For all foams, the turbulence intensity was found to be elevated further into the boundary layer to $y/ \delta \approx 0.2$. An outer peak in intensity was also evident for the largest pore sizes. Velocity spectra indicate that this outer peak is associated with large-scale structures resembling Kelvin-Helmholtz vortices that have streamwise length scale $2\delta-4\delta$. Skewness profiles suggest that these large-scale structures may have an amplitude-modulating effect on the interfacial turbulence.


title: On the local k-elasticities of Puiseux monoids

abstract: If $M$ is an atomic monoid and $x$ is a nonzero non-unit element of $M$, then the set of lengths $\mathsf{L}(x)$ of $x$ is the set of all possible lengths of factorizations of $x$, where the length of a factorization is the number of irreducible factors (counting repetitions). In a recent paper, F. Gotti and C. O'Neil studied the sets of elasticities $\mathcal{R}(P) := \{\sup \mathsf{L}(x)/\inf \mathsf{L}(x) : x \in P\}$ of Puiseux monoids $P$. Here we take this study a step forward and explore the local $k$-elasticities of the same class of monoids. We find conditions under which Puiseux monoids have all their local elasticities finite as well as conditions under which they have infinite local $k$-elasticities for sufficiently large $k$. Finally, we focus our study of the $k$-elasticities on the class of primary Puiseux monoids, proving that they have finite local $k$-elasticities if either they are boundedly generated and do not have any stable atoms or if they do not contain $0$ as a limit point.


title: Hadronic Lorentz Violation in Chiral Perturbation Theory Including the Coupling to External Fields

abstract: If any violation of Lorentz symmetry exists in the hadron sector, its ultimate origins must lie at the quark level. We continue the analysis of how the theories at these two levels are connected, using chiral perturbation theory. Considering a two-flavor quark theory, with dimension-4 operators that break Lorentz symmetry, we derive a low-energy theory of pions and nucleons that is invariant under local chiral transformations and includes the coupling to external fields. The pure meson and baryon sectors, as well as the couplings between them and the couplings to external electromagnetic and weak gauge fields, contain forms of Lorentz violation which depend on linear combinations of quark-level coefficients. In particular, at leading order the electromagnetic couplings depend on the very same combinations as appear in the free particle propagators. This means that observations of electromagnetic processes involving hadrons--such as vacuum Cerenkov radiation, which may be allowed in Lorentz-violating theories--can only reliably constrain certain particular combinations of quark coefficients.


title: A Polyhedral Proof of a Wreath Product Identity

abstract: In 2013, Beck and Braun proved and generalized multiple identities involving permutation statistics via discrete geometry. Namely, they recognized the identities as specializations of integer point transform identities for certain polyhedral cones. They extended many of their proof techniques to obtain identities involving wreath products, but some identities were resistant to their proof attempts. In this article, we provide a geometric justification of one of these wreath product identities, which was first established by Biagioli and Zeng.


title: Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects

abstract: We propose a hybrid architecture for systematically computing robust visual explanation(s) encompassing hypothesis formation, belief revision, and default reasoning with video data. The architecture consists of two tightly integrated synergistic components: (1) (functional) answer set programming based abductive reasoning with space-time tracklets as native entities; and (2) a visual processing pipeline for detection based object tracking and motion analysis. We present the formal framework, its general implementation as a (declarative) method in answer set programming, and an example application and evaluation based on two diverse video datasets: the MOTChallenge benchmark developed by the vision community, and a recently developed Movie Dataset.


title: Kidemonas: The Silent Guardian

abstract: Advanced Persistent Threats or APTs are big challenges to the security of government organizations or industry systems. These threats may result in stealth attacks, but if the attack is confronted before the attacker end goal has been achieved, the attackers could become aggressive by changing the mode of attack or by resorting to some form of contingency plan, which might cause unexpected damage. Therefore, the attack detection and the notification to the system administrator should be done surreptitiously. This paper presents an architecture, called Kidemonas, to silently detect the threat and secretly report it to the user or the system administrator. This way the attacker is deceived into carrying out the attack, without sending any clear signal so that the defender can buy time to develop countermeasures to deal with the attack. We consider several attack scenarios and perform a security analysis to demonstrate the features of Kidemonas.


title: Quantum coherent control of the photo\-electron angular distribution in bichromatic ionization of atomic neon

abstract: We investigate the coherent control of the photo\-electron angular distribution in bichromatic atomic ionization. Neon is selected as target since it is one of the most popular systems in current gas-phase experiments with free-electron lasers (FELSs). In particular, we tackle practical questions, such as the role of the fine-structure splitting, the pulse length, and the intensity. Time-dependent and stationary perturbation theory are employed, and we also solve the time-dependent Schr\"odinger equation in a single-active electron model. We consider neon ionized by a FEL pulse whose fundamental frequency is in resonance with either $2p-3s$ or $2p-4s$ excitation. The contribution of the non\-resonant two-photon process and its potential constructive or destructive role for quantum coherent control is investigated.