title: Gradient-based Camera Exposure Control for Outdoor Mobile Platforms

abstract: We introduce a novel method to automatically adjust camera exposure for image processing and computer vision applications on mobile robot platforms. Because most image processing algorithms rely heavily on low-level image features that are based mainly on local gradient information, we consider that gradient quantity can determine the proper exposure level, allowing a camera to capture the important image features in a manner robust to illumination conditions. We then extend this concept to a multi-camera system and present a new control algorithm to achieve both brightness consistency between adjacent cameras and a proper exposure level for each camera. We implement our prototype system with off-the-shelf machine-vision cameras and demonstrate the effectiveness of the proposed algorithms on practical applications, including pedestrian detection, visual odometry, surround-view imaging, panoramic imaging and stereo matching.


title: Half Nikulin surfaces and moduli of Prym curves

abstract: Let F^N_g be the moduli space of polarized Nikulin surfaces (Y,H) of genus g and let P^N_g be the moduli of triples (Y,H,C), with C in |H| a smooth curve. We study the natural map \chi_g:P^N_g -> R_g, where R_g is the moduli space of Prym curves of genus g. We prove that it is generically injective on every irreducible component, with a few exceptions in low genus. This gives a complete picture of the map \chi_g and confirms some striking analogies between it and the Mukai map m_g: P_g ->M_g for moduli of triples (Y,H,C), where (Y,H) is any genus g polarized K3 surface. The proof is by degeneration to boundary points of a partial compactification of F^N_g. These represent the union of two surfaces with four even nodes and effective anticanonical class, which we call half Nikulin surfaces. The use of this degeneration is new with respect to previous techniques.


title: Composite hot-subdwarf binaries -- I. The spectroscopically confirmed sdB sample

abstract: Hot subdwarf-B (sdB) stars in long-period binaries are found to be on eccentric orbits, even though current binary-evolution theory predicts these objects to be circularised before the onset of Roche-lobe overflow (RLOF). To increase our understanding of binary interaction processes during the RLOF phase, we started a long term observing campaign to study wide sdB binaries. In this article we present a composite-binary-sdB sample, and the results of the spectral analysis of 9 such systems. The grid search in stellar parameters (GSSP) code is used to derive atmospheric parameters for the cool companions. To cross-check our results and also characterize the hot subdwarfs we used the independent XTgrid code, which employs Tlusty non-local thermodynamic equilibrium models to derive atmospheric parameters for the sdB component and Phoenix synthetic spectra for the cool companions. The independent GSSP and XTgrid codes are found to show good agreement for three test systems that have atmospheric parameters available in the literature. Based on the rotational velocity of the companions, an estimate for the mass accreted during the RLOF phase and the miminum duration of that phase is made. It is found that the mass transfer to the companion is minimal during the subdwarf formation.


title: Galactic wind X-ray heating of the intergalactic medium during the Epoch of Reionization

abstract: The diffuse soft X-ray emissivity from galactic winds is computed during the Epoch of Reionization (EoR). We consider two analytic models, a pressure-driven wind and a superbubble model, and a 3D cosmological simulation including gas dynamics from the First Billion Years (FiBY) project. The analytic models are normalized to match the diffuse X-ray emissivity of star-forming galaxies in the nearby Universe. The cosmological simulation uses physically motivated star formation and wind prescriptions, and includes radiative transfer corrections. The models and the simulation all are found to produce sufficient heating of the Intergalactic Medium to be detectable by current and planned radio facilities through 21 cm measurements during the EoR. While the analytic models predict a 21 cm emission signal relative to the Cosmic Microwave Background sets in by $z_{\rm trans} \simeq 8 - 10$, the predicted signal in the FiBY simulation remains in absorption until reionization completes. The 21 cm absorption differential brightness temperature reaches a minimum of $\Delta T \simeq -130$ to $-200$ mK, depending on model. Allowing for additional heat from high mass X-ray binaries pushes the transition to emission to $z_{\rm trans} \simeq 10 - 12$, with shallower absorption signatures having a minimum of $\Delta T \simeq -110$ to $-140$ mK. The 21 cm signal may be a means of distinguishing between the wind models, with the superbubble model favouring earlier reheating. While an early transition to emission may indicate X-ray binaries dominate the reheating, a transition to emission as early as $z_{\rm trans} > 12$ would suggest the presence of additional heat sources.


title: Community Targeted Phishing: A Middle Ground Between Massive and Spear Phishing through Natural Language Generation

abstract: Looking at today phishing panorama, we are able to identify two diametrically opposed approaches. On the one hand, massive phishing targets as many people as possible with generic and preformed texts. On the other hand, spear phishing targets high-value victims with hand-crafted emails. While nowadays these two worlds partially intersect, we envision a future where Natural Language Generation (NLG) techniques will enable attackers to target populous communities with machine-tailored emails. In this paper, we introduce what we call Community Targeted Phishing (CTP), alongside with some workflows that exhibit how NLG techniques can craft such emails. Furthermore, we show how Advanced NLG techniques could provide phishers new powerful tools to bring up to the surface new information from complex data-sets, and use such information to threaten victims' private data.


title: Weak type estimates for functions of Marcinkiewicz type with fractional integrals of mixed homogeneity

abstract: We prove the endpoint weak type estimate for square functions of Marcinkiewicz type with fractional integrals associated with non-isotropic dilations. This generalizes a result of C. Fefferman on functions of Marcinkiewicz type by considering fractional integrals of mixed homogeneity in place of the Riesz potentials of Euclidean structure.


title: Coupled Electron-Ion Monte Carlo simulation of hydrogen molecular crystals

abstract: We performed simulations for solid molecular hydrogen at high pressures (250GPa$\leq$P$\leq$500GPa) along two isotherms at T=200 K (phases III and VI) and at T=414 K (phase IV). At T=200K we considered likely candidates for phase III, the C2c and Cmca12 structures, while at T=414K in phase IV we studied the Pc48 structure. We employed both Coupled Electron-Ion Monte Carlo (CEIMC) and Path Integral Molecular Dynamics (PIMD) based on Density Functional Theory (DFT) using the vdW-DF approximation. The comparison between the two methods allows us to address the question of the accuracy of the xc approximation of DFT for thermal and quantum protons without recurring to perturbation theories. In general, we find that atomic and molecular fluctuations in PIMD are larger than in CEIMC which suggests that the potential energy surface from vdW-DF is less structured than the one from Quantum Monte Carlo. We find qualitatively different behaviors for systems prepared in the C2c structure for increasing pressure. Within PIMD the C2c structure is dynamically partially stable for P$\leq$250GPa only: it retains the symmetry of the molecular centers but not the molecular orientation; at intermediate pressures it develops layered structures like Pbcn or Ibam and transforms to the metallic Cmca-4 structure at P$\geq$450GPa. Instead, within CEIMC, the C2c structure is found to be dynamically stable at least up to 450GPa; at increasing pressure the molecular bond length increases and the nuclear correlation decreases. For the other two structures the two methods are in qualitative agreement although quantitative differences remain. We discuss various structural properties and the electrical conductivity. We find these structures become conducting around 350GPa but the metallic Drude-like behavior is reached only at around 500GPa, consistent with recent experimental claims.


title: Reducibility of WCE operators on $L^2(\mathcal{F})$

abstract: In this paper we characterize the closed subspaces of $L^2(\mathcal{F})$ that reduce the operators of the form $E^{\mathcal{A}}M_u$, in which $\mathcal{A}$ is a $\sigma$- subalgebra of $\mathcal{F}$. We show that $L^2(A)$ reduces $E^{\mathcal{A}}M_u$ if and only if $E^{\mathcal{A}}(\chi_A)=\chi_A$ on the support of $E^{\mathcal{A}}(|u|^2)$, where $A\in \mathcal{F}$. Also, some necessary and sufficient conditions are provided for $L^2(\mathcal{B})$ to reduces $E^{\mathcal{A}}M_u$, for the $\sigma$- subalgebra $\mathcal{B}$ of $\mathcal{F}$.


title: Theory of Compact Hausdorff Shape

abstract: In this paper, we aim to establish a new shape theory, compact Hausdorff shape (CH-shape) for general Hausdorff spaces. We use the "internal" method and direct system approach on the homotopy category of compact Hausdorff spaces. Such a construction can preserve most good properties of H-shape given by Rubin and Sanders. Most importantly, we can moreover develop the entire homology theory for CH-shape, including the exactness, dual to the consequence of Marde\v{s}i\'c and Segal.


title: An LSTM-Based Dynamic Customer Model for Fashion Recommendation

abstract: Online fashion sales present a challenging use case for personalized recommendation: Stores offer a huge variety of items in multiple sizes. Small stocks, high return rates, seasonality, and changing trends cause continuous turnover of articles for sale on all time scales. Customers tend to shop rarely, but often buy multiple items at once. We report on backtest experiments with sales data of 100k frequent shoppers at Zalando, Europe's leading online fashion platform. To model changing customer and store environments, our recommendation method employs a pair of neural networks: To overcome the cold start problem, a feedforward network generates article embeddings in "fashion space," which serve as input to a recurrent neural network that predicts a style vector in this space for each client, based on their past purchase sequence. We compare our results with a static collaborative filtering approach, and a popularity ranking baseline.


title: Decay widths of the excited $\Omega_b$ baryons

abstract: The LHCb Collaboration recently observed five narrow $\Omega_c^{0}$ resonances, and measured their masses and widths through the decays $ \Omega_c^{0} \to \Xi_c^{+}K^{-}$. Motivated by this discovery, and also by the fact that the ground-state bottom baryon $\Omega_b^{-}$ with spin-1/2 was already found experimentally, we perform theoretical investigation of the spin-1/2 and spin-3/2, $\Omega_b$, baryons by calculating decay width of their first orbitally and radially excited states to $\Xi_b^{0} K^{-}$. For this purpose, we employ QCD sum rule method on the light-cone by including into analysis the $K$ meson distribution amplitudes up to twist-4. Obtained analytical expressions are utilized to extract parameters of these decay processes which may be useful for forthcoming experimental studies of bottom baryons.


title: The concentration-mass relation of clusters of galaxies from the OmegaWINGS survey

