title: Spread2RML: Constructing Knowledge Graphs by Predicting RML Mappings on Messy Spreadsheets

abstract: The RDF Mapping Language (RML) allows to map semi-structured data to RDF knowledge graphs. Besides CSV, JSON and XML, this also includes the mapping of spreadsheet tables. Since spreadsheets have a complex data model and can become rather messy, their mapping creation tends to be very time consuming. In order to reduce such efforts, this paper presents Spread2RML which predicts RML mappings on messy spreadsheets. This is done with an extensible set of RML object map templates which are applied for each column based on heuristics. In our evaluation, three datasets are used ranging from very messy synthetic data to spreadsheets from data.gov which are less messy. We obtained first promising results especially with regard to our approach being fully automatic and dealing with rather messy data.


title: CP violation in the Higgs sector at ILC

abstract: CP violation is one of Sakharov's conditions for the matter-antimatter asymmetry of the Universe. The experimentally observed size of CP violation is insufficient to account for this. Is CP violated in the Higgs sector? Could the SM-like Higgs boson be a mixture of CP even and CP odd states of an extended Higgs sector? With what precision could such effects be measured at future electron-positron colliders? These questions will be discussed in the light of the latest studies at ILC.


title: Experimental implementation of an emission-aware prosumer with online flexibility quantification and provision

abstract: Active building energy management holds potential to reduce global energy-related emissions and support flexible operations of future low-carbon systems. This requires to integrate diverse objectives and engage multiple stakeholders. However, there remains a gap in comprehensive field insights into emission reduction, flexibility provision, and user impacts. This study examined how a real occupied building, with all its energy assets, could function as an emission-aware flexible prosumer. An existing building energy management system was enhanced by integrating a model predictive control strategy. The enhanced setup minimized the equivalent carbon emission due to electricity imports and provided flexibility to the energy system. The experimental results indicated an emission reduction of 12.5% compared to a rule-based controller that maximized PV self-consumption. In addition, a minimal flexibility provision experiment was demonstrated with a locally emulated distribution system operator. The results suggested that flexibility was provided without the risk of rebound effects. This is due to the flexibility envelope that was self-reported in advance. The study concluded by highlighting technical challenges in realizing emission reduction and flexibility in practice.


title: Bright squeezed vacuum for two-photon spectroscopy: simultaneously high resolution in time and frequency, space and wavevector

abstract: Entangled photons offer two advantages for two-photon absorption spectroscopy. One of them, the linear scaling of two-photon absorption rate with the input photon flux, is only valid at very low photon fluxes and is therefore impractical. The other is the overcoming of the classical constraints for simultaneous resolution in time-frequency and in space-wavevector. Here we consider bright squeezed vacuum (BSV) as an alternative to entangled photons. The efficiency increase it offers in comparison with coherent light is modest, but it does not depend on the photon flux. Moreover, and this is what we show in this work, BSV also provides simultaneously high resolution in time and frequency, and in space and wavevector. In our experiment, we measure the widths of the second-order correlation functions in space, time, frequency, and angle, and demonstrate the violation of the constraint given by the Fourier transformation, also known as the Mancini criterion of entanglement.


title: Silicon photonic-electronic neural network for fibre nonlinearity compensation

abstract: In optical communication systems, fibre nonlinearity is the major obstacle in increasing the transmission capacity. Typically, digital signal processing techniques and hardware are used to deal with optical communication signals, but increasing speed and computational complexity create challenges for such approaches. Highly parallel, ultrafast neural networks using photonic devices have the potential to ease the requirements placed on the digital signal processing circuits by processing the optical signals in the analogue domain. Here we report a silicon photonice-lectronic neural network for solving fibre nonlinearity compensation of submarine optical fibre transmission systems. Our approach uses a photonic neural network based on wavelength-division multiplexing built on a CMOS-compatible silicon photonic platform. We show that the platform can be used to compensate optical fibre nonlinearities and improve the signal quality (Q)-factor in a 10,080 km submarine fibre communication system. The Q-factor improvement is comparable to that of a software-based neural network implemented on a 32-bit graphic processing unit-assisted workstation. Our reconfigurable photonic-electronic integrated neural network promises to address pressing challenges in high-speed intelligent signal processing.


title: Enumeration of non-oriented maps via integrability

abstract: In this note, we examine how the BKP structure of the generating series of several models of maps on non-oriented surfaces can be used to obtain explicit and/or efficient recurrence formulas for their enumeration according to the genus and size parameters. Using techniques already known in the orientable case (elimination of variables via Virasoro constraints or Tutte equations), we naturally obtain recurrence formulas with non-polynomial coefficients. This non-polynomiality reflects the presence of shifts of the charge parameter in the BKP equation. Nevertheless, we show that it is possible to obtain non-shifted versions, meaning pure ODEs for the associated generating functions, from which recurrence relations with polynomial coefficients can be extracted. We treat the cases of triangulations, general maps, and bipartite maps. These recurrences with polynomial coefficients are conceptually interesting but bigger to write than those with non-polynomial coefficients. However they are relatively nice-looking in the case of one-face maps. In particular we show that Ledoux's recurrence for non-oriented one-face maps can be recovered in this way, and we obtain the analogous statement for the (bivariate) bipartite case.


title: Local supersymmetry: Variations on a theme by Volkov and Soroka

abstract: We revisit the work by Volkov and Soroka on spontaneously broken local supersymmetry. It is demonstrated for the first time that, for specially chosen parameters of the theory, the Volkov-Soroka action is invariant under two different local supersymmetries. One of them is present for arbitrary values of the parameters and acts on the Goldstino, while the other supersymmetry emerges only in a special case and leaves the Goldstino invariant. The former can be used to gauge away the Goldstino, and then the resulting action coincides with that proposed by Deser and Zumino for consistent supergravity in the first-order formalism. In this sense, pure $\mathcal{N} = 1$ supergravity is a special case of the Volkov-Soroka theory, although it was not discovered by these authors. We also explain how the Volkov-Soroka approach allows one to naturally arrive at the 1.5 formalism. Our analysis provides a nonlinear realisation approach to construct unbroken $\mathcal{N} = 1$ Poincar\'e supergravity.


title: Dynamic Control of Plasmonic Colors by Voltage Actuation MEMS Cantilevers for Optical Display Applications

abstract: Conventional optical displays using ITO (indium tin oxide) and LC (liquid crystal) materials present a lot of challenges in terms of long-term sustainability. We show here how it is possible to generate a cost effective and CMOS compatible fast and full range electrically controlled RGB color display by combining transmission based plasmonic metasurfaces with MEMS (Microelectromechanical systems) technology, using only two common materials: Aluminum and silicon oxide. White light is filtered into red, green, and blue components by plasmonic metasurfaces made of aluminum nanohole arrays, and the transmission through each color filter is modulated by MEMS miniaturized cantilevers fabricated with aluminum and silicon oxide on top of the color filters. We show that the relative transmission of a color subpixel can be freely modulated from 35% to 100%. Our pixels can also operate well above 800Hz, enabling future ultrafast displays. Our work provides a road to future circular economic goals by exploiting advances in structural colors and MEMS technologies to innovate optical displays.


title: Angle-resolved hollow-core fiber-based curvature sensor

abstract: We propose and theoretically study a new hollow-core fiber-based curvature sensor with the capability of detecting both bending magnitude and angle (direction). The new sensor relies on a tubular-lattice fiber that encompasses, in its microstructure, tubes with three different thicknesses. By adequately choosing the placement of the tubes within the fiber cross-section, and by exploring the spectral shifts of the fiber transmitted spectrum due to the curvature-induced mode field distributions' displacements, we demonstrate a multi-axis bending sensor. In the proposed sensor, curvature radii and angles are retrieved via a suitable calibration routine, which is based on conveniently adjusting empirical functions to the sensor response. Evaluation of the sensor performance for selected cases allowed to determine the curvature radii and angles with percentual errors of less than 7%. The approach proposed herein provides a promising path for the accomplishment of new curvature sensors able to resolve both the curvature magnitude and angle.


title: Debiasing Credit Scoring using Evolutionary Algorithms

abstract: This paper investigates the application of machine learning when training a credit decision model over real, publicly available data whilst accounting for "bias objectives". We use the term "bias objective" to describe the requirement that a trained model displays discriminatory bias against a given groups of individuals that doesn't exceed a prescribed level, where such level can be zero. This research presents an empirical study examining the tension between competing model training objectives which in all cases include one or more bias objectives. This work is motivated by the observation that the parties associated with creditworthiness models have requirements that can not certainly be fully met simultaneously. The research herein seeks to highlight the impracticality of satisfying all parties' objectives, demonstrating the need for "trade-offs" to be made. The results and conclusions presented by this paper are of particular importance for all stakeholders within the credit scoring industry that rely upon artificial intelligence (AI) models as part of the decision-making process when determining the creditworthiness of individuals. This paper provides an exposition of the difficulty of training AI models that are able to simultaneously satisfy multiple bias objectives whilst maintaining acceptable levels of accuracy. Stakeholders should be aware of this difficulty and should acknowledge that some degree of discriminatory bias, across a number of protected characteristics and formulations of bias, cannot be avoided.


title: High-responsivity, High-detectivity Photomultiplication Organic Photodetector Realized by a Metal-Insulator-Semiconductor Tunneling Junction