abstract: The relation between a cosmological halo concentration and its mass (cMr) is a powerful tool to constrain cosmological models of halo formation and evolution. On the scale of galaxy clusters the cMr has so far been determined mostly with X-ray and gravitational lensing data. The use of independent techniques is helpful in assessing possible systematics. Here we provide one of the few determinations of the cMr by the dynamical analysis of the projected-phase-space distribution of cluster members. Based on the WINGS and OmegaWINGS data sets, we used the Jeans analysis with the MAMPOSSt technique to determine masses and concentrations for 49 nearby clusters, each of which has ~60 spectroscopic members or more within the virial region, after removal of substructures. Our cMr is in statistical agreement with theoretical predictions based on LambdaCDM cosmological simulations. Our cMr is different from most previous observational determinations because of its flatter slope and lower normalization. It is however in agreement with two recent cMr obtained using the lensing technique on the CLASH and LoCuSS cluster data sets. In the future we will extend our analysis to galaxy systems of lower mass and at higher redshifts.


title: Geodesic sprays and frozen metrics in rheonomic Lagrange manifolds

abstract: We define systems of pre-extremals for the energy functional of regular rheonomic Lagrange manifolds and show how they induce well-defined Hamilton orthogonal nets. Such nets have applications in the modelling of e.g. wildfire spread under time- and space-dependent conditions. The time function inherited from such a Hamilton net induces in turn a time-independent Finsler metric - we call it the associated frozen metric. It is simply obtained by inserting the time function from the net into the given Lagrangean. The energy pre-extremals then become ordinary Finsler geodesics of the frozen metric and the Hamilton orthogonality property is preserved during the freeze. We compare our results with previous findings of G. W. Richards concerning his application of Huyghens' principle to establish the PDE system for Hamilton orthogonal nets in 2D Randers spaces and also concerning his explicit spray solutions for time-only dependent Randers spaces. We analyze examples of time-dependent 2D Randers spaces with simple, yet non-trivial, Zermelo data; we obtain analytic and numerical solutions to their respective energy pre-extremal equations; and we display details of the resulting (frozen) Hamilton orthogonal nets.


title: Annular and pants thrackles

abstract: A thrackle is a drawing of a graph in which each pair of edges meets precisely once. Conway's Thrackle Conjecture asserts that a thrackle drawing of a graph on the plane cannot have more edges than vertices. We prove the Conjecture for thrackle drawings all of whose vertices lie on the boundaries of $d \le 3$ connected domains in the complement of the drawing. We also give a detailed description of thrackle drawings corresponding to the cases when $d=2$ (annular thrackles) and $d=3$ (pants thrackles).


title: Structural Identifiability of Cyclic Graphical Models of Biological Networks with Latent Variables

abstract: An efficient structural identifiability analysis algorithm is developed in this study for a broad range of network structures. The proposed method adopts the Wright's path coefficient method to generate identifiability equations in forms of symbolic polynomials, and then converts these symbolic equations to binary matrices (called identifiability matrix). Several matrix operations are introduced for identifiability matrix reduction with system equivalency maintained. Based on the reduced identifiability matrices, the structural identifiability of each parameter is determined. A number of benchmark models are used to verify the validity of the proposed approach. Finally, the network module for influenza A virus replication is employed as a real example to illustrate the application of the proposed approach in practice. The proposed approach can deal with cyclic networks with latent variables. The key advantage is that it intentionally avoids symbolic computation and is thus highly efficient. Also, this method is capable of determining the identifiability of each single parameter and is thus of higher resolution in comparison with many existing approaches. Overall, this study provides a basis for systematic examination and refinement of graphical models of biological networks from the identifiability point of view, and it has a significant potential to be extended to more complex network structures or high-dimensional systems.


title: Wireless Network Design for Control Systems: A Survey

abstract: Wireless networked control systems (WNCS) are composed of spatially distributed sensors, actuators, and con- trollers communicating through wireless networks instead of conventional point-to-point wired connections. Due to their main benefits in the reduction of deployment and maintenance costs, large flexibility and possible enhancement of safety, WNCS are becoming a fundamental infrastructure technology for critical control systems in automotive electrical systems, avionics control systems, building management systems, and industrial automation systems. The main challenge in WNCS is to jointly design the communication and control systems considering their tight interaction to improve the control performance and the network lifetime. In this survey, we make an exhaustive review of the literature on wireless network design and optimization for WNCS. First, we discuss what we call the critical interactive variables including sampling period, message delay, message dropout, and network energy consumption. The mutual effects of these communication and control variables motivate their joint tuning. We discuss the effect of controllable wireless network parameters at all layers of the communication protocols on the probability distribution of these interactive variables. We also review the current wireless network standardization for WNCS and their corresponding methodology for adapting the network parameters. Moreover, we discuss the analysis and design of control systems taking into account the effect of the interactive variables on the control system performance. Finally, we present the state-of-the-art wireless network design and optimization for WNCS, while highlighting the tradeoff between the achievable performance and complexity of various approaches. We conclude the survey by highlighting major research issues and identifying future research directions.


title: The Weisfeiler-Leman Dimension of Planar Graphs is at most 3

abstract: We prove that the Weisfeiler-Leman (WL) dimension of the class of all finite planar graphs is at most 3. In particular, every finite planar graph is definable in first-order logic with counting using at most 4 variables. The previously best known upper bounds for the dimension and number of variables were 14 and 15, respectively. First we show that, for dimension 3 and higher, the WL-algorithm correctly tests isomorphism of graphs in a minor-closed class whenever it determines the orbits of the automorphism group of any arc-colored 3-connected graph belonging to this class. Then we prove that, apart from several exceptional graphs (which have WL-dimension at most 2), the individualization of two correctly chosen vertices of a colored 3-connected planar graph followed by the 1-dimensional WL-algorithm produces the discrete vertex partition. This implies that the 3-dimensional WL-algorithm determines the orbits of a colored 3-connected planar graph. As a byproduct of the proof, we get a classification of the 3-connected planar graphs with fixing number 3.


title: Properties of the redback millisecond pulsar binary 3FGL J0212.1+5320

abstract: Linares et al. (2016) obtained quasi-simultaneous g', r' and i-band light curves and an absorption line radial velocity curve of the secondary star in the redback system 3FGL J0212.1+5320. The light curves showed two maxima and minima primarily due to the secondary star's ellipsoidal modulation, but with unequal maxima and minima. We fit these light curves and radial velocities with our X-ray binary model including either a dark solar-type star spot or a hot spot due to off-centre heating from an intrabinary shock, to account for the unequal maxima. Both models give a radial velocity semi-amplitude and rotational broadening that agree with the observations. The observed secondary star's effective temperature is best matched with the value obtained using the hot spot model, which gives a neutron star and secondary star mass of $M_{\rm 1}$=1.85$^{+0.32}_{-0.26}$ $M_{\odot}$and $M_{\rm 2}$=0.50$^{+0.22}_{-0.19}$ $M_{\odot}$, respectively.


title: Projected Variational Integrators for Degenerate Lagrangian Systems

abstract: We propose and compare several projection methods applied to variational integrators for degenerate Lagrangian systems, whose Lagrangian is of the form $L = \vartheta(q) \cdot \dot{q} - H(q)$ and thus linear in velocities. While previous methods for such systems only work reliably in the case of $\vartheta$ being a linear function of $q$, our methods are long-time stable also for systems where $\vartheta$ is a nonlinear function of $q$. We analyse the properties of the resulting algorithms, in particular with respect to the conservation of energy, momentum maps and symplecticity. In numerical experiments, we verify the favourable properties of the projected integrators and demonstrate their excellent long-time fidelity. In particular, we consider a two-dimensional Lotka-Volterra system, planar point vortices with position-dependent circulation and guiding centre dynamics.


title: Measuring technological complexity - Current approaches and a new measure of structural complexity

abstract: The paper reviews two prominent approaches for the measurement of technological complexity: the method of reflection and the assessment of technologies' combinatorial difficulty. It discusses their central underlying assumptions and identifies potential problems related to these. A new measure of structural complexity is introduced as an alternative. The paper also puts forward four stylized facts of technological complexity that serve as benchmarks in an empirical evaluation of five complexity measures (increasing development over time, larger R&D efforts, more collaborative R&D, spatial concentration). The evaluation utilizes European patent data for the years 1980 to 2013 and finds the new measure of structural complexity to mirror the four stylized facts as good as or better than traditional measures.


title: Hyperbolic Relaxation Method for Elliptic Equations

abstract: We show how the basic idea of parabolic Jacobi relaxation can be modified to obtain a new class of hyperbolic relaxation schemes that are suitable for the solution of elliptic equations. Some of the analytic and numerical properties of hyperbolic relaxation are examined. We describe its implementation as a first order system in a pseudospectral evolution code, demonstrating that certain elliptic equations can be solved within a framework for hyperbolic evolution systems. Applications include various initial data problems in numerical general relativity. In particular we generate initial data for the evolution of a massless scalar field, a single neutron star, and binary neutron star systems.


title: Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources

abstract: The problem of reliably certifying the outcome of a computation performed by a quantum device is rapidly gaining relevance. We present two protocols for a classical verifier to verifiably delegate a quantum computation to two non-communicating but entangled quantum provers. Our protocols have near-optimal complexity in terms of the total resources employed by the verifier and the honest provers, with the total number of operations of each party, including the number of entangled pairs of qubits required of the honest provers, scaling as $O(g\log g)$ for delegating a circuit of size $g$. This is in contrast to previous protocols, which all require a prohibitively large polynomial overhead. Our first protocol requires a number of rounds that is linear in the depth of the circuit being delegated, and is blind, meaning neither prover can learn the circuit being delegated. The second protocol is not blind, but requires only a constant number of rounds of interaction. Our main technical innovation is an efficient rigidity theorem which allows a verifier to test that two entangled provers perform measurements specified by an arbitrary $m$-qubit tensor product of single-qubit Clifford observables on their respective halves of $m$ shared EPR pairs, with a robustness that is independent of $m$. Our two-prover classical-verifier delegation protocols are obtained by combining this rigidity theorem with a single-prover quantum-verifier protocol for the verifiable delegation of a quantum computation, introduced by Broadbent (Theory of Computing, 2018).


title: Short-term variability and mass loss in Be stars III. BRITE and SMEI satellite photometry of 28 Cygni