abstract: Organic photodetectors (OPDs) possess bright prospects in applications of medical imaging and wearable electronics due to the advantages such as low cost, good biocompatibility, and good flexibility. Photomultiplication OPDs (PM-OPDs) enabled by the trap-assisted carrier tunneling injection effect exhibit external quantum efficiencies far greater than unity, thus the acquired responsivities are extremely high. However, the reported PM-OPDs with high responsivity performances are all accompanied by high dark currents due to the introduction of carrier traps, which inevitably results in inferior detectivities. In this work, we modify a P3HT:PCBM donor-rich PM-OPD by introducing an atomically thin Al2O3 interfacial layer through the ALD technique, obtaining a high responsivity of 8294 A/W and high detectivity of 6.76*10^14 Jones, simultaneously, both of which are among the highest reported for bulk heterojunction PM-OPDs. Ascribed to the introduction of the atomically thin Al2O3 layer, the metal-insulator-semiconductor (MIS) tunneling junction is formed, which brings forward a suppressed dark current along with an increased amounts of holes tunneling under forward bias. Meanwhile, the weak light detection limit of the modified PM-OPD within the linear response range reaches the level of nW/cm2. Based on the proposed PM-OPD, a proof-of-concept image sensor with 26*26 pixels is demonstrated, which can respond to both ultraviolet light and visible light. The PM-OPD based sensor arrays can find broad applications for medical imaging, wearable electronics, etc.


title: Self-Consistent Models and Values

abstract: Learned models of the environment provide reinforcement learning (RL) agents with flexible ways of making predictions about the environment. In particular, models enable planning, i.e. using more computation to improve value functions or policies, without requiring additional environment interactions. In this work, we investigate a way of augmenting model-based RL, by additionally encouraging a learned model and value function to be jointly \emph{self-consistent}. Our approach differs from classic planning methods such as Dyna, which only update values to be consistent with the model. We propose multiple self-consistency updates, evaluate these in both tabular and function approximation settings, and find that, with appropriate choices, self-consistency helps both policy evaluation and control.


title: Minor exclusion in quasi-transitive graphs

abstract: In this note, we show that locally finite quasi-transitive graphs are quasi-isometric to trees if and only if every other locally finite quasi-transitive graph quasi-isometric to them is minor excluded. This generalizes results by Ostrovskii and Rosenthal and by Khukhro on minor exclusion for groups.


title: Effect of surface treatment on vibration energy transfer of ultrasonic sonotrode

abstract: In this paper, two kinds of ultrasonic radiation rod with surface treatment (ion nitriding and vacuum carburizing) are selected to carry out finite element analysis on ultrasonic vibration system and casting system, and explore the influence of surface treatment on vibration energy transmission of radiation rod. The cavitation field of radiation rod with different surface treatment in water was obtained through the cavitation erosion area of aluminum foil in water by using the aluminum foil cavitation experiment, so as to verify the simulation results of sound pressure field in aluminum melt. The results show that the surface treatment weakens the vibration response of the radiating rod, reduces the longitudinal amplitude of the radiating rod, and reduces the amplitude of sound pressure transmitted into the aluminum melt.


title: Broadband time-modulated absorber beyond the Bode-Fano limit by energy trapping

abstract: Wide-band absorption is a popular topic in microwave engineering to protect sensitive devices against broadband sources. However, the Bode-Fano criterion defines the trade-off between bandwidth and efficiency for all passive, linear, time-invariant systems. In this letter, we propose a broadband absorber beyond the Bode-Fano limit by creating an energy trap using time-modulated switch/diodes. This work starts with an ideal circuit model to prove the concept, followed by two EM realizations - a freuqnecy selective surface (FSS) approach for general bandwidth broadening and a low-profile PCB design. The prototype of the latter is built and measured, demonstrating a Bode-Fano integral larger than one. This approach paves a way to many practical ultra-wide band absorber designs.


title: Reconstructing Pruned Filters using Cheap Spatial Transformations

abstract: We present an efficient alternative to the convolutional layer using cheap spatial transformations. This construction exploits an inherent spatial redundancy of the learned convolutional filters to enable a much greater parameter efficiency, while maintaining the top-end accuracy of their dense counter-parts. Training these networks is modelled as a generalised pruning problem, whereby the pruned filters are replaced with cheap transformations from the set of non-pruned filters. We provide an efficient implementation of the proposed layer, followed by two natural extensions to avoid excessive feature compression and to improve the expressivity of the transformed features. We show that these networks can achieve comparable or improved performance to state-of-the-art pruning models across both the CIFAR-10 and ImageNet-1K datasets.


title: Strain-gradient induced topological transition in bent nanoribbons of the Dirac semimetal Cd3As2

abstract: Dirac semimetal is an ideal parent state to realize various exotic states of matters, such as quantum spin Hall state, Weyl semimetal phase and Majorana zero modes. Topological phase transition allows for the switching between these different topological states. Here, in this paper, we exhibit experimentally an effective approach of inducing topological phase transition in Cd3As2 nanoribbons, by applying a bending strain profile onto the sample. The local strain varies linearly from compression to tension through the cross-section of a bent nanoribbon. The strain gradient causes obvious lattice deformation and breaks the C4 rotational symmetry, thus opening an energy gap at the Dirac points and making the bulk gapful. When further increasing the strain strength, the local strain effect dominates over the symmetry-breaking effect, where spatially-varying band shift becomes prominent across the nanoribbon. Our results demonstrate the effect of strain gradient on the evolution of energy band structures, which should be valuable for further study of strain-mediated topological phase transition.


title: Optimal Auction Design for the Gradual Procurement of Strategic Service Provider Agents

abstract: We consider an outsourcing problem where a software agent procures multiple services from providers with uncertain reliabilities to complete a computational task before a strict deadline. The service consumer requires a procurement strategy that achieves the optimal balance between success probability and invocation cost. However, the service providers are self-interested and may misrepresent their private cost information if it benefits them. For such settings, we design a novel procurement auction that provides the consumer with the highest possible revenue, while giving sufficient incentives to providers to tell the truth about their costs. This auction creates a contingent plan for gradual service procurement that suggests recruiting a new provider only when the success probability of the already hired providers drops below a time-dependent threshold. To make this auction incentive compatible, we propose a novel weighted threshold payment scheme which pays the minimum among all truthful mechanisms. Using the weighted payment scheme, we also design a low-complexity near-optimal auction that reduces the computational complexity of the optimal mechanism by 99% with only marginal performance loss (less than 1%). We demonstrate the effectiveness and strength of our proposed auctions through both game theoretical and numerical analysis. The experiment results confirm that the proposed auctions exhibit 59% improvement in performance over the current state-of-the-art, by increasing success probability up to 79% and reducing invocation cost by up to 11%.


title: Edge plasma relaxations due to diamagnetic stabilization

abstract: A new mechanism for pressure profile relaxations in an edge tokamak plasma is derived from simulations within the two-fluid three-dimensional turbulence code EMEDGE3D. The relaxation is due to diamagnetic coupling in the resistive ballooning/drift wave dynamics: unstable modes experience explosive growth at high pressure gradients after a phase in which they are stabilized by the diamagnetic coupling leading to the onset of a transport barrier. The sheared $E\times B$ flow does not play any significant role. After relaxation the transport barrier forms again and it sets the conditions for a novel relaxation, resulting in an oscillatory behavior. We find that energy flux into the scrape of layer decreases with increasing oscillation frequency and that the oscillations are tamed by increasing plasma temperature. This behavior is reminiscent of so-called type III Edge Localized Modes. A one-dimensional model reproducing the relaxations is also derived.


title: Frequency comb distillation for optical superchannel transmission

abstract: Optical frequency combs can potentially provide an efficient light source for multi-terabit-per-second optical superchannels. However, as the bandwidth of these multi-wavelength light sources is increased, it can result in low per-line power. Optical amplifiers can be used to overcome power limitations, but the accompanying spontaneous optical noise can degrade performance in optical systems. To overcome this, we demonstrate wideband noise reduction for comb lines using a high-Q microring resonator whose resonances align with the comb lines, providing tight optical filtering of multiple combs lines at the same time. By distilling an optical frequency comb in this way, we are able to reduce the required comb line OSNR when these lines are used in a coherent optical communications system. Through performance tests on a 19.45-GHz-spaced comb generating 71 lines, using 18 Gbaud, 64-QAM sub-channels at a spectral efficiency of 10.6 b/s/Hz, we find that noise-corrupted comb lines can reduce the optical signal-to-noise ratio required for the comb by ~ 9 dB when used as optical carriers at the transmitter side, and by ~ 12 dB when used as a local oscillator at the receiver side. This demonstration provides a method to enable low power optical frequency combs to be able to support high bandwidth and high-capacity communications.


title: The geometric classification of nilpotent commutative $\mathfrak{CD}$-algebras

abstract: We give a geometric classification of complex $5$-dimensional nilpotent commutative $\mathfrak{CD}$-algebras. The corresponding geometric variety has dimension $24$ and decomposes into $10$ irreducible components determined by the Zariski closures of a two-parameter family of algebras, three one-parameter families of algebras, and $6$ rigid algebras.


title: Towards calibration-free Mach-Zehnder switches on silicon

abstract: Silicon photonic Mach-Zehnder switches (MZSs) have been extensively investigated as a promising candidate for practical optical interconnects. However, conventional 2{\times}2 MZSs are usually prone to the size variations of the arm waveguides due to imperfect fabrication, resulting in considerable random phase imbalance between the two arms, thereby imposing significant challenges for further scaling up NN MZSs. Here we propose a novel design towards calibration-free 2{\times}2 and N{\times}N MZSs, employing optimally widened arm waveguides, enabled by novel compact tapered Euler S-bends with incorporated mode filters. With standard 180-nm CMOS foundry processes, more than thirty 2{\times}2 MZSs and one 4{\times}4 Benes MZS with the new design are fabricated and characterized. Compared with their conventional counterparts with 0.45-{\mu}m-wide arm waveguides, the present 2{\times}2 MZSs exhibit ~370-fold reduction in the random phase imbalance. The measured extinction ratios of the present 2{\times}2 and 4{\times}4 MZSs operating in the all-cross state are ~30 dB and ~20 dB across the wavelength range of ~60 nm, respectively, even without any calibrations. This work paves the way towards calibration-free large-scale N{\times}N silicon photonic MZSs.


title: Alignment-free photonic interconnects