abstract: The BRITE Constellation of nanosatellites obtained mmag photometry of 28 Cygni for 11 months in 2014-2016. Observations with the Solar Mass Ejection Imager in 2003-2010 and 118 H$\alpha$ line profiles were added. For decades, 28 Cyg has exhibited four large-amplitude frequencies: two closely spaced frequencies of spectroscopically confirmed $g$ modes near 1.5 c/d, one slightly lower exophotospheric (Stefl) frequency, and at 0.05 c/d the difference frequency between the two g modes. This top-level framework is indistinguishable from eta Cen (Paper I), which is also very similar in spectral type, rotation rate, and viewing angle. The Stefl frequency is the only one that does not seem to be affected by the difference frequency. The amplitude of the latter undergoes large variations; around maximum the amount of near-circumstellar matter is increased, and the amplitude of the Stefl frequency grows by some factor. During such brightenings dozens of transient spikes appear in the frequency spectrum, concentrated in three groups. Only eleven frequencies were common to all years of BRITE observations. Be stars seem to be controlled by several coupled clocks, most of which are not very regular on timescales of weeks to months but function for decades. The combination of g modes to the low difference frequency and/or the atmospheric response to it appears significantly nonlinear. Like in eta Cen, the difference-frequency variability seems the main responsible for the modulation of the star-to-disc mass transfer in 28 Cyg. A hierarchical set of difference frequencies may reach the longest timescales known of the Be phenomenon.


title: Calculus of conformal fields on a compact Riemann surface

abstract: We present analytical implementation of conformal field theory on a compact Riemann surface. We consider statistical fields constructed from background charge modifications of the Gaussian free field and derive Ward identities which represent the Lie derivative operators in terms of the Virasoro fields and the puncture operators associated with the background charges. As applications, we derive Eguchi-Ooguri's version of Ward's equations and certain types of BPZ equations on a torus.


title: Comment on Photothermal radiometry parametric identifiability theory for reliable and unique nondestructive coating thickness and thermophysical measurements, J. Appl. Phys. 121(9), 095101 (2017)

abstract: A recent paper [X. Guo, A. Mandelis, J. Tolev and K. Tang, J. Appl. Phys., 121, 095101 (2017)] intends to demonstrate that from the photothermal radiometry signal obtained on a coated opaque sample in 1D transfer, one should be able to identify separately the following three parameters of the coating: thermal diffusivity, thermal conductivity and thickness. In this comment, it is shown that the three parameters are correlated in the considered experimental arrangement, the identifiability criterion is in error and the thickness inferred therefrom is not trustable.


title: Modeling water supply networks and gastrointestinal disorder symptoms with CAR models

abstract: Background: The direct modeling of water networks is not a common practice in modern epidemiology. While space often serves as a proxy, it can be problematic. There are multiple ways to directly model water networks, but these methods are not straightforward and can be difficult to implement. This study suggests a simple approach for modeling water networks and diseases, and applies this method to a dataset of self-reported gastrointestinal conditions from a questionnaire-based population health survey in central Norway. Method: Our approach is based on a standard conditional autoregressive (CAR) model. An inverse matrix was constructed, with nodes weighted based on the distance to neighboring nodes within the networks. This matrix was then fitted as a generic model. To illustrate its possible use, we utilized data taken from a questionnaire-based population health survey, the HUNT Study, to measure self-reported gastrointestinal complaints. For hypothesis testing, we used the deviance information criterion (DIC) and included variables in a stepwise manner. Results: The full model converged after six hours. We found no relation between the water networks and the health conditions of people whose residences connected to different parts of the network in the geographical area studied. Conclusion: All water network models are simplifications of the real networks. Nevertheless, we suggest a valid approach for distinguishing between the general spatial effect and the water network using a generic model.


title: Self-supporting Topology Optimization for Additive Manufacturing

abstract: The paper presents a topology optimization approach that designs an optimal structure, called a self-supporting structure, which is ready to be fabricated via additive manufacturing without the usage of additional support structures. Such supports in general have to be created during the fabricating process so that the primary object can be manufactured layer by layer without collapse, which is very time-consuming and waste of material. The proposed approach resolves this problem by formulating the self-supporting requirements as a novel explicit quadratic continuous constraint in the topology optimization problem, or specifically, requiring the number of unsupported elements (in terms of the sum of squares of their densities) to be zero. Benefiting form such novel formulations, computing sensitivity of the self-supporting constraint with respect to the design density is straightforward, which otherwise would require lots of research efforts in general topology optimization studies. The derived sensitivity for each element is only linearly dependent on its sole density, which, different from previous layer-based sensitivities, consequently allows for a parallel implementation and possible higher convergence rate. In addition, a discrete convolution operator is also designed to detect the unsupported elements as involved in each step of optimization iteration, and improves the detection process 100 times as compared with simply enumerating these elements. The approach works for cases of general overhang angle, or general domain, and produces an optimized structures, and their associated optimal compliance, very close to that of the reference structure obtained without considering the self-supporting constraint, as demonstrated by extensive 2D and 3D benchmark examples.


title: Cobordisms of graphs. A sliceness criterion for stably odd knots and related results on cobordisms

abstract: In [D.A. Fedoseev, V.O. Manturov, A sliceness criterion for odd free knots,arXiv:1707.04923], the authors proved a sliceness criterion for odd free knots: free knots with odd chords. In the present paper we give a similar criterion for stably odd free knots. Some additional results on knot sliceness and cobordism are given.


title: A Computational Interpretation of Context-Free Expressions

abstract: We phrase parsing with context-free expressions as a type inhabitation problem where values are parse trees and types are context-free expressions. We first show how containment among context-free and regular expressions can be reduced to a reachability problem by using a canonical representation of states. The proofs-as-programs principle yields a computational interpretation of the reachability problem in terms of a coercion that transforms the parse tree for a context-free expression into a parse tree for a regular expression. It also yields a partial coercion from regular parse trees to context-free ones. The partial coercion from the trivial language of all words to a context-free expression corresponds to a predictive parser for the expression.


title: Mixing time estimation in reversible Markov chains from a single sample path

abstract: The spectral gap $\gamma$ of a finite, ergodic, and reversible Markov chain is an important parameter measuring the asymptotic rate of convergence. In applications, the transition matrix $P$ may be unknown, yet one sample of the chain up to a fixed time $n$ may be observed. We consider here the problem of estimating $\gamma$ from this data. Let $\pi$ be the stationary distribution of $P$, and $\pi_\star = \min_x \pi(x)$. We show that if $n = \tilde{O}\bigl(\frac{1}{\gamma \pi_\star}\bigr)$, then $\gamma$ can be estimated to within multiplicative constants with high probability. When $\pi$ is uniform on $d$ states, this matches (up to logarithmic correction) a lower bound of $\tilde{\Omega}\bigl(\frac{d}{\gamma}\bigr)$ steps required for precise estimation of $\gamma$. Moreover, we provide the first procedure for computing a fully data-dependent interval, from a single finite-length trajectory of the chain, that traps the mixing time $t_{\text{mix}}$ of the chain at a prescribed confidence level. The interval does not require the knowledge of any parameters of the chain. This stands in contrast to previous approaches, which either only provide point estimates, or require a reset mechanism, or additional prior knowledge. The interval is constructed around the relaxation time $t_{\text{relax}} = 1/\gamma$, which is strongly related to the mixing time, and the width of the interval converges to zero roughly at a $1/\sqrt{n}$ rate, where $n$ is the length of the sample path.


title: Experimental verification of stopping-power prediction from single- and dual-energy computed tomography in biological tissues

abstract: An experimental setup for consecutive measurement of ion and x-ray absorption in tissue or other materials is introduced. With this setup using a 3D-printed sample container, the reference stopping-power ratio (SPR) of materials can be measured with an uncertainty of below 0.1%. A total of 65 porcine and bovine tissue samples were prepared for measurement, comprising five samples each of 13 tissue types representing about 80% of the total body mass (three different muscle and fatty tissues, liver, kidney, brain, heart, blood, lung and bone). Using a standard stoichiometric calibration for single-energy CT (SECT) as well as a state-of-the-art dual-energy CT (DECT) approach, SPR was predicted for all tissues and then compared to the measured reference. With the SECT approach, the SPRs of all tissues were predicted with a mean error of (-0.84 $\pm$ 0.12)% and a mean absolute error of (1.27 $\pm$ 0.12)%. In contrast, the DECT-based SPR predictions were overall consistent with the measured reference with a mean error of (-0.02 $\pm$ 0.15)% and a mean absolute error of (0.10 $\pm$ 0.15)%. Thus, in this study, the potential of DECT to decrease range uncertainty could be confirmed in biological tissue.


title: Ramsey-nice families of graphs

abstract: For a finite family $\mathcal{F}$ of fixed graphs let $R_k(\mathcal{F})$ be the smallest integer $n$ for which every $k$-coloring of the edges of the complete graph $K_n$ yields a monochromatic copy of some $F\in\mathcal{F}$. We say that $\mathcal{F}$ is $k$-nice if for every graph $G$ with $\chi(G)=R_k(\mathcal{F})$ and for every $k$-coloring of $E(G)$ there exists a monochromatic copy of some $F\in\mathcal{F}$. It is easy to see that if $\mathcal{F}$ contains no forest, then it is not $k$-nice for any $k$. It seems plausible to conjecture that a (weak) converse holds, namely, for any finite family of graphs $\mathcal{F}$ that contains at least one forest, and for all $k\geq k_0(\mathcal{F})$ (or at least for infinitely many values of $k$), $\mathcal{F}$ is $k$-nice. We prove several (modest) results in support of this conjecture, showing, in particular, that it holds for each of the three families consisting of two connected graphs with 3 edges each and observing that it holds for any family $\mathcal{F}$ containing a forest with at most 2 edges. We also study some related problems and disprove a conjecture by Aharoni, Charbit and Howard regarding the size of matchings in regular 3-partite 3-uniform hypergraphs.


title: A Non-Convex Optimization Technique for Sparse Blind Deconvolution -- Initialization Aspects and Error Reduction Properties

abstract: Sparse blind deconvolution is the problem of estimating the blur kernel and sparse excitation, both of which are unknown. Considering a linear convolution model, as opposed to the standard circular convolution model, we derive a sufficient condition for stable deconvolution. The columns of the linear convolution matrix form a Riesz basis with the tightness of the Riesz bounds determined by the autocorrelation of the blur kernel. Employing a Bayesian framework results in a non-convex, non-smooth cost function consisting of an $\ell_2$ data-fidelity term and a sparsity promoting $\ell_p$-norm ($0 \le p \le 1$) regularizer. Since the $\ell_p$-norm is not differentiable at the origin, we employ an $\epsilon$-regularized $\ell_p$-norm as a surrogate. The data term is also non-convex in both the blur kernel and excitation. An iterative scheme termed alternating minimization (Alt. Min.) $\ell_p-\ell_2$ projections algorithm (ALPA) is developed for optimization of the $\epsilon$-regularized cost function. Further, we demonstrate that, in every iteration, the $\epsilon$-regularized cost function is non-increasing and more importantly, bounds the original $\ell_p$-norm-based cost. Due to non-convexity of the cost, the accuracy of estimation is largely influenced by the initialization. Considering regularized least-squares estimate as the initialization, we analyze how the initialization errors are concentrated, first in Gaussian noise, and then in bounded noise, the latter case resulting in tighter bounds. Comparisons with state-of-the-art blind deconvolution algorithms show that the deconvolution accuracy is higher in case of ALPA. In the context of natural speech signals, ALPA results in accurate deconvolution of a voiced speech segment into a sparse excitation and smooth vocal tract response.


title: The MeerKAT Absorption Line Survey (MALS)

abstract: Deep galaxy surveys have revealed that the global star formation rate (SFR) density in the Universe peaks at 1 < z < 2 and sharply declines towards z = 0. But a clear picture of the underlying processes, in particular the evolution of cold atomic (~100 K) and molecular gas phases, that drive such a strong evolution is yet to emerge. MALS is designed to use MeerKAT's L- and UHF-band receivers to carry out the most sensitive (N(HI)>10$^{19}$ cm$^{-2}$) dust-unbiased search of intervening HI 21-cm and OH 18-cm absorption lines at 0 < z < 2. This will provide reliable measurements of the evolution of cold atomic and molecular gas cross-sections of galaxies, and unravel the processes driving the steep evolution in the SFR density. The large sample of HI and OH absorbers obtained from the survey will (i) lead to tightest constraints on the fundamental constants of physics, and (ii) be ideally suited to probe the evolution of magnetic fields in disks of galaxies via Zeeman Splitting or Rotation Measure synthesis. The survey will also provide an unbiased census of HI and OH absorbers, i.e. cold gas associated with powerful AGNs (>10$^{24}$ W Hz$^{-1}$) at 0 < z < 2, and will simultaneously deliver a blind HI and OH emission line survey, and radio continuum survey. Here, we describe the MALS survey design, observing plan and the science issues to be addressed under various science themes.


title: Chordality of Clutters with Vertex Decomposable Dual and Ascent of Clutters

abstract: In this paper, we consider the generalization of chordal graphs to clutters proposed by Bigdeli, et al in J. Combin. Theory, Series A (2017). Assume that $\mathcal{C}$ is a $d$-dimensional uniform clutter. It is known that if $\mathcal{C}$ is chordal, then $I(\bar{\mathcal{C}})$ has a linear resolution over all fields. The converse has recently been rejected, but the following question which poses a weaker version of the converse is still open: "if $I(\bar{\mathcal{C}})$ has linear quotients, is $\mathcal{C}$ necessarily chordal?". Here, by introducing the concept of the ascent of a clutter, we split this question into two simpler questions and present some clues in support of an affirmative answer. In particular, we show that if $I(\bar{\mathcal{C}})$ is the Stanley-Reisner ideal of a simplicial complex with a vertex decomposable Alexander dual, then $\mathcal{C}$ is chordal.


title: A note on diameter-Ramsey sets

abstract: A finite set $A \subset \mathbb{R}^d$ is called $\textit{diameter-Ramsey}$ if for every $r \in \mathbb N$, there exists some $n \in \mathbb N$ and a finite set $B \subset \mathbb{R}^n$ with $\mathrm{diam}(A)=\mathrm{diam}(B)$ such that whenever $B$ is coloured with $r$ colours, there is a monochromatic set $A' \subset B$ which is congruent to $A$. We prove that sets of diameter $1$ with circumradius larger than $1/\sqrt{2}$ are not diameter-Ramsey. In particular, we obtain that triangles with an angle larger than $135^\circ$ are not diameter-Ramsey, improving a result of Frankl, Pach, Reiher and R\"odl. Furthermore, we deduce that there are simplices which are almost regular but not diameter-Ramsey.


title: Diffusion MRI measurements in challenging head and brain regions via cross-term spatiotemporally encoding

abstract: Cross-term spatiotemporal encoding (xSPEN) is a recently introduced imaging approach delivering single-scan 2D NMR images with unprecedented resilience to field inhomogeneities. The method relies on performing a pre-acquisition encoding and a subsequent image read out while using the disturbing frequency inhomogeneities as part of the image formation processes, rather than as artifacts to be overwhelmed by the application of external gradients. This study introduces the use of this new single-shot MRI technique as a diffusion-monitoring tool, for accessing regions that have hitherto been unapproachable by diffusion-weighted imaging (DWI) methods. In order to achieve this, xSPEN MRIs intrinsic diffusion weighting effects are formulated using a customized, spatially-localized b-matrix analysis; with this, we devise a novel diffusion-weighting scheme that both exploits and overcomes xSPENs strong intrinsic weighting effects. The ability to provide reliable and robust diffusion maps in challenging head and brain regions, including the eyes and the optic nerves, is thus demonstrated in humans at 3T; new avenues for imaging other body regions are also briefly discussed.


title: A magnetic version of the Smilansky-Solomyak model

abstract: We analyze spectral properties of two mutually related families of magnetic Schr\"{o}dinger operators, $H_{\mathrm{Sm}}(A)=(i \nabla +A)^2+\omega^2 y^2+\lambda y \delta(x)$ and $H(A)=(i \nabla +A)^2+\omega^2 y^2+ \lambda y^2 V(x y)$ in $L^2(R^2)$, with the parameters $\omega>0$ and $\lambda<0$, where $A$ is a vector potential corresponding to a homogeneous magnetic field perpendicular to the plane and $V$ is a regular nonnegative and compactly supported potential. We show that the spectral properties of the operators depend crucially on the one-dimensional Schr\"{o}dinger operators $L= -\frac{\mathrm{d}^2}{\mathrm{d}x^2} +\omega^2 +\lambda \delta (x)$ and $L (V)= - \frac{\mathrm{d}^2}{\mathrm{d}x^2} +\omega^2 +\lambda V(x)$, respectively. Depending on whether the operators $L$ and $L(V)$ are positive or not, the spectrum of $H_{\mathrm{Sm}}(A)$ and $H(V)$ exhibits a sharp transition.


title: Assessment of toxic metals and hazardous substances in tattoo inks using Sy-XRF, AAS and Raman spectroscopy

abstract: A set of tattoo inks from a top brand was analysed by means of Synchrotron-based X-ray Fluorescence spectrometry (Sy-XRF), Atomic Absorption spectrometry (AAS) and Raman Spectroscopy to investigate the presence of toxic metals and hazardous substances. Quantitative analysis shows that Cr, Cu and Pb content is above the maximum allowed levels established by the Council of Europe in the resolution ResAP(2008)1 on requirements and criteria for the safety of tattoos and permanent make-up. Raman analysis reveals the presence of pigments Blue 15, Green 7 and Violet 23 in blue, green and violet inks that belong to a list of prohibited substances mentioned in ResAP(2008)1. Besides, Pigment White 6, carbon black, Pigment Red 8 and a diazo yellow were also identified in white, black, red and yellow inks. The results presented in this study show the importance of regulating tattoo ink composition.


title: AutoLens: Automated Modeling of a Strong Lens's Light, Mass and Source

abstract: This work presents AutoLens, the first entirely automated modeling suite for the analysis of galaxy-scale strong gravitational lenses. AutoLens simultaneously models the lens galaxy's light and mass whilst reconstructing the extended source galaxy on an adaptive pixel-grid. The method's approach to source-plane discretization is amorphous, adapting its clustering and regularization to the intrinsic properties of the lensed source. The lens's light is fitted using a superposition of Sersic functions, allowing AutoLens to cleanly deblend its light from the source. Single component mass models representing the lens's total mass density profile are demonstrated, which in conjunction with light modeling can detect central images using a centrally cored profile. Decomposed mass modeling is also shown, which can fully decouple a lens's light and dark matter and determine whether the two component are geometrically aligned. The complexity of the light and mass models are automatically chosen via Bayesian model comparison. These steps form AutoLens's automated analysis pipeline, such that all results in this work are generated without any user-intervention. This is rigorously tested on a large suite of simulated images, assessing its performance on a broad range of lens profiles, source morphologies and lensing geometries. The method's performance is excellent, with accurate light, mass and source profiles inferred for data sets representative of both existing Hubble imaging and future Euclid wide-field observations.


title: Investigation of thickness dependent composition of boron carbide thin films by resonant soft x-ray reflectivity

abstract: Boron carbide thin films of different thicknesses deposited by ion beam sputtering were studied. The deposited films were characterized by grazing incidence hard x-ray reflectivity (GIXR), resonant soft x-ray reflectivity (RSXR), x-ray photo electron spectroscopy (XPS), resonant Rutherford backscattering spectrometry (RRBS), and time of flight secondary ion mass spectrometry (TOF-SIMS). An in-depth profile of the chemical elements constitute the films is reconstructed based on analysis of reflectivity curves measured in the vicinity of B K-edge. The composition of films is closely dependent on film thickness. Boron to Carbon (B/C) ratio reaches to ~4 as the thickness of deposited films increases. The B/C ratio estimated from RSXR measurements are in agreement with the RRBS measurements. TOF-SIMS data also suggested that decrease in boron content with decrease in film thickness. XPS measurements confirm the presence of little amount of B atoms on the surface of low thickness film.


title: Results of the Survey: Failures in Robotics and Intelligent Systems

abstract: In January 2015 we distributed an online survey about failures in robotics and intelligent systems across robotics researchers. The aim of this survey was to find out which types of failures currently exist, what their origins are, and how systems are monitored and debugged - with a special focus on performance bugs. This report summarizes the findings of the survey.