abstract: Next generation optoelectronic systems will require the efficient transfer of optical signals between many discrete photonic components integrated onto a single substrate. While modern assembly processes can easily integrate thousands of electrical components onto a single board, photonic assembly is far more challenging due to the wavelength-scale alignment tolerances required. Here we address this problem by introducing an alignment-free photonic coupler robust to x, y, z displacement and angular misalignment. This alignment-free coupler engineers a translationally-invariant evanescent interaction between waveguides by intersecting them at an angle, which enables a lateral and angular alignment tolerance fundamentally larger than non-evanescent approaches such as edge coupling. We show that our approach can function as a universal photonic connector interfacing photonic integrated circuits and microchiplets across different platforms. As a potential use case, we describe a new type of self-aligning photonic circuit board enabled by our approach that greatly simplifies assembly of complex optoelectronic systems.


title: Persistent large anisotropic magnetoresistance and insulator to metal transition in spin-orbit coupled antiferromagnets Sr2(Ir1-xGax)O4

abstract: Antiferromagnetic (AFM) spintronics, where magneto-transport is governed by an antiferromagnet instead of a ferromagnet, opens fascinating new perspectives for both fundamental research and device technology, owing to their intrinsic appealing properties like rigidness to magnetic field, absence of stray field, and ultrafast spin dynamics. One of the urgent challenges, hindering the realization of the full potential of AFM spintronics, has been the performance gap between AFM metals and insulators. Here, we demonstrate the insulator-metal transition and persistently large anisotropic magnetoresistance (AMR) in single crystals Sr2(Ir1-xGax)O4 (0<x<0.09) which host the same basal-plane AFM lattice with strong spin-orbit coupling. The non-doped Sr2IrO4 shows the insulating transport with the AMR as big as ~16.8% at 50 K. The Ga substitution of Ir allows a gradual reduction of electrical resistivity, and a clear insulator-to-metal transition is identified in doped samples with x above 0.05, while the AMR can still have ~1%, sizable in comparison with those in AFM metals reported so far. Our experiments reveal that all the samples have the similar fourfold AMR symmetry, which can be well understood in the scenario of magnetocrystalline anisotropy. It is suggested that the spin-orbit coupled antiferromagnets Sr2(Ir1-xGax)O4 are promising candidate materials for AFM spintronics, providing a rare opportunity to integrate the superior spintronic functionalities of AFM metals and insulators.


title: Cubature Method for Stochastic Volterra Integral Equations

abstract: In this paper, we introduce the cubature formula for Stochastic Volterra Integral Equations. We first derive the stochastic Taylor expansion in this setting, by utilizing a functional It\^{o} formula, and provide its tail estimates. We then introduce the cubature measure for such equations, and construct it explicitly in some special cases, including a long memory stochastic volatility model. We shall provide the error estimate rigorously. Our numerical examples show that the cubature method is much more efficient than the Euler scheme, provided certain conditions are satisfied.


title: On the ac magnetic susceptibility of a room temperature superconductor: anatomy of a probable scientific fraud

abstract: In Nature 586, 373 (2020), Snider et al announced the experimental discovery of room temperature superconductivity in a carbonaceous sulfur hydride under high pressure, hereafter called CSH. The paper reported sharp drops in the measured magnetic susceptibility as a function of temperature for five different pressures, that were claimed to be a superior test signaling a superconducting transition. Here I present several arguments indicating that the susceptibility data published in that paper were probably fraudulent. This calls into question the validity of the entire paper and its claim of detection of room temperature superconductivity. I also describe the roadblocks that I have encountered in reaching this conclusion. A variety of implications of this situation are discussed.


title: Actions Speak Louder than Listening: Evaluating Music Style Transfer based on Editing Experience

abstract: The subjective evaluation of music generation techniques has been mostly done with questionnaire-based listening tests while ignoring the perspectives from music composition, arrangement, and soundtrack editing. In this paper, we propose an editing test to evaluate users' editing experience of music generation models in a systematic way. To do this, we design a new music style transfer model combining the non-chronological inference architecture, autoregressive models and the Transformer, which serves as an improvement from the baseline model on the same style transfer task. Then, we compare the performance of the two models with a conventional listening test and the proposed editing test, in which the quality of generated samples is assessed by the amount of effort (e.g., the number of required keyboard and mouse actions) spent by users to polish a music clip. Results on two target styles indicate that the improvement over the baseline model can be reflected by the editing test quantitatively. Also, the editing test provides profound insights which are not accessible from usual listening tests. The major contribution of this paper is the systematic presentation of the editing test and the corresponding insights, while the proposed music style transfer model based on state-of-the-art neural networks represents another contribution.


title: Bridging microcombs and silicon photonic engines for optoelectronics systems

abstract: Microcombs have sparked a surge of applications over the last decade, ranging from optical communications to metrology. Despite their diverse deployment, most microcomb-based systems rely on a tremendous amount of bulk equipment to fulfill their desired functions, which is rather complicated, expensive and power-consuming. On the other hand, foundry-based silicon photonics (SiPh) has had remarkable success in providing versatile functionality in a scalable and low-cost manner, but its available chip-based light sources lack the capacity for parallelization, which limits the scope of SiPh applications. Here, we bridge these two technologies by using a power-efficient and operationally-simple AlGaAs on insulator microcomb source to drive CMOS SiPh engines. We present two important chip-scale photonic systems for optical data transmissions and microwave photonics respectively: The first microcomb-based integrated photonic data link is demonstrated, based on a pulse-amplitude 4-level modulation scheme with 2 Tbps aggregate rate, and a highly reconfigurable microwave photonic filter with unprecedented integration level is constructed, using a time stretch scheme. Such synergy of microcomb and SiPh integrated components is an essential step towards the next generation of fully integrated photonic systems.


title: Photonics-assisted microwave pulse detection and frequency measurement based on pulse replication and frequency-to-time mapping

abstract: A photonics-assisted microwave pulse detection and frequency measurement scheme is proposed. The unknown microwave pulse is converted to the optical domain and then injected into a fiber loop for pulse replication, which makes it easier to identify the microwave pulse with large pulse repetition interval (PRI), whereas stimulated Brillouin scattering-based frequency-to-time mapping (FTTM) is utilized to measure the carrier frequency of the microwave pulse. A sweep optical carrier is generated and modulated by the unknown microwave pulse and a continuous-wave single-frequency reference, generating two different frequency sweep optical signals, which are combined and used as the probe wave to detect a fixed Brillouin gain spectrum. When the optical signal is detected in a photodetector, FTTM is realized and the frequency of the microwave pulse can be determined. An experiment is performed. For a fiber loop containing a 210-m fiber, pulse replication and FTTM of the pulses with a PRI of 20 {\mu}s and pulse width of 1.20, 1.00, 0.85, and 0.65 {\mu}s are realized. Under a certain sweep frequency chirp rate of 0.978 THz/s, the measurement errors are below {\pm}12 and {\pm}5 MHz by using one pair of pulses and multiple pairs of pulses, respectively. The influence of the sweep frequency chirp rate and pulse width on the measurement error has also been studied. To a certain extent, the faster the frequency sweep, the greater the frequency measurement error. For a specific sweep frequency chirp rate, the measurement error is almost unaffected by the pulse width to be measured.


title: Benchmarking the Processing of Aircraft Tracks with Triples Mode and Self-Scheduling

abstract: As unmanned aircraft systems (UASs) continue to integrate into the U.S. National Airspace System (NAS), there is a need to quantify the risk of airborne collisions between unmanned and manned aircraft to support regulation and standards development. Developing and certifying collision avoidance systems often rely on the extensive use of Monte Carlo collision risk analysis simulations using probabilistic models of aircraft flight. To train these models, high performance computing resources are required. We've prototyped a high performance computing workflow designed and deployed on the Lincoln Laboratory Supercomputing Center to process billions of observations of aircraft. However, the prototype has various computational and storage bottlenecks that limited rapid or more comprehensive analyses and models. In response, we have developed a novel workflow to take advantage of various job launch and task distribution technologies to improve performance. The workflow was benchmarked using two datasets of observations of aircraft, including a new dataset focused on the environment around aerodromes. Optimizing how the workflow was parallelized drastically reduced the execution time from weeks to days.


title: Multi-vehicle experiment platform: A Digital Twin Realization Method

abstract: With the development of V2X technology, multiple vehicles cooperative control has been widely studied. However, filed testing is rarely conducted due to financial and safety considerations. To solve this problem, this study proposes a digital twin method to carry out multi-vehicle experiments, which uses combination of physical and virtual vehicles to perform coordination tasks. To confirm effectiveness of this method, a prototype system is developed, which consists of sand table testbed, its twin system and cloud. Several aspects are quantified to describe system performance, including time delay and localization accuracy. Finally, a vehicle level experiment in platoon scenario is carried out and experiment results confirm effectiveness of this method.


title: On two-dimensional Hamiltonian systems with sixth-order integrals of motion

abstract: We obtain 21 two-dimensional natural Hamiltonian systems with sextic invariants, which are polynomial of the sixth order in momenta. Following to Bertrand, Darboux, and Drach these results of the standard brute force experiments can be applied to construct a new mathematical theory.


title: Gapless edge modes in (4+1)-dimensional topologically massive tensor gauge theory and anomaly inflow for subsystem symmetry

abstract: We consider (4+1)-dimensional topologically massive tensor gauge theory. This theory is an analog of the (2+1)-dimensional topologically massive Maxwell-Chern-Simons theory. If the space has a boundary, we find that a (3+1)-dimensional gapless theory appears at the boundary. This gapless theory is a chiral version of the (3+1)-dimensional $\varphi$ theory. This gapless theory is protected by the anomaly inflow mechanism of subsystem symmetry. We also consider the corner of our topologically massive tensor gauge theory, and find that an infinite number of (1+1)-dimensional chiral bosons appear at the corner.


title: Integral order photonic RF and microwave signal processors based on soliton crystal Kerr micro-combs