title: Maximum redshift of gravitational wave merger events

abstract: Future generation of gravitational wave detectors will have the sensitivity to detect gravitational wave events at redshifts far beyond any detectable electromagnetic sources. We show that if the observed event rate is greater than one event per year at redshifts z > 40, then the probability distribution of primordial density fluctuations must be significantly non-Gaussian or the events originate from primordial black holes. The nature of the excess events can be determined from the redshift distribution of the merger rate.


title: A Fast Approximation Scheme for Low-Dimensional $k$-Means

abstract: We consider the popular $k$-means problem in $d$-dimensional Euclidean space. Recently Friggstad, Rezapour, Salavatipour [FOCS'16] and Cohen-Addad, Klein, Mathieu [FOCS'16] showed that the standard local search algorithm yields a $(1+\epsilon)$-approximation in time $(n \cdot k)^{1/\epsilon^{O(d)}}$, giving the first polynomial-time approximation scheme for the problem in low-dimensional Euclidean space. While local search achieves optimal approximation guarantees, it is not competitive with the state-of-the-art heuristics such as the famous $k$-means++ and $D^2$-sampling algorithms. In this paper, we aim at bridging the gap between theory and practice by giving a $(1+\epsilon)$-approximation algorithm for low-dimensional $k$-means running in time $n \cdot k \cdot (\log n)^{(d\epsilon^{-1})^{O(d)}}$, and so matching the running time of the $k$-means++ and $D^2$-sampling heuristics up to polylogarithmic factors. We speed-up the local search approach by making a non-standard use of randomized dissections that allows to find the best local move efficiently using a quite simple dynamic program. We hope that our techniques could help design better local search heuristics for geometric problems. We note that the doubly exponential dependency on $d$ is necessary as $k$-means is APX-hard in dimension $d = \omega(\log n)$.


title: MgO thickness-induced spin reorientation transition in Co0.9Fe0.1/MgO/Co0.9Fe0.1 structure

abstract: The magnetic anisotropy (MA) of Mo/Au/Co0.9Fe0.1/Au/MgO(0.7 - 3 nm)/Au/Co0.9Fe0.1/Au heterostructure has been investigated at room temperature as a function of MgO layer thickness (tMgO). Our studies show that while the MA of the top layer does not change its character upon variation of tMgO, the uniaxial out-of-plane MA of the bottom one undergoes a spin reorientation transition at tMgO of about 0.8 nm, switching to the regime where the coexistence of in- and out-of-plane magnetization alignments is observed. The magnitudes of the magnetic anisotropy constants have been determined from ferromagnetic resonance and dc-magnetometry measurements. The origin of MA evolution has been attributed to a presence of an interlayer exchange coupling (IEC) between Co0.9Fe0.1 layers through the thin MgO film.


title: Logarithmic corrections of charged hairy black hole in (2+1) dimension

abstract: We consider a charged black hole with a scalar field that is coupled to gravity in (2 + 1)-dimensions. We compute the logarithmic corrections to the corresponding system using two approaches. In the first method we take advantage of thermodynamic properties. In the second method we use the metric function that is suggested by conformal field theory. Finally, we compare the results of the two approaches.


title: Two efficient computational algorithms to solve the singularly perturbed Lane-Emden problem

abstract: In this paper, we decide to compare two new approaches based on Rational and Exponential Bessel functions (RBs and EBs) to solve several well-known class of Lane-Emden type models. The problems, which define in some models of non-Newtonian fluid mechanics and mathematical physics, are nonlinear ordinary differential equations of second-order over the semiinfinite interval and have singularity at x = 0. We have converted the nonlinear Lane-Emden equation to a sequence of linear equations by utilizing the quasilinearization method (QLM) and then, these linear equations have been solved by RBs and EBs collocation-spectral methods. Afterward, the obtained results are compared with the solution of other methods for demonstrating the efficiency and applicability of the proposed methods.


title: Uniform energy bound and Morawetz estimate for extreme components of spin fields in the exterior of a slowly rotating Kerr black hole II: linearized gravity

abstract: This second part of the series treats spin $\pm2$ components (or extreme components), that satisfy the Teukolsky master equation, of the linearized gravity in the exterior of a slowly rotating Kerr black hole. For each of these two components, after performing a first-order differential operator once and twice, the resulting equations together with the Teukolsky master equation itself constitute a linear spin-weighted wave system. An energy and Morawetz estimate for spin $\pm 2$ components is proved by treating this system. This is a first step in a joint work (Andersson et al. in Stability for linearized gravity on the Kerr spacetime, arXiv:1903.03859, 2019) in addressing the linear stability of slowly rotating Kerr metrics.


title: Complex Analysis of Real Functions III: Extended Fourier Theory

abstract: In the context of the complex-analytic structure within the unit disk centered at the origin of the complex plane, that was presented in a previous paper, we show that the complete Fourier theory of integrable real functions is contained within that structure, that is, within the structure of the space of inner analytic functions on the open unit disk. We then extend the Fourier theory beyond the realm of integrable real functions, to include for example singular Schwartz distributions, and possibly other objects.


title: Volume of the space of qubit-qubit channels and state transformations under random quantum channels

abstract: The simplest building blocks for quantum computations are the qubit-qubit quantum channels. In this paper, we analyze the structure of these channels via their Choi representation. The restriction of a quantum channel to the space of classical states (i.e. probability distributions) is called the underlying classical channel. The structure of quantum channels over a fixed classical channel is studied, the volume of general and unital qubit channels with respect to the Lebesgue measure is computed and explicit formulas are presented for the distribution of the volume of quantum channels over given classical channels. We study the state transformation under uniformly random quantum channels. If one applies a uniformly random quantum channel (general or unital) to a given qubit state, the distribution of the resulted quantum states is presented.


title: Symbol, Surface operators and $S$-duality

abstract: We study rigid surface operators in the $N=4$ supersymmetric Yang-Mills theories with gauge groups $SO(n)$ and $Sp(2n)$. Using maps $X_S$ and $Y_S$ between these two theories, Wyllard made explicit proposals for how the $S$-duality map should act on certain subclasses of surface operators. We study the maps $X_S$ and $Y_S$ further and simplify the construction of symbol invariant of rigid surface operators by a convenient trick. By consistency checks, we recover and extend the $S$-duality maps proposed by Wyllard. We find new subclasses of rigid surface operators related by $S$-duality. We try to explain the exceptions of $S$-duality maps. We also discuss the extension of the techniques used in the $B_n/C_n$ theories to the $D_n$ theories.


title: One-Way Trail Orientations

abstract: Given a graph, does there exist an orientation of the edges such that the resulting directed graph is strongly connected? Robbins' theorem [Robbins, Am. Math. Monthly, 1939] states that such an orientation exists if and only if the graph is $2$-edge connected. A natural extension of this problem is the following: Suppose that the edges of the graph is partitioned into trails. Can we orient the trails such that the resulting directed graph is strongly connected? We show that $2$-edge connectivity is again a sufficient condition and we provide a linear time algorithm for finding such an orientation, which is both optimal and the first polynomial time algorithm for deciding this problem. The generalised Robbins' theorem [Boesch, Am. Math. Monthly, 1980] for mixed multigraphs states that the undirected edges of a mixed multigraph can be oriented making the resulting directed graph strongly connected exactly when the mixed graph is connected and the underlying graph is bridgeless. We show that as long as all cuts have at least $2$ undirected edges or directed edges both ways, then there exists an orientation making the resulting directed graph strongly connected. This provides the first polynomial time algorithm for this problem and a very simple polynomial time algorithm to the previous problem.


title: Stratifying multiparameter persistent homology

abstract: A fundamental tool in topological data analysis is persistent homology, which allows extraction of information from complex datasets in a robust way. Persistent homology assigns a module over a principal ideal domain to a one-parameter family of spaces obtained from the data. In applications data often depend on several parameters, and in this case one is interested in studying the persistent homology of a multiparameter family of spaces associated to the data. While the theory of persistent homology for one-parameter families is well-understood, the situation for multiparameter families is more delicate. Following Carlsson and Zomorodian we recast the problem in the setting of multigraded algebra, and we propose multigraded Hilbert series, multigraded associated primes and local cohomology as invariants for studying multiparameter persistent homology. Multigraded associated primes provide a stratification of the region where a multigraded module does not vanish, while multigraded Hilbert series and local cohomology give a measure of the size of components of the module supported on different strata. These invariants generalize in a suitable sense the invariant for the one-parameter case.


title: A Novel Stretch Energy Minimization Algorithm for Equiareal Parameterizations

abstract: Surface parameterizations have been widely applied to computer graphics and digital geometry processing. In this paper, we propose a novel stretch energy minimization (SEM) algorithm for the computation of equiareal parameterizations of simply connected open surfaces with a very small area distortion and a highly improved computational efficiency. In addition, the existence of nontrivial limit points of the SEM algorithm is guaranteed under some mild assumptions of the mesh quality. Numerical experiments indicate that the efficiency, accuracy, and robustness of the proposed SEM algorithm outperform other state-of-the-art algorithms. Applications of the SEM on surface remeshing and surface registration for simply connected open surfaces are demonstrated thereafter. Thanks to the SEM algorithm, the computations for these applications can be carried out efficiently and robustly.


title: Serrin's problem and Alexandrov's Soap Bubble Theorem: enhanced stability via integral identities

abstract: We consider Serrin's overdetermined problem for the torsional rigidity and Alexandrov's Soap Bubble Theorem. We present new integral identities, that show a strong analogy between the two problems and help to obtain better (in some cases optimal) quantitative estimates for the radially symmetric configuration. The estimates for the Soap Bubble Theorem benefit from those of Serrin's problem.


title: Control and Data Flow Execution of Java Programs

abstract: Since decade understanding of programs has become a compulsory task for the students as well as for others who are involved in the process of developing software and providing solutions to open problems. In that aspect showing the problem in a pictorial presentation in a best manner is a key advantage to better understand it. We provide model and structure for Java programs to understand the control and data flow analysis of execution. Especially it helps to understand the static analysis of Java programs, which is an uttermost important phase for software maintenance. We provided information and model for visualization of Java programs that may help better understanding of programs for a learning and analysis purpose. The idea provided for building visualization tool is extracting data and control analysis from execution of Java programs. We presented case studies to prove that our idea is most important for better understanding of Java programs which may help towards static analysis, software debugging and software maintenance.