abstract: Soliton crystal micro-combs are powerful tools as sources of multiple wavelength channels for radio frequency (RF) signal processing. They offer a compact device footprint, large numbers of wavelengths, very high versatility, and wide Nyquist bandwidths. Here, we demonstrate integral order RF signal processing functions based on a soliton crystal micro-comb, including a Hilbert transformer and first- to third-order differentiators. We compare and contrast results achieved and the tradeoffs involved with varying comb spacing, tap design methods, as well as shaping methods.


title: Elastic Orbital Angular Momentum

abstract: We identify that flexural guided elastic waves in elastic pipes carry a well-defined orbital angular momentum associated with the compressional dilatational potential. This enables the transfer of elastic orbital angular momentum, that we numerically demonstrate, through the coupling of the compressional potential in a pipe to the acoustic pressure field in a surrounding fluid in contact with the pipe.


title: Study of simulations of double graded InGaN solar cell structures

abstract: The performances of various configurations of InGaN solar cells are compared using nextnano software. Here we compare a flat base graded wall GaN/InGaN structure, with an InxGa1-xN well with sharp GaN contact layers, and an InxGa1-xN structure with InxGa1-xN contact layers, i.e. a homojunction. The doping in the graded structures are the result of polarization doping at each edge (10 nm from each side) due to the graded structure, while the well structures are intentionally doped at each edge (10 nm from each side) equal to the doping concentration in the graded structure. The solar cells are characterized by their open-circuit voltage, V_oc, short circuit current, I_sc, solar efficiency, and energy band diagram. The results indicate that an increase in I_sc and efficiency results from increasing both the fixed and the maximum indium compositions, while the V_oc decreases. The maximum efficiency is obtained for the InGaN well with 60% In.

categories: physics.app-ph cond-mat.mtrl-sci physics.ins-det physics.optics


title: Sparsity-Specific Code Optimization using Expression Trees

abstract: We introduce a code generator that converts unoptimized C++ code operating on sparse data into vectorized and parallel CPU or GPU kernels. Our approach unrolls the computation into a massive expression graph, performs redundant expression elimination, grouping, and then generates an architecture-specific kernel to solve the same problem, assuming that the sparsity pattern is fixed, which is a common scenario in many applications in computer graphics and scientific computing. We show that our approach scales to large problems and can achieve speedups of two orders of magnitude on CPUs and three orders of magnitude on GPUs, compared to a set of manually optimized CPU baselines. To demonstrate the practical applicability of our approach, we employ it to optimize popular algorithms with applications to physical simulation and interactive mesh deformation.


title: Almost Ricci-Yamabe Soliton on Contact Metric Manifolds

abstract: We consider almost Ricci-Yamabe soliton in the context of certain contact metric manifolds. Firstly, we prove that if the metric $g$ admits an almost $(\alpha,\beta)$-Ricci-Yamabe soliton with $\alpha\neq 0$ and potential vector field collinear with the Reeb vector field $\xi$ on a complete contact metric manifold with the Reeb vector field $\xi$ as an eigenvector of the Ricci operator, then the manifold is compact Einstein Sasakian and the potential vector field is a constant multiple of the Reeb vector field $\xi$. Next, if complete $K$-contact manifold admits gradient Ricci-Yamabe soliton with $\alpha\neq 0$, then it is compact Sasakian and isometric to unit sphere $S^{2n+1}$. Finally, gradient almost Ricci-Yamabe soliton with $\alpha\neq 0$ in non-Sasakian $(k,\mu)$-contact metric manifold is assumed and found that $M^3$ is flat and for $n>1$, $M$ is locally isometric to $E^{n+1}\times S^n(4)$ and the soliton vector field is tangential to the Euclidean factor $E^{n+1}$. An illustrative example is given to support the obtained result.


title: Almost Ricci-Yamabe soliton on Almost Kenmotsu Manifolds

abstract: This manuscript examines almost Kenmotsu manifolds (briefly, AKMs) endowed with the almost Ricci-Yamabe solitons (ARYSs) and gradient ARYSs. The condition for an AKM with ARYS to be $\eta$-Einstein is established. We also show that an ARYS on Kenmotsu manifold becomes Ricci-Yamabe soliton under certain restrictions. In this series, it is proven that a $(2n+1)$-dimensional $(\kappa, \mu)'$-AKM equipped with a gradient ARYS is either locally isometric to $\mathbb{H}^{n+1}(-4)\times\mathbb{R}^n$ or the Reeb vector field and the soliton vector field are codirectional. The properties of $3$-dimensional non-Kenmotsu AKMs endowed with a gradient ARYS are studied.


title: Stable and compact RF-to-optical link using lithium niobate on insulator waveguides

abstract: Optical frequency combs have become a very powerful tool in metrology and beyond thanks to their ability to link radio frequencies with optical frequencies via a process known as self-referencing. Typical self-referencing is accomplished in two steps: the generation of an octave-spanning supercontinuum spectrum and the frequency-doubling of one part of that spectrum. Traditionally, these two steps have been performed by two separate optical components. With the advent of photonic integrated circuits, the combination of these two steps has become possible in a single small and monolithic chip. One photonic integrated circuit platform very well suited for on-chip self-referencing is lithium niobate on insulator - a platform characterised by high second and third order nonlinearities. Here we show that combining a lithium niobate on insulator waveguide with a silicon photodiode results in a very compact and direct low-noise path towards self-referencing of mode-locked lasers. Using digital servo electronics the resulting frequency comb is fully stabilized. Its high degree of stability is verified with an independent out-of-loop measurement and is quantified to be 6.8 mHz. Furthermore, we show that the spectrum generated inside the lithium niobate waveguide remains stable over many hours.


title: Optimization of basis functions for the multi-configuration mixing using the Replica Exchange Monte-Carlo method and its application to $^{12}$C

abstract: To calculate excited states in quantum many-body systems, multi-configuration mixing has often been employed. However, it has been still unclear how to choose important Slater determinants from a huge model space. We propose a novel efficient method as the Replica Exchange Monte-Carlo (RXMC) method to sample important Slater determinants and optimize and analyze the obtained results. As an application, we apply it to the ground and excited states of $^{12}$C based on the Bloch-Brink $\alpha$ cluster model and show the detailed structure of the obtained states. The RXMC method enables us to efficiently sample Slater determinants following the Boltzmann distribution on the multi-dimensional potential energy surface (PES) under a given model space. To analyze the obtained excited states, we embed sampled basis functions onto the PES calculated with the $\beta$-$\gamma$ constraint method and discuss the main component in the state. The RXMC method can efficiently perform the samplings with a temperature parameter of $T_L=2.5$ MeV in $^{12}$C. We obtain the gas-like state with a wide density distribution in the tail part in the second $0^+$ state. We also obtain the linear-chain-like states with the bending and stretching vibrational modes in the third and fourth $0^+$ states, respectively. In the fifth $0^+$ state, the main component of the basis functions contains expanded equilateral triangle configurations. The second $0^+$ gas-like state emerges at the local minimum in the PES, which is the beginning of the valley structure connected to the linear-chain breakup channel. The third and fourth linear-chain-like states emerge in this valley structure. We conclude that the RXMC method is a powerful method to calculate the excited states of nuclei, which would be applied to much complicated nuclear fission dynamics in heavier nuclei.


title: Data-driven intrinsic localized mode detection and classification in one-dimensional crystal lattice model

abstract: In this work we propose Support Vector Machine classification algorithms to classify onedimensional crystal lattice waves from locally sampled data. Different learning datasets of particle displacements, momenta and energy density values are considered. Efficiency of the classification algorithms is further improved by two dimensionality reduction techniques: Principal Component Analysis and Locally Linear Embedding. Robustness of classifiers is investigated and demonstrated. Developed algorithms are successfully applied to detect localized intrinsic modes in three numerical simulations considering a case of two localized stationary breather solutions, a single stationary breather solution in noisy background and two mobile breather collision.


title: Tenets of QuantCrit

abstract: Quantitative Critical (QuantCrit) research is a relatively new field of study grounded in critical theory (Crenshaw, 1990; Ladson-Billings, 2006; 2013). The nascency of QuantCrit has led multiple scholars to propose various related tenets (e.g., Gillborn et al., 2018; Stage, 2007; Covarrubias et al., 2018; L\'opez et al., 2018). In this paper, we offer a synthesis of several tenets of QuantCrit we have applied to our research, their applications to education research in general, and citations for more information.


title: On the structure of the ring of integer-valued entire functions

abstract: The present paper studies structure of the ring of integer-valued entire functions. We characterize certain classes of prime and maximal ideals and investigate some of their properties.


title: Godot is not coming: when we will let innovations enter psychiatry?

abstract: Current diagnostic practice in psychiatry is not relying on objective biophysical evidence. Recent pandemic emphasized the need to address the rising number of mood disorders (in particular, depression) cases in a more efficient way. We are proposing several already developed practices that can help improve that diagnostic process: detection based on electrophysiological signals (both electroencephalogram and electrocardiogram based) that were shown to be accurate for clinical practice and several modalities of electromagnetic stimulation that were proven to ameliorate symptoms of depression. In this work, we are connecting the two with explanations coming from physiological complexity studies (and our own work) as well as advanced statistical methods like machine learning and the Bayesian inference approach. It is shown that fractal and nonlinear measures can adequately quantify previously undetected changes in intrinsic dynamics of physiological systems, providing the basis for early detection of depression. We are also advocating for early screening of cardiovascular risks in depression which is in connection to previously described decomplexification of the autonomous nervous system resulting in symptoms recognized clinically. All that said, additional information about the level of complexity can help clinicians make a better decisions in the therapeutic process, increase the overall effectiveness of the treatment, and finally increase the quality of life of the patient.


title: Two-dimensional Platinum Diselenide Waveguide-Integrated Infrared Photodetectors

abstract: Low cost, easily integrable photodetectors (PDs) for silicon (Si) photonics are still a bottleneck for photonic integrated circuits (PICs), especially for wavelengths above 1.8 ${\mu}$m. Multilayered platinum diselenide (PtSe$_2$) is a semi-metallic two-dimensional (2D) material that can be synthesized below 450${\deg}$C. We integrate PtSe$_2$ based PDs directly by conformal growth on Si waveguides. The PDs operate at 1550 nm wavelength with a maximum responsivity of 11 mA/W and response times below 8.4 ${\mu}$s. Fourier transform infrared spectroscopy (FTIR) in the wavelength range from 1.25 ${\mu}$m to 28 ${\mu}$m indicates the suitability of PtSe$_2$ for PDs far into the infrared wavelength range. Our PtSe$_2$ PDs integrated by direct growth outperform PtSe$_2$ PDs manufactured by standard 2D layer transfer. The combination of IR responsivity, chemical stability, selective and conformal growth at low temperatures, and the potential for high carrier mobility, make PtSe$_2$ an attractive 2D material for optoelectronics and PICs.


title: Two-dimensional mesh generator in generalized coordinates implemented in Python

abstract: Through mathematical models, it is possible to turn a problem of the physical domain into the computational domain. In this context, the paper presents a two-dimensional mesh generator in generalized coordinates, which uses the Parametric Linear Spline method and partial differential equations. The generator is automated and able to treat real complex domains. The code was implemented in Python, applying the Numpy and Matplotlib libraries to matrix manipulations and graphical plots, respectively. Applications are made for monoblock meshes (two-dimensional shape of a bottle) and multi-block meshes (geometry of Igap\'o I lake, Londrina, Paran\'a, Brazil).


title: FedParking: A Federated Learning based Parking Space Estimation with Parked Vehicle assisted Edge Computing

abstract: As a distributed learning approach, federated learning trains a shared learning model over distributed datasets while preserving the training data privacy. We extend the application of federated learning to parking management and introduce FedParking in which Parking Lot Operators (PLOs) collaborate to train a long short-term memory model for parking space estimation without exchanging the raw data. Furthermore, we investigate the management of Parked Vehicle assisted Edge Computing (PVEC) by FedParking. In PVEC, different PLOs recruit PVs as edge computing nodes for offloading services through an incentive mechanism, which is designed according to the computation demand and parking capacity constraints derived from FedParking. We formulate the interactions among the PLOs and vehicles as a multi-lead multi-follower Stackelberg game. Considering the dynamic arrivals of the vehicles and time-varying parking capacity constraints, we present a multi-agent deep reinforcement learning approach to gradually reach the Stackelberg equilibrium in a distributed yet privacy-preserving manner. Finally, numerical results are provided to demonstrate the effectiveness and efficiency of our scheme.


title: The Jeff=1/2 antiferromagnet Sr2IrO4: A golden avenue toward new physics and functions

abstract: Iridates have been providing a fertile ground for studying emergent phases of matter that arise from delicate interplay of various fundamental interactions with approximate energy scale. Among these highly focused quantum materials, perovskite Sr2IrO4 belonging to the Ruddlesden-Popper series stands out and has been intensively addressed in the last decade, since it hosts a novel Jeff = 1/2 state which is a profound manifestation of strong spin-orbit coupling. Moreover, the Jeff = 1/2 state represents a rare example of iridates that has been better understood both theoretically and experimentally. In this progress report, we take Sr2IrO4 as an example to overview the recent advances of the Jeff = 1/2 state in two aspects: materials fundamentals and functionality potentials. In the fundamentals part, we first illustrate basic issues for the layered canted antiferromagnetic order of the Jeff = 1/2 magnetic moments in Sr2IrO4, and then review the progress of the antiferromagnetic order modulation through diverse routes. Subsequently, for the functionality potentials, fascinating properties such as atomic-scale giant magnetoresistance, anisotropic magnetoresistance, and nonvolatile memory, will be addressed. This report will be concluded with our prospected remarks and outlooks.


title: Monofiber optical probe using Doppler signals detection for Drop Size and Velocity measurement in air assisted atomization

abstract: Reliable measurement of droplet/bubble size and velocity distributions in dense flows is desired in a variety of research fields, both for laboratory and industrial use. A new type of single-mode monofiber optical probe manufactured by A2 Photonic Sensors is introduced in this paper: it combines traditional phase detection with the collection of a Doppler signal returned by an incoming gas-liquid interface to provide information on residence times, drop concentration and velocity, which afford then drop chords and liquid flux measurements. Compared with classical optical probes, that new sensor does not require any calibration. The purpose of the present work is to test this technique in assisted atomization in order to provide a mean for spray characterization and ultimately to improve our understanding of atomization mechanisms. The probe has been tested downstream of a coaxial air-assisted atomizer operated at liquid velocity =. to. / , and gas velocity from = to about /. We first analyzed raw signals in various flow conditions. It happens that, when increasing the gas velocity and the number density of drops, the signal experiences very strong fluctuations of the gas level, making the identification of individual droplets more difficult. That leads us to develop a new signal processing routine specifically adapted to such complex working conditions. At = / and for three liquid flow rates, the spatial integration of local liquid fluxes represents 92 to 99% of the injected liquid flow rate. These good results demonstrate that the Doppler probe provides reliable statistics on drops velocity and size.


title: Information efficient learning of complexly structured preferences: Elicitation procedures and their application to decision making under uncertainty

abstract: In this paper we propose efficient methods for elicitation of complexly structured preferences and utilize these in problems of decision making under (severe) uncertainty. Based on the general framework introduced in Jansen, Schollmeyer and Augustin (2018, Int. J. Approx. Reason), we now design elicitation procedures and algorithms that enable decision makers to reveal their underlying preference system (i.e. two relations, one encoding the ordinal, the other the cardinal part of the preferences) while having to answer as few as possible simple ranking questions. Here, two different approaches are followed. The first approach directly utilizes the collected ranking data for obtaining the ordinal part of the preferences, while their cardinal part is constructed implicitly by measuring meta data on the decision maker's consideration times. In contrast, the second approach explicitly elicits also the cardinal part of the decision maker's preference system, however, only an approximate version of it. This approximation is obtained by additionally collecting labels of preference strength during the elicitation procedure. For both approaches, we give conditions under which they produce the decision maker's true preference system and investigate how their efficiency can be improved. For the latter purpose, besides data-free approaches, we also discuss ways for effectively guiding the elicitation procedure if data from previous elicitation rounds is available. Finally, we demonstrate how the proposed elicitation methods can be utilized in problems of decision under (severe) uncertainty. Precisely, we show that under certain conditions optimal decisions can be found without fully specifying the preference system.


title: Holographic Heat Engines Coupled with Logarithmic $U(1)$ Gauge Theory

abstract: In this paper we study a new class of holographic heat engines via charged AdS black hole solutions of Einstein gravity coupled with logarithmic nonlinear $U(1)$ gauge theory. So, Logarithmic $U(1)$ AdS black holes with a horizon of positive, zero and negative constant curvatures are considered as a working substance of a holographic heat engine and the corrections to the usual Maxwell field are controlled by non-linearity parameter $\beta$. The efficiency of an ideal cycle ($\eta$), consisting of a sequence of isobaric $\to$ isochoric $\to$ isobaric $\to$ isochoric processes, is computed using the exact efficiency formula. It is shown that $\eta/\eta_{C}$, with $\eta_{C}$ the Carnot efficiency (the maximum efficiency available between two fixed temperatures), decreases as we move from the strong coupling regime ($\beta \to 0$) to the weak coupling domain ($\beta \to \infty$). We also obtain analytic relations for the efficiency in the weak and strong coupling regimes in both low and high temperature limits. The efficiency for planar and hyperbolic logarithmic $U(1)$ AdS black holes is computed and it is observed that efficiency versus $\beta$ behaves in the same qualitative manner as the spherical black holes.


title: Employing chunk size adaptation to overcome concept drift

abstract: Modern analytical systems must be ready to process streaming data and correctly respond to data distribution changes. The phenomenon of changes in data distributions is called concept drift, and it may harm the quality of the used models. Additionally, the possibility of concept drift appearance causes that the used algorithms must be ready for the continuous adaptation of the model to the changing data distributions. This work focuses on non-stationary data stream classification, where a classifier ensemble is used. To keep the ensemble model up to date, the new base classifiers are trained on the incoming data blocks and added to the ensemble while, at the same time, outdated models are removed from the ensemble. One of the problems with this type of model is the fast reaction to changes in data distributions. We propose a new Chunk Adaptive Restoration framework that can be adapted to any block-based data stream classification algorithm. The proposed algorithm adjusts the data chunk size in the case of concept drift detection to minimize the impact of the change on the predictive performance of the used model. The conducted experimental research, backed up with the statistical tests, has proven that Chunk Adaptive Restoration significantly reduces the model's restoration time.


title: On lattice models of gapped phases with fusion category symmetries

abstract: We construct topological quantum field theories (TQFTs) and commuting projector Hamiltonians for any 1+1d gapped phases with non-anomalous fusion category symmetries, i.e. finite symmetries that admit SPT phases. The construction is based on two-dimensional state sum TQFT whose input datum is an $H$-simple left $H$-comodule algebra, where $H$ is a finite dimensional semisimple Hopf algebra. We show that the actions of fusion category symmetries $\mathcal{C}$ on the boundary conditions of these state sum TQFTs are represented by module categories over $\mathcal{C}$. This agrees with the classification of gapped phases with symmetry $\mathcal{C}$. We also find that the commuting projector Hamiltonians for these state sum TQFTs have fusion category symmetries at the level of the lattice models and hence provide lattice realizations of gapped phases with fusion category symmetries. As an application, we discuss the edge modes of SPT phases based on these commuting projector Hamiltonians. Finally, we mention that we can extend the construction of topological field theories to the case of anomalous fusion category symmetries by replacing a semisimple Hopf algebra with a semisimple pseudo-unitary connected weak Hopf algebra.


title: Spin- and angle-resolved inverse photoemission setup with spin orientation independent from electron incidence angle

abstract: A new spin- and angle-resolved inverse photoemission setup with a low-energy electron source is presented. The spin-polarized electron source, with a compact design, can decouple the spin polarization vector from the electron beam propagation vector, allowing to explore any spin orientation at any wavevector in angle-resolved inverse photoemission. The beam polarization can be tuned to any preferred direction with a shielded electron optical system, preserving the parallel beam condition. We demonstrate the performances of the setup by measurements on Cu(001) and Au(111). We estimate at room temperature the energy resolution of the overall system to be $\sim170$ meV from $k_{B}T_{eff}$ of a Cu(001) Fermi level, allowing a direct comparison to photoemission. The spin-resolved operation of the setup has been demonstrated by measuring the Rashba splitting of the Au(111) Shockley surface state. The effective polarization of the electron beam is $P=30\pm3$ \% and the wavevector resolution is $\Delta k_{F}\lesssim0.06$ \AA$^{-1}$. Measurements on the Au(111) surface state demonstrate how the electron beam polarization direction can be tuned in the three spatial dimensions. The maximum of the spin asymmetry is reached when the electron beam polarization is aligned with the in-plane spin-polarization of the Au(111) surface state.


title: DECAF: Generating Fair Synthetic Data Using Causally-Aware Generative Networks

abstract: Machine learning models have been criticized for reflecting unfair biases in the training data. Instead of solving for this by introducing fair learning algorithms directly, we focus on generating fair synthetic data, such that any downstream learner is fair. Generating fair synthetic data from unfair data - while remaining truthful to the underlying data-generating process (DGP) - is non-trivial. In this paper, we introduce DECAF: a GAN-based fair synthetic data generator for tabular data. With DECAF we embed the DGP explicitly as a structural causal model in the input layers of the generator, allowing each variable to be reconstructed conditioned on its causal parents. This procedure enables inference time debiasing, where biased edges can be strategically removed for satisfying user-defined fairness requirements. The DECAF framework is versatile and compatible with several popular definitions of fairness. In our experiments, we show that DECAF successfully removes undesired bias and - in contrast to existing methods - is capable of generating high-quality synthetic data. Furthermore, we provide theoretical guarantees on the generator's convergence and the fairness of downstream models.


title: Direct numerical evaluation of multi-loop integrals without contour deformation

abstract: We propose a method for computing numerically integrals defined via $i \epsilon$ deformations acting on single-pole singularities. We achieve this without an explicit analytic contour deformation. Our solution is then used to produce precise Monte Carlo estimates of multi-scale multi-loop integrals directly in Minkowski space. We corroborate the validity of our strategy by presenting several examples ranging from one to three loops. When used in connection with four-dimensional regularization techniques, our treatment can be extended to ultraviolet and infrared divergent integrals.


title: Doping MAPbBr$_3$ hybrid perovskites with CdSe/CdZnS quantum dots: from emissive thin-films to hybrid single-photon sources

abstract: We report the first doping of crystalline methylammonium lead bromide (MAPbBr$_3$) perovskite thin-films with CdSe/CdZnS core/shell quantum dots (QDs), using a soft-chemistry method that preserves their high quantum yield and other remarkable fluorescence properties. Our approach produces MAPbBr$_3$ films of 100 nm thickness doped at volume ratios between 0.025 and 5% with colloidal CdSe/CdZnS QDs whose organic ligands are exchanged with halide ions to allow for close contact between the QDs and the perovskite matrix. Ensemble photoluminescence (PL) measurements demonstrate the retained emission of the QDs after incorporation into the MAPbBr$_3$ matrix. Ensemble photoluminescence excitation (PLE) spectra exhibit signatures of wavelength-dependent coupling between the CdSe/CdZnS QDs and the MAPbBr$_3$ matrix. Spatially-resolved PL experiments reveal a strong correlation between the positions of QDs and an enhancement of the PL signal of the matrix. Fluorescence lifetime imaging (FLIM)of the doped films furthermore show that the emission lifetime of MAPbBr$_3$ is slower in the vicinity of QDs, which, in combination with the increased PL signal of the matrix, suggests that QDs can act as nucleation seeds that improve the crystallinity of MAPbBr$_3$, boosting its emission quantum yield. Antibunching measurements provide clear evidence of single-photon emission from individual QDs-in-perovskite. Finally, the analysis of blinking statistics indicates an improvement of the photostability of individual QDs in perovskite as compared to bare CdSe/CdZnS QDs. At high doping levels, this work opens the route to hybrid-based LEDs. Low-doping content would lead to hybrid single-photon sources embedded in field-effect devices to serve as an alternative to solid-state QDs and help building nanophotonic devices with high-quantum-yield CdSe-based QDs.


title: Descriptors of intrinsic hydrodynamic thermal transport: screening a phonon database in a machine learning approach

abstract: Machine learning techniques are used to explore the intrinsic origins of the hydrodynamic thermal transport and to find new materials interesting for science and engineering. The hydrodynamic thermal transport is governed intrinsically by the hydrodynamic scale and the thermal conductivity. The correlations between these intrinsic properties and harmonic and anharmonic properties, and a large number of compositional (290) and structural (1224) descriptors of 131 crystal compound materials are obtained, revealing some of the key descriptors that determines the magnitude of the intrinsic hydrodynamic effects, most of them related with the phonon relaxation times. Then, a trained black-box model is applied to screen more than 5000 materials. The results identify materials with potential technological applications. Understanding the properties correlated to hydrodynamic thermal transport can help to find new thermoelectric materials and on the design of new materials to ease the heat dissipation in electronic devices.


title: The effects of rapid yawing on simple swimmer models and planar Jeffery's orbits

abstract: Over a sufficiently long period of time, or from an appropriate distance, the motion of many swimmers can appear smooth, with their trajectories appearing almost ballistic in nature and slowly varying in character. These long-time behaviours, however, often mask more complex dynamics, such as the side-to-side snakelike motion exhibited by spermatozoa as they swim, propelled by the frequent and periodic beating of their flagellum. Many models of motion neglect these effects in favour of smoother long-term behaviours, which are often of greater practical interest than the small-scale oscillatory motion. Whilst it may be tempting to ignore any yawing motion, simply assuming that any effects of rapid oscillations cancel out over a period, a precise quantification of the impacts of high-frequency yawing is lacking. In this study, we systematically evaluate the long-term effects of general high-frequency oscillations on translational and angular motion, cast in the context of microswimmers but applicable more generally. Via a multiple-scales asymptotic analysis, we show that rapid oscillations can cause a long-term bias in the average direction of progression. We identify sufficient conditions for an unbiased long-term effect of yawing, and we quantify how yawing modifies the speed of propulsion and the effective hydrodynamic shape when in shear flow. Furthermore, we investigate and justify the long-time validity of the derived leading-order solutions and, by direct computational simulation, we evidence the relevance of the presented results to a canonical microswimmer.


title: Anatomical and Diagnostic Bayesian Segmentation in Prostate MRI $-$Should Different Clinical Objectives Mandate Different Loss Functions?

abstract: We hypothesize that probabilistic voxel-level classification of anatomy and malignancy in prostate MRI, although typically posed as near-identical segmentation tasks via U-Nets, require different loss functions for optimal performance due to inherent differences in their clinical objectives. We investigate distribution, region and boundary-based loss functions for both tasks across 200 patient exams from the publicly-available ProstateX dataset. For evaluation, we conduct a thorough comparative analysis of model predictions and calibration, measured with respect to multi-class volume segmentation of the prostate anatomy (whole-gland, transitional zone, peripheral zone), as well as, patient-level diagnosis and lesion-level detection of clinically significant prostate cancer. Notably, we find that distribution-based loss functions (in particular, focal loss) are well-suited for diagnostic or panoptic segmentation tasks such as lesion detection, primarily due to their implicit property of inducing better calibration. Meanwhile, (with the exception of focal loss) both distribution and region/boundary-based loss functions perform equally well for anatomical or semantic segmentation tasks, such as quantification of organ shape, size and boundaries.


title: Degeneracy pressure of mass dimension one fermionic fields and the dark matter halo of galaxies

abstract: In this paper, the recently proposed mass dimension one fermionic field is supposed to be responsible for the dark matter halo around galactic nuclei, through the quantum degeneracy pressure effect of the field. It will be showed that the mass-ratio relation for dwarf galaxies can be well explained for a particle dark matter mass of about $100 - 200$eV. For a large galaxy, as Milky Way, the observational data for rotation curve can be well reproduced for a particle mass of about 23eV, with the addition of other substructures.


title: Local Explanations for Clinical Search Engine results

abstract: Health care professionals rely on treatment search engines to efficiently find adequate clinical trials and early access programs for their patients. However, doctors lose trust in the system if its underlying processes are unclear and unexplained. In this paper, a model-agnostic explainable method is developed to provide users with further information regarding the reasons why a clinical trial is retrieved in response to a query. To accomplish this, the engine generates features from clinical trials using by using a knowledge graph, clinical trial data and additional medical resources. and a crowd-sourcing methodology is used to determine their importance. Grounded on the proposed methodology, the rationale behind retrieving the clinical trials is explained in layman's terms so that healthcare processionals can effortlessly perceive them. In addition, we compute an explainability score for each of the retrieved items, according to which the items can be ranked. The experiments validated by medical professionals suggest that the proposed methodology induces trust in targeted as well as in non-targeted users, and provide them with reliable explanations and ranking of retrieved items.


title: A minimalistic approach to simulate multiple failure mechanisms of metal matrix fiber-reinforced composites by the phase field and cohesive zone models

abstract: The mechanical properties of metal matrix fiber-reinforced composites depend on many aspects of their structure in a complicated way. In this paper, we propose a \emph{minimalistic} approach to study interface debonding, matrix cracking, and their competition in metal matrix fiber-reinforced elastoplastic composites by numerical simulation. This approach combines a cohesive zone model for interface debonding and a phase field model for matrix cracking. The features of this framework are: (1) crack nucleation, propagation, and branching can be easily tracked without the need of geometric programming; (2) the interface debonding is determined merely by the CZM, but not interfered by the phase field in the bulk; (3) the cohesive interface has zero thickness instead of being regularized; (4) any reasonable cohesive law of interest is readily incorporated with very few constraints; (5) elastoplasticity of the matrix is conveniently taken into account, as strains in the model are all well defined; (6) the competition of the two failure mechanisms, namely, matrix cracking and interface debonding, is accurately captured. Accuracy of this framework is verified with existing analytical and numerical results. The proposed framework shows a potential in investigating various complicated crack behaviors in composites.


title: An Exact, Time-dependent Analytical Solution for the Magnetic Field in the Inner Heliosheath

abstract: We derive an exact, time-dependent analytical magnetic field solution for the inner heliosheath, which satisfies both the induction equation of ideal magnetohydrodynamics in the limit of infinite electric conductivity and the magnetic divergence constraint. To this end, we assume that the magnetic field is frozen into a plasma flow resembling the characteristic interaction of the solar wind with the local interstellar medium. Furthermore, we make use of the ideal Ohm's law for the magnetic vector potential and the electric scalar potential. By employing a suitable gauge condition that relates the potentials and working with a characteristic coordinate representation, we thus obtain an inhomogeneous first-order system of ordinary differential equations for the magnetic vector potential. Then, using the general solution of this system, we compute the magnetic field via the magnetic curl relation. Finally, we analyze the well-posedness of the corresponding Dirichlet-type initial-boundary value problem, specify compatibility conditions for the initial-boundary values, and outline the implementation of initial-boundary conditions.


title: The Efficiency Misnomer

abstract: Model efficiency is a critical aspect of developing and deploying machine learning models. Inference time and latency directly affect the user experience, and some applications have hard requirements. In addition to inference costs, model training also have direct financial and environmental impacts. Although there are numerous well-established metrics (cost indicators) for measuring model efficiency, researchers and practitioners often assume that these metrics are correlated with each other and report only few of them. In this paper, we thoroughly discuss common cost indicators, their advantages and disadvantages, and how they can contradict each other. We demonstrate how incomplete reporting of cost indicators can lead to partial conclusions and a blurred or incomplete picture of the practical considerations of different models. We further present suggestions to improve reporting of efficiency metrics.


title: QoS-based Trust Evaluation for Data Services as a Black Box

abstract: This paper proposes a QoS-based trust evaluation model for black box data services. Under the black-box model, data services neither export (meta)-data about conditions in which they are deployed and collect and process data nor the quality of data they deliver. Therefore, the black-box model creates blind spots about the extent to which data providers can be trusted to be used to build target applications. The trust evaluation model for black box data services introduced in this paper originally combines QoS indicators, like service performance and data quality, to determine services trustworthiness. The paper also introduces DETECT: a Data sErvice as a black box Trust Evaluation arChitecTure, that validates our model. The trust model and its associated monitoring strategies have been assessed in experiments with representative case studies. The results demonstrate the feasibility and effectiveness of our solution.


title: Classification of PS and ABS Black Plastics for WEEE Recycling Applications

abstract: Pollution and climate change are some of the biggest challenges that humanity is facing. In such a context, efficient recycling is a crucial tool for a sustainable future. This work is aimed at creating a system that can classify different types of plastics by using picture analysis, in particular, black plastics of the type Polystyrene (PS) and Acrylonitrile Butadiene Styrene (ABS). They are two common plastics from Waste from Electrical and Electronic Equipment (WEEE). For this purpose, a Convolutional Neural Network has been tested and retrained, obtaining a validation accuracy of 95%. Using a separate test set, average accuracy goes down to 86.6%, but a further look at the results shows that the ABS type is correctly classified 100% of the time, so it is the PS type that accumulates all the errors. Overall, this demonstrates the feasibility of classifying black plastics using CNN machine learning techniques. It is believed that if a more diverse and extensive image dataset becomes available, a system with higher reliability that generalizes well could be developed using the proposed methodology.


title: Long-Lived Highly Emissive MOFs as Potential Candidates for Multiphotonic Applications

abstract: Long-lived emissive materials based on room temperature phosphorescence (RTP) and thermally activated delayed fluorescence (TADF) are considered as the cornerstone of the development of optical sensors, security systems and solid-state lighting. Nevertheless, molecular systems with these properties are scarce because most of them suffer from aggregation caused quenching emission (ACQ). One approach to address this shortcoming is by inhibiting the molecular motions/vibrations by employing a fixed matrix as afforded by a metal-organic framework (MOF). There, the organic chromophores are confined in a crystalline framework, and the structure-property relationship can be designed to get RTP/TADF. Inspired by this, the present work explores the relation between the linker arrangement and the physicochemical properties of two isochemical MOFs with different crystalline structures. The denser MOF exhibits a long-lived green RTP due to a hyperfine coupling of the linkers. On the other hand, the more porous MOF presents a long-lived temperature-dependent turquoise emission, reflecting the influence of the TADF. Hence, this study provides a huge advance about the potential of MOFs to undergo RTP and TADF emission, and at the same time, demonstrates their potential applicability in a wide range of photonic technologies, including physical and chemical sensing and the first example of a MOF-LED based on RTP-MOFs.


title: Lower bounds for subharmonic functions in terms of the Harnack distance

abstract: Let $G$ be a nonempty bounded domain in a finite-dimensional Euclidean space. The main results are general estimates from below at points from $G$ for an arbitrary subharmonic function $u\not\equiv -\infty$ on the closure of the domain $G$ through the maximum of the function $u$ on the boundary of the domain $G$. These results are new for planar domains $G$, and for intervals of $G$ on the numerical line have also not been previously noted. They show that the Harnack distance plays a key role in these estimates. Further applications to subharmonic, convex, holomorphic functions, as well as to meromorphic functions and differences of subharmonic functions in domains of a particular type are supposed to be outlined in the continuation of this article.


title: No One Representation to Rule Them All: Overlapping Features of Training Methods

abstract: Despite being able to capture a range of features of the data, high accuracy models trained with supervision tend to make similar predictions. This seemingly implies that high-performing models share similar biases regardless of training methodology, which would limit ensembling benefits and render low-accuracy models as having little practical use. Against this backdrop, recent work has developed quite different training techniques, such as large-scale contrastive learning, yielding competitively high accuracy on generalization and robustness benchmarks. This motivates us to revisit the assumption that models necessarily learn similar functions. We conduct a large-scale empirical study of models across hyper-parameters, architectures, frameworks, and datasets. We find that model pairs that diverge more in training methodology display categorically different generalization behavior, producing increasingly uncorrelated errors. We show these models specialize in subdomains of the data, leading to higher ensemble performance: with just 2 models (each with ImageNet accuracy ~76.5%), we can create ensembles with 83.4% (+7% boost). Surprisingly, we find that even significantly low-accuracy models can be used to improve high-accuracy models. Finally, we show diverging training methodology yield representations that capture overlapping (but not supersetting) feature sets which, when combined, lead to increased downstream performance.


title: Automated Scoring System of HER2 in Pathological Images under the Microscope

abstract: Breast cancer is the most common cancer among women worldwide. The human epidermal growth factor receptor 2 (HER2) with immunohistochemical (IHC) is widely used for pathological evaluation to provide the appropriate therapy for patients with breast cancer. However, the deficiency of pathologists and subjective and susceptible to inter-observer variation of visual diagnosis are the main challenges. Recently, with the rapid development of artificial intelligence (AI) in disease diagnosis, several automated HER2 scoring methods using traditional computer vision or machine learning methods indicate the improvement of the HER2 diagnostic accuracy, but the unreasonable interpretation in pathology, as well as the expensive and ethical issues for annotation, make these methods still have a long way to deploy in hospitals to ease pathologists' burden in real. In this paper, we propose a HER2 automated scoring system that strictly follows the HER2 scoring guidelines simulating the real workflow of HER2 scores diagnosis by pathologists. Unlike the previous work, our method considers the positive control of HER2 to make sure the assay performance for each slide, eliminating work for repeated comparison between the current field of view (FOV) and positive control FOV, especially for the borderline cases. Besides, for each selected FOV under the microscope, our system provides real-time HER2 scores analysis and visualizations of the membrane staining intensity and completeness corresponding with the cell classifications. Our rigorous workflow along with the flexible interactive adjustion in demand substantially assists pathologists to finish the HER2 diagnosis faster and improves the robustness and accuracy. The proposed system will be embedded in our Thorough Eye platform for deployment in hospitals.


title: A First Polynomial Non-Clausal Class in Many-Valued Logic

abstract: The relevance of polynomial formula classes to deductive efficiency motivated their search, and currently, a great number of such classes is known. Nonetheless, they have been exclusively sought in the setting of clausal form and propositional logic, which is of course expressively limiting for real applications. As a consequence, a first polynomial propositional class in non-clausal (NC) form has recently been proposed. Along these lines and towards making NC tractability applicable beyond propositional logic, firstly, we define the Regular many-valued Horn Non-Clausal class, or RH, obtained by suitably amalgamating both regular classes: Horn and NC. Secondly, we demonstrate that the relationship between (1) RH and the regular Horn class is that syntactically RH subsumes the Horn class but that both classes are equivalent semantically; and between (2) RH and the regular non-clausal class is that RH contains all NC formulas whose clausal form is Horn. Thirdly, we define Regular Non-Clausal Unit-Resolution, or RUR-NC , and prove both that it is complete for RH and that checks its satisfiability in polynomial time. The latter fact shows that our intended goal is reached since RH is many-valued, non-clausal and tractable. As RH and RUR-NC are, both, basic in the DPLL scheme, the most efficient in propositional logic, and can be extended to some other non-classical logics, we argue that they pave the way for efficient non-clausal DPLL-based approximate reasoning.


title: An Introduction to Multisets

abstract: Multisets are sets that allow repetition of elements. As such, multisets pave the way to a number of interesting possibilities of theoretical and applied nature. In the present work, after revising the main aspects of traditional sets, we introduce some of the main concepts and characteristics of multisets, followed by their generalization to take into account vectors and matrices. An approach is also proposed in which the real, negative multiplicities are allowed, implying the multiset universe to become finite and well-defined, corresponding to the multiset with null multiplicities. The complement operation in multisets is then defined, which allows properties involving complement -- including the De Morgan theorem -- to be recovered in multisets. In addition, it becomes possible to extend multisets to functions (which become multifunctions), scalar fields and other continuous mathematical structure, therefore achieving an enhanced space endowed with all algebraic operations plus set theoretical operations including union, intersection, and complementation. The possibility to define a set operation between mfunctions, namely the common product, that is analogous to the traditional inner product is also proposed, paving the way to obtaining respective mfunction transformations, and it is argued that the Walsh functions provide an orthogonal basis for the mfunctions space under the common product. This result also allowed the proposal of performing integrated signal processing operations on mset mfunctions, including filtering and enhanced template matching. Relationships between the cosine similarity index and the Jaccard index are also identified, including the presentation of an intersection-based variation of the cosine index. The potential of multisets in pattern recognition and deep learning is also briefly characterized and illustrated.


title: Efficient Coding Approach Towards Non-Linear Spectro-Temporal Receptive Fields

abstract: Linear Non-Linear(LN) models are widely used to characterize the receptive fields of early-stage auditory processing. We apply the principle of efficient coding to the LN model of Spectro-Temporal Receptive Fields(STRFs) of the neurons in primary auditory cortex. The Efficient Coding Principle has been previously used to understand early visual receptive fields and linear STRFs in auditory processing. Efficient coding is realized by jointly optimizing the mutual information between stimuli and neural responses subjected to the metabolic cost of firing spikes. We compare the predictions of the efficient coding principle with the physiological observations, which match qualitatively under realistic conditions of noise in stimuli and the spike generation process.


title: Cortical representations of Auditory Perception using Graph Independent Component on EEG

abstract: Recent studies indicate that the neurons involved in a cognitive task aren't locally limited but span out to multiple human brain regions. We obtain network components and their locations for the task of listening to music. The recorded EEG data is modeled as a graph, and it is assumed that the overall activity is a contribution of several independent subnetworks. To identify these intrinsic cognitive subnetworks corresponding to music perception, we propose to decompose the whole brain graph-network into multiple subnetworks. We perform this decomposition to a group of brain networks by performing Graph-Independent Component Analysis. Graph-ICA is a variant of ICA that decomposes the measured graph into independent source graphs. Having obtained independent subnetworks, we calculate the electrode positions by computing the local maxima of these subnetwork matrices. We observe that the computed electrodes' location corresponds to the temporal lobes and the Broca's area, which are indeed involved in the task of auditory processing and perception. The computed electrodes also span the brain's frontal lobe, which is involved in attention and generating a stimulus-evoked response. The weight of the subnetwork that corresponds to the aforementioned brain regions increases with the increase in the music recording's tempo. The results suggest that whole-brain networks can be decomposed into independent subnetworks and analyze cognitive responses to music stimulus.


title: A metastable amorphous intermediate is responsible for laser-induced nucleation of glycine

abstract: Laser induced crystal nucleation through optical tweezing, and in particular polymorph selection through laser polarization, promises unprecedented control over crystallization. However, in the absence of a nearby liquid liquid critical point or miscibility gap, the origin of the required mesoscale clusters remains unclear. A number of recent studies of so called nonclassical nucleation have suggested the presence of large amorphous clusters. Here we show that supersaturated aqueous glycine solutions form metastable intermediate particles that are off the direct path to crystal nucleation. Laser induced crystal nucleation only occurs when the laser 'activates' one of these particles. In situ low frequency Raman spectroscopy is used to demonstrate their amorphous or partially ordered character and transformation to various crystal polymorphs. The requirement for solution aging in many previously reported laser-induced crystal nucleation experiments strongly suggests that the presence of amorphous intermediates is a general requirement.


title: PPSGCN: A Privacy-Preserving Subgraph Sampling Based Distributed GCN Training Method

abstract: Graph convolutional networks (GCNs) have been widely adopted for graph representation learning and achieved impressive performance. For larger graphs stored separately on different clients, distributed GCN training algorithms were proposed to improve efficiency and scalability. However, existing methods directly exchange node features between different clients, which results in data privacy leakage. Federated learning was incorporated in graph learning to tackle data privacy, while they suffer from severe performance drop due to non-iid data distribution. Besides, these approaches generally involve heavy communication and memory overhead during the training process. In light of these problems, we propose a Privacy-Preserving Subgraph sampling based distributed GCN training method (PPSGCN), which preserves data privacy and significantly cuts back on communication and memory overhead. Specifically, PPSGCN employs a star-topology client-server system. We firstly sample a local node subset in each client to form a global subgraph, which greatly reduces communication and memory costs. We then conduct local computation on each client with features or gradients of the sampled nodes. Finally, all clients securely communicate with the central server with homomorphic encryption to combine local results while preserving data privacy. Compared with federated graph learning methods, our PPSGCN model is trained on a global graph to avoid the negative impact of local data distribution. We prove that our PPSGCN algorithm would converge to a local optimum with probability 1. Experiment results on three prevalent benchmarks demonstrate that our algorithm significantly reduces communication and memory overhead while maintaining desirable performance. Further studies not only demonstrate the fast convergence of PPSGCN, but discuss the trade-off between communication and local computation cost as well.


title: Hamiltonian Monte Carlo with Asymmetrical Momentum Distributions

abstract: Existing rigorous convergence guarantees for the Hamiltonian Monte Carlo (HMC) algorithm use Gaussian auxiliary momentum variables, which are crucially symmetrically distributed. We present a novel convergence analysis for HMC utilizing new analytic and probabilistic arguments. The convergence is rigorously established under significantly weaker conditions, which among others allow for general auxiliary distributions. In our framework, we show that plain HMC with asymmetrical momentum distributions breaks a key self-adjointness requirement. We propose a modified version that we call the Alternating Direction HMC (AD-HMC). Sufficient conditions are established under which AD-HMC exhibits geometric convergence in Wasserstein distance. Numerical experiments suggest that AD-HMC can show improved performance over HMC with Gaussian auxiliaries.


abstract: Artificial agents are promising for real-time power network operations, particularly, to compute remedial actions for congestion management. However, due to high reliability requirements, purely autonomous agents will not be deployed any time soon and operators will be in charge of taking action for the foreseeable future. Aiming at designing assistant for operators, we instead consider humans in the loop and propose an original formulation. We first advance an agent with the ability to send to the operator alarms ahead of time when the proposed actions are of low confidence. We further model the operator's available attention as a budget that decreases when alarms are sent. We present the design and results of our competition "Learning to run a power network with trust" in which we evaluate our formulation and benchmark the ability of submitted agents to send relevant alarms while operating the network to their best.


title: Formal Verification of the Ethereum 2.0 Beacon Chain

abstract: We report our experience in the formal verification of the reference implementation of the Beacon Chain. The Beacon Chain is the backbone component of the new Proof-of-Stake Ethereum 2.0 network: it is in charge of tracking information about the validators, their stakes, their attestations (votes) and if some validators are found to be dishonest, to slash them (they lose some of their stakes). The Beacon Chain is mission-critical and any bug in it could compromise the whole network. The Beacon Chain reference implementation developed by the Ethereum Foundation is written in Python, and provides a detailed operational description of the state machine each Beacon Chain's network participant (node) must implement. We have formally specified and verified the absence of runtime errors in (a large and critical part of) the Beacon Chain reference implementation using the verification-friendly language Dafny. During the course of this work, we have uncovered several issues, proposed verified fixes. We have also synthesised functional correctness specifications that enable us to provide guarantees beyond runtime errors. Our software artefact is available at https://github.com/ConsenSys/eth2.0-dafny.


title: Coronene: A High-Voltage Anion De-insertion Cathode for Potassium-Ion Battery

abstract: Potassium-ion batteries have been envisioned to herald the age of low-cost and high-performance energy storage systems. However, the sparsity of viable components has dampened the progress of these energy devices. Thus, herein, we report coronene, a high-voltage cathode material that manifests a high-voltage of $4.1 \rm V$ enkindled by anion (de)insertion. This work not only illuminates the broad class of polycyclic aromatic hydrocarbons as prospective cathode materials but also sets a new benchmark for the performance of future organic cathode materials.


title: Instance-Dependent Partial Label Learning

abstract: Partial label learning (PLL) is a typical weakly supervised learning problem, where each training example is associated with a set of candidate labels among which only one is true. Most existing PLL approaches assume that the incorrect labels in each training example are randomly picked as the candidate labels. However, this assumption is not realistic since the candidate labels are always instance-dependent. In this paper, we consider instance-dependent PLL and assume that each example is associated with a latent label distribution constituted by the real number of each label, representing the degree to each label describing the feature. The incorrect label with a high degree is more likely to be annotated as the candidate label. Therefore, the latent label distribution is the essential labeling information in partially labeled examples and worth being leveraged for predictive model training. Motivated by this consideration, we propose a novel PLL method that recovers the label distribution as a label enhancement (LE) process and trains the predictive model iteratively in every epoch. Specifically, we assume the true posterior density of the latent label distribution takes on the variational approximate Dirichlet density parameterized by an inference model. Then the evidence lower bound is deduced for optimizing the inference model and the label distributions generated from the variational posterior are utilized for training the predictive model. Experiments on benchmark and real-world datasets validate the effectiveness of the proposed method. Source code is available at https://github.com/palm-ml/valen.