title: Second order approximations for limit order books

abstract: In this paper we derive a second order approximation for an infinite dimensional limit order book model, in which the dynamics of the incoming order flow is allowed to depend on the current market price as well as on a volume indicator (e.g.~the volume standing at the top of the book). We study the fluctuations of the price and volume process relative to their first order approximation given in ODE-PDE form under two different scaling regimes. In the first case we suppose that price changes are really rare, yielding a constant first order approximation for the price. This leads to a measure-valued SDE driven by an infinite dimensional Brownian motion in the second order approximation of the volume process. In the second case we use a slower rescaling rate, which leads to a non-degenerate first order approximation and gives a PDE with random coefficients in the second order approximation for the volume process. Our results can be used to derive confidence intervals for models of optimal portfolio liquidation under market impact.


title: Introducing symplectic billiards

abstract: In this article we introduce a simple dynamical system called symplectic billiards. As opposed to usual/Birkhoff billiards, where length is the generating function, for symplectic billiards symplectic area is the generating function. We explore basic properties and exhibit several similarities, but also differences of symplectic billiards to Birkhoff billiards.


title: Perron identity for arbitrary broken lines

abstract: In this paper we study the values of Markov-Davenport forms, which are specially normalized binary quadratic forms. We generalize the Perron identity for ordinary continued fractions for sails to the case of arbitrary broken lines.


title: Realizable Lists on a Class of Nonnegative Matrices

abstract: A square matrix of order n with $n\geq 2$ is called permutative matrix when all its rows (up to the frst one) are permutations of precisely its frst row. In this paper recalling spectral results for partitioned into $2$-by-$2$ symmetric blocks matrices sufcient conditions on a given complex list to be the list of the eigenvalues of a nonnegative permutative matrix are given. In particular, we study NIEP and PNIEP when some complex elements into the considered lists have no zero imaginary part. Realizability regions for nonnegative permutative matrices are obtained.


title: Current Status of the Inner Boundaries

abstract: Short review of experimental and theoretical researches influence of inner boundaries at properties of composite materials. Reviewing articles that are made at the last, approximately, thirty years, and which demonstrate role of inner boundaries in determining the properties of composite materials.


abstract: Existence, Uniqueness and monotonic behavior of the solution of classical flow distribution problem for hydraulic networks with pressure-dependent closure relations was proved. Structure and properties of inverse Maxwell matrix of the problem were investigated


title: Dynamics of Current, Charge and Mass

abstract: Electricity plays a special role in our lives and life. Equations of electron dynamics are nearly exact and apply from nuclear particles to stars. These Maxwell equations include a special term the displacement current (of vacuum). Displacement current allows electrical signals to propagate through space. Displacement current guarantees that current is exactly conserved from inside atoms to between stars, as long as current is defined as Maxwell did, as the entire source of the curl of the magnetic field. We show how the Bohm formulation of quantum mechanics allows easy definition of current. We show how conservation of current can be derived without mention of the polarization or dielectric properties of matter. Matter does not behave the way physicists of the 1800's thought it does with a single dielectric constant, a real positive number independent of everything. Charge moves in enormously complicated ways that cannot be described in that way, when studied on time scales important today for electronic technology and molecular biology. Life occurs in ionic solutions in which charge moves in response to forces not mentioned or described in the Maxwell equations, like convection and diffusion. Classical derivations of conservation of current involve classical treatments of dielectrics and polarization in nearly every textbook. Because real dielectrics do not behave in a classical way, classical derivations of conservation of current are often distrusted or even ignored. We show that current is conserved exactly in any material no matter how complex the dielectric, polarization or conduction currents are. We believe models, simulations, and computations should conserve current on all scales, as accurately as possible, because physics conserves current that way. We believe models will be much more successful if they conserve current at every level of resolution, the way physics does.


title: Communication Lower Bounds for Matricized Tensor Times Khatri-Rao Product

abstract: The matricized-tensor times Khatri-Rao product computation is the typical bottleneck in algorithms for computing a CP decomposition of a tensor. In order to develop high performance sequential and parallel algorithms, we establish communication lower bounds that identify how much data movement is required for this computation in the case of dense tensors. We also present sequential and parallel algorithms that attain the lower bounds and are therefore communication optimal. In particular, we show that the structure of the computation allows for less communication than the straightforward approach of casting the computation as a matrix multiplication operation.


title: Vicinity effect of massive bodies on YBa2Cu3O6+d being saturated with air components

abstract: We study the influence of the close-lying massive bodies on the YBCO material while it is being saturated with air components. It has been found the effect that can be interpreted as attraction/repulsion of the bodies to/from the samples of hydrated YBCO. This force interaction has been confirmed by a "direct" dynamometric method for the Earth as a maximum massive body to be used in our experiments.


title: CloudScan - A configuration-free invoice analysis system using recurrent neural networks

abstract: We present CloudScan; an invoice analysis system that requires zero configuration or upfront annotation. In contrast to previous work, CloudScan does not rely on templates of invoice layout, instead it learns a single global model of invoices that naturally generalizes to unseen invoice layouts. The model is trained using data automatically extracted from end-user provided feedback. This automatic training data extraction removes the requirement for users to annotate the data precisely. We describe a recurrent neural network model that can capture long range context and compare it to a baseline logistic regression model corresponding to the current CloudScan production system. We train and evaluate the system on 8 important fields using a dataset of 326,471 invoices. The recurrent neural network and baseline model achieve 0.891 and 0.887 average F1 scores respectively on seen invoice layouts. For the harder task of unseen invoice layouts, the recurrent neural network model outperforms the baseline with 0.840 average F1 compared to 0.788.


title: Mass of Schwarzschild Black Holes Is Indeed Zero And Black Hole Candidates Are Quasi Black Holes

abstract: A Schwarzschild Black Hole (BH) is the gravitational field due to a neutral point mass, and it turns out that the gravitational mass of a neutral point mass: $M=0$ (Arnowitt, Deser, Misner, PRL 4, 375, 1960). The same result is also suggested by Janis, Newman, and Winicour (PRL 20, 878, 1968). In 1969, Bel gave an explicit proof that for a Schwarzschild BH, $M=0$ (Bel, JMP 10, 1051, 1969). The same result follows from the fact the timelike geodesic of a test particle would turn null if it would ever arrive at an event horizon (Mitra, FPL, 2000, 2002). Non-occurrrence of trapped surfaces in continued gravitational collapse too demands $M=0$ for black hole (Mitra, Pramana, 73, 615, 2009). Physically, for a point mass at $R=0$, one expects ${\it Ric} \sim M \delta (R=0)$ (Narlikar \& Padmanabhan, Found. Phys., 18, 659, 1988). But the black hole solution is obtained from ${\it Ric} =0$. Again this is the most direct proof that $M=0$ for a Schwarzschild black hole. Implication of this result is that the observed massive black hole candidates are non-singular quasi black holes or black hole mimickers which can possess strong magnetic fields as has been observed. The echoes from LIGO signals, if true, may be the direct evidence that the pertinent compact objects are BH mimickers and not true vacuum BHs.


title: The Basic Mechanism for Suppressed SUSY

abstract: Suppressed SUSY is a new mechanism for `breaking SUSY'. It requires Supergravity. It is independent of and very different from spontaneous or explicit SUSY breaking. A recent paper illustrates some of its results. In this paper, the basic mechanism of Suppressed SUSY is explained in a simple SU(5) Yang Mills Theory, with a special set of Scalars. Supersymmetry is not needed for this limited purpose.


title: Spin-dependent Optical Superlattice

abstract: We propose and implement a lattice scheme for coherently manipulating atomic spins. Using the vector light shift and a superlattice structure, we demonstrate experimentally the capability on parallel spin addressing in double-wells and square plaquettes with subwavelength resolution. Quantum coherence of spin manipulations is verified through measuring atom tunneling and spin exchange dynamics. Our experiment presents a building block for engineering many-body quantum states in optical lattices for realizing quantum simulation and computation tasks.


title: Do phonons carry spin?

abstract: Recently the question of phonon angular momentum has been raised : phonon angular momentum in a magnetic crystal could play an important role in the angular momentum balance in the Einstein-de Haas effect. This proposition is quite natural and understandable, however the idea of phonon spin seems ambiguous in the literature. In 1988 McLellan presented phonon angular momentum states for circular and elliptical polarizations of phonons that represent orbital angular momentum and also pointed out analogy to isotropic quantum harmonic oscillator. In view of its fundamental importance we investigate this issue and conclude that phonon spin hypothesis is physically untenable, and the phonon angular momentum has to be interpreted as orbital. The photon-phonon analogy is also misleading. It is argued that Cosserat elastic medium having internal torque may have lattice excitations different from phonons having spin one or spin two that we term as Cosseratons. In addition a new source of angular momentum balance originationg from anomalous electron magnetic moment is suggested.


title: Quantum fields as deep learning

abstract: In this essay we conjecture that quantum fields such as the Higgs field is related to a restricted Boltzmann machine for deep neural networks. An accelerating Rindler observer in a flat spacetime sees the quantum fields having a thermal distribution from the quantum entanglement, and a renormalization group process for the thermal fields on a lattice is similar to a deep learning algorithm. This correspondence can be generalized for the KMS states of quantum fields in a curved spacetime like a black hole.


title: Order parameter and detection for crystallized dipolar bosons in lattices

abstract: We explore the ground-state properties of bosons with dipole-dipole interactions in a one-dimensional optical lattice. Remarkably, a crystallization process happens for strong dipolar interactions. Herein, we provide a detailed characterization and a way to measure the resulting crystal phase. Using the eigenvalues of the reduced one-body density matrix we define an order parameter that yields a phase diagram in agreement with an analysis of the density and two-body density. We demonstrate that the phase diagram can be detected experimentally using the variance of single-shot measurements.


title: Fermion inter-particle potentials in 5D and a dimensional restriction prescription to 4D

abstract: This work sets out to compute and discuss effects of spin, velocity and dimensionality on inter-particle potentials systematically derived from gauge field-theoretic models. We investigate the interaction of fermionic particles by the exchange of a vector field in a parity-preserving description in five-dimensional $(5D)$ space-time. A particular dimensional reduction prescription is adopted $-$ reduction by dimensional restriction $-$ and special effects, like a pseudo-spin dependence, show up in four dimensions $(4D)$. What we refer to as pseudo-spin shall be duly explained. The main idea we try to convey is that the calculation of the potentials in $5D$ and the consequent reduction to $4D$ exhibits new effects that are not present if the potential is calculated in $4D$ after the action has been reduced.


title: Comment to: The remote Maxwell Demon as Energy Down-converter

abstract: Taking advantage from a recent analog realization of certain automata via spectral encodings as permutation machines, we reach at an improved version of the previously introduced remotely acting Maxwellian demon in arXiv:1408.3797. A number of alternative encodings for the processing substrate of similar agents is presented together with the new net work gain


title: The Milnor Number of Plane Branches With Tame Semigroup of Values

abstract: The Milnor number of an isolated hypersurface singularity, defined as the codimension $\mu(f)$ of the ideal generated by the partial derivatives of a power series $f$ that represents locally the hypersurface, is an important topological invariant of the singularity over the complex numbers. However it may loose its significance when the base field is arbitrary. It turns out that if the ground field is of positive characteristic, this number depends upon the equation $f$ representing the hypersurface, hence it is not an invariant of the hypersurface. For a plane branch represented by an irreducible convergent power series $f$ in two indeterminates over the complex numbers, it was shown by Milnor that $\mu(f)$ always coincides with the conductor $c(f)$ of the semigroup of values $S(f)$ of the branch. This is not true anymore if the characteristic of the ground field is positive. In this paper we show that, over algebraically closed fields of arbitrary characteristic, this is true, provided that the semigroup $S(f)$ is tame, that is, the characteristic of the field does not divide any of its minimal generators.


title: Geodesics of Triangulated Image Object Shapes. Approximating Image Shapes via Rectilinear and Curvilinear Triangulations

abstract: This paper introduces the geodesics of triangulated image object shapes. Both rectilinear and curvilinear triangulations of shapes are considered. The triangulation of image object shapes leads to collections of what are known as nerve complexes that provide a workable basis for the study of shape geometry.A nerve complex is a collection of filled triangles with a common vertex. Each nerve complex triangle has an extension called a spoke, which provides an effective means of covering shape interiors. This leads to a geodesic-based metric for shape approximation which offers a straightforward means of assessing, comparing and classifying the shapes of image objects with high acuity.


title: Symmetry breaking and effective photon mass

abstract: We suggest a possibility that the photon can acquire a finite mass in a medium when the external interaction and symmetry is broken on the basis of Chern-Simons gauge theory.


title: Sequences of the ranged amplitudes as a universal method for fast noninvasive characterization of SPAD dark counts

abstract: Single-photon detectors based on avalanche photodiodes (SPAD) are key elements of many modern highly sensitive optical systems. One of the bottlenecks of such detectors is a afterpulsing effect which limits a detection rate and requires an optimal hold-off time. In this letter we propose a novel approach for statistical analysis of SPAD dark counts and we demonstrate its usefulness for the search of the experimental condition where the afterpulsing effect can be strongly eliminated. This approach exploits a sequence of ranked time intervals between the dark counts and does not contain a complex mathematical analysis of the experimental data. We show that the approach can be efficiently applied for a small number of the dark counts and it seems to be very beneficial for practical characterization of SPAD devices.


title: Sobolev, Besov and Paley-Wiener vectors in Banach and Hilbert spaces

abstract: We consider Banach spaces equipped with a set of strongly continuous bounded semigroups satisfying certain conditions. Using these semigroups we introduce an analog of a modulus of continuity and define analogs of Besov norms. A generalization of a classical interpolation theorem is proven in which the role of Sobolev spaces is played by subspaces defined in terms of infinitesimal operators of these semigroups. We show that our assumptions about a given set of semigroups are satisfied in the case of a strongly continuous bounded representation of a Lie group. In the case of a unitary representation in a Hilbert space we consider an analog of the Laplace operator and use it to define Paley-Wiener vectors. It allows us to develop a generalization of the Shannon-type sampling in Paley-Wiener subspaces and to construct Paley-Wiener nearly Parseval frames in the entire Hilbert space. It is shown that Besov spaces defined previously in terms of the modulus of continuity can be described in terms of approximation by Paley-Wiener vectors and also in terms of the frame coefficients. Throughout the paper we extensively use theory of interpolation and approximation spaces. The paper ends with applications of our results to function spaces on homogeneous manifolds.


title: Nanosatellite aerobrake maneuvering device

abstract: In this paper, we present the project of the heliogyro solar sail unit for deployment of CubeSat constellation and satellite deorbiting. The ballistic calculations show that constellation deployment period can vary from 0.18 years for 450km initial orbit and 2 CubeSats up to 1.4 years for 650km initial orbit and 8 CubeSats. We also describe the structural and electrical design of the unit and consider aspects of its integration into a standard CubeSat frame.


title: Height transitions, shape evolution, and coarsening of equilibrating quantum nanoislands

abstract: Morphology evolution and coarsening of metal nanoislands is computed within the framework of a surface diffusion-type model that includes the effects of the electron energy confinement within the film, the charge spillage at the film/substrate interface, the energy anisotropy of the film surface and the surface stress. The conditions that result in large islands with flat tops, steep edges, and strongly preferred heights are determined. A strong influence of the film height on the coarsening dynamics and final morphologies is found; the conditions leading to interrupted coarsening are highlighted. The dependence of the geometric parameters of the equilibrium island on the film height and on the island initial volume is computed.

categories: cond-mat.mtrl-sci cond-mat.mes-hall math.AP nlin.PS


title: Undecidability of Equations in Free Lie Algebras

abstract: In this paper we prove undecidability of finite systems of equations in free Lie algebras of rank at least three over an arbitrary field. We show that the ring of integers $\mathbb{Z}$ is interpretable by positive existential formulas in such free Lie algebras over a field of characteristic zero.


title: Topological invariants for Floquet-Bloch systems with chiral, time-reversal, or particle-hole symmetry

abstract: We introduce $\mathbb Z_2$-valued bulk invariants for symmetry-protected topological phases in $2+1$ dimensional driven quantum systems. These invariants adapt the $W_3$-invariant, expressed as a sum over degeneracy points of the propagator, to the respective symmetry class of the Floquet-Bloch Hamiltonian. The bulk-boundary correspondence that holds for each invariant relates a non-zero value of the bulk invariant to the existence of symmetry-protected topological boundary states. To demonstrate this correspondence we apply our invariants to a chiral Harper, time-reversal Kane-Mele, and particle-hole symmetric graphene model with periodic driving, where they successfully predict the appearance of boundary states that exist despite the trivial topological character of the Floquet bands. Especially for particle-hole symmetry, combination of the $W_3$ and the $\mathbb Z_2$-invariants allows us to distinguish between weak and strong topological phases.


title: Direct Transfer of Light's Orbital Angular Momentum onto Non-resonantly Excited Polariton Superfluid

abstract: Recently, exciton-polaritons in a semiconductor microcavity were found to condense into a coherent ground state much like a Bose-Einstein condensate and a superfluid. They have become a unique testbed for generating and manipulating quantum vortices in a driven-dissipative superfluid. Here, we generate exciton-polariton condensate with non-resonant Laguerre-Gaussian (LG) optical beam and verify the direct transfer of light's orbital angular momentum to exciton-polariton quantum fluid. Quantized vortices are found in spite of large energy relaxation involved in non-resonant pumping. We identified phase singularity, density distribution and energy eigenstates for the vortex states. Our observations confirm that non-resonant optical LG beam can be used to manipulate chirality, topological charge, and stability of non-equilibrium quantum fluid. These vortices are quite robust, only sensitive to the OAM of light and not other parameters such as energy, intensity, size or shape of the pump beam. Therefore, optical information can be transferred between photon and exciton-polariton with ease and the technique is potentially useful to form the controllable network of multiple topological charges even in the presence of spectral randomness in solid state system.


title: Resilience Design Patterns: A Structured Approach to Resilience at Extreme Scale

abstract: Reliability is a serious concern for future extreme-scale high-performance computing (HPC) systems. While the HPC community has developed various resilience solutions, the solution space remains fragmented. There are no formal methods and metrics to integrate the various HPC resilience techniques into composite solutions, nor are there methods to holistically evaluate the adequacy and efficacy of such solutions in terms of their protection coverage, and their performance & power efficiency characteristics. In this paper, we develop a structured approach to the design, evaluation and optimization of HPC resilience using the concept of design patterns. A design pattern is a general repeatable solution to a commonly occurring problem. We identify the problems caused by various types of faults, errors and failures in HPC systems and the techniques used to deal with these events. Each well-known solution that addresses a specific HPC resilience challenge is described in the form of a pattern. We develop a complete catalog of such resilience design patterns, which may be used as essential building blocks when designing and deploying resilience solutions. We also develop a design framework that enhances a designer's understanding the opportunities for integrating multiple patterns across layers of the system stack and the important constraints during implementation of the individual patterns. It is also useful for defining mechanisms and interfaces to coordinate flexible fault management across hardware and software components. The overall goal of this work is to establish a systematic methodology for the design and evaluation of resilience technologies in extreme-scale HPC systems that keep scientific applications running to a correct solution in a timely and cost-efficient manner despite frequent faults, errors, and failures of various types.


title: Axion field induces exact symmetry

abstract: While no regularization is consistent with the anomalous chiral symmetry which occurs for massless fermions, the artificial axion-induced symmetry for massive fermions is shown here to be consistent with a standard regularization, even in curved spacetime, so that it can be said to have no anomaly in gauge or gravitational fields. Implications for theta terms are pointed out.


title: Cyber-Physical War Gaming

abstract: This paper presents general strategies for cyber war gaming of Cyber-Physical Systems (CPSs) that are used for cyber security research at the U.S. Army Research Laboratory (ARL). Since Supervisory Control and Data Acquisition (SCADA) and other CPSs are operational systems, it is difficult or impossible to perform security experiments on actual systems. The authors describe how table-top strategy sessions and realistic, live CPS war games are conducted at ARL. They also discuss how the recorded actions of the war game activity can be used to test and validate cyber-defence models, such as game-theoretic security models.


title: Popescu-Rohrlich box implementation in general probabilistic theory of processes

abstract: It is shown that Popescu-Rohrlich nonlocal boxes (beating the Tsirelson bound for Bell inequality) do exist in the existing structures of both quantum and classical theory. In particular, we design an explicit example of measure-and-prepare nonlocal (but no-signaling) channel being the realization of nonlocal and no-signaling Popescu-Rohrlich box within the generalized probabilistic theory of processes. Further we present a post-selection-based spatially non-local implementation and show it does not require truly quantum resources, hence, improving the previously known results. Interpretation and potential (spatially non-local) simulation of this form of process nonlocality and the protocol is discussed.


title: Atomically Abrupt Topological p-n Junction

abstract: Topological insulators (TI's) are a new class of quantum matter with extraordinary surface electronic states, which bear great potential for spintronics and error-tolerant quantum computing. In order to put a TI into any practical use, these materials need to be fabricated into devices whose basic units are often p-n junctions. Unique electronic properties of a 'topological' p-n junction were proposed theoretically such as the junction electronic state and the spin rectification. However, the fabrication of a lateral topological p-n junction has been challenging because of materials, process, and fundamental reasons. Here, we demonstrate an innovative approach to realize a p-n junction of topological surface states (TSS's) of a three-dimensional (3D) topological insulator (TI) with an atomically abrupt interface. When a ultrathin Sb film is grown on a 3D TI of Bi2Se3 with a typical n-type TSS, the surface develops a strongly p-type TSS through the substantial hybridization between the 2D Sb film and the Bi2Se3 surface. Thus, the Bi2Se3 surface covered partially with Sb films bifurcates into areas of n- and p-type TSS's as separated by atomic step edges with a lateral electronic junction of as short as 2 nm. This approach opens a different avenue toward various electronic and spintronic devices based on well defined topological p-n junctions with the scalability down to atomic dimensions


title: Black hole shadow in an asymptotically-flat, stationary, and axisymmetric spacetime: The Kerr-Newman and rotating regular black holes

abstract: The shadow of a black hole can be one of the strong observational evidences for stationary black holes. If we see shadows at the center of galaxies, we would say whether the observed compact objects are black holes. In this paper, we consider a formula for the contour of a shadow in an asymptotically-flat, stationary, and axisymmetric black hole spacetime. We show that the formula is useful for obtaining the contour of the shadow of several black holes such as the Kerr-Newman black hole and rotating regular black holes. Using the formula, we can obtain new examples of the contour of the shadow of rotating black holes if assumptions are satisfied.


title: Ordered Level Planarity, Geodesic Planarity and Bi-Monotonicity

abstract: We introduce and study the problem Ordered Level Planarity which asks for a planar drawing of a graph such that vertices are placed at prescribed positions in the plane and such that every edge is realized as a y-monotone curve. This can be interpreted as a variant of Level Planarity in which the vertices on each level appear in a prescribed total order. We establish a complexity dichotomy with respect to both the maximum degree and the level-width, that is, the maximum number of vertices that share a level. Our study of Ordered Level Planarity is motivated by connections to several other graph drawing problems. Geodesic Planarity asks for a planar drawing of a graph such that vertices are placed at prescribed positions in the plane and such that every edge is realized as a polygonal path composed of line segments with two adjacent directions from a given set $S$ of directions symmetric with respect to the origin. Our results on Ordered Level Planarity imply $NP$-hardness for any $S$ with $|S|\ge 4$ even if the given graph is a matching. Katz, Krug, Rutter and Wolff claimed that for matchings Manhattan Geodesic Planarity, the case where $S$ contains precisely the horizontal and vertical directions, can be solved in polynomial time [GD'09]. Our results imply that this is incorrect unless $P=NP$. Our reduction extends to settle the complexity of the Bi-Monotonicity problem, which was proposed by Fulek, Pelsmajer, Schaefer and \v{S}tefankovi\v{c}. Ordered Level Planarity turns out to be a special case of T-Level Planarity, Clustered Level Planarity and Constrained Level Planarity. Thus, our results strengthen previous hardness results. In particular, our reduction to Clustered Level Planarity generates instances with only two non-trivial clusters. This answers a question posed by Angelini, Da Lozzo, Di Battista, Frati and Roselli.


title: Quantum Pascal's Triangle and Sierpinski's carpet

abstract: In this paper we consider a quantum version of Pascal's triangle. Pascal's triangle is a well-known triangular array of numbers and when these numbers are plotted modulo 2, a fractal known as the Sierpinski triangle appears. We first prove the appearance of more general fractals when Pascal's triangle is considered modulo prime powers. The numbers in Pascal's triangle can be obtained by scaling the probabilities of the simple symmetric random walk on the line. In this paper we consider a quantum version of Pascal's triangle by replacing the random walk by the quantum walk known as the Hadamard walk. We show that when the amplitudes of the Hadamard walk are scaled to become integers and plotted modulo three, a fractal known as the Sierpinski carpet emerges and we provide a proof of this using Lucas's theorem. We furthermore give a general class of quantum walks for which this phenomenon occurs.


title: Scalar-Tensor Teleparallel Gravity With Boundary Term by Noether Symmetries

abstract: In the framework of teleparallel gravity, the Friedman-Robertson-Walker cosmological model with scalar tensor theory where scalar field is non-minimally coupled to both the torsion scalar and boundary term is studied. Utilizing the Noether symmetry approach in such a theory, we obtain the explicit forms of the couplings and potential as a function the scalar field. We present some important cosmological solutions for the modified field equations using these functions getting via the Noether symmetry approach. Finally, the interesting cosmological properties of these solutions are discussed in detail, and it is shown that they can describe a universe lead to the late time accelerating expansion.


title: SMA Observations of the Hot Molecular Core IRAS 18566+0408

abstract: We present Submillimeter Array (SMA) observations toward the high-mass star-forming region IRAS 18566+0408. Observations at 1.3 mm continuum and in several molecular line transitions were performed in the compact (2."4 angular resolution) and very-extended (~0."4 angular resolution) configurations. The continuum emission from the compact configuration shows a dust core of 150 Msun, while the very-extended configuration reveals a dense (2.6 x 10^7 cm^-3) and compact (~4,000 AU) condensation of 8 Msun. We detect 31 molecular transitions from 14 species including CO isotopologues, SO, CH3OH, OCS, and CH3CN. Using the different k-ladders of the CH3CN line, we derive a rotational temperature at the location of the continuum peak of 240 K. The 12CO(2-1), 13CO(2-1), and SO(6_5-5_4) lines reveal a molecular outflow at PA ~135^o centered at the continuum peak. The extended 12CO(2-1) emission has been recovered with the IRAM 30 m telescope observations. Using the combined data set, we derive an outflow mass of 16.8 Msun. The chemically rich spectrum and the high rotational temperature confirm that IRAS 18566+0408 is harboring a hot molecular core. We find no clear velocity gradient that could suggest the presence of a rotational disk-like structure, even at the high resolution observations obtained with the very-extended configuration.


title: Quasilinear elliptic problems with general growth and merely integrable, or measure, data

abstract: Boundary value problems for a class of quasilinear elliptic equations, with an Orlicz type growth and L^1 right-hand side are considered. Both Dirichlet and Neumann problems are contemplated. Existence and uniqueness of generalized solutions, as well as their regularity, are established. The case of measure right-hand sides is also analyzed.


title: The Impact of the Temporal Distribution of Communicating Civilizations on their Detectability

abstract: We use a statistical model to investigate the detectability (defined by the requirement that they are in causal contact with us) of communicating civilizations within a volume of the universe surrounding our location. If the civilizations are located in our Galaxy, the detectability requirement imposes a strict constraint on their epoch of appearance and their communicating lifespan. This, in turn, implies that the fraction of civilizations of which we can find any empirical evidence strongly depends on the specific features of their temporal distribution. Our approach shed light on aspects of the problem that can escape the standard treatment based on the Drake equation. Therefore, it might provide the appropriate framework for future studies dealing with the evolutionary aspects of the search for extraterrestrial intelligence (SETI).


title: G-Valued Galois Deformation Rings when $\ell \neq p$

abstract: For a smooth group scheme $G$ over an extension of $\mathbf{Z}_p$ such that the generic fiber of $G$ is reductive, we study the generic fiber of the Galois deformation ring for a $G$-valued mod $p$ representation of the absolute Galois group of a finite extension of $\mathbf{Q}_\ell$ with $\ell \neq p$. In particular, we show it admits a regular dense open locus, and that it is equidimensional of dimension $\dim G$.


title: A self-contained quantum harmonic engine

abstract: We propose a system made of three quantum harmonic oscillators as a compact quantum engine for producing mechanical work. The three oscillators play respectively the role of the hot bath, the working medium and the cold bath. The working medium performs an Otto cycle during which its frequency is changed and it is sequentially coupled to each of the two other oscillators. As the two environments are finite, the lifetime of the machine is finite and after a number of cycles it stops working and needs to be reset. We analyse the entanglement and quantum discord generated during the strokes and show that high work generation is always accompanied by large quantum correlations.


title: Differentially Private Regression for Discrete-Time Survival Analysis

abstract: In survival analysis, regression models are used to understand the effects of explanatory variables (e.g., age, sex, weight, etc.) to the survival probability. However, for sensitive survival data such as medical data, there are serious concerns about the privacy of individuals in the data set when medical data is used to fit the regression models. The closest work addressing such privacy concerns is the work on Cox regression which linearly projects the original data to a lower dimensional space. However, the weakness of this approach is that there is no formal privacy guarantee for such projection. In this work, we aim to propose solutions for the regression problem in survival analysis with the protection of differential privacy which is a golden standard of privacy protection in data privacy research. To this end, we extend the Output Perturbation and Objective Perturbation approaches which are originally proposed to protect differential privacy for the Empirical Risk Minimization (ERM) problems. In addition, we also propose a novel sampling approach based on the Markov Chain Monte Carlo (MCMC) method to practically guarantee differential privacy with better accuracy. We show that our proposed approaches achieve good accuracy as compared to the non-private results while guaranteeing differential privacy for individuals in the private data set.